This is an archive of the discontinued LLVM Phabricator instance.

Differential D127613

[BOLT][DWARF] Add Unit test for DW_AT_high_pc [DW_FORM_addr]
ClosedPublic

Authored by zr33 on Jun 12 2022, 11:21 PM.

Details

Reviewers
rafauler
Amir
maksfb
jdoerfert
ayermolo
Commits
rG66a41e080790: [BOLT][DWARF] Add Unit test for DW_AT_high_pc [DW_FORM_addr]

Diff Detail

Event Timeline

zr33 created this revision.Jun 12 2022, 11:21 PM
Herald added a reviewer: rafauler. · View Herald TranscriptJun 12 2022, 11:21 PM
Herald added a reviewer: Amir. · View Herald Transcript
Herald added a reviewer: maksfb. · View Herald Transcript
Herald added a project: Restricted Project. · View Herald Transcript
Herald added a subscriber: ayermolo. · View Herald Transcript
zr33 requested review of this revision.Jun 12 2022, 11:21 PM
Herald added a reviewer: jdoerfert. · View Herald TranscriptJun 12 2022, 11:21 PM
Herald added a project: Restricted Project. · View Herald Transcript
Herald added subscribers: llvm-commits, yota9, sstefan1. · View Herald Transcript
Harbormaster completed remote builds in B169362: Diff 436280.Jun 12 2022, 11:27 PM
ayermolo added inline comments.Jun 13 2022, 11:16 AM
bolt/test/X86/dwarf3-lowpc-highpc-convert.s
18

It's not IDX it's an offset, so maybe different name?

54

Modify path to remove your username...

400

cleanup the string

423

ditto

zr33 updated this revision to Diff 436496.Jun 13 2022, 11:41 AM

New test case to make sure DW_AT_high_pc convert to DW_AT_ranges correctly in Dwarf 3

Harbormaster completed remote builds in B169518: Diff 436496.Jun 13 2022, 11:48 AM
zr33 changed the edit policy from "All Users" to "No One".Jun 13 2022, 11:48 AM
zr33 changed the visibility from "Public (No Login Required)" to "No One".
zr33 changed the edit policy from "No One" to "All Users".
zr33 updated this revision to Diff 436501.Jun 13 2022, 11:55 AM

test DW_AT_high_pc convert to DW_AT_ranges correctly in Dwarf 3

zr33 changed the visibility from "No One" to "Public (No Login Required)".Jun 13 2022, 11:56 AM
Herald added a subscriber: ormris. · View Herald TranscriptJun 13 2022, 11:56 AM
Harbormaster completed remote builds in B169521: Diff 436501.Jun 13 2022, 12:01 PM
zr33 added a reviewer: ayermolo.Jun 13 2022, 12:28 PM
ayermolo added a comment.Jun 13 2022, 12:32 PM

For title maybe something like
[BOLT][DWARF] Add Unit test for DW_AT_high_pc [DW_FORM_addr]

bolt/test/X86/dwarf3-lowpc-highpc-convert.s
11

Please add description of what this tests for.

zr33 retitled this revision from New test case to make sure DW_AT_high_pc convert to DW_AT_ranges correctly in Dwarf 3 to [BOLT][DWARF] Add Unit test for DW_AT_high_pc [DW_FORM_addr].Jun 13 2022, 12:38 PM
zr33 retitled this revision from [BOLT][DWARF] Add Unit test for DW_AT_high_pc [DW_FORM_addr] to [BOLT][DWARF][TEST] Add Unit test for DW_AT_high_pc [DW_FORM_addr].Jun 13 2022, 12:43 PM
zr33 retitled this revision from [BOLT][DWARF][TEST] Add Unit test for DW_AT_high_pc [DW_FORM_addr] to [BOLT][DWARF] Add Unit test for DW_AT_high_pc [DW_FORM_addr].
zr33 updated this revision to Diff 436626.Jun 13 2022, 7:43 PM
zr33 marked 4 inline comments as done.

add comment

zr33 updated this revision to Diff 436627.Jun 13 2022, 7:44 PM
zr33 marked an inline comment as done.

fix typo

