| //@ compile-flags: -O |
| #![crate_type = "lib"] |
| #![feature(core_intrinsics)] |
| |
| use std::intrinsics::cold_path; |
| |
| #[inline(never)] |
| #[no_mangle] |
| pub fn path_a() { |
| println!("path a"); |
| } |
| |
| #[inline(never)] |
| #[no_mangle] |
| pub fn path_b() { |
| println!("path b"); |
| } |
| |
| #[no_mangle] |
| pub fn test(x: Option<bool>) { |
| if let Some(_) = x { |
| path_a(); |
| } else { |
| cold_path(); |
| path_b(); |
| } |
| |
| // CHECK-LABEL: void @test(i8{{.+}}%x) |
| // CHECK: %[[IS_NONE:.+]] = icmp eq i8 %x, 2 |
| // CHECK: br i1 %[[IS_NONE]], label %bb2, label %bb1, !prof ![[NUM:[0-9]+]] |
| // CHECK: bb1: |
| // CHECK: path_a |
| // CHECK: bb2: |
| // CHECK: path_b |
| } |
| |
| // CHECK: ![[NUM]] = !{!"branch_weights", {{(!"expected", )?}}i32 1, i32 2000} |