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    (%ecx,%eax,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    (%eax,%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 }