| # RUN: llvm-mc -triple x86_64-windows-msvc %s -filetype=obj -o %t.o |
| # RUN: llvm-pdbutil dump -symbols %t.o | FileCheck %s |
| |
| # We used to have a label flushing bug down below by the "BUG" comments that |
| # would cause the S_DEFRANGE_FRAMEPOINTER_REL records to appear missing. In |
| # practice, the label would extend past the def range, so it would appear that |
| # every local was optimized out or had no def ranges. |
| |
| # CHECK: S_GPROC32_ID {{.*}} `max` |
| # CHECK: S_LOCAL [size = {{.*}}] `a` |
| # CHECK: S_DEFRANGE_FRAMEPOINTER_REL |
| # CHECK: S_LOCAL [size = {{.*}}] `b` |
| # CHECK: S_DEFRANGE_FRAMEPOINTER_REL |
| |
| .text |
| .def @feat.00; |
| .scl 3; |
| .type 0; |
| .endef |
| .globl @feat.00 |
| .set @feat.00, 0 |
| .def max; |
| .scl 2; |
| .type 32; |
| .endef |
| .globl max # -- Begin function max |
| .p2align 4, 0x90 |
| max: # @max |
| .Lfunc_begin0: |
| .cv_func_id 0 |
| .cv_file 1 "C:\\src\\llvm-project\\build\\t.c" "44649E6EBC4FC8880991A1AF1F2D2990" 1 |
| .cv_loc 0 1 1 0 # t.c:1:0 |
| .seh_proc max |
| # %bb.0: # %entry |
| pushq %rax |
| .seh_stackalloc 8 |
| .seh_endprologue |
| movl %edx, 4(%rsp) |
| movl %ecx, (%rsp) |
| .Ltmp0: |
| .cv_loc 0 1 2 0 # t.c:2:0 |
| movl (%rsp), %eax |
| cmpl 4(%rsp), %eax |
| jle .LBB0_2 |
| # %bb.1: # %cond.true |
| movl (%rsp), %eax |
| jmp .LBB0_3 |
| .LBB0_2: # %cond.false |
| movl 4(%rsp), %eax |
| .LBB0_3: # %cond.end |
| .seh_startepilogue |
| popq %rcx |
| .seh_endepilogue |
| retq |
| .Ltmp1: |
| .Lfunc_end0: |
| .seh_handlerdata |
| .text |
| .seh_endproc |
| # -- End function |
| .section .debug$S,"dr" |
| .p2align 2 |
| .long 4 |
| .long 241 # Symbol subsection for max |
| .long .Ltmp7-.Ltmp6 # Subsection size |
| .Ltmp6: |
| .short .Ltmp9-.Ltmp8 # Record length |
| .Ltmp8: |
| .short 4423 # Record kind: S_GPROC32_ID |
| .long 0 # PtrParent |
| .long 0 # PtrEnd |
| .long 0 # PtrNext |
| .long .Lfunc_end0-max # Code size |
| .long 0 # Offset after prologue |
| .long 0 # Offset before epilogue |
| .long 4098 # Function type index |
| .secrel32 max # Function section relative address |
| .secidx max # Function section index |
| .byte 0 # Flags |
| .asciz "max" # Function name |
| .Ltmp9: |
| .short .Ltmp11-.Ltmp10 # Record length |
| .Ltmp10: |
| .short 4114 # Record kind: S_FRAMEPROC |
| .long 8 # FrameSize |
| .long 0 # Padding |
| .long 0 # Offset of padding |
| .long 0 # Bytes of callee saved registers |
| .long 0 # Exception handler offset |
| .short 0 # Exception handler section |
| .long 81920 # Flags (defines frame register) |
| .Ltmp11: |
| .short .Ltmp13-.Ltmp12 # Record length |
| .Ltmp12: |
| .short 4414 # Record kind: S_LOCAL |
| .long 18 # TypeIndex |
| .short 1 # Flags |
| .asciz "a" |
| # BUG |
| .p2align 2 |
| .Ltmp13: |
| .cv_def_range .Ltmp0 .Ltmp1, frame_ptr_rel, 8 |
| .short .Ltmp15-.Ltmp14 # Record length |
| .Ltmp14: |
| .short 4414 # Record kind: S_LOCAL |
| .long 18 # TypeIndex |
| .short 1 # Flags |
| .asciz "b" |
| # BUG |
| .p2align 2 |
| .Ltmp15: |
| .cv_def_range .Ltmp0 .Ltmp1, frame_ptr_rel, 8 |
| .short 2 # Record length |
| .short 4431 # Record kind: S_PROC_ID_END |
| .Ltmp7: |
| .p2align 2 |
| .cv_linetable 0, max, .Lfunc_end0 |
| .cv_filechecksums # File index to string table offset subsection |
| .cv_stringtable # String table |
| .long 241 |
| .long .Ltmp17-.Ltmp16 # Subsection size |
| .Ltmp16: |
| .Ltmp17: |
| .p2align 2 |
| .section .debug$T,"dr" |
| .p2align 2 |
| .long 4 # Debug section magic |
| # ArgList (0x1000) { |
| # TypeLeafKind: LF_ARGLIST (0x1201) |
| # NumArgs: 2 |
| # Arguments [ |
| # ArgType: long (0x12) |
| # ArgType: long (0x12) |
| # ] |
| # } |
| .byte 0x0e, 0x00, 0x01, 0x12 |
| .byte 0x02, 0x00, 0x00, 0x00 |
| .byte 0x12, 0x00, 0x00, 0x00 |
| .byte 0x12, 0x00, 0x00, 0x00 |
| # Procedure (0x1001) { |
| # TypeLeafKind: LF_PROCEDURE (0x1008) |
| # ReturnType: long (0x12) |
| # CallingConvention: NearC (0x0) |
| # FunctionOptions [ (0x0) |
| # ] |
| # NumParameters: 2 |
| # ArgListType: (long, long) (0x1000) |
| # } |
| .byte 0x0e, 0x00, 0x08, 0x10 |
| .byte 0x12, 0x00, 0x00, 0x00 |
| .byte 0x00, 0x00, 0x02, 0x00 |
| .byte 0x00, 0x10, 0x00, 0x00 |
| # FuncId (0x1002) { |
| # TypeLeafKind: LF_FUNC_ID (0x1601) |
| # ParentScope: 0x0 |
| # FunctionType: long (long, long) (0x1001) |
| # Name: max |
| # } |
| .byte 0x0e, 0x00, 0x01, 0x16 |
| .byte 0x00, 0x00, 0x00, 0x00 |
| .byte 0x01, 0x10, 0x00, 0x00 |
| .byte 0x6d, 0x61, 0x78, 0x00 |
| |
