//@ compile-flags: -Copt-level=3
#![feature(panic_internals, const_eval_select, rustc_attrs, core_intrinsics)]
#![crate_type = "lib"]

// check that assert! and const_assert! emit branch weights

#[no_mangle]
pub fn test_assert(x: bool) {
    assert!(x);
}

// CHECK-LABEL: @test_assert(
// CHECK: br i1 %x, label %bb2, label %bb1, !prof ![[NUM:[0-9]+]]
// CHECK: bb1:
// CHECK: panic
// CHECK: bb2:
// CHECK: ret void

#[no_mangle]
pub fn test_const_assert(x: bool) {
    core::panic::const_assert!(x, "", "",);
}

// CHECK-LABEL: @test_const_assert(
// CHECK: br i1 %x, label %bb2, label %bb1, !prof ![[NUM:[0-9]+]]
// CHECK: bb1:
// CHECK: panic
// CHECK: bb2:
// CHECK: ret void

// CHECK: ![[NUM]] = !{!"branch_weights", {{(!"expected", )?}}i32 2000, i32 1}