#[no_mangle]
#[naked]
fn naked_empty() {
- // CHECK: ret void
+ // CHECK-NEXT: {{.+}}:
+ // CHECK-NEXT: ret void
}
// CHECK: Function Attrs: naked uwtable
#[naked]
// CHECK-NEXT: define internal void @naked_with_args(i{{[0-9]+}})
fn naked_with_args(a: isize) {
- // CHECK: %a = alloca i{{[0-9]+}}
- // CHECK: ret void
+ // CHECK-NEXT: {{.+}}:
+ // CHECK-NEXT: %a = alloca i{{[0-9]+}}
&a; // keep variable in an alloca
+ // CHECK: ret void
}
// CHECK: Function Attrs: naked uwtable
#[no_mangle]
#[naked]
fn naked_with_return() -> isize {
- // CHECK: ret i{{[0-9]+}} 0
+ // CHECK-NEXT: {{.+}}:
+ // CHECK-NEXT: ret i{{[0-9]+}} 0
0
}
#[no_mangle]
#[naked]
fn naked_with_args_and_return(a: isize) -> isize {
- // CHECK: %a = alloca i{{[0-9]+}}
- // CHECK: ret i{{[0-9]+}} %{{[0-9]+}}
+ // CHECK-NEXT: {{.+}}:
+ // CHECK-NEXT: %a = alloca i{{[0-9]+}}
&a; // keep variable in an alloca
+ // CHECK: ret i{{[0-9]+}} %{{[0-9]+}}
a
}
#[no_mangle]
#[naked]
fn naked_recursive() {
- // CHECK: call void @naked_empty()
+ // 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: %{{[0-9]+}} = call i{{[0-9]+}} @naked_with_return()
+
+ // CHECK-NEXT: %{{[0-9]+}} = call i{{[0-9]+}} @naked_with_return()
+
+ // FIXME(#39685) Avoid one block per call.
+ // CHECK-NEXT: br label %bb2
+ // CHECK: bb2:
+
+ // CHECK-NEXT: %{{[0-9]+}} = call i{{[0-9]+}} @naked_with_args_and_return(i{{[0-9]+}} %{{[0-9]+}})
+
+ // FIXME(#39685) Avoid one block per call.
+ // CHECK-NEXT: br label %bb3
+ // CHECK: bb3:
+
+ // CHECK-NEXT: call void @naked_with_args(i{{[0-9]+}} %{{[0-9]+}})
+
+ // FIXME(#39685) Avoid one block per call.
+ // CHECK-NEXT: br label %bb4
+ // CHECK: bb4:
+
naked_with_args(
- // CHECK: %{{[0-9]+}} = call i{{[0-9]+}} @naked_with_args_and_return(i{{[0-9]+}} %{{[0-9]+}})
naked_with_args_and_return(
- // CHECK: call void @naked_with_args(i{{[0-9]+}} %{{[0-9]+}})
naked_with_return()
)
);
+ // CHECK-NEXT: ret void
}