blob: 53841df32e8d66bf069bbcd80a28d4edcc5b866b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
// 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: %0 = mul i32 %c, %a
e
// CHECK-NEXT: ret i32 %0
}
|