1 // compile-flags: -O -C no-prepopulate-passes
5 // CHECK-LABEL: define{{.*}}i32 @test(i32 noundef %a, i32 noundef %b)
7 pub fn test(a: u32, b: u32) -> u32 {
9 // CHECK: %c = add i32 %a, %b
12 // CHECK-NEXT: %e = mul i32 %c, %a
14 // CHECK-NEXT: ret i32 %e