1; RUN: llc -mtriple=aarch64 -verify-machineinstrs < %s | FileCheck --check-prefix=CHECK --check-prefix=OPT %s
2; RUN: llc -mtriple=aarch64 -verify-machineinstrs -O0 -fast-isel=0 -global-isel=false < %s | FileCheck --check-prefix=CHECK --check-prefix=NOOPT %s
3
4declare void @foo()
5
6; Check that the inverted or doesn't inhibit the splitting of the
7; complex conditional into three branch instructions.
8; CHECK-LABEL: test_and_not:
9; CHECK:       cbz w0, [[L:\.LBB[0-9_]+]]
10; OPT:         cmp w1, #2
11; NOOPT:       subs w{{[0-9]+}}, w{{[0-9]+}}, #2
12; CHECK:       b.lo [[L]]
13; OPT:         cmp w2, #2
14; NOOPT:       subs w{{[0-9]+}}, w{{[0-9]+}}, #2
15; CHECK:       b.hi [[L]]
16define void @test_and_not(i32 %a, i32 %b, i32 %c) {
17bb1:
18  %cmp1 = icmp ult i32 %a, 1
19  %cmp2 = icmp ult i32 %b, 2
20  %cmp3 = icmp ult i32 %c, 3
21  %or = or i1 %cmp1, %cmp2
22  %not.or = xor i1 %or, -1
23  %and = and i1 %not.or, %cmp3
24  br i1 %and, label %bb2, label %bb3
25
26bb2:
27  ret void
28
29bb3:
30  call void @foo()
31  ret void
32}
33
34; Check that non-canonicalized xor not is handled correctly by FindMergedConditions.
35; CHECK-LABEL: test_and_not2:
36; CHECK:       cbz w0, [[L:\.LBB[0-9_]+]]
37; OPT:         cmp w1, #2
38; NOOPT:       subs w{{[0-9]+}}, w{{[0-9]+}}, #2
39; CHECK:       b.lo [[L]]
40; OPT:         cmp w2, #2
41; NOOPT:       subs w{{[0-9]+}}, w{{[0-9]+}}, #2
42; CHECK:       b.hi [[L]]
43define void @test_and_not2(i32 %a, i32 %b, i32 %c) {
44bb1:
45  %cmp1 = icmp ult i32 %a, 1
46  %cmp2 = icmp ult i32 %b, 2
47  %cmp3 = icmp ult i32 %c, 3
48  %or = or i1 %cmp1, %cmp2
49  %not.or = xor i1 -1, %or
50  %and = and i1 %not.or, %cmp3
51  br i1 %and, label %bb2, label %bb3
52
53bb2:
54  ret void
55
56bb3:
57  call void @foo()
58  ret void
59}
60
61; Check that cmps in different blocks are handled correctly by FindMergedConditions.
62; CHECK-LABEL: test_cmp_other_block:
63; OPT: cmp w{{[0-9]+}}, #0
64; OPT: b.gt [[L:\.LBB[0-9_]+]]
65; OPT: tbz w1, #0, [[L]]
66;
67; NOOPT: subs w{{[0-9]+}}, w{{[0-9]+}}, #0
68; NOOPT: cset [[R1:w[0-9]+]], gt
69; NOOPT: str w1, [sp, #[[SLOT2:[0-9]+]]]
70; NOOPT: str [[R1]], [sp, #[[SLOT1:[0-9]+]]]
71; NOOPT: b .LBB
72; NOOPT: ldr [[R2:w[0-9]+]], [sp, #[[SLOT1]]]
73; NOOPT: tbnz [[R2]], #0, [[L:\.LBB[0-9_]+]]
74; NOOPT: ldr [[R3:w[0-9]+]], [sp, #[[SLOT2]]]
75; NOOPT: tbz [[R3]], #0, [[L]]
76define void @test_cmp_other_block(i32* %p, i1 %c) {
77entry:
78  %l = load i32, i32* %p
79  %cmp = icmp sgt i32 %l, 0
80  br label %bb1
81
82bb1:
83  %cmp.i = xor i1 %cmp, true
84  %or.cond1.i = and i1 %cmp.i, %c
85  br i1 %or.cond1.i, label %bb2, label %bb3
86
87bb2:
88  ret void
89
90bb3:
91  call void @foo()
92  ret void
93}
94
95