llvm/test/Bitcode/branch-weight.ll

   1 ;; Test strip branch_weight if operand number doesn't match.
   2 ;; Input bitcode is generated from:
   3 ;; define void @test(i1 %0) {
   4 ;;   br i1 %0, label %2, label %3, !prof !0
   5 ;; 2:
   6 ;;   br i1 %0, label %4, label %3, !prof !1
   7 ;; 3:
   8 ;;   unreachable
   9 ;; 4:
  10 ;;   ret void
  11 ;; }
  12 ;;!0 = !{!"branch_weights", i32 1, i32 2}
  13 ;;!1 = !{!"branch_weights", i32 1, i32 2, i32 3}
  14
  15 ; RUN: llvm-dis %S/Inputs/branch-weight.bc -o - | FileCheck %s
  16 ; CHECK: !prof !0
  17 ; CHECK: !0 = !{!"branch_weights", i32 1, i32 2}
  18 ; CHECK-NOT: !prof !1
  19 ; CHECK-NOT: !1 = !{!"branch_weights", i32 1, i32 2, i32 3}