Harbormaster completed remote builds in B169607: Diff 436627.Jun 13 2022, 7:50 PM
ayermolo accepted this revision.Jun 14 2022, 10:02 AM
This revision is now accepted and ready to land.Jun 14 2022, 10:02 AM
ayermolo added inline comments.Jun 14 2022, 11:22 AM
bolt/test/X86/dwarf3-lowpc-highpc-convert.s
4

can you change all options to double dashes?

Closed by commit rG66a41e080790: [BOLT][DWARF] Add Unit test for DW_AT_high_pc [DW_FORM_addr] (authored by zr33, committed by ayermolo). · Explain WhyJul 18 2022, 2:04 PM
This revision was automatically updated to reflect the committed changes.
ayermolo added a commit: rG66a41e080790: [BOLT][DWARF] Add Unit test for DW_AT_high_pc [DW_FORM_addr].

Revision Contents

PathSize
bolt/
test/
X86/
427 lines

Diff 445619

bolt/test/X86/dwarf3-lowpc-highpc-convert.s

  • This file was added.
# REQUIRES: system-linux
# RUN: llvm-mc -dwarf-version=3 -filetype=obj -triple x86_64-unknown-linux %s -o %t1.o
# RUN: %clang %cflags -dwarf-3 %t1.o -o %t.exe -Wl,-q
ayermoloUnsubmitted
Not Done
ReplyInline Actions

can you change all options to double dashes?

ayermolo: can you change all options to double dashes?
# RUN: llvm-bolt %t.exe -o %t.bolt --update-debug-sections
# RUN: llvm-dwarfdump --show-form --verbose --debug-info %t.exe | FileCheck --check-prefix=PRECHECK %s
# RUN: llvm-dwarfdump --show-form --verbose --debug-ranges %t.bolt > %t.txt
# RUN: llvm-dwarfdump --show-form --verbose --debug-info %t.bolt >> %t.txt
# RUN: cat %t.txt | FileCheck --check-prefix=POSTCHECK %s
# This tests checks that DW_AT_high_pc[DW_FORM_ADDR] can be converted to DW_AT_ranges correctly in Dwarf3
ayermoloUnsubmitted
Done
ReplyInline Actions

Please add description of what this tests for.

ayermolo: Please add description of what this tests for.
# PRECHECK: version = 0x0003
# PRECHECK: DW_AT_low_pc
# PRECHECK-SAME: DW_FORM_addr
# PRECHECK-SAME: 0x[[#%.16x,ADDR_LOW:]]
# PRECHECK-NEXT: DW_AT_high_pc [DW_FORM_addr] (0x[[#ADDR_LOW + 41]])
ayermoloUnsubmitted
Done
ReplyInline Actions

It's not IDX it's an offset, so maybe different name?

ayermolo: It's not IDX it's an offset, so maybe different name?
# POSTCHECK: [[#%.8x,OFFSET:]] [[#%.16x, ADDR_1_BEGIN:]]
# POSTCHECK-SAME: [[#%.16x, ADDR_1_END:]]
# POSTCHECK-NEXT: [[#OFFSET]]
# POSTCHECK-SAME: [[#%.16x, ADDR_2_BEGIN:]]
# POSTCHECK-SAME: [[#%.16x, ADDR_2_END:]]
# POSTCHECK: version = 0x0003
# POSTCHECK: DW_AT_low_pc
# POSTCHECK-SAME: DW_FORM_addr
# POSTCHECK-SAME: (0x0000000000000000)
# POSTCHECK-NEXT: DW_AT_ranges
# POSTCHECK-SAME: DW_FORM_sec_offset
# POSTCHECK-SAME: (0x[[#OFFSET]]
# POSTCHECK-NEXT: [0x[[#ADDR_1_BEGIN]]
# POSTCHECK-SAME: 0x[[#ADDR_1_END]]
# POSTCHECK-NEXT: [0x[[#ADDR_2_BEGIN]]
# POSTCHECK-SAME: 0x[[#ADDR_2_END]]
# clang++ -g -gdwarf-3 -emit-llvm -S -O2 main.cpp
#
# void use(int * x, int * y) {
# *x += 4;
# *y -= 2;
# }
# int x = 0;
# int y = 1;
# int main(int argc, char *argv[]) {
# x = argc;
# y = argc + 3;
# use(&x, &y);
# return x+y;
# }
.text
.file "main.cpp"
ayermoloUnsubmitted
Done
ReplyInline Actions

