; RUN: llc -mtriple arm64e-apple-darwin -o - %s \
; RUN: | FileCheck %s --check-prefixes=CHECK,DARWIN,DARWIN-SDAG
; RUN: llc -mtriple aarch64 -mattr=+pauth -o - %s \
; RUN: | FileCheck %s --check-prefixes=CHECK,ELF,ELF-SDAG
; RUN: llc -mtriple arm64e-apple-darwin -o - %s \
; RUN: -global-isel -global-isel-abort=1 -verify-machineinstrs \
; RUN: | FileCheck %s --check-prefixes=CHECK,DARWIN,DARWIN-GISEL
; RUN: llc -mtriple aarch64 -mattr=+pauth -o - %s \
; RUN: -global-isel -global-isel-abort=1 -verify-machineinstrs \
; RUN: | FileCheck %s --check-prefixes=CHECK,ELF,ELF-GISEL
; DARWIN-LABEL: _test_invoke_ia_0:
; DARWIN-NEXT: [[FNBEGIN:L.*]]:
; DARWIN-NEXT: .cfi_startproc
; DARWIN-NEXT: .cfi_personality 155, ___gxx_personality_v0
; DARWIN-NEXT: .cfi_lsda 16, [[EXCEPT:Lexception[0-9]+]]
; DARWIN-NEXT: ; %bb.0:
; DARWIN-NEXT: stp x20, x19, [sp, #-32]!
; DARWIN-NEXT: stp x29, x30, [sp, #16]
; DARWIN-NEXT: .cfi_def_cfa_offset 32
; DARWIN-NEXT: .cfi_offset w30, -8
; DARWIN-NEXT: .cfi_offset w29, -16
; DARWIN-NEXT: .cfi_offset w19, -24
; DARWIN-NEXT: .cfi_offset w20, -32
; DARWIN-NEXT: [[PRECALL:L.*]]:
; DARWIN-NEXT: blraaz x0
; DARWIN-SDAG-NEXT: [[POSTCALL:L.*]]:
; DARWIN-SDAG-NEXT: ; %bb.1:
; DARWIN-SDAG-NEXT: mov x19, x0
; DARWIN-GISEL-NEXT: mov x19, x0
; DARWIN-GISEL-NEXT: [[POSTCALL:L.*]]:
; DARWIN-NEXT: [[CALLBB:L.*]]:
; DARWIN-NEXT: bl _foo
; DARWIN-NEXT: mov x0, x19
; DARWIN-NEXT: ldp x29, x30, [sp, #16]
; DARWIN-NEXT: ldp x20, x19, [sp], #32
; DARWIN-NEXT: ret
; DARWIN-NEXT: [[LPADBB:LBB[0-9_]+]]:
; DARWIN-NEXT: [[LPAD:L.*]]:
; DARWIN-NEXT: mov w19, #-1
; DARWIN-NEXT: b [[CALLBB]]
; ELF-LABEL: test_invoke_ia_0:
; ELF-NEXT: [[FNBEGIN:.L.*]]:
; ELF-NEXT: .cfi_startproc
; ELF-NEXT: .cfi_personality 156, DW.ref.__gxx_personality_v0
; ELF-NEXT: .cfi_lsda 28, [[EXCEPT:.Lexception[0-9]+]]
; ELF-NEXT: // %bb.0:
; ELF-NEXT: stp x30, x19, [sp, #-16]!
; ELF-NEXT: .cfi_def_cfa_offset 16
; ELF-NEXT: .cfi_offset w19, -8
; ELF-NEXT: .cfi_offset w30, -16
; ELF-NEXT: [[PRECALL:.L.*]]:
; ELF-NEXT: blraaz x0
; ELF-SDAG-NEXT: [[POSTCALL:.L.*]]:
; ELF-SDAG-NEXT: // %bb.1:
; ELF-SDAG-NEXT: mov w19, w0
; ELF-GISEL-NEXT: mov w19, w0
; ELF-GISEL-NEXT: [[POSTCALL:.L.*]]:
; ELF-NEXT: [[CALLBB:.L.*]]:
; ELF-NEXT: bl foo
; ELF-NEXT: mov w0, w19
; ELF-NEXT: ldp x30, x19, [sp], #16
; ELF-NEXT: ret
; ELF-NEXT: [[LPADBB:.LBB[0-9_]+]]:
; ELF-NEXT: [[LPAD:.L.*]]:
; ELF-NEXT: mov w19, #-1
; ELF-NEXT: b [[CALLBB]]
; CHECK-LABEL: GCC_except_table{{.*}}:
; CHECK-NEXT: [[EXCEPT]]:
; CHECK: .uleb128 [[POSTCALL]]-[[PRECALL]] {{.*}} Call between [[PRECALL]] and [[POSTCALL]]
; CHECK-NEXT: .uleb128 [[LPAD]]-[[FNBEGIN]] {{.*}} jumps to [[LPAD]]
; CHECK-NEXT: .byte 0 {{.*}} On action: cleanup
define i32 @test_invoke_ia_0(ptr %arg0) #0 personality ptr @__gxx_personality_v0 {
%tmp0 = invoke i32 %arg0() [ "ptrauth"(i32 0, i64 0) ] to label %continuebb
unwind label %unwindbb
unwindbb:
%tmp1 = landingpad { ptr, i32 } cleanup
call void @foo()
ret i32 -1
continuebb:
call void @foo()
ret i32 %tmp0
}
@_ZTIPKc = external constant ptr
@hello_str = private unnamed_addr constant [6 x i8] c"hello\00", align 1
; DARWIN-LABEL: _test_invoke_ib_42_catch:
; DARWIN-NEXT: [[FNBEGIN:L.*]]:
; DARWIN-NEXT: .cfi_startproc
; DARWIN-NEXT: .cfi_personality 155, ___gxx_personality_v0
; DARWIN-NEXT: .cfi_lsda 16, [[EXCEPT:Lexception[0-9]+]]
; DARWIN-NEXT: ; %bb.0:
; DARWIN-NEXT: stp x20, x19, [sp, #-32]!
; DARWIN-NEXT: stp x29, x30, [sp, #16]
; DARWIN-NEXT: .cfi_def_cfa_offset 32
; DARWIN-NEXT: .cfi_offset w30, -8
; DARWIN-NEXT: .cfi_offset w29, -16
; DARWIN-NEXT: .cfi_offset w19, -24
; DARWIN-NEXT: .cfi_offset w20, -32
; DARWIN-NEXT: mov x19, x0
; DARWIN-NEXT: mov w0, #8
; DARWIN-NEXT: bl ___cxa_allocate_exception
; DARWIN-NEXT: Lloh{{.*}}:
; DARWIN-NEXT: adrp x8, l_hello_str@PAGE
; DARWIN-NEXT: Lloh{{.*}}:
; DARWIN-NEXT: add x8, x8, l_hello_str@PAGEOFF
; DARWIN-NEXT: str x8, [x0]
; DARWIN-NEXT: [[PRECALL:L.*]]:
; DARWIN-NEXT: Lloh{{.*}}:
; DARWIN-NEXT: adrp x1, __ZTIPKc@GOTPAGE
; DARWIN-NEXT: Lloh{{.*}}:
; DARWIN-NEXT: ldr x1, [x1, __ZTIPKc@GOTPAGEOFF]
; DARWIN-NEXT: mov x2, #0
; DARWIN-NEXT: mov x17, #42
; DARWIN-NEXT: blrab x19, x17
; DARWIN-NEXT: [[POSTCALL:L.*]]:
; DARWIN-NEXT: ; %bb.1:
; DARWIN-NEXT: brk #0x1
; DARWIN-NEXT: [[LPADBB:LBB[0-9_]+]]:
; DARWIN-NEXT: [[LPAD:L.*]]:
; DARWIN-NEXT: mov x19, x1
; DARWIN-NEXT: bl ___cxa_begin_catch
; DARWIN-NEXT: cmp w19, #2
; DARWIN-NEXT: b.ne [[EXITBB:LBB[0-9_]+]]
; DARWIN-NEXT: ; %bb.3:
; DARWIN-NEXT: bl _bar
; DARWIN-NEXT: [[EXITBB]]:
; DARWIN-NEXT: bl _foo
; DARWIN-NEXT: bl ___cxa_end_catch
; DARWIN-NEXT: ldp x29, x30, [sp, #16]
; DARWIN-NEXT: ldp x20, x19, [sp], #32
; DARWIN-NEXT: ret
; DARWIN-NEXT: .loh {{.*}}
; DARWIN-NEXT: .loh {{.*}}
; DARWIN-NEXT: [[FNEND:L.*]]:
; ELF-LABEL: test_invoke_ib_42_catch:
; ELF-NEXT: [[FNBEGIN:.L.*]]:
; ELF-NEXT: .cfi_startproc
; ELF-NEXT: .cfi_personality 156, DW.ref.__gxx_personality_v0
; ELF-NEXT: .cfi_lsda 28, [[EXCEPT:.Lexception[0-9]+]]
; ELF-NEXT: // %bb.0:
; ELF-NEXT: stp x30, x19, [sp, #-16]!
; ELF-NEXT: .cfi_def_cfa_offset 16
; ELF-NEXT: .cfi_offset w19, -8
; ELF-NEXT: .cfi_offset w30, -16
; ELF-NEXT: mov x19, x0
; ELF-NEXT: mov w0, #8
; ELF-NEXT: bl __cxa_allocate_exception
; ELF-NEXT: adrp x8, .Lhello_str
; ELF-NEXT: add x8, x8, :lo12:.Lhello_str
; ELF-NEXT: str x8, [x0]
; ELF-NEXT: [[PRECALL:.L.*]]:
; ELF-NEXT: adrp x1, :got:_ZTIPKc
; ELF-NEXT: mov x2, xzr
; ELF-NEXT: ldr x1, [x1, :got_lo12:_ZTIPKc]
; ELF-NEXT: mov x17, #42
; ELF-NEXT: blrab x19, x17
; ELF-NEXT: [[POSTCALL:.L.*]]:
; ELF-NEXT: // %bb.1:
; ELF-NEXT: [[LPADBB:.LBB[0-9_]+]]:
; ELF-NEXT: [[LPAD:.L.*]]:
; ELF-NEXT: mov x19, x1
; ELF-NEXT: bl __cxa_begin_catch
; ELF-NEXT: cmp w19, #2
; ELF-NEXT: b.ne [[EXITBB:.LBB[0-9_]+]]
; ELF-NEXT: // %bb.3:
; ELF-NEXT: bl bar
; ELF-NEXT: [[EXITBB]]:
; ELF-NEXT: bl foo
; ELF-NEXT: bl __cxa_end_catch
; ELF-NEXT: ldp x30, x19, [sp], #16
; ELF-NEXT: ret
; ELF-NEXT: [[FNEND:.L.*]]:
; CHECK-LABEL: GCC_except_table{{.*}}:
; CHECK-NEXT: [[EXCEPT]]:
; CHECK-NEXT: .byte 255 {{.*}} @LPStart Encoding = omit
; DARWIN-NEXT: .byte 155 {{.*}} @TType Encoding = indirect pcrel sdata4
; ELF-NEXT: .byte 156 {{.*}} @TType Encoding = indirect pcrel sdata8
; CHECK-NEXT: .uleb128 [[TT:.?L.*]]-[[TTREF:.?L.*]]
; CHECK-NEXT: [[TTREF]]:
; CHECK-NEXT: .byte 1 {{.*}} Call site Encoding = uleb128
; CHECK-NEXT: .uleb128 [[CSEND:.?L.*]]-[[CSBEGIN:.?L.*]]
; CHECK-NEXT: [[CSBEGIN]]:
; CHECK-NEXT: .uleb128 [[FNBEGIN]]-[[FNBEGIN]] {{.*}} >> Call Site 1 <<
; CHECK-NEXT: .uleb128 [[PRECALL]]-[[FNBEGIN]] {{.*}} Call between [[FNBEGIN]] and [[PRECALL]]
; CHECK-NEXT: .byte 0 {{.*}} has no landing pad
; CHECK-NEXT: .byte 0 {{.*}} On action: cleanup
; CHECK-NEXT: .uleb128 [[PRECALL]]-[[FNBEGIN]] {{.*}} >> Call Site 2 <<
; CHECK-NEXT: .uleb128 [[POSTCALL]]-[[PRECALL]] {{.*}} Call between [[PRECALL]] and [[POSTCALL]]
; CHECK-NEXT: .uleb128 [[LPAD]]-[[FNBEGIN]] {{.*}} jumps to [[LPAD]]
; CHECK-NEXT: .byte 3 {{.*}} On action: 2
; CHECK-NEXT: .uleb128 [[POSTCALL]]-[[FNBEGIN]] {{.*}} >> Call Site 3 <<
; CHECK-NEXT: .uleb128 [[FNEND]]-[[POSTCALL]] {{.*}} Call between [[POSTCALL]] and [[FNEND]]
; CHECK-NEXT: .byte 0 {{.*}} has no landing pad
; CHECK-NEXT: .byte 0 {{.*}} On action: cleanup
; CHECK-NEXT: [[CSEND]]:
; CHECK-NEXT: .byte 1 {{.*}} >> Action Record 1 <<
; CHECK-NEXT: {{.*}} Catch TypeInfo 1
; CHECK-NEXT: .byte 0 {{.*}} No further actions
; CHECK-NEXT: .byte 2 {{.*}} >> Action Record 2 <<
; CHECK-NEXT: {{.*}} Catch TypeInfo 2
; CHECK-NEXT: .byte 125 {{.*}} Continue to action 1
; CHECK-NEXT: .p2align 2
; CHECK-NEXT: {{.*}} >> Catch TypeInfos <<
; DARWIN-NEXT: [[TI:L.*]]: {{.*}} TypeInfo 2
; DARWIN-NEXT: .long __ZTIPKc@GOT-[[TI]]
; DARWIN-NEXT: .long 0 {{.*}} TypeInfo 1
; ELF-NEXT: [[TI:.?L.*]]: {{.*}} TypeInfo 2
; ELF-NEXT: .xword .L_ZTIPKc.DW.stub-[[TI]]
; ELF-NEXT: .xword 0 {{.*}} TypeInfo 1
; CHECK-NEXT: [[TT]]:
define void @test_invoke_ib_42_catch(ptr %fptr) #0 personality ptr @__gxx_personality_v0 {
%tmp0 = call ptr @__cxa_allocate_exception(i64 8)
store ptr getelementptr inbounds ([6 x i8], ptr @hello_str, i64 0, i64 0), ptr %tmp0, align 8
invoke void %fptr(ptr %tmp0, ptr @_ZTIPKc, ptr null) [ "ptrauth"(i32 1, i64 42) ]
to label %continuebb unwind label %catchbb
catchbb:
%tmp2 = landingpad { ptr, i32 }
catch ptr @_ZTIPKc
catch ptr null
%tmp3 = extractvalue { ptr, i32 } %tmp2, 0
%tmp4 = extractvalue { ptr, i32 } %tmp2, 1
%tmp5 = call i32 @llvm.eh.typeid.for(ptr @_ZTIPKc)
%tmp6 = icmp eq i32 %tmp4, %tmp5
%tmp7 = call ptr @__cxa_begin_catch(ptr %tmp3)
br i1 %tmp6, label %PKc_catchbb, label %any_catchbb
PKc_catchbb:
call void @bar(ptr %tmp7)
br label %any_catchbb
any_catchbb:
call void @foo()
call void @__cxa_end_catch()
ret void
continuebb:
unreachable
}
; DARWIN-LABEL: _test_invoke_ia_0_direct:
; DARWIN-NEXT: [[FNBEGIN:L.*]]:
; DARWIN-NEXT: .cfi_startproc
; DARWIN-NEXT: .cfi_personality 155, ___gxx_personality_v0
; DARWIN-NEXT: .cfi_lsda 16, [[EXCEPT:Lexception[0-9]+]]
; DARWIN-NEXT: ; %bb.0:
; DARWIN-NEXT: stp x20, x19, [sp, #-32]!
; DARWIN-NEXT: stp x29, x30, [sp, #16]
; DARWIN-NEXT: .cfi_def_cfa_offset 32
; DARWIN-NEXT: .cfi_offset w30, -8
; DARWIN-NEXT: .cfi_offset w29, -16
; DARWIN-NEXT: .cfi_offset w19, -24
; DARWIN-NEXT: .cfi_offset w20, -32
; DARWIN-NEXT: [[PRECALL:L.*]]:
; DARWIN-NEXT: bl _baz
; DARWIN-SDAG-NEXT: [[POSTCALL:L.*]]:
; DARWIN-SDAG-NEXT: ; %bb.1:
; DARWIN-SDAG-NEXT: mov x19, x0
; DARWIN-GISEL-NEXT: mov x19, x0
; DARWIN-GISEL-NEXT: [[POSTCALL:L.*]]:
; DARWIN-NEXT: [[CALLBB:L.*]]:
; DARWIN-NEXT: bl _foo
; DARWIN-NEXT: mov x0, x19
; DARWIN-NEXT: ldp x29, x30, [sp, #16]
; DARWIN-NEXT: ldp x20, x19, [sp], #32
; DARWIN-NEXT: ret
; DARWIN-NEXT: [[LPADBB:LBB[0-9_]+]]:
; DARWIN-NEXT: [[LPAD:L.*]]:
; DARWIN-NEXT: mov w19, #-1
; DARWIN-NEXT: b [[CALLBB]]
; ELF-LABEL: test_invoke_ia_0_direct:
; ELF-NEXT: [[FNBEGIN:.L.*]]:
; ELF-NEXT: .cfi_startproc
; ELF-NEXT: .cfi_personality 156, DW.ref.__gxx_personality_v0
; ELF-NEXT: .cfi_lsda 28, [[EXCEPT:.Lexception[0-9]+]]
; ELF-NEXT: // %bb.0:
; ELF-NEXT: stp x30, x19, [sp, #-16]!
; ELF-NEXT: .cfi_def_cfa_offset 16
; ELF-NEXT: .cfi_offset w19, -8
; ELF-NEXT: .cfi_offset w30, -16
; ELF-NEXT: [[PRECALL:.L.*]]:
; ELF-NEXT: bl baz
; ELF-SDAG-NEXT: [[POSTCALL:.L.*]]:
; ELF-SDAG-NEXT: // %bb.1:
; ELF-SDAG-NEXT: mov w19, w0
; ELF-GISEL-NEXT: mov w19, w0
; ELF-GISEL-NEXT: [[POSTCALL:.L.*]]:
; ELF-NEXT: [[CALLBB:.L.*]]:
; ELF-NEXT: bl foo
; ELF-NEXT: mov w0, w19
; ELF-NEXT: ldp x30, x19, [sp], #16
; ELF-NEXT: ret
; ELF-NEXT: [[LPADBB:.LBB[0-9_]+]]:
; ELF-NEXT: [[LPAD:.L.*]]:
; ELF-NEXT: mov w19, #-1
; ELF-NEXT: b [[CALLBB]]
; CHECK-LABEL: GCC_except_table{{.*}}:
; CHECK-NEXT: [[EXCEPT]]:
; CHECK: .uleb128 [[POSTCALL]]-[[PRECALL]] {{.*}} Call between [[PRECALL]] and [[POSTCALL]]
; CHECK-NEXT: .uleb128 [[LPAD]]-[[FNBEGIN]] {{.*}} jumps to [[LPAD]]
; CHECK-NEXT: .byte 0 {{.*}} On action: cleanup
define i32 @test_invoke_ia_0_direct() #0 personality ptr @__gxx_personality_v0 {
%tmp0 = invoke i32 ptrauth (ptr @baz, i32 0)() [ "ptrauth"(i32 0, i64 0) ] to label %continuebb
unwind label %unwindbb
unwindbb:
%tmp1 = landingpad { ptr, i32 } cleanup
call void @foo()
ret i32 -1
continuebb:
call void @foo()
ret i32 %tmp0
}
; DARWIN-LABEL: _test_invoke_ib_2_direct_mismatch:
; DARWIN-NEXT: [[FNBEGIN:L.*]]:
; DARWIN-NEXT: .cfi_startproc
; DARWIN-NEXT: .cfi_personality 155, ___gxx_personality_v0
; DARWIN-NEXT: .cfi_lsda 16, [[EXCEPT:Lexception[0-9]+]]
; DARWIN-NEXT: ; %bb.0:
; DARWIN-NEXT: stp x20, x19, [sp, #-32]!
; DARWIN-NEXT: stp x29, x30, [sp, #16]
; DARWIN-NEXT: .cfi_def_cfa_offset 32
; DARWIN-NEXT: .cfi_offset w30, -8
; DARWIN-NEXT: .cfi_offset w29, -16
; DARWIN-NEXT: .cfi_offset w19, -24
; DARWIN-NEXT: .cfi_offset w20, -32
; DARWIN-SDAG-NEXT: [[PRECALL:L.*]]:
; DARWIN-SDAG-NEXT: adrp x16, _baz@GOTPAGE
; DARWIN-SDAG-NEXT: ldr x16, [x16, _baz@GOTPAGEOFF]
; DARWIN-SDAG-NEXT: mov x17, #1234
; DARWIN-SDAG-NEXT: pacia x16, x17
; DARWIN-SDAG-NEXT: mov x8, x16
; DARWIN-SDAG-NEXT: mov x17, #2
; DARWIN-SDAG-NEXT: blrab x8, x17
; DARWIN-SDAG-NEXT: [[POSTCALL:L.*]]:
; DARWIN-SDAG-NEXT: ; %bb.1:
; DARWIN-SDAG-NEXT: mov x19, x0
; DARWIN-GISEL-NEXT: adrp x16, _baz@GOTPAGE
; DARWIN-GISEL-NEXT: ldr x16, [x16, _baz@GOTPAGEOFF]
; DARWIN-GISEL-NEXT: mov x17, #1234
; DARWIN-GISEL-NEXT: pacia x16, x17
; DARWIN-GISEL-NEXT: mov x8, x16
; DARWIN-GISEL-NEXT: [[PRECALL:L.*]]:
; DARWIN-GISEL-NEXT: mov x17, #2
; DARWIN-GISEL-NEXT: blrab x8, x17
; DARWIN-GISEL-NEXT: mov x19, x0
; DARWIN-GISEL-NEXT: [[POSTCALL:L.*]]:
; DARWIN-NEXT: [[CALLBB:L.*]]:
; DARWIN-NEXT: bl _foo
; DARWIN-NEXT: mov x0, x19
; DARWIN-NEXT: ldp x29, x30, [sp, #16]
; DARWIN-NEXT: ldp x20, x19, [sp], #32
; DARWIN-NEXT: ret
; DARWIN-NEXT: [[LPADBB:LBB[0-9_]+]]:
; DARWIN-NEXT: [[LPAD:L.*]]:
; DARWIN-NEXT: mov w19, #-1
; DARWIN-NEXT: b [[CALLBB]]
; ELF-LABEL: test_invoke_ib_2_direct_mismatch:
; ELF-NEXT: [[FNBEGIN:.L.*]]:
; ELF-NEXT: .cfi_startproc
; ELF-NEXT: .cfi_personality 156, DW.ref.__gxx_personality_v0
; ELF-NEXT: .cfi_lsda 28, [[EXCEPT:.Lexception[0-9]+]]
; ELF-NEXT: // %bb.0:
; ELF-NEXT: stp x30, x19, [sp, #-16]!
; ELF-NEXT: .cfi_def_cfa_offset 16
; ELF-NEXT: .cfi_offset w19, -8
; ELF-NEXT: .cfi_offset w30, -16
; ELF-SDAG-NEXT: [[PRECALL:.L.*]]:
; ELF-SDAG-NEXT: adrp x16, :got:baz
; ELF-SDAG-NEXT: ldr x16, [x16, :got_lo12:baz]
; ELF-SDAG-NEXT: mov x17, #1234
; ELF-SDAG-NEXT: pacia x16, x17
; ELF-SDAG-NEXT: mov x8, x16
; ELF-SDAG-NEXT: mov x17, #2
; ELF-SDAG-NEXT: blrab x8, x17
; ELF-SDAG-NEXT: [[POSTCALL:.L.*]]:
; ELF-SDAG-NEXT: // %bb.1:
; ELF-SDAG-NEXT: mov w19, w0
; ELF-GISEL-NEXT: adrp x16, :got:baz
; ELF-GISEL-NEXT: ldr x16, [x16, :got_lo12:baz]
; ELF-GISEL-NEXT: mov x17, #1234
; ELF-GISEL-NEXT: pacia x16, x17
; ELF-GISEL-NEXT: mov x8, x16
; ELF-GISEL-NEXT: [[PRECALL:.L.*]]:
; ELF-GISEL-NEXT: mov x17, #2
; ELF-GISEL-NEXT: blrab x8, x17
; ELF-GISEL-NEXT: mov w19, w0
; ELF-GISEL-NEXT: [[POSTCALL:.L.*]]:
; ELF-NEXT: [[CALLBB:.L.*]]:
; ELF-NEXT: bl foo
; ELF-NEXT: mov w0, w19
; ELF-NEXT: ldp x30, x19, [sp], #16
; ELF-NEXT: ret
; ELF-NEXT: [[LPADBB:.LBB[0-9_]+]]:
; ELF-NEXT: [[LPAD:.L.*]]:
; ELF-NEXT: mov w19, #-1
; ELF-NEXT: b [[CALLBB]]
; CHECK-LABEL: GCC_except_table{{.*}}:
; CHECK-NEXT: [[EXCEPT]]:
; CHECK: .uleb128 [[POSTCALL]]-[[PRECALL]] {{.*}} Call between [[PRECALL]] and [[POSTCALL]]
; CHECK-NEXT: .uleb128 [[LPAD]]-[[FNBEGIN]] {{.*}} jumps to [[LPAD]]
; CHECK-NEXT: .byte 0 {{.*}} On action: cleanup
define i32 @test_invoke_ib_2_direct_mismatch() #0 personality ptr @__gxx_personality_v0 {
%tmp0 = invoke i32 ptrauth (ptr @baz, i32 0, i64 1234)() [ "ptrauth"(i32 1, i64 2) ] to label %continuebb
unwind label %unwindbb
unwindbb:
%tmp1 = landingpad { ptr, i32 } cleanup
call void @foo()
ret i32 -1
continuebb:
call void @foo()
ret i32 %tmp0
}
; ELF-LABEL: .L_ZTIPKc.DW.stub:
; ELF-NEXT: .xword _ZTIPKc
declare void @foo()
declare void @bar(ptr)
declare i32 @baz()
declare i32 @__gxx_personality_v0(...)
declare ptr @__cxa_allocate_exception(i64)
declare void @__cxa_throw(ptr, ptr, ptr)
declare i32 @llvm.eh.typeid.for(ptr)
declare ptr @__cxa_begin_catch(ptr)
declare void @__cxa_end_catch()
attributes #0 = { nounwind }
Codebase Browser
llvm