1 ; RUN: llc < %s -fast-isel -O0 -regalloc=fast -asm-verbose=0 -fast-isel-abort | FileCheck %s
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"
6 ; Make sure that fast-isel folds the immediate into the binop even though it
8 define i32 @test1(i32 %i) nounwind ssp {
17 ; rdar://9289512 - The load should fold into the compare.
18 define void @test2(i64 %x) nounwind ssp {
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
26 if.then: ; preds = %entry
29 if.end: ; preds = %if.then, %entry
32 ; CHECK: movq %rdi, -8(%rsp)
33 ; CHECK: cmpq $42, -8(%rsp)
39 @G = external global i32
40 define i64 @test3() nounwind {
41 %A = ptrtoint i32* @G to i64
44 ; CHECK: movq _G@GOTPCREL(%rip), %rax
51 @rtx_length = external global [153 x i8]
53 define i32 @test4(i64 %idxprom9) nounwind {
54 %arrayidx10 = getelementptr inbounds [153 x i8]* @rtx_length, i32 0, i64 %idxprom9
55 %tmp11 = load i8* %arrayidx10, align 1
56 %conv = zext i8 %tmp11 to i32
60 ; CHECK: movq _rtx_length@GOTPCREL(%rip), %rax
61 ; CHECK-NEXT: movzbl (%rax,%rdi), %eax
66 ; PR3242 - Out of range shifts should not be folded by fastisel.
67 define void @test5(i32 %x, i32* %p) nounwind {
68 %y = ashr i32 %x, 50000
73 ; CHECK: movl $50000, %ecx
74 ; CHECK: sarl %cl, %edi
78 ; rdar://9289501 - fast isel should fold trivial multiplies to shifts.
79 define i64 @test6(i64 %x) nounwind ssp {
81 %mul = mul nsw i64 %x, 8
85 ; CHECK: leaq (,%rdi,8), %rax
88 define i32 @test7(i32 %x) nounwind ssp {
90 %mul = mul nsw i32 %x, 8
93 ; CHECK: leal (,%rdi,8), %eax
97 ; rdar://9289507 - folding of immediates into 64-bit operations.
98 define i64 @test8(i64 %x) nounwind ssp {
100 %add = add nsw i64 %x, 7
104 ; CHECK: addq $7, %rdi
107 define i64 @test9(i64 %x) nounwind ssp {
109 %add = mul nsw i64 %x, 7
112 ; CHECK: imulq $7, %rdi, %rax
115 ; rdar://9297011 - Don't reject udiv by a power of 2.
116 define i32 @test10(i32 %X) nounwind {
123 define i32 @test11(i32 %X) nounwind {
124 %Y = sdiv exact i32 %X, 8