[InstCombine] Signed saturation patterns
[llvm-complete.git] / test / CodeGen / ARM / GlobalISel / thumb-select-br.mir
blob6c5719d09304a39144d4af6c94245eb84fd79f86
1 # RUN: llc -O0 -mtriple thumb-- -mattr=+v6t2 -run-pass=instruction-select -verify-machineinstrs %s -o - | FileCheck %s
2 --- |
3   define void @test_br() { ret void }
4 ...
5 ---
6 name:            test_br
7 # CHECK-LABEL: name: test_br
8 legalized:       true
9 regBankSelected: true
10 selected:        false
11 # CHECK: selected: true
12 registers:
13   - { id: 0, class: gprb }
14   - { id: 1, class: gprb }
15 body:             |
16   bb.0:
17   ; CHECK: bb.0
18     successors: %bb.1(0x40000000), %bb.2(0x40000000)
19     liveins: $r0
21     %0(s32) = COPY $r0
22     ; CHECK: [[COND32:%[0-9]+]]:gpr = COPY $r0
23     %1(s1) = G_TRUNC %0(s32)
24     ; CHECK: [[COND:%[0-9]+]]:rgpr = COPY [[COND32]]
26     G_BRCOND %1(s1), %bb.1
27     ; CHECK: t2TSTri [[COND]], 1, 14, $noreg, implicit-def $cpsr
28     ; CHECK: t2Bcc %bb.1, 1, $cpsr
29     G_BR %bb.2
30     ; CHECK: t2B %bb.2, 14, $noreg
32   bb.1:
33   ; CHECK: bb.1
34     successors: %bb.2(0x80000000)
36     G_BR %bb.2
37     ; CHECK: t2B %bb.2, 14, $noreg
39   bb.2:
40   ; CHECK: bb.2
42     tBX_RET 14, $noreg
43     ; CHECK: tBX_RET 14, $noreg
44 ...