[RISCV] Change func to funct in RISCVInstrInfoXqci.td. NFC (#119669)
[llvm-project.git] / llvm / test / CodeGen / AArch64 / br-cond-not-merge.ll
blobe0ffd81717402b435738eb962bf42cbf1f62c835
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
4 declare void @foo()
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]]
16 define void @test_and_not(i32 %a, i32 %b, i32 %c) {
17 bb1:
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
26 bb2:
27   ret void
29 bb3:
30   call void @foo()
31   ret void
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]]
43 define void @test_and_not2(i32 %a, i32 %b, i32 %c) {
44 bb1:
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
53 bb2:
54   ret void
56 bb3:
57   call void @foo()
58   ret void
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]]
67 ; NOOPT: str w1, [sp, #[[SLOT2:[0-9]+]]]
68 ; NOOPT: subs w{{[0-9]+}}, w{{[0-9]+}}, #0
69 ; NOOPT: cset [[R1:w[0-9]+]], gt
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]]
76 define void @test_cmp_other_block(ptr %p, i1 %c) {
77 entry:
78   %l = load i32, ptr %p
79   %cmp = icmp sgt i32 %l, 0
80   br label %bb1
82 bb1:
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
87 bb2:
88   ret void
90 bb3:
91   call void @foo()
92   ret void