Fix rdar://9289512 - not folding load into compare at -O0
[oota-llvm.git] / test / CodeGen / X86 / fast-isel-x86-64.ll
1 ; RUN: llc < %s  -fast-isel -O0 -regalloc=fast | FileCheck %s
2
3 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"
4 target triple = "x86_64-apple-darwin10.0.0"
5
6 ; Make sure that fast-isel folds the immediate into the binop even though it
7 ; is non-canonical.
8 define i32 @test1(i32 %i) nounwind ssp {
9   %and = and i32 8, %i
10   ret i32 %and
11 }
12
13 ; CHECK: test1:
14 ; CHECK: andl   $8, 
15
16
17 ; rdar://9289512 - The load should fold into the compare.
18 define void @test2(i64 %x) nounwind ssp {
19 entry:
20   %x.addr = alloca i64, align 8
21   store i64 %x, i64* %x.addr, align 8
22   %tmp = load i64* %x.addr, align 8
23   %cmp = icmp sgt i64 %tmp, 42
24   br i1 %cmp, label %if.then, label %if.end
25
26 if.then:                                          ; preds = %entry
27   br label %if.end
28
29 if.end:                                           ; preds = %if.then, %entry
30   ret void
31 }
32
33 ; CHECK: test2:
34 ; CHECK: movq   %rdi, -8(%rsp)
35 ; CHECK: cmpq   $42, -8(%rsp)