1 ; RUN: llc < %s -march=x86-64 | FileCheck %s
3 %struct.obj = type { i64 }
5 ; CHECK: _Z7releaseP3obj
6 define void @_Z7releaseP3obj(%struct.obj* nocapture %o) nounwind uwtable ssp {
8 ; CHECK: decq (%{{rdi|rcx}})
10 %refcnt = getelementptr inbounds %struct.obj* %o, i64 0, i32 0
11 %0 = load i64* %refcnt, align 8
13 store i64 %dec, i64* %refcnt, align 8
14 %tobool = icmp eq i64 %dec, 0
15 br i1 %tobool, label %if.end, label %return
17 if.end: ; preds = %entry
18 %1 = bitcast %struct.obj* %o to i8*
19 tail call void @free(i8* %1)
22 return: ; preds = %entry, %if.end
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
32 define i32 @test() nounwind uwtable ssp {
36 %0 = load i64* @c, align 8
37 %dec.i = add nsw i64 %0, -1
38 store 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
41 store 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
47 define i32 @test2() nounwind uwtable ssp {
49 ; CHECK-NOT: decq ({{.*}})
50 %0 = load i64* @c, align 8
51 %dec.i = add nsw i64 %0, -1
52 store 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
55 store 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
60 declare i32 @printf(i8* nocapture, ...) nounwind
62 declare void @free(i8* nocapture) nounwind
64 %struct.obj2 = type { i64, i32, i16, i8 }
66 declare void @other(%struct.obj2* ) nounwind;
69 define void @example_dec(%struct.obj2* %o) nounwind uwtable ssp {
72 %s64 = getelementptr inbounds %struct.obj2* %o, i64 0, i32 0
74 %0 = load i64* %s64, align 8
75 ; CHECK: decq ({{.*}})
77 store i64 %dec, i64* %s64, align 8
78 %tobool = icmp eq i64 %dec, 0
79 br i1 %tobool, label %if.end, label %return
83 %s32 = getelementptr inbounds %struct.obj2* %o, i64 0, i32 1
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
94 %s16 = getelementptr inbounds %struct.obj2* %o, i64 0, i32 2
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
105 %s8 = getelementptr inbounds %struct.obj2* %o, i64 0, i32 3
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
115 tail call void @other(%struct.obj2* %o) nounwind
118 return: ; preds = %if.end4, %if.end, %entry
123 define void @example_inc(%struct.obj2* %o) nounwind uwtable ssp {
126 %s64 = getelementptr inbounds %struct.obj2* %o, i64 0, i32 0
128 %0 = load i64* %s64, align 8
129 ; CHECK: incq ({{.*}})
131 store i64 %inc, i64* %s64, align 8
132 %tobool = icmp eq i64 %inc, 0
133 br i1 %tobool, label %if.end, label %return
137 %s32 = getelementptr inbounds %struct.obj2* %o, i64 0, i32 1
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
148 %s16 = getelementptr inbounds %struct.obj2* %o, i64 0, i32 2
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
159 %s8 = getelementptr inbounds %struct.obj2* %o, i64 0, i32 3
162 ; CHECK: incb {{[0-9][0-9]*}}({{.*}})
164 store i8 %inc3, i8* %s8
165 %tobool4 = icmp eq i8 %inc3, 0
166 br i1 %tobool4, label %if.end4, label %return
169 tail call void @other(%struct.obj2* %o) nounwind
176 ; Deal with TokenFactor chain
178 @foo = external global i64*, align 8
180 define void @test3() nounwind ssp {
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
193 tail call void @baz() nounwind
202 ; Avoid creating a cycle in the DAG which would trigger an assert in the
206 @x = external global i32, align 4
207 @y = external global i32, align 4
208 @z = external global i32, align 4
210 define void @test4() nounwind uwtable ssp {
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