1 ; RUN: llc -mtriple=thumb-eabi -mcpu=cortex-m0 %s -verify-machineinstrs -o - | FileCheck %s
3 define i32 @test1a(i32 %a, i32 %b) {
5 %cmp = icmp ne i32 %a, %b
6 %cond = zext i1 %cmp to i32
9 ; CHECK-NOT: b{{(ne)|(eq)}}
10 ; CHECK: subs r0, r0, r1
11 ; CHECK-NEXT: subs r1, r0, #1
12 ; CHECK-NEXT: sbcs r0, r1
15 define i32 @test1b(i32 %a, i32 %b) {
17 %cmp = icmp eq i32 %a, %b
18 %cond = zext i1 %cmp to i32
20 ; CHECK-LABEL: test1b:
21 ; CHECK-NOT: b{{(ne)|(eq)}}
22 ; CHECK: subs r1, r0, r1
23 ; CHECK-NEXT: movs r0, #0
24 ; CHECK-NEXT: subs r0, r0, r1
25 ; CHECK-NEXT: adcs r0, r1
28 define i32 @test2a(i32 %a, i32 %b) {
30 %cmp = icmp eq i32 %a, %b
31 %cond = zext i1 %cmp to i32
33 ; CHECK-LABEL: test2a:
34 ; CHECK-NOT: b{{(ne)|(eq)}}
35 ; CHECK: subs r1, r0, r1
36 ; CHECK-NEXT: movs r0, #0
37 ; CHECK-NEXT: subs r0, r0, r1
38 ; CHECK-NEXT: adcs r0, r1
41 define i32 @test2b(i32 %a, i32 %b) {
43 %cmp = icmp ne i32 %a, %b
44 %cond = zext i1 %cmp to i32
46 ; CHECK-LABEL: test2b:
47 ; CHECK-NOT: b{{(ne)|(eq)}}
48 ; CHECK: subs r0, r0, r1
49 ; CHECK-NEXT: subs r1, r0, #1
50 ; CHECK-NEXT: sbcs r0, r1
53 define i32 @test3a(i32 %a, i32 %b) {
55 %cmp = icmp eq i32 %a, %b
56 %cond = select i1 %cmp, i32 0, i32 4
58 ; CHECK-LABEL: test3a:
59 ; CHECK-NOT: b{{(ne)|(eq)}}
60 ; CHECK: subs r0, r0, r1
61 ; CHECK-NEXT: subs r1, r0, #1
62 ; CHECK-NEXT: sbcs r0, r1
63 ; CHECK-NEXT: lsls r0, r0, #2
66 define i32 @test3b(i32 %a, i32 %b) {
68 %cmp = icmp eq i32 %a, %b
69 %cond = select i1 %cmp, i32 4, i32 0
71 ; CHECK-LABEL: test3b:
72 ; CHECK-NOT: b{{(ne)|(eq)}}
73 ; CHECK: subs r0, r0, r1
74 ; CHECK-NEXT: movs r1, #0
75 ; CHECK-NEXT: subs r1, r1, r0
76 ; CHECK-NEXT: adcs r1, r0
77 ; CHECK-NEXT: lsls r0, r1, #2
80 ; FIXME: This one hasn't changed actually
81 ; but could look like test3b
82 define i32 @test4a(i32 %a, i32 %b) {
84 %cmp = icmp ne i32 %a, %b
85 %cond = select i1 %cmp, i32 0, i32 4
87 ; CHECK-LABEL: test4a:
88 ; CHECK-NOT: b{{(ne)|(eq)}}
90 ; CHECK-NEXT: movs r0, #0
91 ; CHECK-NEXT: movs r3, #4
92 ; CHECK-NEXT: cmp r2, r1
93 ; CHECK-NEXT: bne .[[BRANCH:[A-Z0-9_]+]]
98 define i32 @test4b(i32 %a, i32 %b) {
100 %cmp = icmp ne i32 %a, %b
101 %cond = select i1 %cmp, i32 4, i32 0
103 ; CHECK-LABEL: test4b:
104 ; CHECK-NOT: b{{(ne)|(eq)}}
105 ; CHECK: subs r0, r0, r1
106 ; CHECK-NEXT: subs r1, r0, #1
107 ; CHECK-NEXT: sbcs r0, r1
108 ; CHECK-NEXT: lsls r0, r0, #2