Test dag xform: Fold C ? 0 : 1 to ~C or zext(~C) or trunc(~C)

llvm-svn: 41164
This commit is contained in:
Evan Cheng 2007-08-18 06:11:57 +00:00
parent a65c956119
commit 703bafa177

View File

@ -0,0 +1,25 @@
; RUN: llvm-as < %s | llc -march=x86 -mattr=+sse2 | not grep cmov
; RUN: llvm-as < %s | llc -march=x86 -mattr=+sse2 | not grep xor
; RUN: llvm-as < %s | llc -march=x86 -mattr=+sse2 | grep movzbl | count 1
@r1 = weak global i32 0
define void @t1(i32 %a, double %b) {
%tmp114 = fcmp ugt double %b, 1.000000e-09
%tmp120 = icmp eq i32 %a, 0 ; <i1> [#uses=1]
%bothcond = or i1 %tmp114, %tmp120 ; <i1> [#uses=1]
%storemerge = select i1 %bothcond, i32 0, i32 1 ; <i32> [#uses=2]
store i32 %storemerge, i32* @r1, align 4
ret void
}
@r2 = weak global i8 0
define void @t2(i32 %a, double %b) {
%tmp114 = fcmp ugt double %b, 1.000000e-09
%tmp120 = icmp eq i32 %a, 0 ; <i1> [#uses=1]
%bothcond = or i1 %tmp114, %tmp120 ; <i1> [#uses=1]
%storemerge = select i1 %bothcond, i8 0, i8 1 ; <i32> [#uses=2]
store i8 %storemerge, i8* @r2, align 4
ret void
}