99 lines · plain
1; RUN: llc -mtriple aarch64-linux-gnu -mattr=+pauth -asm-verbose=false -disable-post-ra -o - %s | FileCheck %s2 3; CHECK-LABEL: test_tailcall:4; CHECK-NEXT: pacibsp5; CHECK-NEXT: str x30, [sp, #-16]!6; CHECK-NEXT: bl bar7; CHECK-NEXT: ldr x30, [sp], #168; CHECK-NEXT: autibsp9; CHECK-NEXT: eor x16, x30, x30, lsl #110; CHECK-NEXT: tbz x16, #62, [[GOOD:.L.*]]11; CHECK-NEXT: brk #0xc47112; CHECK-NEXT: [[GOOD]]:13; CHECK-NEXT: b bar14define i32 @test_tailcall() #0 {15 call i32 @bar()16 %c = tail call i32 @bar()17 ret i32 %c18}19 20; CHECK-LABEL: test_tailcall_noframe:21; CHECK-NEXT: b bar22define i32 @test_tailcall_noframe() #0 {23 %c = tail call i32 @bar()24 ret i32 %c25}26 27; CHECK-LABEL: test_tailcall_indirect:28; CHECK: autibsp29; CHECK: eor x16, x30, x30, lsl #130; CHECK: tbz x16, #62, [[GOOD:.L.*]]31; CHECK: brk #0xc47132; CHECK: [[GOOD]]:33; CHECK: br x034define void @test_tailcall_indirect(ptr %fptr) #0 {35 call i32 @test_tailcall()36 tail call void %fptr()37 ret void38}39 40; CHECK-LABEL: test_tailcall_indirect_in_x9:41; CHECK: autibsp42; CHECK: eor x16, x30, x30, lsl #143; CHECK: tbz x16, #62, [[GOOD:.L.*]]44; CHECK: brk #0xc47145; CHECK: [[GOOD]]:46; CHECK: br x947define void @test_tailcall_indirect_in_x9(ptr sret(i64) %ret, [8 x i64] %in, ptr %fptr) #0 {48 %ptr = alloca i8, i32 1649 call i32 @test_tailcall()50 tail call void %fptr(ptr sret(i64) %ret, [8 x i64] %in)51 ret void52}53 54; CHECK-LABEL: test_auth_tailcall_indirect:55; CHECK: autibsp56; CHECK: eor x16, x30, x30, lsl #157; CHECK: tbz x16, #62, [[GOOD:.L.*]]58; CHECK: brk #0xc47159; CHECK: [[GOOD]]:60; CHECK: mov x16, #4261; CHECK: braa x0, x1662define void @test_auth_tailcall_indirect(ptr %fptr) #0 {63 call i32 @test_tailcall()64 tail call void %fptr() [ "ptrauth"(i32 0, i64 42) ]65 ret void66}67 68; CHECK-LABEL: test_auth_tailcall_indirect_in_x9:69; CHECK: autibsp70; CHECK: eor x16, x30, x30, lsl #171; CHECK: tbz x16, #62, [[GOOD:.L.*]]72; CHECK: brk #0xc47173; CHECK: [[GOOD]]:74; CHECK: brabz x975define void @test_auth_tailcall_indirect_in_x9(ptr sret(i64) %ret, [8 x i64] %in, ptr %fptr) #0 {76 %ptr = alloca i8, i32 1677 call i32 @test_tailcall()78 tail call void %fptr(ptr sret(i64) %ret, [8 x i64] %in) [ "ptrauth"(i32 1, i64 0) ]79 ret void80}81 82; CHECK-LABEL: test_auth_tailcall_indirect_bti:83; CHECK: autibsp84; CHECK: eor x17, x30, x30, lsl #185; CHECK: tbz x17, #62, [[GOOD:.L.*]]86; CHECK: brk #0xc47187; CHECK: [[GOOD]]:88; CHECK: brabz x1689define void @test_auth_tailcall_indirect_bti(ptr sret(i64) %ret, [8 x i64] %in, ptr %fptr) #0 "branch-target-enforcement"="true" {90 %ptr = alloca i8, i32 1691 call i32 @test_tailcall()92 tail call void %fptr(ptr sret(i64) %ret, [8 x i64] %in) [ "ptrauth"(i32 1, i64 0) ]93 ret void94}95 96declare i32 @bar()97 98attributes #0 = { nounwind "ptrauth-returns" "ptrauth-auth-traps" }99