X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;f=test%2FCodeGen%2FX86%2F2007-02-04-OrAddrMode.ll;h=f05175259c80f77c90fe25c613f1b4c60b0d620c;hb=cfc74b78b13cd839c49f1f2b0b7033f32c5c1109;hp=7c6ae249c2b5c0b1222c29595e5eeb918dfa14da;hpb=1853da3f2223ec8e3628df00942a2b2d7b58fd62;p=oota-llvm.git diff --git a/test/CodeGen/X86/2007-02-04-OrAddrMode.ll b/test/CodeGen/X86/2007-02-04-OrAddrMode.ll index 7c6ae249c2b..f05175259c8 100644 --- a/test/CodeGen/X86/2007-02-04-OrAddrMode.ll +++ b/test/CodeGen/X86/2007-02-04-OrAddrMode.ll @@ -1,20 +1,28 @@ -; RUN: llvm-as < %s | llc -march=x86 | grep 'orl $1, %eax' && -; RUN: llvm-as < %s | llc -march=x86 | grep 'leal 3(,%eax,8)' +; RUN: llc < %s -march=x86 | FileCheck %s ;; This example can't fold the or into an LEA. -define i32 @test(float ** %tmp2, i32 %tmp12) { - %tmp3 = load float** %tmp2 +define i32 @test(float ** %tmp2, i32 %tmp12) nounwind { +; CHECK-LABEL: test: +; CHECK-NOT: ret +; CHECK: orl $1, %{{.*}} +; CHECK: ret + + %tmp3 = load float*, float** %tmp2 %tmp132 = shl i32 %tmp12, 2 ; [#uses=1] %tmp4 = bitcast float* %tmp3 to i8* ; [#uses=1] - %ctg2 = getelementptr i8* %tmp4, i32 %tmp132 ; [#uses=1] + %ctg2 = getelementptr i8, i8* %tmp4, i32 %tmp132 ; [#uses=1] %tmp6 = ptrtoint i8* %ctg2 to i32 ; [#uses=1] %tmp14 = or i32 %tmp6, 1 ; [#uses=1] ret i32 %tmp14 } - ;; This can! -define i32 @test2(i32 %a, i32 %b) { +define i32 @test2(i32 %a, i32 %b) nounwind { +; CHECK-LABEL: test2: +; CHECK-NOT: ret +; CHECK: leal 3(,%{{.*}},8) +; CHECK: ret + %c = shl i32 %a, 3 %d = or i32 %c, 3 ret i32 %d