blob: 21551e1d4687034c29419e3bf61f6a74147fc1c2 [file] [log] [blame]
Chris Lattner25519dd2009-09-15 18:23:23 +00001; RUN: llc < %s -march=x86-64 -O0 | FileCheck %s --check-prefix=X64
2; RUN: llc < %s -march=x86 -O0 | FileCheck %s --check-prefix=X32
Dan Gohmanc8a1a3c2008-12-08 07:57:47 +00003
4; GEP indices are interpreted as signed integers, so they
5; should be sign-extended to 64 bits on 64-bit targets.
Chris Lattnerdffb6e52009-09-15 18:27:02 +00006; PR3181
Chris Lattner25519dd2009-09-15 18:23:23 +00007define i32 @test1(i32 %t3, i32* %t1) nounwind {
Dan Gohmanc8a1a3c2008-12-08 07:57:47 +00008 %t9 = getelementptr i32* %t1, i32 %t3 ; <i32*> [#uses=1]
9 %t15 = load i32* %t9 ; <i32> [#uses=1]
10 ret i32 %t15
Chris Lattner25519dd2009-09-15 18:23:23 +000011; X32: test1:
12; X32: movl (%ecx,%eax,4), %eax
13; X32: ret
14
15; X64: test1:
16; X64: movslq %edi, %rax
Dan Gohmanf423a692010-07-07 18:32:53 +000017; X64: movl (%rsi,%rax,4), %e
Chris Lattner25519dd2009-09-15 18:23:23 +000018
Dan Gohmanc8a1a3c2008-12-08 07:57:47 +000019}
Chris Lattner25519dd2009-09-15 18:23:23 +000020define i32 @test2(i64 %t3, i32* %t1) nounwind {
Dan Gohmanc8a1a3c2008-12-08 07:57:47 +000021 %t9 = getelementptr i32* %t1, i64 %t3 ; <i32*> [#uses=1]
22 %t15 = load i32* %t9 ; <i32> [#uses=1]
23 ret i32 %t15
Chris Lattner25519dd2009-09-15 18:23:23 +000024; X32: test2:
25; X32: movl (%eax,%ecx,4), %eax
26; X32: ret
27
28; X64: test2:
29; X64: movl (%rsi,%rdi,4), %eax
30; X64: ret
Dan Gohmanc8a1a3c2008-12-08 07:57:47 +000031}
Chris Lattnerdffb6e52009-09-15 18:27:02 +000032
33
34
35; PR4984
36define i8 @test3(i8* %start) nounwind {
37entry:
38 %A = getelementptr i8* %start, i64 -2 ; <i8*> [#uses=1]
39 %B = load i8* %A, align 1 ; <i8> [#uses=1]
40 ret i8 %B
41
42
43; X32: test3:
44; X32: movl 4(%esp), %eax
45; X32: movb -2(%eax), %al
46; X32: ret
47
48; X64: test3:
49; X64: movb -2(%rdi), %al
50; X64: ret
51
52}
Dan Gohman5c87bf62010-07-01 02:27:15 +000053
54define double @test4(i64 %x, double* %p) nounwind {
55entry:
56 %x.addr = alloca i64, align 8 ; <i64*> [#uses=2]
57 %p.addr = alloca double*, align 8 ; <double**> [#uses=2]
58 store i64 %x, i64* %x.addr
59 store double* %p, double** %p.addr
60 %tmp = load i64* %x.addr ; <i64> [#uses=1]
61 %add = add nsw i64 %tmp, 16 ; <i64> [#uses=1]
62 %tmp1 = load double** %p.addr ; <double*> [#uses=1]
63 %arrayidx = getelementptr inbounds double* %tmp1, i64 %add ; <double*> [#uses=1]
64 %tmp2 = load double* %arrayidx ; <double> [#uses=1]
65 ret double %tmp2
66
67; X32: test4:
68; X32: 128(%e{{.*}},%e{{.*}},8)
69; X64: test4:
70; X64: 128(%r{{.*}},%r{{.*}},8)
71}