1 // compile-flags: -C no-prepopulate-passes
4 #![feature(naked_functions)]
6 // CHECK: Function Attrs: naked
7 // CHECK-NEXT: define void @naked_empty()
10 pub fn naked_empty() {
11 // CHECK-NEXT: {{.+}}:
12 // CHECK-NEXT: ret void
15 // CHECK: Function Attrs: naked
18 // CHECK-NEXT: define void @naked_with_args(i{{[0-9]+( %0)?}})
19 pub fn naked_with_args(a: isize) {
20 // CHECK-NEXT: {{.+}}:
21 // CHECK-NEXT: %a = alloca i{{[0-9]+}}
22 &a; // keep variable in an alloca
26 // CHECK: Function Attrs: naked
27 // CHECK-NEXT: define i{{[0-9]+}} @naked_with_return()
30 pub fn naked_with_return() -> isize {
31 // CHECK-NEXT: {{.+}}:
32 // CHECK-NEXT: ret i{{[0-9]+}} 0
36 // CHECK: Function Attrs: naked
37 // CHECK-NEXT: define i{{[0-9]+}} @naked_with_args_and_return(i{{[0-9]+( %0)?}})
40 pub fn naked_with_args_and_return(a: isize) -> isize {
41 // CHECK-NEXT: {{.+}}:
42 // CHECK-NEXT: %a = alloca i{{[0-9]+}}
43 &a; // keep variable in an alloca
44 // CHECK: ret i{{[0-9]+}} %{{[0-9]+}}
48 // CHECK: Function Attrs: naked
49 // CHECK-NEXT: define void @naked_recursive()
52 pub fn naked_recursive() {
53 // CHECK-NEXT: {{.+}}:
54 // CHECK-NEXT: call void @naked_empty()
56 // FIXME(#39685) Avoid one block per call.
57 // CHECK-NEXT: br label %bb1
62 // CHECK-NEXT: %_4 = call i{{[0-9]+}} @naked_with_return()
64 // FIXME(#39685) Avoid one block per call.
65 // CHECK-NEXT: br label %bb2
68 // CHECK-NEXT: %_3 = call i{{[0-9]+}} @naked_with_args_and_return(i{{[0-9]+}} %_4)
70 // FIXME(#39685) Avoid one block per call.
71 // CHECK-NEXT: br label %bb3
74 // CHECK-NEXT: call void @naked_with_args(i{{[0-9]+}} %_3)
76 // FIXME(#39685) Avoid one block per call.
77 // CHECK-NEXT: br label %bb4
81 naked_with_args_and_return(
85 // CHECK-NEXT: ret void