diff options
| author | Eli Friedman <eli.friedman@gmail.com> | 2011-05-04 19:54:24 +0000 |
|---|---|---|
| committer | Eli Friedman <eli.friedman@gmail.com> | 2011-05-04 19:54:24 +0000 |
| commit | 49cec1d818d0c7d801e786c458896a60eb424524 (patch) | |
| tree | 882141ee27beb9149f5029976eb6bdf2c3c1f58e /test | |
| parent | 2abb82b1d3bc31d75b7c03d76f7343d450f7b394 (diff) | |
| download | external_llvm-49cec1d818d0c7d801e786c458896a60eb424524.zip external_llvm-49cec1d818d0c7d801e786c458896a60eb424524.tar.gz external_llvm-49cec1d818d0c7d801e786c458896a60eb424524.tar.bz2 | |
Teach MachineCSE how to do simple cross-block CSE involving physregs. This allows, for example, eliminating duplicate cmpl's on x86. Part of rdar://problem/8259436 .
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@130862 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test')
| -rw-r--r-- | test/CodeGen/Thumb2/thumb2-cbnz.ll | 4 | ||||
| -rw-r--r-- | test/CodeGen/X86/cmp-redundant.ll | 22 |
2 files changed, 24 insertions, 2 deletions
diff --git a/test/CodeGen/Thumb2/thumb2-cbnz.ll b/test/CodeGen/Thumb2/thumb2-cbnz.ll index 10a4985..0ca9764 100644 --- a/test/CodeGen/Thumb2/thumb2-cbnz.ll +++ b/test/CodeGen/Thumb2/thumb2-cbnz.ll @@ -21,8 +21,8 @@ bb7: ; preds = %bb3 bb9: ; preds = %bb7 ; CHECK: cmp r0, #0 -; CHECK: cmp r0, #0 -; CHECK-NEXT: cbnz +; CHECK-NOT: cmp +; CHECK: cbnz %0 = tail call double @floor(double %b) nounwind readnone ; <double> [#uses=0] br label %bb11 diff --git a/test/CodeGen/X86/cmp-redundant.ll b/test/CodeGen/X86/cmp-redundant.ll new file mode 100644 index 0000000..d30ea3e --- /dev/null +++ b/test/CodeGen/X86/cmp-redundant.ll @@ -0,0 +1,22 @@ +; RUN: llc < %s -mtriple=x86_64-apple-darwin10 | FileCheck %s + +define i32 @cmp(i32* %aa, i32* %bb) nounwind readnone ssp { +entry: + %a = load i32* %aa + %b = load i32* %bb + %cmp = icmp sgt i32 %a, %b + br i1 %cmp, label %return, label %if.end +; CHECK: cmp: +; CHECK: cmpl +; CHECK: jg +if.end: ; preds = %entry +; CHECK-NOT: cmpl +; CHECK: cmov + %cmp4 = icmp slt i32 %a, %b + %. = select i1 %cmp4, i32 2, i32 111 + br label %return + +return: ; preds = %if.end, %entry + %retval.0 = phi i32 [ 1, %entry ], [ %., %if.end ] + ret i32 %retval.0 +} |