Gitiles
Code Review Sign In
gerrit-public.fairphone.software / toolchain / llvm-project / 0fb90ab0cb8861eebaa61d0b16e17f7191364a85 / . / llvm / test / CodeGen / SystemZ / atomicrmw-minmax-01.ll
blob: bf490d892949a67e38f7bf9e7783c4d34bad8723 [file] [log] [blame]
Ulrich Weigand9e3577f2013-05-06 16:17:29 +0000[diff] [blame]1; Test 8-bit atomic min/max operations.
2;
3; RUN: llc < %s -mtriple=s390x-linux-gnu | FileCheck %s -check-prefix=CHECK
4; RUN: llc < %s -mtriple=s390x-linux-gnu | FileCheck %s -check-prefix=CHECK-SHIFT1
5; RUN: llc < %s -mtriple=s390x-linux-gnu | FileCheck %s -check-prefix=CHECK-SHIFT2
6
7; Check signed minimum.
8; - CHECK is for the main loop.
9; - CHECK-SHIFT1 makes sure that the negated shift count used by the second
10; RLL is set up correctly. The negation is independent of the NILL and L
11; tested in CHECK.
12; - CHECK-SHIFT2 makes sure that %b is shifted into the high part of the word
13; before being used, and that the low bits are set to 1. This sequence is
14; independent of the other loop prologue instructions.
15define i8 @f1(i8 *%src, i8 %b) {
16; CHECK: f1:
17; CHECK: sllg [[SHIFT:%r[1-9]+]], %r2, 3
18; CHECK: nill %r2, 65532
19; CHECK: l [[OLD:%r[0-9]+]], 0(%r2)
20; CHECK: [[LOOP:\.[^:]*]]:
21; CHECK: rll [[ROT:%r[0-9]+]], [[OLD]], 0([[SHIFT]])
Richard Sandiford0fb90ab2013-05-28 10:41:11 +0000[diff] [blame^]22; CHECK: crjle [[ROT]], %r3, [[KEEP:\..*]]
Ulrich Weigand9e3577f2013-05-06 16:17:29 +0000[diff] [blame]23; CHECK: risbg [[ROT]], %r3, 32, 39, 0
24; CHECK: [[KEEP]]:
25; CHECK: rll [[NEW:%r[0-9]+]], [[ROT]], 0({{%r[1-9]+}})
26; CHECK: cs [[OLD]], [[NEW]], 0(%r2)
Richard Sandiford586f4172013-05-21 08:53:17 +0000[diff] [blame]27; CHECK: jlh [[LOOP]]
Ulrich Weigand9e3577f2013-05-06 16:17:29 +0000[diff] [blame]28; CHECK: rll %r2, [[OLD]], 8([[SHIFT]])
29; CHECK: br %r14
30;
31; CHECK-SHIFT1: f1:
32; CHECK-SHIFT1: sllg [[SHIFT:%r[1-9]+]], %r2, 3
33; CHECK-SHIFT1: lcr [[NEGSHIFT:%r[1-9]+]], [[SHIFT]]
34; CHECK-SHIFT1: rll
35; CHECK-SHIFT1: rll {{%r[0-9]+}}, {{%r[0-9]+}}, 0([[NEGSHIFT]])
36; CHECK-SHIFT1: rll
37; CHECK-SHIFT1: br %r14
38;
39; CHECK-SHIFT2: f1:
40; CHECK-SHIFT2: sll %r3, 24
41; CHECK-SHIFT2: rll
Richard Sandiford0fb90ab2013-05-28 10:41:11 +0000[diff] [blame^]42; CHECK-SHIFT2: crjle {{%r[0-9]+}}, %r3
Ulrich Weigand9e3577f2013-05-06 16:17:29 +0000[diff] [blame]43; CHECK-SHIFT2: rll
44; CHECK-SHIFT2: rll
45; CHECK-SHIFT2: br %r14
46 %res = atomicrmw min i8 *%src, i8 %b seq_cst
47 ret i8 %res
48}
49
50; Check signed maximum.
51define i8 @f2(i8 *%src, i8 %b) {
52; CHECK: f2:
53; CHECK: sllg [[SHIFT:%r[1-9]+]], %r2, 3
54; CHECK: nill %r2, 65532
55; CHECK: l [[OLD:%r[0-9]+]], 0(%r2)
56; CHECK: [[LOOP:\.[^:]*]]:
57; CHECK: rll [[ROT:%r[0-9]+]], [[OLD]], 0([[SHIFT]])
Richard Sandiford0fb90ab2013-05-28 10:41:11 +0000[diff] [blame^]58; CHECK: crjhe [[ROT]], %r3, [[KEEP:\..*]]
Ulrich Weigand9e3577f2013-05-06 16:17:29 +0000[diff] [blame]59; CHECK: risbg [[ROT]], %r3, 32, 39, 0
60; CHECK: [[KEEP]]:
61; CHECK: rll [[NEW:%r[0-9]+]], [[ROT]], 0({{%r[1-9]+}})
62; CHECK: cs [[OLD]], [[NEW]], 0(%r2)
Richard Sandiford586f4172013-05-21 08:53:17 +0000[diff] [blame]63; CHECK: jlh [[LOOP]]
Ulrich Weigand9e3577f2013-05-06 16:17:29 +0000[diff] [blame]64; CHECK: rll %r2, [[OLD]], 8([[SHIFT]])
65; CHECK: br %r14
66;
67; CHECK-SHIFT1: f2:
68; CHECK-SHIFT1: sllg [[SHIFT:%r[1-9]+]], %r2, 3
69; CHECK-SHIFT1: lcr [[NEGSHIFT:%r[1-9]+]], [[SHIFT]]
70; CHECK-SHIFT1: rll
71; CHECK-SHIFT1: rll {{%r[0-9]+}}, {{%r[0-9]+}}, 0([[NEGSHIFT]])
72; CHECK-SHIFT1: rll
73; CHECK-SHIFT1: br %r14
74;
75; CHECK-SHIFT2: f2:
76; CHECK-SHIFT2: sll %r3, 24
77; CHECK-SHIFT2: rll
Richard Sandiford0fb90ab2013-05-28 10:41:11 +0000[diff] [blame^]78; CHECK-SHIFT2: crjhe {{%r[0-9]+}}, %r3
Ulrich Weigand9e3577f2013-05-06 16:17:29 +0000[diff] [blame]79; CHECK-SHIFT2: rll
80; CHECK-SHIFT2: rll
81; CHECK-SHIFT2: br %r14
82 %res = atomicrmw max i8 *%src, i8 %b seq_cst
83 ret i8 %res
84}
85
86; Check unsigned minimum.
87define i8 @f3(i8 *%src, i8 %b) {
88; CHECK: f3:
89; CHECK: sllg [[SHIFT:%r[1-9]+]], %r2, 3
90; CHECK: nill %r2, 65532
91; CHECK: l [[OLD:%r[0-9]+]], 0(%r2)
92; CHECK: [[LOOP:\.[^:]*]]:
93; CHECK: rll [[ROT:%r[0-9]+]], [[OLD]], 0([[SHIFT]])
94; CHECK: clr [[ROT]], %r3
Richard Sandiford586f4172013-05-21 08:53:17 +0000[diff] [blame]95; CHECK: jle [[KEEP:\..*]]
Ulrich Weigand9e3577f2013-05-06 16:17:29 +0000[diff] [blame]96; CHECK: risbg [[ROT]], %r3, 32, 39, 0
97; CHECK: [[KEEP]]:
98; CHECK: rll [[NEW:%r[0-9]+]], [[ROT]], 0({{%r[1-9]+}})
99; CHECK: cs [[OLD]], [[NEW]], 0(%r2)
Richard Sandiford586f4172013-05-21 08:53:17 +0000[diff] [blame]100; CHECK: jlh [[LOOP]]
Ulrich Weigand9e3577f2013-05-06 16:17:29 +0000[diff] [blame]101; CHECK: rll %r2, [[OLD]], 8([[SHIFT]])
102; CHECK: br %r14
103;
104; CHECK-SHIFT1: f3:
105; CHECK-SHIFT1: sllg [[SHIFT:%r[1-9]+]], %r2, 3
106; CHECK-SHIFT1: lcr [[NEGSHIFT:%r[1-9]+]], [[SHIFT]]
107; CHECK-SHIFT1: rll
108; CHECK-SHIFT1: rll {{%r[0-9]+}}, {{%r[0-9]+}}, 0([[NEGSHIFT]])
109; CHECK-SHIFT1: rll
110; CHECK-SHIFT1: br %r14
111;
112; CHECK-SHIFT2: f3:
113; CHECK-SHIFT2: sll %r3, 24
114; CHECK-SHIFT2: rll
115; CHECK-SHIFT2: clr {{%r[0-9]+}}, %r3
116; CHECK-SHIFT2: rll
117; CHECK-SHIFT2: rll
118; CHECK-SHIFT2: br %r14
119 %res = atomicrmw umin i8 *%src, i8 %b seq_cst
120 ret i8 %res
121}
122
123; Check unsigned maximum.
124define i8 @f4(i8 *%src, i8 %b) {
125; CHECK: f4:
126; CHECK: sllg [[SHIFT:%r[1-9]+]], %r2, 3
127; CHECK: nill %r2, 65532
128; CHECK: l [[OLD:%r[0-9]+]], 0(%r2)
129; CHECK: [[LOOP:\.[^:]*]]:
130; CHECK: rll [[ROT:%r[0-9]+]], [[OLD]], 0([[SHIFT]])
131; CHECK: clr [[ROT]], %r3
Richard Sandiford586f4172013-05-21 08:53:17 +0000[diff] [blame]132; CHECK: jhe [[KEEP:\..*]]
Ulrich Weigand9e3577f2013-05-06 16:17:29 +0000[diff] [blame]133; CHECK: risbg [[ROT]], %r3, 32, 39, 0
134; CHECK: [[KEEP]]:
135; CHECK: rll [[NEW:%r[0-9]+]], [[ROT]], 0({{%r[1-9]+}})
136; CHECK: cs [[OLD]], [[NEW]], 0(%r2)
Richard Sandiford586f4172013-05-21 08:53:17 +0000[diff] [blame]137; CHECK: jlh [[LOOP]]
Ulrich Weigand9e3577f2013-05-06 16:17:29 +0000[diff] [blame]138; CHECK: rll %r2, [[OLD]], 8([[SHIFT]])
139; CHECK: br %r14
140;
141; CHECK-SHIFT1: f4:
142; CHECK-SHIFT1: sllg [[SHIFT:%r[1-9]+]], %r2, 3
143; CHECK-SHIFT1: lcr [[NEGSHIFT:%r[1-9]+]], [[SHIFT]]
144; CHECK-SHIFT1: rll
145; CHECK-SHIFT1: rll {{%r[0-9]+}}, {{%r[0-9]+}}, 0([[NEGSHIFT]])
146; CHECK-SHIFT1: rll
147; CHECK-SHIFT1: br %r14
148;
149; CHECK-SHIFT2: f4:
150; CHECK-SHIFT2: sll %r3, 24
151; CHECK-SHIFT2: rll
152; CHECK-SHIFT2: clr {{%r[0-9]+}}, %r3
153; CHECK-SHIFT2: rll
154; CHECK-SHIFT2: rll
155; CHECK-SHIFT2: br %r14
156 %res = atomicrmw umax i8 *%src, i8 %b seq_cst
157 ret i8 %res
158}
159
160; Check the lowest useful signed minimum value. We need to load 0x81000000
161; into the source register.
162define i8 @f5(i8 *%src) {
163; CHECK: f5:
164; CHECK: llilh [[SRC2:%r[0-9]+]], 33024
Richard Sandiford0fb90ab2013-05-28 10:41:11 +0000[diff] [blame^]165; CHECK: crjle [[ROT:%r[0-9]+]], [[SRC2]]
Ulrich Weigand9e3577f2013-05-06 16:17:29 +0000[diff] [blame]166; CHECK: risbg [[ROT]], [[SRC2]], 32, 39, 0
167; CHECK: br %r14
168;
169; CHECK-SHIFT1: f5:
170; CHECK-SHIFT1: br %r14
171; CHECK-SHIFT2: f5:
172; CHECK-SHIFT2: br %r14
173 %res = atomicrmw min i8 *%src, i8 -127 seq_cst
174 ret i8 %res
175}
176
177; Check the highest useful signed maximum value. We need to load 0x7e000000
178; into the source register.
179define i8 @f6(i8 *%src) {
180; CHECK: f6:
181; CHECK: llilh [[SRC2:%r[0-9]+]], 32256
Richard Sandiford0fb90ab2013-05-28 10:41:11 +0000[diff] [blame^]182; CHECK: crjhe [[ROT:%r[0-9]+]], [[SRC2]]
Ulrich Weigand9e3577f2013-05-06 16:17:29 +0000[diff] [blame]183; CHECK: risbg [[ROT]], [[SRC2]], 32, 39, 0
184; CHECK: br %r14
185;
186; CHECK-SHIFT1: f6:
187; CHECK-SHIFT1: br %r14
188; CHECK-SHIFT2: f6:
189; CHECK-SHIFT2: br %r14
190 %res = atomicrmw max i8 *%src, i8 126 seq_cst
191 ret i8 %res
192}
193
194; Check the lowest useful unsigned minimum value. We need to load 0x01000000
195; into the source register.
196define i8 @f7(i8 *%src) {
197; CHECK: f7:
198; CHECK: llilh [[SRC2:%r[0-9]+]], 256
199; CHECK: clr [[ROT:%r[0-9]+]], [[SRC2]]
200; CHECK: risbg [[ROT]], [[SRC2]], 32, 39, 0
201; CHECK: br %r14
202;
203; CHECK-SHIFT1: f7:
204; CHECK-SHIFT1: br %r14
205; CHECK-SHIFT2: f7:
206; CHECK-SHIFT2: br %r14
207 %res = atomicrmw umin i8 *%src, i8 1 seq_cst
208 ret i8 %res
209}
210
211; Check the highest useful unsigned maximum value. We need to load 0xfe000000
212; into the source register.
213define i8 @f8(i8 *%src) {
214; CHECK: f8:
215; CHECK: llilh [[SRC2:%r[0-9]+]], 65024
216; CHECK: clr [[ROT:%r[0-9]+]], [[SRC2]]
217; CHECK: risbg [[ROT]], [[SRC2]], 32, 39, 0
218; CHECK: br %r14
219;
220; CHECK-SHIFT1: f8:
221; CHECK-SHIFT1: br %r14
222; CHECK-SHIFT2: f8:
223; CHECK-SHIFT2: br %r14
224 %res = atomicrmw umax i8 *%src, i8 254 seq_cst
225 ret i8 %res
226}