xref: /llvm-project/llvm/test/CodeGen/ARM/ifcvt_simple_bad_zero_prob_succ.mir (revision 7efabe5c7de46fe190638741c6ee81ae13255e38)
1# NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py
2# RUN: llc -mtriple=thumbv7-apple-ios -run-pass=if-converter %s -o - | FileCheck %s
3
4# We should only get bb.1 as successor to bb.1. No zero percent probability
5# edge from bb.1 to bb.2. There shouldn't even be a bb.2 at all.
6
7---
8name:            f1
9body:             |
10  ; CHECK-LABEL: name: f1
11  ; CHECK: bb.0:
12  ; CHECK:   successors: %bb.1(0x80000000)
13  ; CHECK: bb.1:
14  ; CHECK:   successors: %bb.1(0x80000000)
15  ; CHECK:   tBRIND $r1, 1 /* CC::ne */, $cpsr
16  ; CHECK:   t2B %bb.1, 14 /* CC::al */, $noreg
17  ; CHECK-NOT: bb.2:
18  bb.0:
19
20  bb.1:
21    tBcc %bb.3, 0, $cpsr
22
23  bb.2:
24
25  bb.3:
26    tBcc %bb.1, 0, $cpsr
27
28  bb.4:
29  successors: %bb.1
30    tBRIND $r1, 14, _
31...
32