1; RUN: llc < %s -march=x86-64 | FileCheck %s
2
3%struct.obj = type { i64 }
4
5; CHECK: _Z7releaseP3obj
6define void @_Z7releaseP3obj(%struct.obj* nocapture %o) nounwind uwtable ssp {
7entry:
8; CHECK: decq	(%{{rdi|rcx}})
9; CHECK-NEXT: je
10  %refcnt = getelementptr inbounds %struct.obj* %o, i64 0, i32 0
11  %0 = load i64* %refcnt, align 8
12  %dec = add i64 %0, -1
13  store i64 %dec, i64* %refcnt, align 8
14  %tobool = icmp eq i64 %dec, 0
15  br i1 %tobool, label %if.end, label %return
16
17if.end:                                           ; preds = %entry
18  %1 = bitcast %struct.obj* %o to i8*
19  tail call void @free(i8* %1)
20  br label %return
21
22return:                                           ; preds = %entry, %if.end
23  ret void
24}
25
26@c = common global i64 0, align 8
27@a = common global i32 0, align 4
28@.str = private unnamed_addr constant [5 x i8] c"%ld\0A\00", align 1
29@b = common global i32 0, align 4
30
31; CHECK: test
32define i32 @test() nounwind uwtable ssp {
33entry:
34; CHECK: decq
35; CHECK-NOT: decq
36%0 = load i64* @c, align 8
37%dec.i = add nsw i64 %0, -1
38store i64 %dec.i, i64* @c, align 8
39%tobool.i = icmp ne i64 %dec.i, 0
40%lor.ext.i = zext i1 %tobool.i to i32
41store i32 %lor.ext.i, i32* @a, align 4
42%call = tail call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([5 x i8]* @.str, i64 0, i64 0), i64 %dec.i) nounwind
43ret i32 0
44}
45
46; CHECK: test2
47define i32 @test2() nounwind uwtable ssp {
48entry:
49; CHECK-NOT: decq ({{.*}})
50%0 = load i64* @c, align 8
51%dec.i = add nsw i64 %0, -1
52store i64 %dec.i, i64* @c, align 8
53%tobool.i = icmp ne i64 %0, 0
54%lor.ext.i = zext i1 %tobool.i to i32
55store i32 %lor.ext.i, i32* @a, align 4
56%call = tail call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([5 x i8]* @.str, i64 0, i64 0), i64 %dec.i) nounwind
57ret i32 0
58}
59
60declare i32 @printf(i8* nocapture, ...) nounwind
61
62declare void @free(i8* nocapture) nounwind
63
64%struct.obj2 = type { i64, i32, i16, i8 }
65
66declare void @other(%struct.obj2* ) nounwind;
67
68; CHECK: example_dec
69define void @example_dec(%struct.obj2* %o) nounwind uwtable ssp {
70; 64 bit dec
71entry:
72  %s64 = getelementptr inbounds %struct.obj2* %o, i64 0, i32 0
73; CHECK-NOT: load
74  %0 = load i64* %s64, align 8
75; CHECK: decq ({{.*}})
76  %dec = add i64 %0, -1
77  store i64 %dec, i64* %s64, align 8
78  %tobool = icmp eq i64 %dec, 0
79  br i1 %tobool, label %if.end, label %return
80
81; 32 bit dec
82if.end:
83  %s32 = getelementptr inbounds %struct.obj2* %o, i64 0, i32 1
84; CHECK-NOT: load
85  %1 = load i32* %s32, align 4
86; CHECK: decl {{[0-9][0-9]*}}({{.*}})
87  %dec1 = add i32 %1, -1
88  store i32 %dec1, i32* %s32, align 4
89  %tobool2 = icmp eq i32 %dec1, 0
90  br i1 %tobool2, label %if.end1, label %return
91
92; 16 bit dec
93if.end1:
94  %s16 = getelementptr inbounds %struct.obj2* %o, i64 0, i32 2
95; CHECK-NOT: load
96  %2 = load i16* %s16, align 2
97; CHECK: decw {{[0-9][0-9]*}}({{.*}})
98  %dec2 = add i16 %2, -1
99  store i16 %dec2, i16* %s16, align 2
100  %tobool3 = icmp eq i16 %dec2, 0
101  br i1 %tobool3, label %if.end2, label %return
102
103; 8 bit dec
104if.end2:
105  %s8 = getelementptr inbounds %struct.obj2* %o, i64 0, i32 3
106; CHECK-NOT: load
107  %3 = load i8* %s8
108; CHECK: decb {{[0-9][0-9]*}}({{.*}})
109  %dec3 = add i8 %3, -1
110  store i8 %dec3, i8* %s8
111  %tobool4 = icmp eq i8 %dec3, 0
112  br i1 %tobool4, label %if.end4, label %return
113
114if.end4:
115  tail call void @other(%struct.obj2* %o) nounwind
116  br label %return
117
118return:                                           ; preds = %if.end4, %if.end, %entry
119  ret void
120}
121
122; CHECK: example_inc
123define void @example_inc(%struct.obj2* %o) nounwind uwtable ssp {
124; 64 bit inc
125entry:
126  %s64 = getelementptr inbounds %struct.obj2* %o, i64 0, i32 0
127; CHECK-NOT: load
128  %0 = load i64* %s64, align 8
129; CHECK: incq ({{.*}})
130  %inc = add i64 %0, 1
131  store i64 %inc, i64* %s64, align 8
132  %tobool = icmp eq i64 %inc, 0
133  br i1 %tobool, label %if.end, label %return
134
135; 32 bit inc
136if.end:
137  %s32 = getelementptr inbounds %struct.obj2* %o, i64 0, i32 1
138; CHECK-NOT: load
139  %1 = load i32* %s32, align 4
140; CHECK: incl {{[0-9][0-9]*}}({{.*}})
141  %inc1 = add i32 %1, 1
142  store i32 %inc1, i32* %s32, align 4
143  %tobool2 = icmp eq i32 %inc1, 0
144  br i1 %tobool2, label %if.end1, label %return
145
146; 16 bit inc
147if.end1:
148  %s16 = getelementptr inbounds %struct.obj2* %o, i64 0, i32 2
149; CHECK-NOT: load
150  %2 = load i16* %s16, align 2
151; CHECK: incw {{[0-9][0-9]*}}({{.*}})
152  %inc2 = add i16 %2, 1
153  store i16 %inc2, i16* %s16, align 2
154  %tobool3 = icmp eq i16 %inc2, 0
155  br i1 %tobool3, label %if.end2, label %return
156
157; 8 bit inc
158if.end2:
159  %s8 = getelementptr inbounds %struct.obj2* %o, i64 0, i32 3
160; CHECK-NOT: load
161  %3 = load i8* %s8
162; CHECK: incb {{[0-9][0-9]*}}({{.*}})
163  %inc3 = add i8 %3, 1
164  store i8 %inc3, i8* %s8
165  %tobool4 = icmp eq i8 %inc3, 0
166  br i1 %tobool4, label %if.end4, label %return
167
168if.end4:
169  tail call void @other(%struct.obj2* %o) nounwind
170  br label %return
171
172return:
173  ret void
174}
175
176; Deal with TokenFactor chain
177; rdar://11236106
178@foo = external global i64*, align 8
179
180define void @test3() nounwind ssp {
181entry:
182; CHECK-LABEL: test3:
183; CHECK: decq 16(%rax)
184  %0 = load i64** @foo, align 8
185  %arrayidx = getelementptr inbounds i64* %0, i64 2
186  %1 = load i64* %arrayidx, align 8
187  %dec = add i64 %1, -1
188  store i64 %dec, i64* %arrayidx, align 8
189  %cmp = icmp eq i64 %dec, 0
190  br i1 %cmp, label %if.then, label %if.end
191
192if.then:
193  tail call void @baz() nounwind
194  br label %if.end
195
196if.end:
197  ret void
198}
199
200declare void @baz()
201
202; Avoid creating a cycle in the DAG which would trigger an assert in the
203; scheduler.
204; PR12565
205; rdar://11451474
206@x = external global i32, align 4
207@y = external global i32, align 4
208@z = external global i32, align 4
209
210define void @test4() nounwind uwtable ssp {
211entry:
212  %0 = load i32* @x, align 4
213  %1 = load i32* @y, align 4
214  %dec = add nsw i32 %1, -1
215  store i32 %dec, i32* @y, align 4
216  %tobool.i = icmp ne i32 %dec, 0
217  %cond.i = select i1 %tobool.i, i32 %0, i32 0
218  store i32 %cond.i, i32* @z, align 4
219  ret void
220}
221