228 lines · plain
1; RUN: llc -basic-block-sections=all -mtriple x86_64-pc-linux-gnu -code-model=small < %s | FileCheck %s --check-prefixes=CHECK,CHECK-SMALL,CHECK-NON-PIC,CHECK-NON-PIC-SMALL,CHECK-NON-PIC-X642; RUN: llc -basic-block-sections=all -mtriple x86_64-pc-linux-gnux32 -code-model=small < %s | FileCheck %s --check-prefixes=CHECK,CHECK-SMALL,CHECK-NON-PIC,CHECK-NON-PIC-SMALL,CHECK-NON-PIC-X323; RUN: llc -basic-block-sections=all -mtriple x86_64-pc-linux-gnu -code-model=medium < %s | FileCheck %s --check-prefixes=CHECK,CHECK-MEDIUM,CHECK-NON-PIC,CHECK-NON-PIC-MEDIUM,CHECK-NON-PIC-X644; RUN: llc -basic-block-sections=all -mtriple x86_64-pc-linux-gnu -code-model=large < %s | FileCheck %s --check-prefixes=CHECK,CHECK-NON-PIC,CHECK-NON-PIC-LARGE,CHECK-NON-PIC-X645; RUN: llc -basic-block-sections=all -mtriple x86_64-pc-linux-gnu -relocation-model=pic -code-model=small < %s | FileCheck %s --check-prefixes=CHECK,CHECK-SMALL,CHECK-PIC,CHECK-PIC-SMALL,CHECK-PIC-X646; RUN: llc -basic-block-sections=all -mtriple x86_64-pc-linux-gnux32 -relocation-model=pic -code-model=small < %s | FileCheck %s --check-prefixes=CHECK,CHECK-SMALL,CHECK-PIC,CHECK-PIC-SMALL,CHECK-PIC-X327; RUN: llc -basic-block-sections=all -mtriple x86_64-pc-linux-gnu -relocation-model=pic -code-model=medium < %s | FileCheck %s --check-prefixes=CHECK,CHECK-MEDIUM,CHECK-PIC,CHECK-PIC-MEDIUM,CHECK-PIC-X648; RUN: llc -basic-block-sections=all -mtriple x86_64-pc-linux-gnu -relocation-model=pic -code-model=large < %s | FileCheck %s --check-prefixes=CHECK,CHECK-PIC,CHECK-PIC-LARGE,CHECK-PIC-X649@_ZTIi = external constant ptr10 11define i32 @main() uwtable optsize ssp personality ptr @__gxx_personality_v0 {12; Verify that each basic block section gets its own LSDA exception symbol.13;14; CHECK-LABEL: main:15; CHECK-NEXT: .Lfunc_begin0:16; CHECK-NEXT: .cfi_startproc17 18;; Verify personality function and LSDA encoding for NON-PIC mode.19; PersonalityEncoding = dwarf::DW_EH_PE_udata4 (small/medium)20; PersonalityEncoding = dwarf::DW_EH_PE_absptr (large)21; CHECK-NON-PIC-SMALL-NEXT: .cfi_personality 3, __gxx_personality_v022; CHECK-NON-PIC-MEDIUM-NEXT: .cfi_personality 3, __gxx_personality_v023; CHECK-NON-PIC-LARGE-NEXT: .cfi_personality 0, __gxx_personality_v024; LSDAEncoding = dwarf::DW_EH_PE_udata4 (small)25; LSDAEncoding = dwarf::DW_EH_PE_absptr (medium/large)26; CHECK-NON-PIC-SMALL-NEXT: .cfi_lsda 3, .Lexception027; CHECK-NON-PIC-MEDIUM-NEXT: .cfi_lsda 0, .Lexception028; CHECK-NON-PIC-LARGE-NEXT: .cfi_lsda 0, .Lexception029 30;; Verify personality function and LSDA encoding for PIC mode.31; PersonalityEncoding = DW_EH_PE_indirect | DW_EH_PE_pcrel | DW_EH_PE_sdata4 (small/medium)32; PersonalityEncoding = DW_EH_PE_indirect | DW_EH_PE_pcrel | DW_EH_PE_sdata8 (large)33; CHECK-PIC-SMALL-NEXT: .cfi_personality 155, DW.ref.__gxx_personality_v034; CHECK-PIC-MEDIUM-NEXT: .cfi_personality 155, DW.ref.__gxx_personality_v035; CHECK-PIC-LARGE-NEXT: .cfi_personality 156, DW.ref.__gxx_personality_v036; LSDAEncoding = DW_EH_PE_pcrel | DW_EH_PE_sdata4 (small)37; LSDAEncoding = DW_EH_PE_pcrel | DW_EH_PE_sdata8 (medium/large)38; CHECK-PIC-SMALL-NEXT: .cfi_lsda 27, .Lexception039; CHECK-PIC-MEDIUM-NEXT: .cfi_lsda 28, .Lexception040; CHECK-PIC-LARGE-NEXT: .cfi_lsda 28, .Lexception041 42; CHECK-LABEL: .Ltmp0:43; CHECK-SMALL-NEXT: callq _Z1fv44; CHECK-MEDIUM-NEXT: callq _Z1fv45; CHECK-NON-PIC-LARGE-NEXT: movabsq $_Z1fv, %rax46; CHECK-NON-PIC-LARGE-NEXT: callq *%rax47; CHECK-PIC-LARGE-NEXT: movabsq $_Z1fv@GOT, %rax48; CHECK-PIC-LARGE-NEXT: callq *(%rbx,%rax)49; CHECK-LABEL: .Ltmp1:50 51; CHECK-NOT: .cfi_lsda52 53; CHECK-LABEL: main.__part.1:54; CHECK-NEXT: .cfi_startproc55 56; CHECK-NON-PIC-SMALL-NEXT: .cfi_personality 3, __gxx_personality_v057; CHECK-NON-PIC-MEDIUM-NEXT: .cfi_personality 3, __gxx_personality_v058; CHECK-NON-PIC-LARGE-NEXT: .cfi_personality 0, __gxx_personality_v059; CHECK-NON-PIC-SMALL-NEXT: .cfi_lsda 3, .Lexception160; CHECK-NON-PIC-MEDIUM-NEXT: .cfi_lsda 0, .Lexception161; CHECK-NON-PIC-LARGE-NEXT: .cfi_lsda 0, .Lexception162 63; CHECK-PIC-SMALL-NEXT: .cfi_personality 155, DW.ref.__gxx_personality_v064; CHECK-PIC-MEDIUM-NEXT: .cfi_personality 155, DW.ref.__gxx_personality_v065; CHECK-PIC-LARGE-NEXT: .cfi_personality 156, DW.ref.__gxx_personality_v066; CHECK-PIC-SMALL-NEXT: .cfi_lsda 27, .Lexception167; CHECK-PIC-MEDIUM-NEXT: .cfi_lsda 28, .Lexception168; CHECK-PIC-LARGE-NEXT: .cfi_lsda 28, .Lexception169 70; CHECK-NOT: .cfi_lsda71 72; CHECK-LABEL: main.__part.2:73; CHECK-NEXT: .cfi_startproc74 75; CHECK-NON-PIC-SMALL-NEXT: .cfi_personality 3, __gxx_personality_v076; CHECK-NON-PIC-MEDIUM-NEXT: .cfi_personality 3, __gxx_personality_v077; CHECK-NON-PIC-LARGE-NEXT: .cfi_personality 0, __gxx_personality_v078; CHECK-NON-PIC-SMALL-NEXT: .cfi_lsda 3, .Lexception279; CHECK-NON-PIC-MEDIUM-NEXT: .cfi_lsda 0, .Lexception280; CHECK-NON-PIC-LARGE-NEXT: .cfi_lsda 0, .Lexception281 82; CHECK-PIC-SMALL-NEXT: .cfi_personality 155, DW.ref.__gxx_personality_v083; CHECK-PIC-MEDIUM-NEXT: .cfi_personality 155, DW.ref.__gxx_personality_v084; CHECK-PIC-LARGE-NEXT: .cfi_personality 156, DW.ref.__gxx_personality_v085; CHECK-PIC-SMALL-NEXT: .cfi_lsda 27, .Lexception286; CHECK-PIC-MEDIUM-NEXT: .cfi_lsda 28, .Lexception287; CHECK-PIC-LARGE-NEXT: .cfi_lsda 28, .Lexception288 89; CHECK: nop90; CHECK-LABEL: .Ltmp2:91; CHECK-LABEL: .LBB_END0_2:92 93; CHECK-NOT: .cfi_lsda94 95entry:96 invoke void @_Z1fv() optsize97 to label %try.cont unwind label %lpad98 99lpad:100 %0 = landingpad { ptr, i32 }101 cleanup102 catch ptr @_ZTIi103 br label %eh.resume104 105try.cont:106 ret i32 0107 108eh.resume:109 resume { ptr, i32 } %0110}111 112declare void @_Z1fv() optsize113 114declare i32 @__gxx_personality_v0(...)115;; Verify that the exception table gets split across the three basic block sections.116;117; CHECK: .section .gcc_except_table118; CHECK-NEXT: .p2align 2119; CHECK-NEXT: GCC_except_table0:120; CHECK-NEXT: .Lexception0:121 122;; Verify @LPStart encoding for NON-PIC mode.123; CHECK-NON-PIC-NEXT: .byte 0 # @LPStart Encoding = absptr124; CHECK-NON-PIC-X64-NEXT: .quad main.__part.2125; CHECK-NON-PIC-X32-NEXT: .long main.__part.2126 127;; Verify @LPStart encoding for PIC mode.128; CHECK-PIC-NEXT: .byte 16 # @LPStart Encoding = pcrel129; CHECK-PIC-NEXT: [[DOT:\.Ltmp[0-9]+]]:130; CHECK-PIC-X64-NEXT: .quad main.__part.2-[[DOT]]131; CHECK-PIC-X32-NEXT: .long main.__part.2-[[DOT]]132 133;; Verify @TType encoding for NON-PIC mode.134; CHECK-NON-PIC-SMALL-NEXT: .byte 3 # @TType Encoding = udata4135; CHECK-NON-PIC-MEDIUM-NEXT: .byte 0 # @TType Encoding = absptr136; CHECK-NON-PIC-LARGE-NEXT: .byte 0 # @TType Encoding = absptr137 138;; Verify @TType encoding for PIC mode.139; CHECK-PIC-SMALL-NEXT: .byte 155 # @TType Encoding = indirect pcrel sdata4140; CHECK-PIC-MEDIUM-NEXT:.byte 155 # @TType Encoding = indirect pcrel sdata4141; CHECK-PIC-LARGE-NEXT: .byte 156 # @TType Encoding = indirect pcrel sdata8142 143; CHECK-NEXT: .uleb128 .Lttbase0-.Lttbaseref0144; CHECK-NEXT: .Lttbaseref0:145; CHECK-NEXT: .byte 1 # Call site Encoding = uleb128146; CHECK-NEXT: .uleb128 .Laction_table_base0-.Lcst_begin0147; CHECK-NEXT: .Lcst_begin0:148; CHECK-NEXT: .uleb128 .Ltmp0-.Lfunc_begin0 # >> Call Site 1 <<149; CHECK-NEXT: .uleb128 .Ltmp1-.Ltmp0 # Call between .Ltmp0 and .Ltmp1150; CHECK-NEXT: .uleb128 .Ltmp2-main.__part.2 # jumps to .Ltmp2151; CHECK-NEXT: .byte 3 # On action: 2152; CHECK-NEXT: .p2align 2153; CHECK-NEXT: .Lexception1:154 155; CHECK-NON-PIC-NEXT: .byte 0 # @LPStart Encoding = absptr156; CHECK-NON-PIC-X64-NEXT: .quad main.__part.2157; CHECK-NON-PIC-X32-NEXT: .long main.__part.2158 159; CHECK-PIC-NEXT: .byte 16 # @LPStart Encoding = pcrel160; CHECK-PIC-NEXT: [[DOT:\.Ltmp[0-9]+]]:161; CHECK-PIC-X64-NEXT: .quad main.__part.2-[[DOT]]162; CHECK-PIC-X32-NEXT: .long main.__part.2-[[DOT]]163 164; CHECK-NON-PIC-SMALL-NEXT: .byte 3 # @TType Encoding = udata4165; CHECK-NON-PIC-MEDIUM-NEXT: .byte 0 # @TType Encoding = absptr166; CHECK-NON-PIC-LARGE-NEXT: .byte 0 # @TType Encoding = absptr167 168; CHECK-PIC-SMALL-NEXT: .byte 155 # @TType Encoding = indirect pcrel sdata4169; CHECK-PIC-MEDIUM-NEXT:.byte 155 # @TType Encoding = indirect pcrel sdata4170; CHECK-PIC-LARGE-NEXT: .byte 156 # @TType Encoding = indirect pcrel sdata8171 172; CHECK-NEXT: .uleb128 .Lttbase0-.Lttbaseref1173; CHECK-NEXT: .Lttbaseref1:174; CHECK-NEXT: .byte 1 # Call site Encoding = uleb128175; CHECK-NEXT: .uleb128 .Laction_table_base0-.Lcst_begin1176; CHECK-NEXT: .Lcst_begin1:177; CHECK-NEXT: .p2align 2178; CHECK-NEXT: .Lexception2:179 180; CHECK-NON-PIC-NEXT: .byte 0 # @LPStart Encoding = absptr181; CHECK-NON-PIC-X64-NEXT: .quad main.__part.2182; CHECK-NON-PIC-X32-NEXT: .long main.__part.2183 184; CHECK-PIC-NEXT: .byte 16 # @LPStart Encoding = pcrel185; CHECK-PIC-NEXT: [[DOT:\.Ltmp[0-9]+]]:186; CHECK-PIC-X64-NEXT: .quad main.__part.2-[[DOT]]187; CHECK-PIC-X32-NEXT: .long main.__part.2-[[DOT]]188 189; CHECK-NON-PIC-SMALL-NEXT: .byte 3 # @TType Encoding = udata4190; CHECK-NON-PIC-MEDIUM-NEXT: .byte 0 # @TType Encoding = absptr191; CHECK-NON-PIC-LARGE-NEXT: .byte 0 # @TType Encoding = absptr192 193; CHECK-PIC-SMALL-NEXT: .byte 155 # @TType Encoding = indirect pcrel sdata4194; CHECK-PIC-MEDIUM-NEXT: .byte 155 # @TType Encoding = indirect pcrel sdata4195; CHECK-PIC-LARGE-NEXT: .byte 156 # @TType Encoding = indirect pcrel sdata8196 197; CHECK-NEXT: .uleb128 .Lttbase0-.Lttbaseref2198; CHECK-NEXT: .Lttbaseref2:199; CHECK-NEXT: .byte 1 # Call site Encoding = uleb128200; CHECK-NEXT: .uleb128 .Laction_table_base0-.Lcst_begin2201; CHECK-NEXT: .Lcst_begin2:202; CHECK-NEXT: .uleb128 main.__part.2-main.__part.2 # >> Call Site 2 <<203; CHECK-NEXT: .uleb128 .LBB_END0_2-main.__part.2 # Call between main.__part.2 and .LBB_END0_2204; CHECK-NEXT: .byte 0 # has no landing pad205; CHECK-NEXT: .byte 0 # On action: cleanup206; CHECK-NEXT: .Laction_table_base0:207; CHECK-NEXT: .byte 0 # >> Action Record 1 <<208; CHECK-NEXT: # Cleanup209; CHECK-NEXT: .byte 0 # No further actions210; CHECK-NEXT: .byte 1 # >> Action Record 2 <<211; CHECK-NEXT: # Catch TypeInfo 1212; CHECK-NEXT: .byte 125 # Continue to action 1213; CHECK-NEXT: .p2align 2214; CHECK-NEXT: # >> Catch TypeInfos <<215 216; CHECK-NON-PIC-SMALL-NEXT: .long _ZTIi # TypeInfo 1217; CHECK-NON-PIC-MEDIUM-NEXT: .quad _ZTIi # TypeInfo 1218; CHECK-NON-PIC-LARGE-NEXT: .quad _ZTIi # TypeInfo 1219 220; CHECK-PIC-NEXT: [[DOT:\.Ltmp[0-9]+]]:221; CHECK-PIC-SMALL-NEXT: .long .L_ZTIi.DW.stub-[[DOT]]222; CHECK-PIC-MEDIUM-NEXT: .long .L_ZTIi.DW.stub-[[DOT]]223; CHECK-PIC-LARGE-NEXT: .quad .L_ZTIi.DW.stub-[[DOT]]224 225; CHECK-NEXT: .Lttbase0:226; CHECK-NEXT: .p2align 2227; CHECK-NEXT: # -- End function228