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 ; CHECK: test2:
  32 ; CHECK: movq   %rdi, -8(%rsp)
  33 ; CHECK: cmpq   $42, -8(%rsp)
  34 }
  35
  36
  37
  38
  39 @G = external global i32
  40 define i64 @test3() nounwind {
  41   %A = ptrtoint i32* @G to i64
  42   ret i64 %A
  43 ; CHECK: test3:
  44 ; CHECK: movq _G@GOTPCREL(%rip), %rax
  45 ; CHECK-NEXT: ret
  46 }
  47
  48
  49
  50 ; rdar://9289558
  51 @rtx_length = external global [153 x i8]
  52
  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
  57   ret i32 %conv
  58
  59 ; CHECK: test4:
  60 ; CHECK: movq   _rtx_length@GOTPCREL(%rip), %rax
  61 ; CHECK-NEXT: movzbl    (%rax,%rdi), %eax
  62 ; CHECK-NEXT: ret
  63 }