Google Git
Sign in
llvm / llvm-project / afda4c295b1f8c4c4011358eddc1a08e17cd5b4d / . / llvm / test / CodeGen / X86 / atomic-add.ll
blob: c6cb87755878349b0da4f0b764a097d97b704ab4 [file] [log] [blame]
Philip Reames80e40952019-02-13 17:30:03 +0000[diff] [blame]1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
Matthias Braun6b898be2017-08-02 00:28:10 +0000[diff] [blame]2; RUN: llc < %s -mtriple=x86_64-- -verify-machineinstrs | FileCheck %s
3; RUN: llc < %s -mtriple=x86_64-- -mattr=slow-incdec -verify-machineinstrs | FileCheck %s --check-prefix SLOW_INC
Evan Chenge62288f2009-07-30 08:33:02 +0000[diff] [blame]4
5; rdar://7103704
6
Nikita Popov2f448bf2022-06-22 14:33:12 +0200[diff] [blame]7define void @sub1(ptr nocapture %p, i32 %v) nounwind ssp {
Stephen Lind24ab202013-07-14 06:24:09 +0000[diff] [blame]8; CHECK-LABEL: sub1:
Philip Reames80e40952019-02-13 17:30:03 +0000[diff] [blame]9; CHECK: # %bb.0: # %entry
10; CHECK-NEXT: lock subl %esi, (%rdi)
11; CHECK-NEXT: retq
12;
13; SLOW_INC-LABEL: sub1:
14; SLOW_INC: # %bb.0: # %entry
15; SLOW_INC-NEXT: lock subl %esi, (%rdi)
16; SLOW_INC-NEXT: retq
17entry:
Nikita Popov2f448bf2022-06-22 14:33:12 +0200[diff] [blame]18 %0 = atomicrmw sub ptr %p, i32 %v monotonic
Eli Friedmana486cb92011-09-26 23:15:09 +0000[diff] [blame]19 ret void
Evan Chenge62288f2009-07-30 08:33:02 +0000[diff] [blame]20}
21
Nikita Popov2f448bf2022-06-22 14:33:12 +0200[diff] [blame]22define void @inc4(ptr nocapture %p) nounwind ssp {
Stephen Lind24ab202013-07-14 06:24:09 +0000[diff] [blame]23; CHECK-LABEL: inc4:
Philip Reames80e40952019-02-13 17:30:03 +0000[diff] [blame]24; CHECK: # %bb.0: # %entry
25; CHECK-NEXT: lock incq (%rdi)
26; CHECK-NEXT: retq
27;
Robin Morisset6f3d04e2014-10-08 23:16:23 +0000[diff] [blame]28; SLOW_INC-LABEL: inc4:
Philip Reames80e40952019-02-13 17:30:03 +0000[diff] [blame]29; SLOW_INC: # %bb.0: # %entry
30; SLOW_INC-NEXT: lock addq $1, (%rdi)
31; SLOW_INC-NEXT: retq
32entry:
Nikita Popov2f448bf2022-06-22 14:33:12 +0200[diff] [blame]33 %0 = atomicrmw add ptr %p, i64 1 monotonic
Eli Friedmana486cb92011-09-26 23:15:09 +0000[diff] [blame]34 ret void
Evan Chenge62288f2009-07-30 08:33:02 +0000[diff] [blame]35}
36
Nikita Popov2f448bf2022-06-22 14:33:12 +0200[diff] [blame]37define void @add8(ptr nocapture %p) nounwind ssp {
Stephen Lind24ab202013-07-14 06:24:09 +0000[diff] [blame]38; CHECK-LABEL: add8:
Philip Reames80e40952019-02-13 17:30:03 +0000[diff] [blame]39; CHECK: # %bb.0: # %entry
40; CHECK-NEXT: lock addq $2, (%rdi)
41; CHECK-NEXT: retq
42;
43; SLOW_INC-LABEL: add8:
44; SLOW_INC: # %bb.0: # %entry
45; SLOW_INC-NEXT: lock addq $2, (%rdi)
46; SLOW_INC-NEXT: retq
47entry:
Nikita Popov2f448bf2022-06-22 14:33:12 +0200[diff] [blame]48 %0 = atomicrmw add ptr %p, i64 2 monotonic
Eli Friedmana486cb92011-09-26 23:15:09 +0000[diff] [blame]49 ret void
Evan Chenge62288f2009-07-30 08:33:02 +0000[diff] [blame]50}
51
Nikita Popov2f448bf2022-06-22 14:33:12 +0200[diff] [blame]52define void @add4(ptr nocapture %p, i32 %v) nounwind ssp {
Stephen Lind24ab202013-07-14 06:24:09 +0000[diff] [blame]53; CHECK-LABEL: add4:
Philip Reames80e40952019-02-13 17:30:03 +0000[diff] [blame]54; CHECK: # %bb.0: # %entry
55; CHECK-NEXT: movslq %esi, %rax
56; CHECK-NEXT: lock addq %rax, (%rdi)
57; CHECK-NEXT: retq
58;
59; SLOW_INC-LABEL: add4:
60; SLOW_INC: # %bb.0: # %entry
61; SLOW_INC-NEXT: movslq %esi, %rax
62; SLOW_INC-NEXT: lock addq %rax, (%rdi)
63; SLOW_INC-NEXT: retq
64entry:
Eli Friedmana486cb92011-09-26 23:15:09 +0000[diff] [blame]65 %0 = sext i32 %v to i64 ; <i64> [#uses=1]
Nikita Popov2f448bf2022-06-22 14:33:12 +0200[diff] [blame]66 %1 = atomicrmw add ptr %p, i64 %0 monotonic
Eli Friedmana486cb92011-09-26 23:15:09 +0000[diff] [blame]67 ret void
Evan Chenge62288f2009-07-30 08:33:02 +0000[diff] [blame]68}
69
Nikita Popov2f448bf2022-06-22 14:33:12 +0200[diff] [blame]70define void @inc3(ptr nocapture %p) nounwind ssp {
Stephen Lind24ab202013-07-14 06:24:09 +0000[diff] [blame]71; CHECK-LABEL: inc3:
Philip Reames80e40952019-02-13 17:30:03 +0000[diff] [blame]72; CHECK: # %bb.0: # %entry
73; CHECK-NEXT: lock incb (%rdi)
74; CHECK-NEXT: retq
75;
Robin Morisset6f3d04e2014-10-08 23:16:23 +0000[diff] [blame]76; SLOW_INC-LABEL: inc3:
Philip Reames80e40952019-02-13 17:30:03 +0000[diff] [blame]77; SLOW_INC: # %bb.0: # %entry
78; SLOW_INC-NEXT: lock addb $1, (%rdi)
79; SLOW_INC-NEXT: retq
80entry:
Nikita Popov2f448bf2022-06-22 14:33:12 +0200[diff] [blame]81 %0 = atomicrmw add ptr %p, i8 1 monotonic
Eli Friedmana486cb92011-09-26 23:15:09 +0000[diff] [blame]82 ret void
Evan Chenge62288f2009-07-30 08:33:02 +0000[diff] [blame]83}
84
Nikita Popov2f448bf2022-06-22 14:33:12 +0200[diff] [blame]85define void @add7(ptr nocapture %p) nounwind ssp {
Stephen Lind24ab202013-07-14 06:24:09 +0000[diff] [blame]86; CHECK-LABEL: add7:
Philip Reames80e40952019-02-13 17:30:03 +0000[diff] [blame]87; CHECK: # %bb.0: # %entry
88; CHECK-NEXT: lock addb $2, (%rdi)
89; CHECK-NEXT: retq
90;
91; SLOW_INC-LABEL: add7:
92; SLOW_INC: # %bb.0: # %entry
93; SLOW_INC-NEXT: lock addb $2, (%rdi)
94; SLOW_INC-NEXT: retq
95entry:
Nikita Popov2f448bf2022-06-22 14:33:12 +0200[diff] [blame]96 %0 = atomicrmw add ptr %p, i8 2 monotonic
Eli Friedmana486cb92011-09-26 23:15:09 +0000[diff] [blame]97 ret void
Evan Chenge62288f2009-07-30 08:33:02 +0000[diff] [blame]98}
99
Nikita Popov2f448bf2022-06-22 14:33:12 +0200[diff] [blame]100define void @add3(ptr nocapture %p, i32 %v) nounwind ssp {
Stephen Lind24ab202013-07-14 06:24:09 +0000[diff] [blame]101; CHECK-LABEL: add3:
Philip Reames80e40952019-02-13 17:30:03 +0000[diff] [blame]102; CHECK: # %bb.0: # %entry
103; CHECK-NEXT: lock addb %sil, (%rdi)
104; CHECK-NEXT: retq
105;
106; SLOW_INC-LABEL: add3:
107; SLOW_INC: # %bb.0: # %entry
108; SLOW_INC-NEXT: lock addb %sil, (%rdi)
109; SLOW_INC-NEXT: retq
110entry:
Eli Friedmana486cb92011-09-26 23:15:09 +0000[diff] [blame]111 %0 = trunc i32 %v to i8 ; <i8> [#uses=1]
Nikita Popov2f448bf2022-06-22 14:33:12 +0200[diff] [blame]112 %1 = atomicrmw add ptr %p, i8 %0 monotonic
Eli Friedmana486cb92011-09-26 23:15:09 +0000[diff] [blame]113 ret void
Evan Chenge62288f2009-07-30 08:33:02 +0000[diff] [blame]114}
115
Nikita Popov2f448bf2022-06-22 14:33:12 +0200[diff] [blame]116define void @inc2(ptr nocapture %p) nounwind ssp {
Stephen Lind24ab202013-07-14 06:24:09 +0000[diff] [blame]117; CHECK-LABEL: inc2:
Philip Reames80e40952019-02-13 17:30:03 +0000[diff] [blame]118; CHECK: # %bb.0: # %entry
119; CHECK-NEXT: lock incw (%rdi)
120; CHECK-NEXT: retq
121;
Robin Morisset6f3d04e2014-10-08 23:16:23 +0000[diff] [blame]122; SLOW_INC-LABEL: inc2:
Philip Reames80e40952019-02-13 17:30:03 +0000[diff] [blame]123; SLOW_INC: # %bb.0: # %entry
124; SLOW_INC-NEXT: lock addw $1, (%rdi)
125; SLOW_INC-NEXT: retq
126entry:
Nikita Popov2f448bf2022-06-22 14:33:12 +0200[diff] [blame]127 %0 = atomicrmw add ptr %p, i16 1 monotonic
Eli Friedmana486cb92011-09-26 23:15:09 +0000[diff] [blame]128 ret void
Evan Chenge62288f2009-07-30 08:33:02 +0000[diff] [blame]129}
130
Nikita Popov2f448bf2022-06-22 14:33:12 +0200[diff] [blame]131define void @add6(ptr nocapture %p) nounwind ssp {
Stephen Lind24ab202013-07-14 06:24:09 +0000[diff] [blame]132; CHECK-LABEL: add6:
Philip Reames80e40952019-02-13 17:30:03 +0000[diff] [blame]133; CHECK: # %bb.0: # %entry
134; CHECK-NEXT: lock addw $2, (%rdi)
135; CHECK-NEXT: retq
136;
137; SLOW_INC-LABEL: add6:
138; SLOW_INC: # %bb.0: # %entry
139; SLOW_INC-NEXT: lock addw $2, (%rdi)
140; SLOW_INC-NEXT: retq
141entry:
Nikita Popov2f448bf2022-06-22 14:33:12 +0200[diff] [blame]142 %0 = atomicrmw add ptr %p, i16 2 monotonic
Eli Friedmana486cb92011-09-26 23:15:09 +0000[diff] [blame]143 ret void
Evan Chenge62288f2009-07-30 08:33:02 +0000[diff] [blame]144}
145
Nikita Popov2f448bf2022-06-22 14:33:12 +0200[diff] [blame]146define void @add2(ptr nocapture %p, i32 %v) nounwind ssp {
Stephen Lind24ab202013-07-14 06:24:09 +0000[diff] [blame]147; CHECK-LABEL: add2:
Philip Reames80e40952019-02-13 17:30:03 +0000[diff] [blame]148; CHECK: # %bb.0: # %entry
149; CHECK-NEXT: lock addw %si, (%rdi)
150; CHECK-NEXT: retq
151;
152; SLOW_INC-LABEL: add2:
153; SLOW_INC: # %bb.0: # %entry
154; SLOW_INC-NEXT: lock addw %si, (%rdi)
155; SLOW_INC-NEXT: retq
156entry:
Evan Chenge62288f2009-07-30 08:33:02 +0000[diff] [blame]157 %0 = trunc i32 %v to i16 ; <i16> [#uses=1]
Nikita Popov2f448bf2022-06-22 14:33:12 +0200[diff] [blame]158 %1 = atomicrmw add ptr %p, i16 %0 monotonic
Eli Friedmana486cb92011-09-26 23:15:09 +0000[diff] [blame]159 ret void
Evan Chenge62288f2009-07-30 08:33:02 +0000[diff] [blame]160}
161
Nikita Popov2f448bf2022-06-22 14:33:12 +0200[diff] [blame]162define void @inc1(ptr nocapture %p) nounwind ssp {
Stephen Lind24ab202013-07-14 06:24:09 +0000[diff] [blame]163; CHECK-LABEL: inc1:
Philip Reames80e40952019-02-13 17:30:03 +0000[diff] [blame]164; CHECK: # %bb.0: # %entry
165; CHECK-NEXT: lock incl (%rdi)
166; CHECK-NEXT: retq
167;
Robin Morisset6f3d04e2014-10-08 23:16:23 +0000[diff] [blame]168; SLOW_INC-LABEL: inc1:
Philip Reames80e40952019-02-13 17:30:03 +0000[diff] [blame]169; SLOW_INC: # %bb.0: # %entry
170; SLOW_INC-NEXT: lock addl $1, (%rdi)
171; SLOW_INC-NEXT: retq
172entry:
Nikita Popov2f448bf2022-06-22 14:33:12 +0200[diff] [blame]173 %0 = atomicrmw add ptr %p, i32 1 monotonic
Eli Friedmana486cb92011-09-26 23:15:09 +0000[diff] [blame]174 ret void
Evan Chenge62288f2009-07-30 08:33:02 +0000[diff] [blame]175}
176
Nikita Popov2f448bf2022-06-22 14:33:12 +0200[diff] [blame]177define void @add5(ptr nocapture %p) nounwind ssp {
Stephen Lind24ab202013-07-14 06:24:09 +0000[diff] [blame]178; CHECK-LABEL: add5:
Philip Reames80e40952019-02-13 17:30:03 +0000[diff] [blame]179; CHECK: # %bb.0: # %entry
180; CHECK-NEXT: lock addl $2, (%rdi)
181; CHECK-NEXT: retq
182;
183; SLOW_INC-LABEL: add5:
184; SLOW_INC: # %bb.0: # %entry
185; SLOW_INC-NEXT: lock addl $2, (%rdi)
186; SLOW_INC-NEXT: retq
187entry:
Nikita Popov2f448bf2022-06-22 14:33:12 +0200[diff] [blame]188 %0 = atomicrmw add ptr %p, i32 2 monotonic
Eli Friedmana486cb92011-09-26 23:15:09 +0000[diff] [blame]189 ret void
Evan Chenge62288f2009-07-30 08:33:02 +0000[diff] [blame]190}
191
Nikita Popov2f448bf2022-06-22 14:33:12 +0200[diff] [blame]192define void @add1(ptr nocapture %p, i32 %v) nounwind ssp {
Stephen Lind24ab202013-07-14 06:24:09 +0000[diff] [blame]193; CHECK-LABEL: add1:
Philip Reames80e40952019-02-13 17:30:03 +0000[diff] [blame]194; CHECK: # %bb.0: # %entry
195; CHECK-NEXT: lock addl %esi, (%rdi)
196; CHECK-NEXT: retq
197;
198; SLOW_INC-LABEL: add1:
199; SLOW_INC: # %bb.0: # %entry
200; SLOW_INC-NEXT: lock addl %esi, (%rdi)
201; SLOW_INC-NEXT: retq
202entry:
Nikita Popov2f448bf2022-06-22 14:33:12 +0200[diff] [blame]203 %0 = atomicrmw add ptr %p, i32 %v monotonic
Eli Friedmana486cb92011-09-26 23:15:09 +0000[diff] [blame]204 ret void
Evan Chenge62288f2009-07-30 08:33:02 +0000[diff] [blame]205}
206
Nikita Popov2f448bf2022-06-22 14:33:12 +0200[diff] [blame]207define void @dec4(ptr nocapture %p) nounwind ssp {
Stephen Lind24ab202013-07-14 06:24:09 +0000[diff] [blame]208; CHECK-LABEL: dec4:
Philip Reames80e40952019-02-13 17:30:03 +0000[diff] [blame]209; CHECK: # %bb.0: # %entry
210; CHECK-NEXT: lock decq (%rdi)
211; CHECK-NEXT: retq
212;
Robin Morisset6f3d04e2014-10-08 23:16:23 +0000[diff] [blame]213; SLOW_INC-LABEL: dec4:
Philip Reames80e40952019-02-13 17:30:03 +0000[diff] [blame]214; SLOW_INC: # %bb.0: # %entry
215; SLOW_INC-NEXT: lock subq $1, (%rdi)
216; SLOW_INC-NEXT: retq
217entry:
Nikita Popov2f448bf2022-06-22 14:33:12 +0200[diff] [blame]218 %0 = atomicrmw sub ptr %p, i64 1 monotonic
Eli Friedmana486cb92011-09-26 23:15:09 +0000[diff] [blame]219 ret void
Evan Chenge62288f2009-07-30 08:33:02 +0000[diff] [blame]220}
221
Nikita Popov2f448bf2022-06-22 14:33:12 +0200[diff] [blame]222define void @sub8(ptr nocapture %p) nounwind ssp {
Stephen Lind24ab202013-07-14 06:24:09 +0000[diff] [blame]223; CHECK-LABEL: sub8:
Philip Reames80e40952019-02-13 17:30:03 +0000[diff] [blame]224; CHECK: # %bb.0: # %entry
225; CHECK-NEXT: lock subq $2, (%rdi)
226; CHECK-NEXT: retq
227;
228; SLOW_INC-LABEL: sub8:
229; SLOW_INC: # %bb.0: # %entry
230; SLOW_INC-NEXT: lock subq $2, (%rdi)
231; SLOW_INC-NEXT: retq
232entry:
Nikita Popov2f448bf2022-06-22 14:33:12 +0200[diff] [blame]233 %0 = atomicrmw sub ptr %p, i64 2 monotonic
Eli Friedmana486cb92011-09-26 23:15:09 +0000[diff] [blame]234 ret void
Evan Chenge62288f2009-07-30 08:33:02 +0000[diff] [blame]235}
236
Nikita Popov2f448bf2022-06-22 14:33:12 +0200[diff] [blame]237define void @sub4(ptr nocapture %p, i32 %v) nounwind ssp {
Stephen Lind24ab202013-07-14 06:24:09 +0000[diff] [blame]238; CHECK-LABEL: sub4:
Philip Reames80e40952019-02-13 17:30:03 +0000[diff] [blame]239; CHECK: # %bb.0: # %entry
240; CHECK-NEXT: movslq %esi, %rax
241; CHECK-NEXT: lock subq %rax, (%rdi)
242; CHECK-NEXT: retq
243;
244; SLOW_INC-LABEL: sub4:
245; SLOW_INC: # %bb.0: # %entry
246; SLOW_INC-NEXT: movslq %esi, %rax
247; SLOW_INC-NEXT: lock subq %rax, (%rdi)
248; SLOW_INC-NEXT: retq
249entry:
Evan Chenge62288f2009-07-30 08:33:02 +0000[diff] [blame]250 %0 = sext i32 %v to i64 ; <i64> [#uses=1]
Nikita Popov2f448bf2022-06-22 14:33:12 +0200[diff] [blame]251 %1 = atomicrmw sub ptr %p, i64 %0 monotonic
Eli Friedmana486cb92011-09-26 23:15:09 +0000[diff] [blame]252 ret void
Evan Chenge62288f2009-07-30 08:33:02 +0000[diff] [blame]253}
254
Nikita Popov2f448bf2022-06-22 14:33:12 +0200[diff] [blame]255define void @dec3(ptr nocapture %p) nounwind ssp {
Stephen Lind24ab202013-07-14 06:24:09 +0000[diff] [blame]256; CHECK-LABEL: dec3:
Philip Reames80e40952019-02-13 17:30:03 +0000[diff] [blame]257; CHECK: # %bb.0: # %entry
258; CHECK-NEXT: lock decb (%rdi)
259; CHECK-NEXT: retq
260;
Robin Morisset6f3d04e2014-10-08 23:16:23 +0000[diff] [blame]261; SLOW_INC-LABEL: dec3:
Philip Reames80e40952019-02-13 17:30:03 +0000[diff] [blame]262; SLOW_INC: # %bb.0: # %entry
263; SLOW_INC-NEXT: lock subb $1, (%rdi)
264; SLOW_INC-NEXT: retq
265entry:
Nikita Popov2f448bf2022-06-22 14:33:12 +0200[diff] [blame]266 %0 = atomicrmw sub ptr %p, i8 1 monotonic
Eli Friedmana486cb92011-09-26 23:15:09 +0000[diff] [blame]267 ret void
Evan Chenge62288f2009-07-30 08:33:02 +0000[diff] [blame]268}
269
Nikita Popov2f448bf2022-06-22 14:33:12 +0200[diff] [blame]270define void @sub7(ptr nocapture %p) nounwind ssp {
Stephen Lind24ab202013-07-14 06:24:09 +0000[diff] [blame]271; CHECK-LABEL: sub7:
Philip Reames80e40952019-02-13 17:30:03 +0000[diff] [blame]272; CHECK: # %bb.0: # %entry
273; CHECK-NEXT: lock subb $2, (%rdi)
274; CHECK-NEXT: retq
275;
276; SLOW_INC-LABEL: sub7:
277; SLOW_INC: # %bb.0: # %entry
278; SLOW_INC-NEXT: lock subb $2, (%rdi)
279; SLOW_INC-NEXT: retq
280entry:
Nikita Popov2f448bf2022-06-22 14:33:12 +0200[diff] [blame]281 %0 = atomicrmw sub ptr %p, i8 2 monotonic
Eli Friedmana486cb92011-09-26 23:15:09 +0000[diff] [blame]282 ret void
Evan Chenge62288f2009-07-30 08:33:02 +0000[diff] [blame]283}
284
Nikita Popov2f448bf2022-06-22 14:33:12 +0200[diff] [blame]285define void @sub3(ptr nocapture %p, i32 %v) nounwind ssp {
Stephen Lind24ab202013-07-14 06:24:09 +0000[diff] [blame]286; CHECK-LABEL: sub3:
Philip Reames80e40952019-02-13 17:30:03 +0000[diff] [blame]287; CHECK: # %bb.0: # %entry
288; CHECK-NEXT: lock subb %sil, (%rdi)
289; CHECK-NEXT: retq
290;
291; SLOW_INC-LABEL: sub3:
292; SLOW_INC: # %bb.0: # %entry
293; SLOW_INC-NEXT: lock subb %sil, (%rdi)
294; SLOW_INC-NEXT: retq
295entry:
Evan Chenge62288f2009-07-30 08:33:02 +0000[diff] [blame]296 %0 = trunc i32 %v to i8 ; <i8> [#uses=1]
Nikita Popov2f448bf2022-06-22 14:33:12 +0200[diff] [blame]297 %1 = atomicrmw sub ptr %p, i8 %0 monotonic
Eli Friedmana486cb92011-09-26 23:15:09 +0000[diff] [blame]298 ret void
Evan Chenge62288f2009-07-30 08:33:02 +0000[diff] [blame]299}
300
Nikita Popov2f448bf2022-06-22 14:33:12 +0200[diff] [blame]301define void @dec2(ptr nocapture %p) nounwind ssp {
Stephen Lind24ab202013-07-14 06:24:09 +0000[diff] [blame]302; CHECK-LABEL: dec2:
Philip Reames80e40952019-02-13 17:30:03 +0000[diff] [blame]303; CHECK: # %bb.0: # %entry
304; CHECK-NEXT: lock decw (%rdi)
305; CHECK-NEXT: retq
306;
Robin Morisset6f3d04e2014-10-08 23:16:23 +0000[diff] [blame]307; SLOW_INC-LABEL: dec2:
Philip Reames80e40952019-02-13 17:30:03 +0000[diff] [blame]308; SLOW_INC: # %bb.0: # %entry
309; SLOW_INC-NEXT: lock subw $1, (%rdi)
310; SLOW_INC-NEXT: retq
311entry:
Nikita Popov2f448bf2022-06-22 14:33:12 +0200[diff] [blame]312 %0 = atomicrmw sub ptr %p, i16 1 monotonic
Eli Friedmana486cb92011-09-26 23:15:09 +0000[diff] [blame]313 ret void
Evan Chenge62288f2009-07-30 08:33:02 +0000[diff] [blame]314}
315
Nikita Popov2f448bf2022-06-22 14:33:12 +0200[diff] [blame]316define void @sub6(ptr nocapture %p) nounwind ssp {
Stephen Lind24ab202013-07-14 06:24:09 +0000[diff] [blame]317; CHECK-LABEL: sub6:
Philip Reames80e40952019-02-13 17:30:03 +0000[diff] [blame]318; CHECK: # %bb.0: # %entry
319; CHECK-NEXT: lock subw $2, (%rdi)
320; CHECK-NEXT: retq
321;
322; SLOW_INC-LABEL: sub6:
323; SLOW_INC: # %bb.0: # %entry
324; SLOW_INC-NEXT: lock subw $2, (%rdi)
325; SLOW_INC-NEXT: retq
326entry:
Nikita Popov2f448bf2022-06-22 14:33:12 +0200[diff] [blame]327 %0 = atomicrmw sub ptr %p, i16 2 monotonic
Eli Friedmana486cb92011-09-26 23:15:09 +0000[diff] [blame]328 ret void
Evan Chenge62288f2009-07-30 08:33:02 +0000[diff] [blame]329}
330
Nikita Popov2f448bf2022-06-22 14:33:12 +0200[diff] [blame]331define void @sub2(ptr nocapture %p, i32 %v) nounwind ssp {
Stephen Lind24ab202013-07-14 06:24:09 +0000[diff] [blame]332; CHECK-LABEL: sub2:
Philip Reames80e40952019-02-13 17:30:03 +0000[diff] [blame]333; CHECK: # %bb.0: # %entry
334; CHECK-NEXT: lock subw %si, (%rdi)
335; CHECK-NEXT: retq
336;
337; SLOW_INC-LABEL: sub2:
338; SLOW_INC: # %bb.0: # %entry
339; SLOW_INC-NEXT: lock subw %si, (%rdi)
340; SLOW_INC-NEXT: retq
341entry:
Evan Chenge62288f2009-07-30 08:33:02 +0000[diff] [blame]342 %0 = trunc i32 %v to i16 ; <i16> [#uses=1]
Nikita Popov2f448bf2022-06-22 14:33:12 +0200[diff] [blame]343 %1 = atomicrmw sub ptr %p, i16 %0 monotonic
Eli Friedmana486cb92011-09-26 23:15:09 +0000[diff] [blame]344 ret void
Evan Chenge62288f2009-07-30 08:33:02 +0000[diff] [blame]345}
346
Nikita Popov2f448bf2022-06-22 14:33:12 +0200[diff] [blame]347define void @dec1(ptr nocapture %p) nounwind ssp {
Stephen Lind24ab202013-07-14 06:24:09 +0000[diff] [blame]348; CHECK-LABEL: dec1:
Philip Reames80e40952019-02-13 17:30:03 +0000[diff] [blame]349; CHECK: # %bb.0: # %entry
350; CHECK-NEXT: lock decl (%rdi)
351; CHECK-NEXT: retq
352;
Robin Morisset6f3d04e2014-10-08 23:16:23 +0000[diff] [blame]353; SLOW_INC-LABEL: dec1:
Philip Reames80e40952019-02-13 17:30:03 +0000[diff] [blame]354; SLOW_INC: # %bb.0: # %entry
355; SLOW_INC-NEXT: lock subl $1, (%rdi)
356; SLOW_INC-NEXT: retq
357entry:
Nikita Popov2f448bf2022-06-22 14:33:12 +0200[diff] [blame]358 %0 = atomicrmw sub ptr %p, i32 1 monotonic
Eli Friedmana486cb92011-09-26 23:15:09 +0000[diff] [blame]359 ret void
Evan Chenge62288f2009-07-30 08:33:02 +0000[diff] [blame]360}
361
Nikita Popov2f448bf2022-06-22 14:33:12 +0200[diff] [blame]362define void @sub5(ptr nocapture %p) nounwind ssp {
Stephen Lind24ab202013-07-14 06:24:09 +0000[diff] [blame]363; CHECK-LABEL: sub5:
Philip Reames80e40952019-02-13 17:30:03 +0000[diff] [blame]364; CHECK: # %bb.0: # %entry
365; CHECK-NEXT: lock subl $2, (%rdi)
366; CHECK-NEXT: retq
367;
368; SLOW_INC-LABEL: sub5:
369; SLOW_INC: # %bb.0: # %entry
370; SLOW_INC-NEXT: lock subl $2, (%rdi)
371; SLOW_INC-NEXT: retq
372entry:
Nikita Popov2f448bf2022-06-22 14:33:12 +0200[diff] [blame]373 %0 = atomicrmw sub ptr %p, i32 2 monotonic
Eli Friedmana486cb92011-09-26 23:15:09 +0000[diff] [blame]374 ret void
Evan Chenge62288f2009-07-30 08:33:02 +0000[diff] [blame]375}