test/CodeGen/X86/fast-isel-gep-sext.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 ; PR3181
   4
   5 ; GEP indices are interpreted as signed integers, so they
   6 ; should be sign-extended to 64 bits on 64-bit targets.
   7
   8 define i32 @test1(i32 %t3, i32* %t1) nounwind {
   9        %t9 = getelementptr i32* %t1, i32 %t3           ; <i32*> [#uses=1]
  10        %t15 = load i32* %t9            ; <i32> [#uses=1]
  11        ret i32 %t15
  12 ; X32: test1:
  13 ; X32:          movl    (%ecx,%eax,4), %eax
  14 ; X32:          ret
  15
  16 ; X64: test1:
  17 ; X64:          movslq  %edi, %rax
  18 ; X64:          movl    (%rsi,%rax,4), %eax
  19 ; X64:          ret
  20
  21 }
  22 define i32 @test2(i64 %t3, i32* %t1) nounwind {
  23        %t9 = getelementptr i32* %t1, i64 %t3           ; <i32*> [#uses=1]
  24        %t15 = load i32* %t9            ; <i32> [#uses=1]
  25        ret i32 %t15
  26 ; X32: test2:
  27 ; X32:          movl    (%eax,%ecx,4), %eax
  28 ; X32:          ret
  29
  30 ; X64: test2:
  31 ; X64:          movl    (%rsi,%rdi,4), %eax
  32 ; X64:          ret
  33 }