1 ; Test 32-bit ANDs in which the second operand is variable.
3 ; RUN: llc < %s -mtriple=s390x-linux-gnu -mcpu=z10 | FileCheck %s
4 ; RUN: llc < %s -mtriple=s390x-linux-gnu -mcpu=z196 | FileCheck %s
9 define i32 @f1(i32 %a, i32 %b) {
17 ; Check the low end of the N range.
18 define i32 @f2(i32 %a, i32 *%src) {
20 ; CHECK: n %r2, 0(%r3)
27 ; Check the high end of the aligned N range.
28 define i32 @f3(i32 %a, i32 *%src) {
30 ; CHECK: n %r2, 4092(%r3)
32 %ptr = getelementptr i32, i32 *%src, i64 1023
38 ; Check the next word up, which should use NY instead of N.
39 define i32 @f4(i32 %a, i32 *%src) {
41 ; CHECK: ny %r2, 4096(%r3)
43 %ptr = getelementptr i32, i32 *%src, i64 1024
49 ; Check the high end of the aligned NY range.
50 define i32 @f5(i32 %a, i32 *%src) {
52 ; CHECK: ny %r2, 524284(%r3)
54 %ptr = getelementptr i32, i32 *%src, i64 131071
60 ; Check the next word up, which needs separate address logic.
61 ; Other sequences besides this one would be OK.
62 define i32 @f6(i32 %a, i32 *%src) {
64 ; CHECK: agfi %r3, 524288
65 ; CHECK: n %r2, 0(%r3)
67 %ptr = getelementptr i32, i32 *%src, i64 131072
73 ; Check the high end of the negative aligned NY range.
74 define i32 @f7(i32 %a, i32 *%src) {
76 ; CHECK: ny %r2, -4(%r3)
78 %ptr = getelementptr i32, i32 *%src, i64 -1
84 ; Check the low end of the NY range.
85 define i32 @f8(i32 %a, i32 *%src) {
87 ; CHECK: ny %r2, -524288(%r3)
89 %ptr = getelementptr i32, i32 *%src, i64 -131072
95 ; Check the next word down, which needs separate address logic.
96 ; Other sequences besides this one would be OK.
97 define i32 @f9(i32 %a, i32 *%src) {
99 ; CHECK: agfi %r3, -524292
100 ; CHECK: n %r2, 0(%r3)
102 %ptr = getelementptr i32, i32 *%src, i64 -131073
104 %and = and i32 %a, %b
108 ; Check that N allows an index.
109 define i32 @f10(i32 %a, i64 %src, i64 %index) {
111 ; CHECK: n %r2, 4092({{%r4,%r3|%r3,%r4}})
113 %add1 = add i64 %src, %index
114 %add2 = add i64 %add1, 4092
115 %ptr = inttoptr i64 %add2 to i32 *
117 %and = and i32 %a, %b
121 ; Check that NY allows an index.
122 define i32 @f11(i32 %a, i64 %src, i64 %index) {
124 ; CHECK: ny %r2, 4096({{%r4,%r3|%r3,%r4}})
126 %add1 = add i64 %src, %index
127 %add2 = add i64 %add1, 4096
128 %ptr = inttoptr i64 %add2 to i32 *
130 %and = and i32 %a, %b
134 ; Check that ANDs of spilled values can use N rather than NR.
135 define i32 @f12(i32 *%ptr0) {
137 ; CHECK: brasl %r14, foo@PLT
138 ; CHECK: n %r2, 16{{[04]}}(%r15)
140 %ptr1 = getelementptr i32, i32 *%ptr0, i64 2
141 %ptr2 = getelementptr i32, i32 *%ptr0, i64 4
142 %ptr3 = getelementptr i32, i32 *%ptr0, i64 6
143 %ptr4 = getelementptr i32, i32 *%ptr0, i64 8
144 %ptr5 = getelementptr i32, i32 *%ptr0, i64 10
145 %ptr6 = getelementptr i32, i32 *%ptr0, i64 12
146 %ptr7 = getelementptr i32, i32 *%ptr0, i64 14
147 %ptr8 = getelementptr i32, i32 *%ptr0, i64 16
148 %ptr9 = getelementptr i32, i32 *%ptr0, i64 18
150 %val0 = load i32 *%ptr0
151 %val1 = load i32 *%ptr1
152 %val2 = load i32 *%ptr2
153 %val3 = load i32 *%ptr3
154 %val4 = load i32 *%ptr4
155 %val5 = load i32 *%ptr5
156 %val6 = load i32 *%ptr6
157 %val7 = load i32 *%ptr7
158 %val8 = load i32 *%ptr8
159 %val9 = load i32 *%ptr9
161 %ret = call i32 @foo()
163 %and0 = and i32 %ret, %val0
164 %and1 = and i32 %and0, %val1
165 %and2 = and i32 %and1, %val2
166 %and3 = and i32 %and2, %val3
167 %and4 = and i32 %and3, %val4
168 %and5 = and i32 %and4, %val5
169 %and6 = and i32 %and5, %val6
170 %and7 = and i32 %and6, %val7
171 %and8 = and i32 %and7, %val8
172 %and9 = and i32 %and8, %val9