1 ; Test 32-bit atomic minimum and maximum. Here we match the z10 versions,
2 ; which can't use LOCR.
4 ; RUN: llc < %s -mtriple=s390x-linux-gnu -mcpu=z10 | FileCheck %s
7 define i32 @f1(i32 %dummy, i32 *%src, i32 %b) {
10 ; CHECK: [[LOOP:\.[^:]*]]:
11 ; CHECK: lr [[NEW:%r[0-9]+]], %r2
12 ; CHECK: crjle %r2, %r4, [[KEEP:\..*]]
13 ; CHECK: lr [[NEW]], %r4
14 ; CHECK: cs %r2, [[NEW]], 0(%r3)
17 %res = atomicrmw min i32 *%src, i32 %b seq_cst
21 ; Check signed maximum.
22 define i32 @f2(i32 %dummy, i32 *%src, i32 %b) {
24 ; CHECK: l %r2, 0(%r3)
25 ; CHECK: [[LOOP:\.[^:]*]]:
26 ; CHECK: lr [[NEW:%r[0-9]+]], %r2
27 ; CHECK: crjhe %r2, %r4, [[KEEP:\..*]]
28 ; CHECK: lr [[NEW]], %r4
29 ; CHECK: cs %r2, [[NEW]], 0(%r3)
32 %res = atomicrmw max i32 *%src, i32 %b seq_cst
36 ; Check unsigned minimum.
37 define i32 @f3(i32 %dummy, i32 *%src, i32 %b) {
39 ; CHECK: l %r2, 0(%r3)
40 ; CHECK: [[LOOP:\.[^:]*]]:
41 ; CHECK: lr [[NEW:%r[0-9]+]], %r2
42 ; CHECK: clrjle %r2, %r4, [[KEEP:\..*]]
43 ; CHECK: lr [[NEW]], %r4
44 ; CHECK: cs %r2, [[NEW]], 0(%r3)
47 %res = atomicrmw umin i32 *%src, i32 %b seq_cst
51 ; Check unsigned maximum.
52 define i32 @f4(i32 %dummy, i32 *%src, i32 %b) {
54 ; CHECK: l %r2, 0(%r3)
55 ; CHECK: [[LOOP:\.[^:]*]]:
56 ; CHECK: lr [[NEW:%r[0-9]+]], %r2
57 ; CHECK: clrjhe %r2, %r4, [[KEEP:\..*]]
58 ; CHECK: lr [[NEW]], %r4
59 ; CHECK: cs %r2, [[NEW]], 0(%r3)
62 %res = atomicrmw umax i32 *%src, i32 %b seq_cst
66 ; Check the high end of the aligned CS range.
67 define i32 @f5(i32 %dummy, i32 *%src, i32 %b) {
69 ; CHECK: l %r2, 4092(%r3)
70 ; CHECK: cs %r2, {{%r[0-9]+}}, 4092(%r3)
72 %ptr = getelementptr i32 *%src, i64 1023
73 %res = atomicrmw min i32 *%ptr, i32 %b seq_cst
77 ; Check the next word up, which requires CSY.
78 define i32 @f6(i32 %dummy, i32 *%src, i32 %b) {
80 ; CHECK: ly %r2, 4096(%r3)
81 ; CHECK: csy %r2, {{%r[0-9]+}}, 4096(%r3)
83 %ptr = getelementptr i32 *%src, i64 1024
84 %res = atomicrmw min i32 *%ptr, i32 %b seq_cst
88 ; Check the high end of the aligned CSY range.
89 define i32 @f7(i32 %dummy, i32 *%src, i32 %b) {
91 ; CHECK: ly %r2, 524284(%r3)
92 ; CHECK: csy %r2, {{%r[0-9]+}}, 524284(%r3)
94 %ptr = getelementptr i32 *%src, i64 131071
95 %res = atomicrmw min i32 *%ptr, i32 %b seq_cst
99 ; Check the next word up, which needs separate address logic.
100 define i32 @f8(i32 %dummy, i32 *%src, i32 %b) {
102 ; CHECK: agfi %r3, 524288
103 ; CHECK: l %r2, 0(%r3)
104 ; CHECK: cs %r2, {{%r[0-9]+}}, 0(%r3)
106 %ptr = getelementptr i32 *%src, i64 131072
107 %res = atomicrmw min i32 *%ptr, i32 %b seq_cst
111 ; Check the high end of the negative aligned CSY range.
112 define i32 @f9(i32 %dummy, i32 *%src, i32 %b) {
114 ; CHECK: ly %r2, -4(%r3)
115 ; CHECK: csy %r2, {{%r[0-9]+}}, -4(%r3)
117 %ptr = getelementptr i32 *%src, i64 -1
118 %res = atomicrmw min i32 *%ptr, i32 %b seq_cst
122 ; Check the low end of the CSY range.
123 define i32 @f10(i32 %dummy, i32 *%src, i32 %b) {
125 ; CHECK: ly %r2, -524288(%r3)
126 ; CHECK: csy %r2, {{%r[0-9]+}}, -524288(%r3)
128 %ptr = getelementptr i32 *%src, i64 -131072
129 %res = atomicrmw min i32 *%ptr, i32 %b seq_cst
133 ; Check the next word down, which needs separate address logic.
134 define i32 @f11(i32 %dummy, i32 *%src, i32 %b) {
136 ; CHECK: agfi %r3, -524292
137 ; CHECK: l %r2, 0(%r3)
138 ; CHECK: cs %r2, {{%r[0-9]+}}, 0(%r3)
140 %ptr = getelementptr i32 *%src, i64 -131073
141 %res = atomicrmw min i32 *%ptr, i32 %b seq_cst
145 ; Check that indexed addresses are not allowed.
146 define i32 @f12(i32 %dummy, i64 %base, i64 %index, i32 %b) {
148 ; CHECK: agr %r3, %r4
149 ; CHECK: l %r2, 0(%r3)
150 ; CHECK: cs %r2, {{%r[0-9]+}}, 0(%r3)
152 %add = add i64 %base, %index
153 %ptr = inttoptr i64 %add to i32 *
154 %res = atomicrmw min i32 *%ptr, i32 %b seq_cst
158 ; Check that constants are handled.
159 define i32 @f13(i32 %dummy, i32 *%ptr) {
161 ; CHECK: lhi [[LIMIT:%r[0-9]+]], 42
162 ; CHECK: l %r2, 0(%r3)
163 ; CHECK: [[LOOP:\.[^:]*]]:
164 ; CHECK: lr [[NEW:%r[0-9]+]], %r2
165 ; CHECK: crjle %r2, [[LIMIT]], [[KEEP:\..*]]
166 ; CHECK: lhi [[NEW]], 42
167 ; CHECK: cs %r2, [[NEW]], 0(%r3)
170 %res = atomicrmw min i32 *%ptr, i32 42 seq_cst