//@ compile-flags: -Coverflow-checks=no -O | |
//@ revisions: YES NO | |
//@ [YES]compile-flags: -Zfewer-names=yes | |
//@ [NO] compile-flags: -Zfewer-names=no | |
#![crate_type = "lib"] | |
#[no_mangle] | |
pub fn sum(x: u32, y: u32) -> u32 { | |
// YES-LABEL: define{{.*}}i32 @sum(i32 noundef %0, i32 noundef %1) | |
// YES-NEXT: %3 = add i32 %1, %0 | |
// YES-NEXT: ret i32 %3 | |
// NO-LABEL: define{{.*}}i32 @sum(i32 noundef %x, i32 noundef %y) | |
// NO-NEXT: start: | |
// NO-NEXT: %z = add i32 %y, %x | |
// NO-NEXT: ret i32 %z | |
let z = x + y; | |
z | |
} |