1*a4ca2250SAlex MacLean; RUN: opt < %s -passes=instcombine -S | FileCheck %s 2*a4ca2250SAlex MacLean 3*a4ca2250SAlex MacLean; X * Y (when Y is a boolean) --> Y ? X : 0 4*a4ca2250SAlex MacLean 5*a4ca2250SAlex MacLeandefine float @fmul_bool(float %x, i1 %y) { 6*a4ca2250SAlex MacLean; CHECK-LABEL: @fmul_bool( 7*a4ca2250SAlex MacLean; CHECK-NEXT: [[M:%.*]] = select nnan nsz i1 [[Y:%.*]], float [[X:%.*]], float 0.000000e+00 8*a4ca2250SAlex MacLean; CHECK-NEXT: ret float [[M]] 9*a4ca2250SAlex MacLean; 10*a4ca2250SAlex MacLean %z = uitofp i1 %y to float 11*a4ca2250SAlex MacLean %m = fmul nnan nsz float %z, %x 12*a4ca2250SAlex MacLean ret float %m 13*a4ca2250SAlex MacLean} 14*a4ca2250SAlex MacLean 15*a4ca2250SAlex MacLeandefine <2 x float> @fmul_bool_vec(<2 x float> %x, <2 x i1> %y) { 16*a4ca2250SAlex MacLean; CHECK-LABEL: @fmul_bool_vec( 17*a4ca2250SAlex MacLean; CHECK-NEXT: [[M:%.*]] = select nnan nsz <2 x i1> [[Y:%.*]], <2 x float> [[X:%.*]], <2 x float> zeroinitializer 18*a4ca2250SAlex MacLean; CHECK-NEXT: ret <2 x float> [[M]] 19*a4ca2250SAlex MacLean; 20*a4ca2250SAlex MacLean %z = uitofp <2 x i1> %y to <2 x float> 21*a4ca2250SAlex MacLean %m = fmul nnan nsz <2 x float> %z, %x 22*a4ca2250SAlex MacLean ret <2 x float> %m 23*a4ca2250SAlex MacLean} 24*a4ca2250SAlex MacLean 25*a4ca2250SAlex MacLeandefine <2 x float> @fmul_bool_vec_commute(<2 x float> %px, <2 x i1> %y) { 26*a4ca2250SAlex MacLean; CHECK-LABEL: @fmul_bool_vec_commute( 27*a4ca2250SAlex MacLean; CHECK-NEXT: [[X:%.*]] = fmul nnan nsz <2 x float> [[PX:%.*]], [[PX]] 28*a4ca2250SAlex MacLean; CHECK-NEXT: [[M:%.*]] = select nnan nsz <2 x i1> [[Y:%.*]], <2 x float> [[X]], <2 x float> zeroinitializer 29*a4ca2250SAlex MacLean; CHECK-NEXT: ret <2 x float> [[M]] 30*a4ca2250SAlex MacLean; 31*a4ca2250SAlex MacLean %x = fmul nnan nsz <2 x float> %px, %px ; thwart complexity-based canonicalization 32*a4ca2250SAlex MacLean %z = uitofp <2 x i1> %y to <2 x float> 33*a4ca2250SAlex MacLean %m = fmul nnan nsz <2 x float> %x, %z 34*a4ca2250SAlex MacLean ret <2 x float> %m 35*a4ca2250SAlex MacLean} 36