llvm/test/Transforms/JumpThreading/thread-prob-6.ll

   1 ; RUN: opt -debug-only=branch-prob -passes="require<branch-prob>,jump-threading" -S %s 2>&1 | FileCheck %s
   2 ; RUN: opt -debug-only=branch-prob -passes=jump-threading -S %s 2>&1 | FileCheck %s --check-prefix=CHECK-NOBPI
   3 ; REQUIRES: asserts
   4
   5 ; Make sure that we clear edge probabilities for bb1 as we fold
   6 ; the conditional branch in it.
   7
   8 ; CHECK: eraseBlock bb1
   9 ; CHECK-NOBPI-NOT: eraseBlock bb1
  10
  11 define i32 @foo() !prof !0 {
  12 ; CHECK-LABEL: @foo
  13 bb1:
  14   br i1 true, label %bb2, label %bb3
  15
  16 bb2:
  17   ret i32 3
  18
  19 bb3:
  20 ; CHECK-NOT: bb3:
  21   ret i32 7
  22 }
  23
  24 !0 = !{!"function_entry_count", i64 0}