xref: /llvm-project/llvm/test/CodeGen/X86/indirect-branch-tracking-eh.ll (revision ad94b5c54f82e7bddc4253ccbf0bdaa9442411cf)
1; RUN: llc -mtriple=x86_64-unknown-unknown < %s | FileCheck %s --check-prefix=X86_64
2; RUN: llc -mtriple=i386-unknown-unknown < %s | FileCheck %s --check-prefix=X86
3; RUN: llc -mtriple i386-windows-gnu -exception-model sjlj -verify-machineinstrs=0 < %s | FileCheck %s --check-prefix=SJLJ
4; RUN: llc -mtriple i386-windows-gnu -exception-model sjlj -verify-machineinstrs=0 < %s | FileCheck %s --check-prefix=NUM
5
6; X86_64:       test_eh:                                # @test_eh
7; X86_64-NEXT:  .Lfunc_begin0:
8; X86_64:       # %bb.0:                                # %entry
9; X86_64-NEXT:          endbr64
10; X86_64-NEXT:          pushq   %rax
11; X86_64:       .Ltmp0:
12; X86_64-NEXT:          callq   _Z20function_that_throwsv
13; X86_64-NEXT:  .Ltmp1:
14; X86_64-NEXT:  # %bb.1:                                # %try.cont
15; X86_64:               retq
16; X86_64-NEXT:  .LBB0_2:                                # %lpad
17; X86_64-NEXT:          .cfi_def_cfa_offset 16
18; X86_64-NEXT:  .Ltmp2:
19; X86_64-NEXT:          endbr64
20; X86_64:               callq   __cxa_begin_catch
21
22
23; X86:       test_eh:                                # @test_eh
24; X86-NEXT:  .Lfunc_begin0:
25; X86:       # %bb.0:                                # %entry
26; X86-NEXT:          endbr32
27; X86-NEXT:  .Ltmp0:
28; X86:               calll   _Z20function_that_throwsv
29; X86-NEXT:  .Ltmp1:
30; X86-NEXT:  # %bb.1:                                # %try.cont
31; X86-NEXT:          retl
32; X86-NEXT:  .LBB0_2:                                # %lpad
33; X86-NEXT:  .Ltmp2:
34; X86-NEXT:          endbr32
35; X86:               calll   __cxa_begin_catch
36
37; NUM-COUNT-3: endbr32
38
39; SJLJ:       test_eh:
40; SJLJ-NEXT:  Lfunc_begin0:
41; SJLJ-NEXT:  # %bb.0:                                # %entry
42; SJLJ-NEXT:          endbr32
43; SJLJ:               calll   __Unwind_SjLj_Register
44; SJLJ:       Ltmp0:
45; SJLJ:               calll   __Z20function_that_throwsv
46; SJLJ:       LBB0_2:                                 # %try.cont
47; SJLJ:               calll   __Unwind_SjLj_Unregister
48; SJLJ:               retl
49
50; SJLJ:       LBB0_3:
51; SJLJ-NEXT:          endbr32
52; SJLJ-NEXT:          leal
53; SJLJ-NEXT:          movl
54; SJLJ-NEXT:          cmpl
55; SJLJ-NEXT:          jb      LBB0_4
56
57; SJLJ:       LBB0_4:
58; SJLJ-NEXT:          jmpl    *LJTI0_0(,%eax,4)
59
60; SJLJ:       LBB0_6:                                 # %lpad
61; SJLJ-NEXT:  Ltmp2:
62; SJLJ-NEXT:          endbr32
63; SJLJ:               calll   ___cxa_begin_catch
64; SJLJ:               jmp     LBB0_2
65; SJLJ:       LJTI0_0:
66; SJLJ-NEXT:          .long   LBB0_6
67
68
69
70declare void @_Z20function_that_throwsv()
71declare i32 @__gxx_personality_sj0(...)
72declare ptr @__cxa_begin_catch(ptr)
73declare void @__cxa_end_catch()
74
75define void @test_eh() personality ptr @__gxx_personality_sj0 {
76entry:
77  invoke void @_Z20function_that_throwsv()
78          to label %try.cont unwind label %lpad
79
80lpad:
81  %0 = landingpad { ptr, i32 }
82          catch ptr null
83  %1 = extractvalue { ptr, i32 } %0, 0
84  %2 = tail call ptr @__cxa_begin_catch(ptr %1)
85  tail call void @__cxa_end_catch()
86  br label %try.cont
87
88try.cont:
89  ret void
90}
91
92!llvm.module.flags = !{!0}
93
94!0 = !{i32 8, !"cf-protection-branch", i32 1}
95