diff options
-rw-r--r-- | test/CodeGen/X86/2008-12-02-dagcombine-1.ll | 19 | ||||
-rw-r--r-- | test/CodeGen/X86/2008-12-02-dagcombine-2.ll | 17 | ||||
-rw-r--r-- | test/CodeGen/X86/2008-12-02-dagcombine-3.ll | 18 |
3 files changed, 54 insertions, 0 deletions
diff --git a/test/CodeGen/X86/2008-12-02-dagcombine-1.ll b/test/CodeGen/X86/2008-12-02-dagcombine-1.ll new file mode 100644 index 0000000000..48bb4e4383 --- /dev/null +++ b/test/CodeGen/X86/2008-12-02-dagcombine-1.ll @@ -0,0 +1,19 @@ +; RUN: llvm-as < %s | llc -march=x86 | grep "(%esp)" | count 2 +target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:128:128" +target triple = "i386-apple-darwin9.5" +; a - a should be found and removed, leaving refs to only L and P +define i8* @test(i8* %a, i8* %L, i8* %P) nounwind { +entry: + %0 = ptrtoint i8* %a to i32 + %1 = sub i32 -2, %0 + %2 = ptrtoint i8* %P to i32 + %3 = sub i32 0, %2 + %4 = ptrtoint i8* %L to i32 + %5 = add i32 %4, %3 + %6 = add i32 %5, %1 ; <i32> [#uses=1] + %7 = getelementptr i8* %a, i32 %6 ; <i8*> [#uses=1] + br label %return + +return: ; preds = %bb3 + ret i8* %7 +} diff --git a/test/CodeGen/X86/2008-12-02-dagcombine-2.ll b/test/CodeGen/X86/2008-12-02-dagcombine-2.ll new file mode 100644 index 0000000000..ba7dfbbcec --- /dev/null +++ b/test/CodeGen/X86/2008-12-02-dagcombine-2.ll @@ -0,0 +1,17 @@ +; RUN: llvm-as < %s | llc -march=x86 | grep "(%esp)" | count 2 +target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:128:128" +target triple = "i386-apple-darwin9.5" +; a - a should be found and removed, leaving refs to only L and P +define i8* @test(i8* %a, i8* %L, i8* %P) nounwind { +entry: + %0 = ptrtoint i8* %a to i32 + %1 = ptrtoint i8* %P to i32 + %2 = sub i32 %1, %0 + %3 = ptrtoint i8* %L to i32 + %4 = sub i32 %2, %3 ; <i32> [#uses=1] + %5 = getelementptr i8* %a, i32 %4 ; <i8*> [#uses=1] + br label %return + +return: ; preds = %bb3 + ret i8* %5 +} diff --git a/test/CodeGen/X86/2008-12-02-dagcombine-3.ll b/test/CodeGen/X86/2008-12-02-dagcombine-3.ll new file mode 100644 index 0000000000..5fb639d5fc --- /dev/null +++ b/test/CodeGen/X86/2008-12-02-dagcombine-3.ll @@ -0,0 +1,18 @@ +; RUN: llvm-as < %s | llc -march=x86 | grep add | count 2 +; RUN: llvm-as < %s | llc -march=x86 | grep sub | grep -v subsections | count 1 +target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:128:128" +target triple = "i386-apple-darwin9.5" +; this should be rearranged to have two +s and one - +define i32 @test(i8* %a, i8* %L, i8* %P) nounwind { +entry: + %0 = ptrtoint i8* %P to i32 + %1 = sub i32 -2, %0 + %2 = ptrtoint i8* %L to i32 + %3 = ptrtoint i8* %a to i32 + %4 = sub i32 %2, %3 ; <i32> [#uses=1] + %5 = add i32 %1, %4 ; <i32> [#uses=1] + br label %return + +return: ; preds = %bb3 + ret i32 %5 +} |