test/Transforms/JumpThreading/lvi-tristate.ll

   1 ; RUN: opt -jump-threading -simplifycfg -S < %s | FileCheck %s
   2 ; CHECK-NOT: bb6:
   3 ; CHECK-NOT: bb7:
   4 ; CHECK-NOT: bb8:
   5 ; CHECK-NOT: bb11:
   6 ; CHECK-NOT: bb12:
   7 ; CHECK: bb:
   8 ; CHECK: bb2:
   9 ; CHECK: bb4:
  10 ; CHECK: bb10:
  11 ; CHECK: bb13:
  12 declare void @ham()
  13
  14 define void @hoge() {
  15 bb:
  16   %tmp = and i32 undef, 1073741823
  17   %tmp1 = icmp eq i32 %tmp, 2
  18   br i1 %tmp1, label %bb12, label %bb2
  19
  20 bb2:
  21   %tmp3 = icmp eq i32 %tmp, 3
  22   br i1 %tmp3, label %bb13, label %bb4
  23
  24 bb4:
  25   %tmp5 = icmp eq i32 %tmp, 5
  26   br i1 %tmp5, label %bb6, label %bb7
  27
  28 bb6:
  29   tail call void @ham()
  30   br label %bb7
  31
  32 bb7:
  33   br i1 %tmp3, label %bb13, label %bb8
  34
  35 bb8:
  36   %tmp9 = icmp eq i32 %tmp, 4
  37   br i1 %tmp9, label %bb13, label %bb10
  38
  39 bb10:
  40   br i1 %tmp9, label %bb11, label %bb13
  41
  42 bb11:
  43   br label %bb13
  44
  45 bb12:
  46   br label %bb2
  47
  48 bb13:
  49   ret void
  50 }