1 ; RUN: opt -instcombine -S < %s | FileCheck %s 2 3 ; CHECK: @foo1 4 define float @foo1(float %a) #0 { 5 ; CHECK-NOT: xor 6 %b = fcmp ogt float %a, 0.000000e+00 7 %c = select i1 %b, float %a, float 0.000000e+00 8 %d = fcmp olt float %c, 1.000000e+00 9 %f = select i1 %d, float %c, float 1.000000e+00 10 ret float %f 11 } 12 13 ; CHECK: @foo2 14 define float @foo2(float %a) #0 { 15 ; CHECK-NOT: xor 16 %b = fcmp ogt float %a, 0.000000e+00 17 %c = select i1 %b, float %a, float 0.000000e+00 18 %d = fcmp olt float %c, 1.000000e+00 19 %e = select i1 %b, float %a, float 0.000000e+00 20 %f = select i1 %d, float %e, float 1.000000e+00 21 ret float %f 22 } 23 24 ; CHECK-LABEL: @foo3 25 define <2 x i32> @foo3(<2 x i1> %vec_bool, i1 %bool, <2 x i32> %V) { 26 ; CHECK: %[[sel0:.*]] = select <2 x i1> %vec_bool, <2 x i32> zeroinitializer, <2 x i32> %V 27 ; CHECK: %[[sel1:.*]] = select i1 %bool, <2 x i32> %[[sel0]], <2 x i32> %V 28 ; CHECK: ret <2 x i32> %[[sel1]] 29 %sel0 = select <2 x i1> %vec_bool, <2 x i32> zeroinitializer, <2 x i32> %V 30 %sel1 = select i1 %bool, <2 x i32> %sel0, <2 x i32> %V 31 ret <2 x i32> %sel1 32 } 33 34 attributes #0 = { nounwind readnone ssp uwtable } 35
