1; RUN: llc < %s -mtriple=arm64-linux-gnu | FileCheck %s
2
3@x1 = external hidden global [2 x i64]
4@x2 = external hidden global [16777216 x i64]
5@x3 = external hidden global { [9 x i8*], [8 x i8*] }
6
7define i64 @f1() {
8  ; CHECK: f1:
9  ; CHECK: adrp x8, x1+16
10  ; CHECK: ldr x0, [x8, :lo12:x1+16]
11  %l = load i64, i64* getelementptr ([2 x i64], [2 x i64]* @x1, i64 0, i64 2)
12  ret i64 %l
13}
14
15define i64 @f2() {
16  ; CHECK: f2:
17  ; CHECK: adrp x8, x1
18  ; CHECK: add x8, x8, :lo12:x1
19  ; CHECK: ldr x0, [x8, #24]
20  %l = load i64, i64* getelementptr ([2 x i64], [2 x i64]* @x1, i64 0, i64 3)
21  ret i64 %l
22}
23
24define i64 @f3() {
25  ; CHECK: f3:
26  ; CHECK: adrp x8, x1+1
27  ; CHECK: add x8, x8, :lo12:x1+1
28  ; CHECK: ldr x0, [x8]
29  %l = load i64, i64* bitcast (i8* getelementptr (i8, i8* bitcast ([2 x i64]* @x1 to i8*), i64 1) to i64*)
30  ret i64 %l
31}
32
33define [2 x i64] @f4() {
34  ; CHECK: f4:
35  ; CHECK: adrp x8, x2+8
36  ; CHECK: add x8, x8, :lo12:x2+8
37  ; CHECK: ldp x0, x1, [x8]
38  %l = load [2 x i64], [2 x i64]* bitcast (i8* getelementptr (i8, i8* bitcast ([16777216 x i64]* @x2 to i8*), i64 8) to [2 x i64]*)
39  ret [2 x i64] %l
40}
41
42define i64 @f5() {
43  ; CHECK: f5:
44  ; CHECK: adrp x8, x2+2097144
45  ; CHECK: ldr x0, [x8, :lo12:x2+2097144]
46  ; CHECK: ret
47  %l = load i64, i64* getelementptr ([16777216 x i64], [16777216 x i64]* @x2, i64 0, i64 262143)
48  ret i64 %l
49}
50
51define i64 @f6() {
52  ; CHECK: f6:
53  ; CHECK: adrp x8, x2
54  ; CHECK: add x8, x8, :lo12:x2
55  ; CHECK: mov w9, #2097152
56  ; CHECK: ldr x0, [x8, x9]
57  ; CHECK: ret
58  %l = load i64, i64* getelementptr ([16777216 x i64], [16777216 x i64]* @x2, i64 0, i64 262144)
59  ret i64 %l
60}
61
62define i32 @f7() {
63entry:
64  ; CHECK: f7
65  ; CHECK: adrp x8, x3+108
66  ; CHECK: ldr w0, [x8, :lo12:x3+108]
67  %l = load i32, i32* getelementptr (i32, i32* inttoptr (i64 trunc (i128 lshr (i128 bitcast (<2 x i64> <i64 undef, i64 ptrtoint (i8** getelementptr inbounds ({ [9 x i8*], [8 x i8*] }, { [9 x i8*], [8 x i8*] }* @x3, i64 0, inrange i32 1, i64 2) to i64)> to i128), i128 64) to i64) to i32*), i64 5)
68  ret i32 %l
69}
70