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
5 ; GEP indices are interpreted as signed integers, so they
6 ; should be sign-extended to 64 bits on 64-bit targets.
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]
13 ; X32: movl (%ecx,%eax,4), %eax
17 ; X64: movslq %edi, %rax
18 ; X64: movl (%rsi,%rax,4), %eax
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]
27 ; X32: movl (%eax,%ecx,4), %eax
31 ; X64: movl (%rsi,%rdi,4), %eax