| //@ compile-flags: -O -C no-prepopulate-passes | |
| #![crate_type = "lib"] | |
| // CHECK-LABEL: define{{.*}}i32 @test(i32 noundef %a, i32 noundef %b) | |
| #[no_mangle] | |
| pub fn test(a: u32, b: u32) -> u32 { | |
| let c = a + b; | |
| // CHECK: %c = add i32 %a, %b | |
| let d = c; | |
| let e = d * a; | |
| // CHECK-NEXT: %e = mul i32 %c, %a | |
| e | |
| // CHECK-NEXT: ret i32 %e | |
| } |