Rollup merge of #132170 - veera-sivarajan:codegen-tests, r=jieyouxu

Add a Few Codegen Tests

Closes #86109
Closes #64219

Those issues somehow got fixed over time.

So, this PR adds a couple of codegen tests to ensure we don't regress in the future.
This commit is contained in:
Matthias Krüger 2024-11-02 08:33:10 +01:00 committed by GitHub
commit a513e0e983
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
2 changed files with 45 additions and 0 deletions

View File

@ -0,0 +1,19 @@
//! Test for https://github.com/rust-lang/rust/issues/64219
//! Check if `noreturn` attribute is applied on calls to
//! function pointers returning `!` (never type).
#![crate_type = "lib"]
extern "C" {
static FOO: fn() -> !;
}
// CHECK-LABEL: @foo
#[no_mangle]
pub unsafe fn foo() {
// CHECK: call
// CHECK-SAME: [[NUM:#[0-9]+$]]
FOO();
}
// CHECK: attributes [[NUM]] = {{{.*}} noreturn {{.*}}}

View File

@ -0,0 +1,26 @@
//@ compile-flags: -O
//! Test for https://github.com/rust-lang/rust/issues/86109
//! Check LLVM can eliminate the impossible division by zero check by
//! ensuring there is no call (to panic) instruction.
//!
//! This has been fixed since `rustc 1.70.0`.
#![crate_type = "lib"]
type T = i16;
// CHECK-LABEL: @foo
#[no_mangle]
pub fn foo(start: T) -> T {
// CHECK-NOT: panic
if start <= 0 {
return 0;
}
let mut count = 0;
for i in start..10_000 {
if 752 % i != 0 {
count += 1;
}
}
count
}