Modify path to remove your username...

ayermolo: Modify path to remove your username...
.file 1 "/home/test" "main.cpp"
.globl _Z3usePiS_ # -- Begin function _Z3usePiS_
.p2align 4, 0x90
.type _Z3usePiS_,@function
_Z3usePiS_: # @_Z3usePiS_
.Lfunc_begin0:
.loc 1 1 0 # main.cpp:1:0
.cfi_startproc
# %bb.0: # %entry
#DEBUG_VALUE: use:x <- $rdi
#DEBUG_VALUE: use:y <- $rsi
.loc 1 2 4 prologue_end # main.cpp:2:4
addl $4, (%rdi)
.loc 1 3 4 # main.cpp:3:4
addl $-2, (%rsi)
.loc 1 4 1 # main.cpp:4:1
retq
.Ltmp0:
.Lfunc_end0:
.size _Z3usePiS_, .Lfunc_end0-_Z3usePiS_
.cfi_endproc
# -- End function
.globl main # -- Begin function main
.p2align 4, 0x90
.type main,@function
main: # @main
.Lfunc_begin1:
.loc 1 8 0 # main.cpp:8:0
.cfi_startproc
# %bb.0: # %entry
#DEBUG_VALUE: main:argc <- $edi
#DEBUG_VALUE: main:argv <- $rsi
# kill: def $edi killed $edi def $rdi
.loc 1 2 4 prologue_end # main.cpp:2:4
leal 4(%rdi), %eax
movl %eax, x(%rip)
.Ltmp1:
#DEBUG_VALUE: use:x <- undef
.loc 1 3 4 # main.cpp:3:4
leal 1(%rdi), %eax
movl %eax, y(%rip)
.Ltmp2:
#DEBUG_VALUE: use:y <- undef
.loc 1 12 13 # main.cpp:12:13
leal (%rdi,%rdi), %eax
addl $5, %eax
.loc 1 12 5 is_stmt 0 # main.cpp:12:5
retq
.Ltmp3:
.Lfunc_end1:
.size main, .Lfunc_end1-main
.cfi_endproc
# -- End function
.type x,@object # @x
.bss
.globl x
.p2align 2
x:
.long 0 # 0x0
.size x, 4
.type y,@object # @y
.data
.globl y
.p2align 2
y:
.long 1 # 0x1
.size y, 4
.section .debug_abbrev,"",@progbits
.byte 1 # Abbreviation Code
.byte 17 # DW_TAG_compile_unit
.byte 1 # DW_CHILDREN_yes
.byte 37 # DW_AT_producer
.byte 14 # DW_FORM_strp
.byte 19 # DW_AT_language
.byte 5 # DW_FORM_data2
.byte 3 # DW_AT_name
.byte 14 # DW_FORM_strp
.byte 16 # DW_AT_stmt_list
.byte 6 # DW_FORM_data4
.byte 27 # DW_AT_comp_dir
.byte 14 # DW_FORM_strp
.byte 17 # DW_AT_low_pc
.byte 1 # DW_FORM_addr
.byte 18 # DW_AT_high_pc
.byte 1 # DW_FORM_addr
.byte 0 # EOM(1)
.byte 0 # EOM(2)
.byte 2 # Abbreviation Code
.byte 52 # DW_TAG_variable
.byte 0 # DW_CHILDREN_no
.byte 3 # DW_AT_name
.byte 14 # DW_FORM_strp
.byte 73 # DW_AT_type
.byte 19 # DW_FORM_ref4
.byte 63 # DW_AT_external
.byte 12 # DW_FORM_flag
.byte 58 # DW_AT_decl_file
.byte 11 # DW_FORM_data1
.byte 59 # DW_AT_decl_line
.byte 11 # DW_FORM_data1
.byte 2 # DW_AT_location
.byte 10 # DW_FORM_block1
.byte 0 # EOM(1)
.byte 0 # EOM(2)
.byte 3 # Abbreviation Code
.byte 36 # DW_TAG_base_type
.byte 0 # DW_CHILDREN_no
.byte 3 # DW_AT_name
.byte 14 # DW_FORM_strp
.byte 62 # DW_AT_encoding
.byte 11 # DW_FORM_data1
.byte 11 # DW_AT_byte_size
.byte 11 # DW_FORM_data1
.byte 0 # EOM(1)
.byte 0 # EOM(2)
.byte 4 # Abbreviation Code
.byte 46 # DW_TAG_subprogram
.byte 1 # DW_CHILDREN_yes
.byte 17 # DW_AT_low_pc
.byte 1 # DW_FORM_addr
.byte 18 # DW_AT_high_pc
.byte 1 # DW_FORM_addr
.byte 64 # DW_AT_frame_base
.byte 10 # DW_FORM_block1
.byte 49 # DW_AT_abstract_origin
.byte 19 # DW_FORM_ref4
.byte 0 # EOM(1)
.byte 0 # EOM(2)
.byte 5 # Abbreviation Code
.byte 5 # DW_TAG_formal_parameter
.byte 0 # DW_CHILDREN_no
.byte 2 # DW_AT_location
.byte 10 # DW_FORM_block1
.byte 49 # DW_AT_abstract_origin
.byte 19 # DW_FORM_ref4
.byte 0 # EOM(1)
.byte 0 # EOM(2)
.byte 6 # Abbreviation Code
.byte 46 # DW_TAG_subprogram
.byte 1 # DW_CHILDREN_yes
.ascii "\207@" # DW_AT_MIPS_linkage_name
.byte 14 # DW_FORM_strp
.byte 3 # DW_AT_name
.byte 14 # DW_FORM_strp
.byte 58 # DW_AT_decl_file
.byte 11 # DW_FORM_data1
.byte 59 # DW_AT_decl_line
.byte 11 # DW_FORM_data1
.byte 63 # DW_AT_external
.byte 12 # DW_FORM_flag
.byte 32 # DW_AT_inline
.byte 11 # DW_FORM_data1
.byte 0 # EOM(1)
.byte 0 # EOM(2)
.byte 7 # Abbreviation Code
.byte 5 # DW_TAG_formal_parameter
.byte 0 # DW_CHILDREN_no
.byte 3 # DW_AT_name
.byte 14 # DW_FORM_strp
.byte 58 # DW_AT_decl_file
.byte 11 # DW_FORM_data1
.byte 59 # DW_AT_decl_line
.byte 11 # DW_FORM_data1
.byte 73 # DW_AT_type
.byte 19 # DW_FORM_ref4
.byte 0 # EOM(1)
.byte 0 # EOM(2)
.byte 8 # Abbreviation Code
.byte 15 # DW_TAG_pointer_type
.byte 0 # DW_CHILDREN_no
.byte 73 # DW_AT_type
.byte 19 # DW_FORM_ref4
.byte 0 # EOM(1)
.byte 0 # EOM(2)
.byte 9 # Abbreviation Code
.byte 46 # DW_TAG_subprogram
.byte 1 # DW_CHILDREN_yes
.byte 17 # DW_AT_low_pc
.byte 1 # DW_FORM_addr
.byte 18 # DW_AT_high_pc
.byte 1 # DW_FORM_addr
.byte 64 # DW_AT_frame_base
.byte 10 # DW_FORM_block1
.byte 3 # DW_AT_name
.byte 14 # DW_FORM_strp
.byte 58 # DW_AT_decl_file
.byte 11 # DW_FORM_data1
.byte 59 # DW_AT_decl_line
.byte 11 # DW_FORM_data1
.byte 73 # DW_AT_type
.byte 19 # DW_FORM_ref4
.byte 63 # DW_AT_external
.byte 12 # DW_FORM_flag
.byte 0 # EOM(1)
.byte 0 # EOM(2)
.byte 10 # Abbreviation Code
.byte 5 # DW_TAG_formal_parameter
.byte 0 # DW_CHILDREN_no
.byte 2 # DW_AT_location
.byte 10 # DW_FORM_block1
.byte 3 # DW_AT_name
.byte 14 # DW_FORM_strp
.byte 58 # DW_AT_decl_file
.byte 11 # DW_FORM_data1
.byte 59 # DW_AT_decl_line
.byte 11 # DW_FORM_data1
.byte 73 # DW_AT_type
.byte 19 # DW_FORM_ref4
.byte 0 # EOM(1)
.byte 0 # EOM(2)
.byte 11 # Abbreviation Code
.byte 29 # DW_TAG_inlined_subroutine
.byte 0 # DW_CHILDREN_no
.byte 49 # DW_AT_abstract_origin
.byte 19 # DW_FORM_ref4
.byte 17 # DW_AT_low_pc
.byte 1 # DW_FORM_addr
.byte 18 # DW_AT_high_pc
.byte 1 # DW_FORM_addr
.byte 88 # DW_AT_call_file
.byte 11 # DW_FORM_data1
.byte 89 # DW_AT_call_line
.byte 11 # DW_FORM_data1
.byte 87 # DW_AT_call_column
.byte 11 # DW_FORM_data1
.byte 0 # EOM(1)
.byte 0 # EOM(2)
.byte 0 # EOM(3)
.section .debug_info,"",@progbits
.Lcu_begin0:
.long .Ldebug_info_end0-.Ldebug_info_start0 # Length of Unit
.Ldebug_info_start0:
.short 3 # DWARF version number
.long .debug_abbrev # Offset Into Abbrev. Section
.byte 8 # Address Size (in bytes)
.byte 1 # Abbrev [1] 0xb:0x108 DW_TAG_compile_unit
.long .Linfo_string0 # DW_AT_producer
.short 33 # DW_AT_language
.long .Linfo_string1 # DW_AT_name
.long .Lline_table_start0 # DW_AT_stmt_list
.long .Linfo_string2 # DW_AT_comp_dir
.quad .Lfunc_begin0 # DW_AT_low_pc
.quad .Lfunc_end1 # DW_AT_high_pc
.byte 2 # Abbrev [2] 0x2e:0x16 DW_TAG_variable
.long .Linfo_string3 # DW_AT_name
.long 68 # DW_AT_type
.byte 1 # DW_AT_external
.byte 1 # DW_AT_decl_file
.byte 6 # DW_AT_decl_line
.byte 9 # DW_AT_location
.byte 3
.quad x
.byte 3 # Abbrev [3] 0x44:0x7 DW_TAG_base_type
.long .Linfo_string4 # DW_AT_name
.byte 5 # DW_AT_encoding
.byte 4 # DW_AT_byte_size
.byte 2 # Abbrev [2] 0x4b:0x16 DW_TAG_variable
.long .Linfo_string5 # DW_AT_name
.long 68 # DW_AT_type
.byte 1 # DW_AT_external
.byte 1 # DW_AT_decl_file
.byte 7 # DW_AT_decl_line
.byte 9 # DW_AT_location
.byte 3
.quad y
.byte 4 # Abbrev [4] 0x61:0x26 DW_TAG_subprogram
.quad .Lfunc_begin0 # DW_AT_low_pc
.quad .Lfunc_end0 # DW_AT_high_pc
.byte 1 # DW_AT_frame_base
.byte 87
.long 135 # DW_AT_abstract_origin
.byte 5 # Abbrev [5] 0x78:0x7 DW_TAG_formal_parameter
.byte 1 # DW_AT_location
.byte 85
.long 148 # DW_AT_abstract_origin
.byte 5 # Abbrev [5] 0x7f:0x7 DW_TAG_formal_parameter
.byte 1 # DW_AT_location
.byte 84
.long 159 # DW_AT_abstract_origin
.byte 0 # End Of Children Mark
.byte 6 # Abbrev [6] 0x87:0x24 DW_TAG_subprogram
.long .Linfo_string6 # DW_AT_MIPS_linkage_name
.long .Linfo_string7 # DW_AT_name
.byte 1 # DW_AT_decl_file
.byte 1 # DW_AT_decl_line
.byte 1 # DW_AT_external
.byte 1 # DW_AT_inline
.byte 7 # Abbrev [7] 0x94:0xb DW_TAG_formal_parameter
.long .Linfo_string3 # DW_AT_name
.byte 1 # DW_AT_decl_file
.byte 1 # DW_AT_decl_line
.long 171 # DW_AT_type
.byte 7 # Abbrev [7] 0x9f:0xb DW_TAG_formal_parameter
.long .Linfo_string5 # DW_AT_name
.byte 1 # DW_AT_decl_file
.byte 1 # DW_AT_decl_line
.long 171 # DW_AT_type
.byte 0 # End Of Children Mark
.byte 8 # Abbrev [8] 0xab:0x5 DW_TAG_pointer_type
.long 68 # DW_AT_type
.byte 9 # Abbrev [9] 0xb0:0x51 DW_TAG_subprogram
.quad .Lfunc_begin1 # DW_AT_low_pc
.quad .Lfunc_end1 # DW_AT_high_pc
.byte 1 # DW_AT_frame_base
.byte 87
.long .Linfo_string8 # DW_AT_name
.byte 1 # DW_AT_decl_file
.byte 8 # DW_AT_decl_line
.long 68 # DW_AT_type
.byte 1 # DW_AT_external
.byte 10 # Abbrev [10] 0xce:0xd DW_TAG_formal_parameter
.byte 1 # DW_AT_location
.byte 85
.long .Linfo_string9 # DW_AT_name
.byte 1 # DW_AT_decl_file
.byte 8 # DW_AT_decl_line
.long 68 # DW_AT_type
.byte 10 # Abbrev [10] 0xdb:0xd DW_TAG_formal_parameter
.byte 1 # DW_AT_location
.byte 84
.long .Linfo_string10 # DW_AT_name
.byte 1 # DW_AT_decl_file
.byte 8 # DW_AT_decl_line
.long 257 # DW_AT_type
.byte 11 # Abbrev [11] 0xe8:0x18 DW_TAG_inlined_subroutine
.long 135 # DW_AT_abstract_origin
.quad .Lfunc_begin1 # DW_AT_low_pc
.quad .Ltmp2 # DW_AT_high_pc
.byte 1 # DW_AT_call_file
.byte 11 # DW_AT_call_line
.byte 5 # DW_AT_call_column
.byte 0 # End Of Children Mark
.byte 8 # Abbrev [8] 0x101:0x5 DW_TAG_pointer_type
.long 262 # DW_AT_type
.byte 8 # Abbrev [8] 0x106:0x5 DW_TAG_pointer_type
.long 267 # DW_AT_type
.byte 3 # Abbrev [3] 0x10b:0x7 DW_TAG_base_type
.long .Linfo_string11 # DW_AT_name
.byte 6 # DW_AT_encoding
.byte 1 # DW_AT_byte_size
.byte 0 # End Of Children Mark
.Ldebug_info_end0:
.section .debug_str,"MS",@progbits,1
.Linfo_string0:
ayermoloUnsubmitted
Done
ReplyInline Actions

cleanup the string

ayermolo: cleanup the string
.asciz "clang version 14.0.0" # string offset=0
.Linfo_string1:
.asciz "main.cpp" # string offset=134
.Linfo_string2:
.asciz "/home/test" # string offset=143
.Linfo_string3:
.asciz "x" # string offset=159
.Linfo_string4:
.asciz "int" # string offset=161
.Linfo_string5:
.asciz "y" # string offset=165
.Linfo_string6:
.asciz "_Z3usePiS_" # string offset=167
.Linfo_string7:
.asciz "use" # string offset=178
.Linfo_string8:
.asciz "main" # string offset=182
.Linfo_string9:
.asciz "argc" # string offset=187
.Linfo_string10:
.asciz "argv" # string offset=192
.Linfo_string11:
.asciz "char" # string offset=197
ayermoloUnsubmitted
Done
ReplyInline Actions

ditto

ayermolo: ditto
.ident "clang version 14.0.0"
.section ".note.GNU-stack","",@progbits
.section .debug_line,"",@progbits
.Lline_table_start0: