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
4
; GEP indices are interpreted as signed integers, so they
5
; should be sign-extended to 64 bits on 64-bit targets.
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]
12
; X32: movl (%ecx,%eax,4), %eax
16
; X64: movslq %edi, %rax
17
; X64: movl (%rsi,%rax,4), %eax
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]
26
; X32: movl (%eax,%ecx,4), %eax
30
; X64: movl (%rsi,%rdi,4), %eax
37
define i8 @test3(i8* %start) nounwind {
39
%A = getelementptr i8* %start, i64 -2 ; <i8*> [#uses=1]
40
%B = load i8* %A, align 1 ; <i8> [#uses=1]
45
; X32: movl 4(%esp), %eax
46
; X32: movb -2(%eax), %al
50
; X64: movb -2(%rdi), %al