diff options
author | Dan Gohman <gohman@apple.com> | 2009-09-25 23:58:45 +0000 |
---|---|---|
committer | Dan Gohman <gohman@apple.com> | 2009-09-25 23:58:45 +0000 |
commit | a8fb336c2e7b8beb00d96a0992c41d38f0310a8f (patch) | |
tree | af515c565d2b114ee2c56455fc8a97251e6e1f27 /test/CodeGen | |
parent | a23643d5b7cb84a465f3535ee1a685c3612d5262 (diff) | |
download | external_llvm-a8fb336c2e7b8beb00d96a0992c41d38f0310a8f.zip external_llvm-a8fb336c2e7b8beb00d96a0992c41d38f0310a8f.tar.gz external_llvm-a8fb336c2e7b8beb00d96a0992c41d38f0310a8f.tar.bz2 |
Unbreak MachineLICM for instructions that reference RIP on x86-64 too.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@82825 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/CodeGen')
-rw-r--r-- | test/CodeGen/X86/sink-hoist.ll | 42 | ||||
-rw-r--r-- | test/CodeGen/X86/sink.ll | 18 |
2 files changed, 42 insertions, 18 deletions
diff --git a/test/CodeGen/X86/sink-hoist.ll b/test/CodeGen/X86/sink-hoist.ll new file mode 100644 index 0000000..24f2f94 --- /dev/null +++ b/test/CodeGen/X86/sink-hoist.ll @@ -0,0 +1,42 @@ +; RUN: llc < %s -march=x86-64 -asm-verbose=false | FileCheck %s + +; Currently, floating-point selects are lowered to CFG triangles. +; This means that one side of the select is always unconditionally +; evaluated, however with MachineSink we can sink the other side so +; that it's conditionally evaluated. + +; CHECK: foo: +; CHECK-NEXT: divsd +; CHECK-NEXT: testb $1, %dil +; CHECK-NEXT: jne + +define double @foo(double %x, double %y, i1 %c) nounwind { + %a = fdiv double %x, 3.2 + %b = fdiv double %y, 3.3 + %z = select i1 %c, double %a, double %b + ret double %z +} + +; Hoist floating-point constant-pool loads out of loops. + +; CHECK: bar: +; CHECK: movsd +; CHECK: align +define void @bar(double* nocapture %p, i64 %n) nounwind { +entry: + %0 = icmp sgt i64 %n, 0 + br i1 %0, label %bb, label %return + +bb: + %i.03 = phi i64 [ 0, %entry ], [ %3, %bb ] + %scevgep = getelementptr double* %p, i64 %i.03 + %1 = load double* %scevgep, align 8 + %2 = fdiv double 3.200000e+00, %1 + store double %2, double* %scevgep, align 8 + %3 = add nsw i64 %i.03, 1 + %exitcond = icmp eq i64 %3, %n + br i1 %exitcond, label %return, label %bb + +return: + ret void +} diff --git a/test/CodeGen/X86/sink.ll b/test/CodeGen/X86/sink.ll deleted file mode 100644 index 1d128b9..0000000 --- a/test/CodeGen/X86/sink.ll +++ /dev/null @@ -1,18 +0,0 @@ -; RUN: llc < %s -march=x86-64 -asm-verbose=false | FileCheck %s - -; Currently, floating-point selects are lowered to CFG triangles. -; This means that one side of the select is always unconditionally -; evaluated, however with MachineSink we can sink the other side so -; that it's conditionally evaluated. - -; CHECK: foo: -; CHECK-NEXT: divsd -; CHECK-NEXT: testb $1, %dil -; CHECK-NEXT: jne - -define double @foo(double %x, double %y, i1 %c) nounwind { - %a = fdiv double %x, 3.2 - %b = fdiv double %y, 3.3 - %z = select i1 %c, double %a, double %b - ret double %z -} |