| # REQUIRES: x86-registered-target |
| # RUN: llvm-mc -filetype=obj --triple=x86_64-pc-windows-msvc %s | llvm-readobj - --codeview --codeview-subsection-bytes | FileCheck %s |
| |
| # Rust source to regenerate: |
| # #[no_mangle] |
| # extern "C" fn add_numbers(x: &Option<i32>, y: &Option<i32>) -> i32 { |
| # let x1 = x.unwrap(); |
| # let y1 = y.unwrap(); |
| # x1 + y1 |
| # } |
| # $ rustc trailing-inlined-function.rs --crate-type cdylib --emit=asm -Copt-level=3 -Cpanic=abort -Cdebuginfo=1 |
| |
| # Validate that unwrap() was inlined. |
| # CHECK: InlineSiteSym { |
| # CHECK-NEXT: Kind: S_INLINESITE (0x114D) |
| # CHECK-NEXT: PtrParent: 0x0 |
| # CHECK-NEXT: PtrEnd: 0x0 |
| # CHECK-NEXT: Inlinee: unwrap |
| # CHECK-NEXT: BinaryAnnotations [ |
| # CHECK-NEXT: ChangeCodeOffsetAndLineOffset: {CodeOffset: [[#%#x,Offset1_1:]], LineOffset: 1} |
| # CHECK-NEXT: ChangeCodeLength: [[#%#x,Length1_1:]] |
| # CHECK-NEXT: ChangeLineOffset: 2 |
| # CHECK-NEXT: ChangeCodeOffset: [[#%#x,Offset1_2:]] |
| # CHECK-NEXT: ChangeCodeLength: [[#%#x,]] |
| # CHECK-NEXT: (Annotation Padding) |
| # CHECK: InlineSiteSym { |
| # CHECK-NEXT: Kind: S_INLINESITE (0x114D) |
| # CHECK-NEXT: PtrParent: 0x0 |
| # CHECK-NEXT: PtrEnd: 0x0 |
| # CHECK-NEXT: Inlinee: unwrap |
| # CHECK-NEXT: BinaryAnnotations [ |
| # CHECK-NEXT: ChangeCodeOffsetAndLineOffset: {CodeOffset: [[#%#x,Offset2_1:]], LineOffset: 1} |
| # CHECK-NEXT: ChangeCodeLength: [[#%#x,Length2_1:]] |
| # CHECK-NEXT: ChangeLineOffset: 2 |
| # CHECK-NEXT: ChangeCodeOffset: [[#%#x,Offset2_2:]] |
| # CHECK-NEXT: ChangeCodeLength: [[#%#x,]] |
| # CHECK-NEXT: (Annotation Padding) |
| |
| # Validate that basic blocks from an inlined function that are sunk below the rest of the function |
| # (namely bb1 and bb4 in this test) get the correct debug info. |
| # CHECK: SubSectionType: Lines (0xF2) |
| # CHECK-NEXT: SubSectionSize: [[#%#x,]] |
| # CHECK-NEXT: SubSectionContents ( |
| # CHECK-NEXT: 0000: [[#%.8X,]] [[#%.8X,]] [[#%.8X,]] [[#%.8X,]] |
| # Code starts at line 2 |
| # CHECK-NEXT: 0010: [[#%.8X,]] [[#%.8X,]] [[#%.8X,]] 02000000 |
| # The success paths for unwrap() (lines 3 & 4) are next. |
| # CHECK-NEXT: 0020: [[#%.2X,Offset1_1]]000000 03000000 [[#%.2X,Offset2_1]]000000 04000000 |
| # Then the addition (line 5) and the end of the function (end-brace on line 6). |
| # CHECK-NEXT: 0030: [[#%.8X,]] 05000000 [[#%.8X,]] 06000000 |
| # The failure paths for unwrap() (lines 3 & 4) are placed after the `ret` instruction. |
| # CHECK-NEXT: 0040: [[#%.2X,Offset1_1 + Length1_1 + Offset1_2]]000000 03000000 [[#%.2X,Offset2_1 + Length2_1 + Offset2_2]]000000 04000000 |
| # CHECK-NOT: SubSectionType: Lines (0xF2) |
| |
| .text |
| .def @feat.00; |
| .scl 3; |
| .type 0; |
| .endef |
| .globl @feat.00 |
| .set @feat.00, 0 |
| .file "trailing_inlined_function.3a6e73a087a7434a-cgu.0" |
| .def add_numbers; |
| .scl 2; |
| .type 32; |
| .endef |
| .section .text,"xr",one_only,add_numbers |
| .globl add_numbers |
| .p2align 4, 0x90 |
| add_numbers: |
| .Lfunc_begin0: |
| .cv_func_id 0 |
| .cv_file 1 "C:\\llvm\\trailing-inlined-function.rs" "A63E3A719BDF505386FDB73BF86EC58591BDAC588181F0E423E724AEEC3E4852" 3 |
| .cv_loc 0 1 2 0 |
| .seh_proc add_numbers |
| subq $40, %rsp |
| .seh_stackalloc 40 |
| .seh_endprologue |
| .Ltmp0: |
| .cv_file 2 "/rustc/bc28abf92efc32f8f9312851bf8af38fbd23be42\\library\\core\\src\\option.rs" "7B702FA8D5AAEDC0CCA1EE32F30D5922BC11516B54D592279493A30457F918D9" 3 |
| .cv_inline_site_id 1 within 0 inlined_at 1 3 0 |
| .cv_loc 1 2 933 0 |
| cmpl $0, (%rcx) |
| je .LBB0_1 |
| .Ltmp1: |
| .cv_inline_site_id 2 within 0 inlined_at 1 4 0 |
| .cv_loc 2 2 933 0 |
| cmpl $0, (%rdx) |
| je .LBB0_4 |
| .Ltmp2: |
| .cv_loc 0 1 5 0 |
| movl 4(%rcx), %eax |
| .Ltmp3: |
| addl 4(%rdx), %eax |
| .Ltmp4: |
| .cv_loc 0 1 6 0 |
| .seh_startepilogue |
| addq $40, %rsp |
| .seh_endepilogue |
| retq |
| .LBB0_1: |
| .Ltmp5: |
| .cv_loc 1 2 935 0 |
| leaq __unnamed_1(%rip), %rcx |
| leaq __unnamed_2(%rip), %r8 |
| .Ltmp6: |
| movl $43, %edx |
| callq _ZN4core9panicking5panic17hd083df7b722701afE |
| ud2 |
| .LBB0_4: |
| .Ltmp7: |
| .cv_loc 2 2 935 0 |
| leaq __unnamed_1(%rip), %rcx |
| leaq __unnamed_3(%rip), %r8 |
| .Ltmp8: |
| movl $43, %edx |
| callq _ZN4core9panicking5panic17hd083df7b722701afE |
| ud2 |
| .Ltmp9: |
| .Lfunc_end0: |
| .seh_endproc |
| |
| .section .rdata,"dr",one_only,__unnamed_1 |
| __unnamed_1: |
| .ascii "called `Option::unwrap()` on a `None` value" |
| |
| .section .rdata,"dr",one_only,__unnamed_4 |
| __unnamed_4: |
| .ascii "trailing-inlined-function.rs" |
| |
| .section .rdata,"dr",one_only,__unnamed_2 |
| .p2align 3, 0x0 |
| __unnamed_2: |
| .quad __unnamed_4 |
| .asciz "\034\000\000\000\000\000\000\000\003\000\000\000\020\000\000" |
| |
| .section .rdata,"dr",one_only,__unnamed_3 |
| .p2align 3, 0x0 |
| __unnamed_3: |
| .quad __unnamed_4 |
| .asciz "\034\000\000\000\000\000\000\000\004\000\000\000\020\000\000" |
| |
| .section .debug$S,"dr" |
| .p2align 2, 0x0 |
| .long 4 |
| .long 241 |
| .long .Ltmp11-.Ltmp10 |
| .Ltmp10: |
| .short .Ltmp13-.Ltmp12 |
| .Ltmp12: |
| .short 4353 |
| .long 0 |
| .byte 0 |
| .p2align 2, 0x0 |
| .Ltmp13: |
| .short .Ltmp15-.Ltmp14 |
| .Ltmp14: |
| .short 4412 |
| .long 21 |
| .short 208 |
| .short 1 |
| .short 73 |
| .short 0 |
| .short 0 |
| .short 17000 |
| .short 0 |
| .short 0 |
| .short 0 |
| .asciz "clang LLVM (rustc version 1.73.0-beta.3 (bc28abf92 2023-08-27))" |
| .p2align 2, 0x0 |
| .Ltmp15: |
| .Ltmp11: |
| .p2align 2, 0x0 |
| .long 246 |
| .long .Ltmp17-.Ltmp16 |
| .Ltmp16: |
| .long 0 |
| |
| |
| .long 4099 |
| .cv_filechecksumoffset 2 |
| .long 932 |
| |
| |
| .long 4099 |
| .cv_filechecksumoffset 2 |
| .long 932 |
| .Ltmp17: |
| .p2align 2, 0x0 |
| .section .debug$S,"dr",associative,add_numbers |
| .p2align 2, 0x0 |
| .long 4 |
| .long 241 |
| .long .Ltmp19-.Ltmp18 |
| .Ltmp18: |
| .short .Ltmp21-.Ltmp20 |
| .Ltmp20: |
| .short 4423 |
| .long 0 |
| .long 0 |
| .long 0 |
| .long .Lfunc_end0-add_numbers |
| .long 0 |
| .long 0 |
| .long 4101 |
| .secrel32 add_numbers |
| .secidx add_numbers |
| .byte 128 |
| .asciz "trailing_inlined_function::add_numbers" |
| .p2align 2, 0x0 |
| .Ltmp21: |
| .short .Ltmp23-.Ltmp22 |
| .Ltmp22: |
| .short 4114 |
| .long 40 |
| .long 0 |
| .long 0 |
| .long 0 |
| .long 0 |
| .short 0 |
| .long 1138688 |
| .p2align 2, 0x0 |
| .Ltmp23: |
| .short .Ltmp25-.Ltmp24 |
| .Ltmp24: |
| .short 4429 |
| .long 0 |
| .long 0 |
| .long 4099 |
| .cv_inline_linetable 1 2 932 .Lfunc_begin0 .Lfunc_end0 |
| .p2align 2, 0x0 |
| .Ltmp25: |
| .short 2 |
| .short 4430 |
| .short .Ltmp27-.Ltmp26 |
| .Ltmp26: |
| .short 4429 |
| .long 0 |
| .long 0 |
| .long 4099 |
| .cv_inline_linetable 2 2 932 .Lfunc_begin0 .Lfunc_end0 |
| .p2align 2, 0x0 |
| .Ltmp27: |
| .short 2 |
| .short 4430 |
| .short 2 |
| .short 4431 |
| .Ltmp19: |
| .p2align 2, 0x0 |
| .cv_linetable 0, add_numbers, .Lfunc_end0 |
| .section .debug$S,"dr" |
| .cv_filechecksums |
| .cv_stringtable |
| .long 241 |
| .long .Ltmp29-.Ltmp28 |
| .Ltmp28: |
| .short .Ltmp31-.Ltmp30 |
| .Ltmp30: |
| .short 4428 |
| .long 4105 |
| .p2align 2, 0x0 |
| .Ltmp31: |
| .Ltmp29: |
| .p2align 2, 0x0 |
| .section .debug$T,"dr" |
| .p2align 2, 0x0 |
| .long 4 |
| .short 0x1e |
| .short 0x1605 |
| .long 0x0 |
| .asciz "core::option::Option" |
| .byte 243 |
| .byte 242 |
| .byte 241 |
| .short 0x6 |
| .short 0x1201 |
| .long 0x0 |
| .short 0xe |
| .short 0x1008 |
| .long 0x3 |
| .byte 0x0 |
| .byte 0x0 |
| .short 0x0 |
| .long 0x1001 |
| .short 0x12 |
| .short 0x1601 |
| .long 0x1000 |
| .long 0x1002 |
| .asciz "unwrap" |
| .byte 241 |
| .short 0x22 |
| .short 0x1605 |
| .long 0x0 |
| .asciz "trailing_inlined_function" |
| .byte 242 |
| .byte 241 |
| .short 0x16 |
| .short 0x1601 |
| .long 0x1004 |
| .long 0x1002 |
| .asciz "add_numbers" |
| .short 0xe |
| .short 0x1605 |
| .long 0x0 |
| .asciz "C:\\llvm" |
| .short 0x56 |
| .short 0x1605 |
| .long 0x0 |
| .asciz "trailing-inlined-function.rs\\@\\trailing_inlined_function.3a6e73a087a7434a-cgu.0" |
| .short 0xa |
| .short 0x1605 |
| .long 0x0 |
| .byte 0 |
| .byte 243 |
| .byte 242 |
| .byte 241 |
| .short 0x1a |
| .short 0x1603 |
| .short 0x5 |
| .long 0x1006 |
| .long 0x0 |
| .long 0x1007 |
| .long 0x1008 |
| .long 0x0 |
| .byte 242 |
| .byte 241 |
