test/CodeGen/X86/fast-isel-gep.ll

   1 ; RUN: llc < %s -march=x86-64 -O0 | FileCheck %s --check-prefix=X64
   2 ; RUN: llc < %s -march=x86 -O0 | FileCheck %s --check-prefix=X32
   3
   4 ; GEP indices are interpreted as signed integers, so they
   5 ; should be sign-extended to 64 bits on 64-bit targets.
   6 ; PR3181
   7 define i32 @test1(i32 %t3, i32* %t1) nounwind {
   8        %t9 = getelementptr i32* %t1, i32 %t3           ; <i32*> [#uses=1]
   9        %t15 = load i32* %t9            ; <i32> [#uses=1]
  10        ret i32 %t15
  11 ; X32: test1:
  12 ; X32:          movl    (%eax,%ecx,4), %eax
  13 ; X32:          ret
  14
  15 ; X64: test1:
  16 ; X64:          movslq  %edi, %rax
  17 ; X64:          movl    (%rsi,%rax,4), %eax
  18 ; X64:          ret
  19
  20 }
  21 define i32 @test2(i64 %t3, i32* %t1) nounwind {
  22        %t9 = getelementptr i32* %t1, i64 %t3           ; <i32*> [#uses=1]
  23        %t15 = load i32* %t9            ; <i32> [#uses=1]
  24        ret i32 %t15
  25 ; X32: test2:
  26 ; X32:          movl    (%edx,%ecx,4), %eax
  27 ; X32:          ret
  28
  29 ; X64: test2:
  30 ; X64:          movl    (%rsi,%rdi,4), %eax
  31 ; X64:          ret
  32 }
  33
  34
  35
  36 ; PR4984
  37 define i8 @test3(i8* %start) nounwind {
  38 entry:
  39   %A = getelementptr i8* %start, i64 -2               ; <i8*> [#uses=1]
  40   %B = load i8* %A, align 1                       ; <i8> [#uses=1]
  41   ret i8 %B
  42
  43
  44 ; X32: test3:
  45 ; X32:          movl    4(%esp), %eax
  46 ; X32:          movb    -2(%eax), %al
  47 ; X32:          ret
  48
  49 ; X64: test3:
  50 ; X64:          movb    -2(%rdi), %al
  51 ; X64:          ret
  52
  53 }
  54
  55 define double @test4(i64 %x, double* %p) nounwind {
  56 entry:
  57   %x.addr = alloca i64, align 8                   ; <i64*> [#uses=2]
  58   %p.addr = alloca double*, align 8               ; <double**> [#uses=2]
  59   store i64 %x, i64* %x.addr
  60   store double* %p, double** %p.addr
  61   %tmp = load i64* %x.addr                        ; <i64> [#uses=1]
  62   %add = add nsw i64 %tmp, 16                     ; <i64> [#uses=1]
  63   %tmp1 = load double** %p.addr                   ; <double*> [#uses=1]
  64   %arrayidx = getelementptr inbounds double* %tmp1, i64 %add ; <double*> [#uses=1]
  65   %tmp2 = load double* %arrayidx                  ; <double> [#uses=1]
  66   ret double %tmp2
  67
  68 ; X32: test4:
  69 ; X32: 128(%e{{.*}},%e{{.*}},8)
  70 ; X64: test4:
  71 ; X64: 128(%r{{.*}},%r{{.*}},8)
  72 }