1 ; RUN: llc -mtriple=aarch64-linux-gnu -verify-machineinstrs -o - %s | FileCheck %s
3 ; This file contains tests for the AArch64 load/store optimizer.
5 %padding = type { i8*, i8*, i8*, i8* }
6 %s.word = type { i32, i32 }
7 %s.doubleword = type { i64, i32 }
8 %s.quadword = type { fp128, i32 }
9 %s.float = type { float, i32 }
10 %s.double = type { double, i32 }
11 %struct.word = type { %padding, %s.word }
12 %struct.doubleword = type { %padding, %s.doubleword }
13 %struct.quadword = type { %padding, %s.quadword }
14 %struct.float = type { %padding, %s.float }
15 %struct.double = type { %padding, %s.double }
17 ; Check the following transform:
19 ; (ldr|str) X, [x0, #32]
23 ; (ldr|str) X, [x0, #32]!
25 ; with X being either w1, x1, s0, d0 or q0.
27 declare void @bar_word(%s.word*, i32)
29 define void @load-pre-indexed-word(%struct.word* %ptr) nounwind {
30 ; CHECK-LABEL: load-pre-indexed-word
31 ; CHECK: ldr w{{[0-9]+}}, [x{{[0-9]+}}, #32]!
33 %a = getelementptr inbounds %struct.word* %ptr, i64 0, i32 1, i32 0
34 %add = load i32* %a, align 4
37 %c = getelementptr inbounds %struct.word* %ptr, i64 0, i32 1
38 tail call void @bar_word(%s.word* %c, i32 %add)
42 define void @store-pre-indexed-word(%struct.word* %ptr, i32 %val) nounwind {
43 ; CHECK-LABEL: store-pre-indexed-word
44 ; CHECK: str w{{[0-9]+}}, [x{{[0-9]+}}, #32]!
46 %a = getelementptr inbounds %struct.word* %ptr, i64 0, i32 1, i32 0
47 store i32 %val, i32* %a, align 4
50 %c = getelementptr inbounds %struct.word* %ptr, i64 0, i32 1
51 tail call void @bar_word(%s.word* %c, i32 %val)
55 declare void @bar_doubleword(%s.doubleword*, i64)
57 define void @load-pre-indexed-doubleword(%struct.doubleword* %ptr) nounwind {
58 ; CHECK-LABEL: load-pre-indexed-doubleword
59 ; CHECK: ldr x{{[0-9]+}}, [x{{[0-9]+}}, #32]!
61 %a = getelementptr inbounds %struct.doubleword* %ptr, i64 0, i32 1, i32 0
62 %add = load i64* %a, align 4
65 %c = getelementptr inbounds %struct.doubleword* %ptr, i64 0, i32 1
66 tail call void @bar_doubleword(%s.doubleword* %c, i64 %add)
70 define void @store-pre-indexed-doubleword(%struct.doubleword* %ptr, i64 %val) nounwind {
71 ; CHECK-LABEL: store-pre-indexed-doubleword
72 ; CHECK: str x{{[0-9]+}}, [x{{[0-9]+}}, #32]!
74 %a = getelementptr inbounds %struct.doubleword* %ptr, i64 0, i32 1, i32 0
75 store i64 %val, i64* %a, align 4
78 %c = getelementptr inbounds %struct.doubleword* %ptr, i64 0, i32 1
79 tail call void @bar_doubleword(%s.doubleword* %c, i64 %val)
83 declare void @bar_quadword(%s.quadword*, fp128)
85 define void @load-pre-indexed-quadword(%struct.quadword* %ptr) nounwind {
86 ; CHECK-LABEL: load-pre-indexed-quadword
87 ; CHECK: ldr q{{[0-9]+}}, [x{{[0-9]+}}, #32]!
89 %a = getelementptr inbounds %struct.quadword* %ptr, i64 0, i32 1, i32 0
90 %add = load fp128* %a, align 4
93 %c = getelementptr inbounds %struct.quadword* %ptr, i64 0, i32 1
94 tail call void @bar_quadword(%s.quadword* %c, fp128 %add)
98 define void @store-pre-indexed-quadword(%struct.quadword* %ptr, fp128 %val) nounwind {
99 ; CHECK-LABEL: store-pre-indexed-quadword
100 ; CHECK: str q{{[0-9]+}}, [x{{[0-9]+}}, #32]!
102 %a = getelementptr inbounds %struct.quadword* %ptr, i64 0, i32 1, i32 0
103 store fp128 %val, fp128* %a, align 4
106 %c = getelementptr inbounds %struct.quadword* %ptr, i64 0, i32 1
107 tail call void @bar_quadword(%s.quadword* %c, fp128 %val)
111 declare void @bar_float(%s.float*, float)
113 define void @load-pre-indexed-float(%struct.float* %ptr) nounwind {
114 ; CHECK-LABEL: load-pre-indexed-float
115 ; CHECK: ldr s{{[0-9]+}}, [x{{[0-9]+}}, #32]!
117 %a = getelementptr inbounds %struct.float* %ptr, i64 0, i32 1, i32 0
118 %add = load float* %a, align 4
121 %c = getelementptr inbounds %struct.float* %ptr, i64 0, i32 1
122 tail call void @bar_float(%s.float* %c, float %add)
126 define void @store-pre-indexed-float(%struct.float* %ptr, float %val) nounwind {
127 ; CHECK-LABEL: store-pre-indexed-float
128 ; CHECK: str s{{[0-9]+}}, [x{{[0-9]+}}, #32]!
130 %a = getelementptr inbounds %struct.float* %ptr, i64 0, i32 1, i32 0
131 store float %val, float* %a, align 4
134 %c = getelementptr inbounds %struct.float* %ptr, i64 0, i32 1
135 tail call void @bar_float(%s.float* %c, float %val)
139 declare void @bar_double(%s.double*, double)
141 define void @load-pre-indexed-double(%struct.double* %ptr) nounwind {
142 ; CHECK-LABEL: load-pre-indexed-double
143 ; CHECK: ldr d{{[0-9]+}}, [x{{[0-9]+}}, #32]!
145 %a = getelementptr inbounds %struct.double* %ptr, i64 0, i32 1, i32 0
146 %add = load double* %a, align 4
149 %c = getelementptr inbounds %struct.double* %ptr, i64 0, i32 1
150 tail call void @bar_double(%s.double* %c, double %add)
154 define void @store-pre-indexed-double(%struct.double* %ptr, double %val) nounwind {
155 ; CHECK-LABEL: store-pre-indexed-double
156 ; CHECK: str d{{[0-9]+}}, [x{{[0-9]+}}, #32]!
158 %a = getelementptr inbounds %struct.double* %ptr, i64 0, i32 1, i32 0
159 store double %val, double* %a, align 4
162 %c = getelementptr inbounds %struct.double* %ptr, i64 0, i32 1
163 tail call void @bar_double(%s.double* %c, double %val)