25670749b4
A function that has no prologue cannot be reasonably expected to support debuginfo. In fact, the existing code (before this patch) would generate invalid instructions that caused crashes. We can solve this easily by just not emitting the debuginfo in this case. Fixes https://github.com/rust-lang/rust/issues/42779 cc https://github.com/rust-lang/rust/issues/32408
86 lines
2.1 KiB
Rust
86 lines
2.1 KiB
Rust
// compile-flags: -C no-prepopulate-passes
|
|
|
|
#![crate_type = "lib"]
|
|
#![feature(naked_functions)]
|
|
|
|
// CHECK: Function Attrs: naked
|
|
// CHECK-NEXT: define void @naked_empty()
|
|
#[no_mangle]
|
|
#[naked]
|
|
pub fn naked_empty() {
|
|
// CHECK-NEXT: {{.+}}:
|
|
// CHECK-NEXT: ret void
|
|
}
|
|
|
|
// CHECK: Function Attrs: naked
|
|
#[no_mangle]
|
|
#[naked]
|
|
// CHECK-NEXT: define void @naked_with_args(i{{[0-9]+( %0)?}})
|
|
pub fn naked_with_args(a: isize) {
|
|
// CHECK-NEXT: {{.+}}:
|
|
// CHECK-NEXT: %_1 = alloca i{{[0-9]+}}
|
|
&a; // keep variable in an alloca
|
|
// CHECK: ret void
|
|
}
|
|
|
|
// CHECK: Function Attrs: naked
|
|
// CHECK-NEXT: define i{{[0-9]+}} @naked_with_return()
|
|
#[no_mangle]
|
|
#[naked]
|
|
pub fn naked_with_return() -> isize {
|
|
// CHECK-NEXT: {{.+}}:
|
|
// CHECK-NEXT: ret i{{[0-9]+}} 0
|
|
0
|
|
}
|
|
|
|
// CHECK: Function Attrs: naked
|
|
// CHECK-NEXT: define i{{[0-9]+}} @naked_with_args_and_return(i{{[0-9]+( %0)?}})
|
|
#[no_mangle]
|
|
#[naked]
|
|
pub fn naked_with_args_and_return(a: isize) -> isize {
|
|
// CHECK-NEXT: {{.+}}:
|
|
// CHECK-NEXT: %_1 = alloca i{{[0-9]+}}
|
|
&a; // keep variable in an alloca
|
|
// CHECK: ret i{{[0-9]+}} %{{[0-9]+}}
|
|
a
|
|
}
|
|
|
|
// CHECK: Function Attrs: naked
|
|
// CHECK-NEXT: define void @naked_recursive()
|
|
#[no_mangle]
|
|
#[naked]
|
|
pub fn naked_recursive() {
|
|
// CHECK-NEXT: {{.+}}:
|
|
// CHECK-NEXT: call void @naked_empty()
|
|
|
|
// FIXME(#39685) Avoid one block per call.
|
|
// CHECK-NEXT: br label %bb1
|
|
// CHECK: bb1:
|
|
|
|
naked_empty();
|
|
|
|
// CHECK-NEXT: %_4 = call i{{[0-9]+}} @naked_with_return()
|
|
|
|
// FIXME(#39685) Avoid one block per call.
|
|
// CHECK-NEXT: br label %bb2
|
|
// CHECK: bb2:
|
|
|
|
// CHECK-NEXT: %_3 = call i{{[0-9]+}} @naked_with_args_and_return(i{{[0-9]+}} %_4)
|
|
|
|
// FIXME(#39685) Avoid one block per call.
|
|
// CHECK-NEXT: br label %bb3
|
|
// CHECK: bb3:
|
|
|
|
// CHECK-NEXT: call void @naked_with_args(i{{[0-9]+}} %_3)
|
|
|
|
// FIXME(#39685) Avoid one block per call.
|
|
// CHECK-NEXT: br label %bb4
|
|
// CHECK: bb4:
|
|
|
|
naked_with_args(
|
|
naked_with_args_and_return(
|
|
naked_with_return()
|
|
)
|
|
);
|
|
// CHECK-NEXT: ret void
|
|
}
|