X-Git-Url: https://git.lizzy.rs/?a=blobdiff_plain;f=tests%2Fcodegen%2Ffewer-names.rs;h=ac8cba06b48f7616f3450e5b6e2630c2ed84bfd2;hb=HEAD;hp=7307e0379dfa042eb02b7484b556f2393b61c590;hpb=44a500c8c187b245638684748f54bd6ec67e0b25;p=rust.git diff --git a/tests/codegen/fewer-names.rs b/tests/codegen/fewer-names.rs index 7307e0379df..ac8cba06b48 100644 --- a/tests/codegen/fewer-names.rs +++ b/tests/codegen/fewer-names.rs @@ -7,11 +7,11 @@ #[no_mangle] pub fn sum(x: u32, y: u32) -> u32 { -// YES-LABEL: define{{.*}}i32 @sum(i32 %0, i32 %1) +// 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 %x, i32 %y) +// 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