[llvm-dev] Instruction boundaries

via llvm-dev llvm-dev at lists.llvm.org
Tue Jun 26 07:14:55 PDT 2018

I'm not familiar with the target instruction set, but if "MOV PC, R0" is not a return instruction, I'm guessing that the sequence starting at A39C is a dispatch through a jump table.  The jump table would be considered part of the instruction stream and included in the scope of the line table.  This is not a case where you would see end_sequence; my mistake.

The line table does not list every individual instruction.  For compactness, it lists instructions only when the associated source location changes.  All instructions between successive entries of the line table would have the same source location.

Line 0 indicates one of two things.  First, some optimizations might combine instructions from different source locations into a single new instruction.  Because the source location is now ambiguous, we report line 0 rather than arbitrarily choosing one of the original source locations. This is a known deficiency in how DWARF represents source locations for instructions.  It will require a change to the DWARF specification to address this problem.
Second, there might not be a specific source location for some instructions. This is most common for things like code to call global initializers prior to the start of the 'main()' function, but can occur in other situations.

I hope this addresses at least some of your questions.  I am happy to continue this discussion if some questions remain or if you have new questions.

From: Muhui Jiang [mailto:jiangmuhui at gmail.com]
Sent: Tuesday, June 26, 2018 9:38 AM
To: Robinson, Paul
Cc: Yajin; llvm-dev
Subject: Re: [llvm-dev] Instruction boundaries

Hi Paulr

I am using the llvm-dwarfdump. This is not the end of the function, thus there is no 'end_sequence' reported. Here I just want to give you an exception because you said that all the instructions should be listed inside dwarf line table. However, I found that it will lost some instructions. And some instruction's source line is zero.

Besides, I also noticed that inline data is listed inside the line table.


2018-06-26 9:08 GMT-04:00 <paul.robinson at sony.com<mailto:paul.robinson at sony.com>>:
There should be a line-table entry for the end of the function, which appears to be missing from the dump you provided.  llvm-dwarfdump should report this address with 'end_sequence' in the Flags.  Are you using a different dumper?

I am not sure but my guess would be that inline data is not represented in the line table.  The line table's primary purpose is to inform the debugger about good breakpoint locations, and clearly you do not want to set breakpoints in data.  Inline data is probably contained within the code ranges described in the DW_TAG_subprogram, however.

From: Muhui Jiang [mailto:jiangmuhui at gmail.com<mailto:jiangmuhui at gmail.com>]
Sent: Tuesday, June 26, 2018 1:44 AM
To: Robinson, Paul
Cc: Yajin; llvm-dev
Subject: Re: [llvm-dev] Instruction boundaries

Hi Paulr

According to my observation. Not all the instructions are listed in the line table.

For example.  We have address 0xa3a0 and 0xa3a4 as the instructions

.text:0000A394                 CMP     R1, #0x42
.text:0000A398                 BHI     loc_AB70
.text:0000A39C                 ADR     R1, off_A3A8
.text:0000A3A0                 LDR     R0, [R1,R0,LSL#2]
.text:0000A3A4                 MOV     PC, R0
.text:0000A3A4 ; ---------------------------------------------------------------------------
.text:0000A3A8 off_A3A8        DCD loc_AB3C            ; DATA XREF: main+AC↑o
.text:0000A3AC                 DCD loc_AB34
.text:0000A3B0                 DCD loc_AB70
.text:0000A3B4                 DCD loc_AB70

However, inside the line table. The description is end at 0xa39c. Do you have any ideas?

  196 0x000000000000a38c    956      7      1   0             0
  197 0x000000000000a39c      0      7      1   0             0
  198 0x000000000000a7d8    959     27      1   0             0  is_stmt
  199 0x000000000000a7f8    959     25      1   0             0
  200 0x000000000000a7fc    961     11      1   0             0  is_stmt
  201 0x000000000000a800    964     15      1   0             0  is_stmt
  202 0x000000000000a808    964     15      1   0             0


2018-06-25 23:31 GMT-04:00 Muhui Jiang <jiangmuhui at gmail.com<mailto:jiangmuhui at gmail.com>>:
Hi paulr

Thanks for your reply. Though DWARF info give me the code address ranges, there might be inline data. If so, how to handle this case?

As for the dwarf line table. Sometimes, the source line might be zero. Do you know why? If all instructions should be describe in the line table, I think analyzing Dwarf line table is enough to get all the instructions addresses. Do you agree?

I would also cc my supervisor for the discussion.


<paul.robinson at sony.com<mailto:paul.robinson at sony.com>>于2018年6月26日 周二上午2:38写道:
The main DWARF info should provide the code address ranges for each function, as well as the starting source location.  You could then use the line table to map code ranges to individual source lines.  That could give you a reasonable grasp of the source range for each function.
All addresses in the DWARF line table will be instruction addresses.  And in fact, all instructions should be described in the line table (assuming all source was compiled with debug info).

From: llvm-dev [mailto:llvm-dev-bounces at lists.llvm.org<mailto:llvm-dev-bounces at lists.llvm.org>] On Behalf Of Muhui Jiang via llvm-dev
Sent: Monday, June 25, 2018 11:36 AM
To: llvm-dev
Subject: [llvm-dev] Instruction boundaries


I was wondering whether there are any methods to know what part of the target binary is code.

I have some ideas and hope to get your comments.

I would like to use LLVM's source level debugging information to extract the source lines belonging to every functions. Then use the dwarf mapping table to transfer the  source level information to binary address. Are there any better methods?

Besides, is the address listed inside dwarf line mapping table must be code rather than data?


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20180626/f520269c/attachment-0001.html>

More information about the llvm-dev mailing list