xref: /aosp_15_r20/external/llvm/test/CodeGen/X86/conditional-indecrement.ll (revision 9880d6810fe72a1726cb53787c6711e909410d58) 
1*9880d681SAndroid Build Coastguard Worker; RUN: llc -march=x86 < %s | FileCheck %s
2*9880d681SAndroid Build Coastguard Worker
3*9880d681SAndroid Build Coastguard Workerdefine i32 @test1(i32 %a, i32 %b) nounwind readnone {
4*9880d681SAndroid Build Coastguard Worker  %not.cmp = icmp ne i32 %a, 0
5*9880d681SAndroid Build Coastguard Worker  %inc = zext i1 %not.cmp to i32
6*9880d681SAndroid Build Coastguard Worker  %retval.0 = add i32 %inc, %b
7*9880d681SAndroid Build Coastguard Worker  ret i32 %retval.0
8*9880d681SAndroid Build Coastguard Worker; CHECK-LABEL: test1:
9*9880d681SAndroid Build Coastguard Worker; CHECK: cmpl $1
10*9880d681SAndroid Build Coastguard Worker; CHECK: sbbl $-1
11*9880d681SAndroid Build Coastguard Worker; CHECK: ret
12*9880d681SAndroid Build Coastguard Worker}
13*9880d681SAndroid Build Coastguard Worker
14*9880d681SAndroid Build Coastguard Workerdefine i32 @test2(i32 %a, i32 %b) nounwind readnone {
15*9880d681SAndroid Build Coastguard Worker  %cmp = icmp eq i32 %a, 0
16*9880d681SAndroid Build Coastguard Worker  %inc = zext i1 %cmp to i32
17*9880d681SAndroid Build Coastguard Worker  %retval.0 = add i32 %inc, %b
18*9880d681SAndroid Build Coastguard Worker  ret i32 %retval.0
19*9880d681SAndroid Build Coastguard Worker; CHECK-LABEL: test2:
20*9880d681SAndroid Build Coastguard Worker; CHECK: cmpl $1
21*9880d681SAndroid Build Coastguard Worker; CHECK: adcl $0
22*9880d681SAndroid Build Coastguard Worker; CHECK: ret
23*9880d681SAndroid Build Coastguard Worker}
24*9880d681SAndroid Build Coastguard Worker
25*9880d681SAndroid Build Coastguard Workerdefine i32 @test3(i32 %a, i32 %b) nounwind readnone {
26*9880d681SAndroid Build Coastguard Worker  %cmp = icmp eq i32 %a, 0
27*9880d681SAndroid Build Coastguard Worker  %inc = zext i1 %cmp to i32
28*9880d681SAndroid Build Coastguard Worker  %retval.0 = add i32 %inc, %b
29*9880d681SAndroid Build Coastguard Worker  ret i32 %retval.0
30*9880d681SAndroid Build Coastguard Worker; CHECK-LABEL: test3:
31*9880d681SAndroid Build Coastguard Worker; CHECK: cmpl $1
32*9880d681SAndroid Build Coastguard Worker; CHECK: adcl $0
33*9880d681SAndroid Build Coastguard Worker; CHECK: ret
34*9880d681SAndroid Build Coastguard Worker}
35*9880d681SAndroid Build Coastguard Worker
36*9880d681SAndroid Build Coastguard Workerdefine i32 @test4(i32 %a, i32 %b) nounwind readnone {
37*9880d681SAndroid Build Coastguard Worker  %not.cmp = icmp ne i32 %a, 0
38*9880d681SAndroid Build Coastguard Worker  %inc = zext i1 %not.cmp to i32
39*9880d681SAndroid Build Coastguard Worker  %retval.0 = add i32 %inc, %b
40*9880d681SAndroid Build Coastguard Worker  ret i32 %retval.0
41*9880d681SAndroid Build Coastguard Worker; CHECK-LABEL: test4:
42*9880d681SAndroid Build Coastguard Worker; CHECK: cmpl $1
43*9880d681SAndroid Build Coastguard Worker; CHECK: sbbl $-1
44*9880d681SAndroid Build Coastguard Worker; CHECK: ret
45*9880d681SAndroid Build Coastguard Worker}
46*9880d681SAndroid Build Coastguard Worker
47*9880d681SAndroid Build Coastguard Workerdefine i32 @test5(i32 %a, i32 %b) nounwind readnone {
48*9880d681SAndroid Build Coastguard Worker  %not.cmp = icmp ne i32 %a, 0
49*9880d681SAndroid Build Coastguard Worker  %inc = zext i1 %not.cmp to i32
50*9880d681SAndroid Build Coastguard Worker  %retval.0 = sub i32 %b, %inc
51*9880d681SAndroid Build Coastguard Worker  ret i32 %retval.0
52*9880d681SAndroid Build Coastguard Worker; CHECK-LABEL: test5:
53*9880d681SAndroid Build Coastguard Worker; CHECK: cmpl $1
54*9880d681SAndroid Build Coastguard Worker; CHECK: adcl $-1
55*9880d681SAndroid Build Coastguard Worker; CHECK: ret
56*9880d681SAndroid Build Coastguard Worker}
57*9880d681SAndroid Build Coastguard Worker
58*9880d681SAndroid Build Coastguard Workerdefine i32 @test6(i32 %a, i32 %b) nounwind readnone {
59*9880d681SAndroid Build Coastguard Worker  %cmp = icmp eq i32 %a, 0
60*9880d681SAndroid Build Coastguard Worker  %inc = zext i1 %cmp to i32
61*9880d681SAndroid Build Coastguard Worker  %retval.0 = sub i32 %b, %inc
62*9880d681SAndroid Build Coastguard Worker  ret i32 %retval.0
63*9880d681SAndroid Build Coastguard Worker; CHECK-LABEL: test6:
64*9880d681SAndroid Build Coastguard Worker; CHECK: cmpl $1
65*9880d681SAndroid Build Coastguard Worker; CHECK: sbbl $0
66*9880d681SAndroid Build Coastguard Worker; CHECK: ret
67*9880d681SAndroid Build Coastguard Worker}
68*9880d681SAndroid Build Coastguard Worker
69*9880d681SAndroid Build Coastguard Workerdefine i32 @test7(i32 %a, i32 %b) nounwind readnone {
70*9880d681SAndroid Build Coastguard Worker  %cmp = icmp eq i32 %a, 0
71*9880d681SAndroid Build Coastguard Worker  %inc = zext i1 %cmp to i32
72*9880d681SAndroid Build Coastguard Worker  %retval.0 = sub i32 %b, %inc
73*9880d681SAndroid Build Coastguard Worker  ret i32 %retval.0
74*9880d681SAndroid Build Coastguard Worker; CHECK-LABEL: test7:
75*9880d681SAndroid Build Coastguard Worker; CHECK: cmpl $1
76*9880d681SAndroid Build Coastguard Worker; CHECK: sbbl $0
77*9880d681SAndroid Build Coastguard Worker; CHECK: ret
78*9880d681SAndroid Build Coastguard Worker}
79*9880d681SAndroid Build Coastguard Worker
80*9880d681SAndroid Build Coastguard Workerdefine i32 @test8(i32 %a, i32 %b) nounwind readnone {
81*9880d681SAndroid Build Coastguard Worker  %not.cmp = icmp ne i32 %a, 0
82*9880d681SAndroid Build Coastguard Worker  %inc = zext i1 %not.cmp to i32
83*9880d681SAndroid Build Coastguard Worker  %retval.0 = sub i32 %b, %inc
84*9880d681SAndroid Build Coastguard Worker  ret i32 %retval.0
85*9880d681SAndroid Build Coastguard Worker; CHECK-LABEL: test8:
86*9880d681SAndroid Build Coastguard Worker; CHECK: cmpl $1
87*9880d681SAndroid Build Coastguard Worker; CHECK: adcl $-1
88*9880d681SAndroid Build Coastguard Worker; CHECK: ret
89*9880d681SAndroid Build Coastguard Worker}
90