<html xmlns:v="urn:schemas-microsoft-com:vml" xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" xmlns="http://www.w3.org/TR/REC-html40">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=us-ascii">
<meta name="Generator" content="Microsoft Word 15 (filtered medium)">
<style><!--
/* Font Definitions */
@font-face
{font-family:"Cambria Math";
panose-1:2 4 5 3 5 4 6 3 2 4;}
@font-face
{font-family:Calibri;
panose-1:2 15 5 2 2 2 4 3 2 4;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0cm;
font-size:11.0pt;
font-family:"Calibri",sans-serif;
mso-fareast-language:EN-US;}
span.EmailStyle17
{mso-style-type:personal-compose;
font-family:"Calibri",sans-serif;
color:windowtext;}
.MsoChpDefault
{mso-style-type:export-only;
font-family:"Calibri",sans-serif;
mso-fareast-language:EN-US;}
@page WordSection1
{size:612.0pt 792.0pt;
margin:72.0pt 72.0pt 72.0pt 72.0pt;}
div.WordSection1
{page:WordSection1;}
--></style><!--[if gte mso 9]><xml>
<o:shapedefaults v:ext="edit" spidmax="1026" />
</xml><![endif]--><!--[if gte mso 9]><xml>
<o:shapelayout v:ext="edit">
<o:idmap v:ext="edit" data="1" />
</o:shapelayout></xml><![endif]-->
</head>
<body lang="EN-GB" link="#0563C1" vlink="#954F72" style="word-wrap:break-word">
<div class="WordSection1">
<p class="MsoNormal">Hello llvm-dev,<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">I've noticed some behaviour I found surprising with the way that we emit stack pointer relative<o:p></o:p></p>
<p class="MsoNormal">variable locations. It seems that locations defined by DBG_VALUEs that are written in terms of RSP<o:p></o:p></p>
<p class="MsoNormal">(for x86) are terminated by any stack manipulation operations, e.g. pushing arguments before a<o:p></o:p></p>
<p class="MsoNormal">call. Since we know the stack offset at each adjustment it seems like we could maintain the variable<o:p></o:p></p>
<p class="MsoNormal">location by generating location list entries with adjusted RSP offsets.<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Here's a source reproducer with clang built at 71597d40e878 (recent), target<o:p></o:p></p>
<p class="MsoNormal">x86_64-unknown-linux-gnu).<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">$ cat test.cpp<o:p></o:p></p>
<p class="MsoNormal">void ext(int, int, int, int, int, int, int, int, int, int);<o:p></o:p></p>
<p class="MsoNormal">void escape(int*);<o:p></o:p></p>
<p class="MsoNormal">int example() {<o:p></o:p></p>
<p class="MsoNormal"> int local = 0;<o:p></o:p></p>
<p class="MsoNormal"> escape(&local);<o:p></o:p></p>
<p class="MsoNormal"> ext(0, 1, 2, 3, 4, 5, 6, 7, 8, 9);<o:p></o:p></p>
<p class="MsoNormal"> local += 2;<o:p></o:p></p>
<p class="MsoNormal"> return local;<o:p></o:p></p>
<p class="MsoNormal">}<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">$ clang -O2 -g -c test.cpp -o test.o<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">$ llvm-objdump -d test.o<o:p></o:p></p>
<p class="MsoNormal">test.o: file format elf64-x86-64<o:p></o:p></p>
<p class="MsoNormal">Disassembly of section .text:<o:p></o:p></p>
<p class="MsoNormal">0000000000000000 <_Z7examplev>:<o:p></o:p></p>
<p class="MsoNormal"> 0: 50 pushq %rax<o:p></o:p></p>
<p class="MsoNormal"> 1: c7 44 24 04 00 00 00 00 movl $0, 4(%rsp)<o:p></o:p></p>
<p class="MsoNormal"> 9: 48 8d 7c 24 04 leaq 4(%rsp), %rdi<o:p></o:p></p>
<p class="MsoNormal"> e: e8 00 00 00 00 callq 0x13 <_Z7examplev+0x13><o:p></o:p></p>
<p class="MsoNormal"> 13: 31 ff xorl %edi, %edi<o:p></o:p></p>
<p class="MsoNormal"> 15: be 01 00 00 00 movl $1, %esi<o:p></o:p></p>
<p class="MsoNormal"> 1a: ba 02 00 00 00 movl $2, %edx<o:p></o:p></p>
<p class="MsoNormal"> 1f: b9 03 00 00 00 movl $3, %ecx<o:p></o:p></p>
<p class="MsoNormal"> 24: 41 b8 04 00 00 00 movl $4, %r8d<o:p></o:p></p>
<p class="MsoNormal"> 2a: 41 b9 05 00 00 00 movl $5, %r9d<o:p></o:p></p>
<p class="MsoNormal"> 30: 6a 09 pushq $9<o:p></o:p></p>
<p class="MsoNormal"> 32: 6a 08 pushq $8<o:p></o:p></p>
<p class="MsoNormal"> 34: 6a 07 pushq $7<o:p></o:p></p>
<p class="MsoNormal"> 36: 6a 06 pushq $6<o:p></o:p></p>
<p class="MsoNormal"> 38: e8 00 00 00 00 callq 0x3d <_Z7examplev+0x3d><o:p></o:p></p>
<p class="MsoNormal"> 3d: 48 83 c4 20 addq $32, %rsp<o:p></o:p></p>
<p class="MsoNormal"> 41: 8b 44 24 04 movl 4(%rsp), %eax<o:p></o:p></p>
<p class="MsoNormal"> 45: 83 c0 02 addl $2, %eax<o:p></o:p></p>
<p class="MsoNormal"> 48: 59 popq %rcx<o:p></o:p></p>
<p class="MsoNormal"> 49: c3 retq<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">$ llvm-dwarfdump test.o --name local<o:p></o:p></p>
<p class="MsoNormal">test.o: file format elf64-x86-64<o:p></o:p></p>
<p class="MsoNormal">0x00000047: DW_TAG_variable<o:p></o:p></p>
<p class="MsoNormal"> DW_AT_location (0x00000000: <o:p>
</o:p></p>
<p class="MsoNormal"> [0x0000000000000001, 0x0000000000000009): DW_OP_consts +0, DW_OP_stack_value<o:p></o:p></p>
<p class="MsoNormal"> [0x0000000000000009, 0x0000000000000032): DW_OP_breg7 RSP+4<o:p></o:p></p>
<p class="MsoNormal"> [0x0000000000000045, 0x000000000000004a): DW_OP_reg0 RAX)<o:p></o:p></p>
<p class="MsoNormal"> DW_AT_name ("local")<o:p></o:p></p>
<p class="MsoNormal"> DW_AT_decl_file ("/home/och/dev/bugs/scratch/test.cpp")<o:p></o:p></p>
<p class="MsoNormal"> DW_AT_decl_line (4)<o:p></o:p></p>
<p class="MsoNormal"> DW_AT_type (0x000000ad "int")<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">The variable 'local' is not given a location over the interval [32, 45) even though we<o:p></o:p></p>
<p class="MsoNormal">know where it is (RSP+8, RSP+12, ..., back to RSP+4 after the stack adjustment following the<o:p></o:p></p>
<p class="MsoNormal">call). It seems unfortunate to lose variable locations in this way, especially around call sites. Is<o:p></o:p></p>
<p class="MsoNormal">this a deliberate omission, perhaps made in order to save space? Jeremy mentioned that we do<o:p></o:p></p>
<p class="MsoNormal">something similar in prologues/epilogues to avoid generating large location lists.<br>
<br>
<o:p></o:p></p>
<p class="MsoNormal">Many thanks,<o:p></o:p></p>
<p class="MsoNormal">Orlando<o:p></o:p></p>
</div>
</body>
</html>