diff options
| author | Jakob Stoklund Olesen <stoklund@2pi.dk> | 2011-10-14 17:25:46 +0000 |
|---|---|---|
| committer | Jakob Stoklund Olesen <stoklund@2pi.dk> | 2011-10-14 17:25:46 +0000 |
| commit | ac7caa0d436fa9fe96234c4e009cdacd7cd6b124 (patch) | |
| tree | f2c0debed34f76be806f8a444dcd2c1b994e8f6e /test/CodeGen/X86/uint64-to-float.ll | |
| parent | 008b58c4ae38d45e01267bdea9f4b166ad35ca74 (diff) | |
| download | llvm-ac7caa0d436fa9fe96234c4e009cdacd7cd6b124.tar.gz llvm-ac7caa0d436fa9fe96234c4e009cdacd7cd6b124.tar.bz2 llvm-ac7caa0d436fa9fe96234c4e009cdacd7cd6b124.tar.xz | |
Update live-in lists when splitting critical edges.
Fixes PR10814. Patch by Jan Sjödin!
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@141960 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/CodeGen/X86/uint64-to-float.ll')
| -rw-r--r-- | test/CodeGen/X86/uint64-to-float.ll | 33 |
1 files changed, 29 insertions, 4 deletions
diff --git a/test/CodeGen/X86/uint64-to-float.ll b/test/CodeGen/X86/uint64-to-float.ll index d9f753c7a8..1dbbdcf892 100644 --- a/test/CodeGen/X86/uint64-to-float.ll +++ b/test/CodeGen/X86/uint64-to-float.ll @@ -6,12 +6,37 @@ target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64" target triple = "x86_64-apple-darwin10.0.0" -; CHECK: testq %rdi, %rdi -; CHECK-NEXT: jns LBB0_2 +; FIXME: This test could generate this code: +; +; ## BB#0: ## %entry +; testq %rdi, %rdi +; jns LBB0_2 +; ## BB#1: +; movq %rdi, %rax +; shrq %rax +; andq $1, %rdi +; orq %rax, %rdi +; cvtsi2ssq %rdi, %xmm0 +; addss %xmm0, %xmm0 +; ret +; LBB0_2: ## %entry +; cvtsi2ssq %rdi, %xmm0 +; ret +; +; The blocks come from lowering: +; +; %vreg7<def> = CMOV_FR32 %vreg6<kill>, %vreg5<kill>, 15, %EFLAGS<imp-use>; FR32:%vreg7,%vreg6,%vreg5 +; +; If the instruction had an EFLAGS<kill> flag, it wouldn't need to mark EFLAGS +; as live-in on the new blocks, and machine sinking would be able to sink +; everything below the test. + ; CHECK: shrq -; CHECK-NEXT: andq +; CHECK: andq ; CHECK-NEXT: orq -; CHECK-NEXT: cvtsi2ss +; CHECK: testq %rdi, %rdi +; CHECK-NEXT: jns LBB0_2 +; CHECK: cvtsi2ss ; CHECK: LBB0_2 ; CHECK-NEXT: cvtsi2ss define float @test(i64 %a) { |