test/CodeGen/ARM/ifcvt_simple_bad_zero_prob_succ.mir

   1 # RUN: llc -mtriple=arm-apple-ios -run-pass=if-converter %s -o - | FileCheck %s
   2 ---
   3 name:            f1
   4 body:             |
   5   bb.0:
   6
   7   bb.1:
   8     Bcc %bb.3, 0, $cpsr
   9
  10   bb.2:
  11
  12   bb.3:
  13     Bcc %bb.1, 0, $cpsr
  14
  15   bb.4:
  16   successors: %bb.1
  17     tBRIND $r1, 14, _
  18 ...
  19
  20 # We should only get bb.1 as successor to bb.1. No zero percent probability
  21 # edge from bb.1 to bb.2. There shouldn't even be a bb.2 at all.
  22
  23 # CHECK: body:             |
  24 # CHECK:   bb.0:
  25 # CHECK:     successors: %bb.1(0x80000000)
  26
  27 # CHECK:   bb.1:
  28 # CHECK:     successors: %bb.1(0x80000000)
  29 # CHECK-NOT: %bb.2(0x00000000)
  30 # CHECK:     tBRIND $r1, 1, $cpsr
  31 # CHECK:     B %bb.1
  32
  33 #CHECK-NOT: bb.2: