| //@ revisions: NO-OPT SPEED-OPT |
| //@[NO-OPT] compile-flags: -Copt-level=0 |
| //@[SPEED-OPT] compile-flags: -Copt-level=3 -Coverflow-checks=y |
| |
| #![feature(optimize_attribute)] |
| |
| #[optimize(none)] |
| pub fn add_noopt() -> i32 { |
| // CHECK-LABEL: fn add_noopt( |
| // CHECK: AddWithOverflow(const 1_i32, const 2_i32); |
| // CHECK-NEXT: assert |
| 1 + 2 |
| } |
| |
| #[optimize(none)] |
| pub fn const_branch() -> i32 { |
| // CHECK-LABEL: fn const_branch( |
| // CHECK: switchInt(const true) -> [0: [[FALSE:bb[0-9]+]], otherwise: [[TRUE:bb[0-9]+]]]; |
| // CHECK-NEXT: } |
| // CHECK: [[FALSE]]: { |
| // CHECK-NEXT: _0 = const 0 |
| // CHECK-NEXT: goto |
| // CHECK-NEXT: } |
| // CHECK: [[TRUE]]: { |
| // CHECK-NEXT: _0 = const 1 |
| // CHECK-NEXT: goto |
| // CHECK-NEXT: } |
| |
| if true { 1 } else { 0 } |
| } |
| |
| fn main() {} |
