<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
<style type="text/css" style="display:none;"> P {margin-top:0;margin-bottom:0;} </style>
</head>
<body dir="ltr">
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
Hi all,</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
I'm Xiang Cheng in Gatech and I'm interested in this project: <a href="http://llvm.org/OpenProjects.html#llvm_dbg_invariant" target="_blank" rel="noopener noreferrer" style="margin: 0px; font-family: Calibri, Arial, Helvetica, sans-serif; background-color: rgb(255, 255, 255)">http://llvm.org/OpenProjects.html#llvm_dbg_invariant</a></div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
I noticed that this project is not in the GSoC selected projects list, so I think nobody is working on this.</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<div style="margin: 0px; font-size: 12pt; font-family: Calibri, Arial, Helvetica, sans-serif; color: black; background-color: rgb(255, 255, 255)">
Now I try to reproduce this issue on aarch64 Ubuntu-18.04 using the latest LLVM-10 release with following code (<a href="http://lists.llvm.org/pipermail/llvm-dev/2019-September/135433.html" target="_blank" rel="noopener noreferrer" style="margin: 0px">http://lists.llvm.org/pipermail/llvm-dev/2019-September/135433.html</a>):</div>
<div style="margin: 0px; font-size: 12pt; font-family: Calibri, Arial, Helvetica, sans-serif; color: black; background-color: rgb(255, 255, 255)">
<br>
</div>
<div style="margin: 0px; font-size: 12pt; font-family: Calibri, Arial, Helvetica, sans-serif; color: black; background-color: rgb(255, 255, 255)">
<span style="margin: 0px">void b(void* d){</span>}</div>
<div style="margin: 0px; font-size: 12pt; font-family: Calibri, Arial, Helvetica, sans-serif; color: black; background-color: rgb(255, 255, 255)">
<br>
<div style="margin: 0px">void c(char* cc, void* d){}<br>
</div>
<div style="margin: 0px"><br>
</div>
<div style="margin: 0px">void a() {<br>
</div>
<div style="margin: 0px">      b(a);<br>
</div>
<div style="margin: 0px">      for (;;)<br>
</div>
<div style="margin: 0px">        c("", b);<br>
</div>
<div style="margin: 0px">    }<br>
</div>
<div style="margin: 0px">int main(){<br>
</div>
<div style="margin: 0px">    a();<br>
</div>
<div style="margin: 0px">    return 0;<br>
</div>
<span style="margin: 0px">}</span><br>
</div>
<div style="margin: 0px; font-size: 12pt; font-family: Calibri, Arial, Helvetica, sans-serif; color: black; background-color: rgb(255, 255, 255)">
<span style="margin: 0px"><br>
</span></div>
<div style="margin: 0px; font-size: 12pt; font-family: Calibri, Arial, Helvetica, sans-serif; color: black; background-color: rgb(255, 255, 255)">
<span style="margin: 0px">I compile it using "-O0 -g" or only "-O0". However, I failed to reproduce the issue since all the outputs have the same instructions in their .text regions (attached below).</span></div>
<div style="margin: 0px; font-size: 12pt; font-family: Calibri, Arial, Helvetica, sans-serif; color: black; background-color: rgb(255, 255, 255)">
<span style="margin: 0px"><br>
</span></div>
<div style="margin: 0px; font-size: 12pt; font-family: Calibri, Arial, Helvetica, sans-serif; color: black; background-color: rgb(255, 255, 255)">
Could you please give a sample to reproduce this issue? Or is this bug has been fixed(<a href="https://bugs.llvm.org/show_bug.cgi?id=37240" target="_blank" rel="noopener noreferrer" style="margin: 0px">https://bugs.llvm.org/show_bug.cgi?id=37240</a>)?</div>
<div style="margin: 0px; font-size: 12pt; font-family: Calibri, Arial, Helvetica, sans-serif; color: black; background-color: rgb(255, 255, 255)">
<br>
</div>
<div style="margin: 0px; font-size: 12pt; font-family: Calibri, Arial, Helvetica, sans-serif; color: black; background-color: rgb(255, 255, 255)">
Best,</div>
<div style="margin: 0px; font-size: 12pt; font-family: Calibri, Arial, Helvetica, sans-serif; color: black; background-color: rgb(255, 255, 255)">
Xiang</div>
<div style="margin: 0px; font-size: 12pt; font-family: Calibri, Arial, Helvetica, sans-serif; color: black; background-color: rgb(255, 255, 255)">
<br>
</div>
<div style="margin: 0px; font-size: 12pt; font-family: Calibri, Arial, Helvetica, sans-serif; color: black; background-color: rgb(255, 255, 255)">
<br>
</div>
<div style="margin: 0px; font-size: 12pt; font-family: Calibri, Arial, Helvetica, sans-serif; color: black; background-color: rgb(255, 255, 255)">
<span style="margin: 0px"><br>
</span></div>
<div style="margin: 0px; font-size: 12pt; font-family: Calibri, Arial, Helvetica, sans-serif; color: black; background-color: rgb(255, 255, 255)">
<span style="margin: 0px"><span style="margin: 0px">00000000004004f4 <b>:<br>
</span>
<div style="margin: 0px">  4004f4: d10043ff sub sp, sp, #0x10<br>
</div>
<div style="margin: 0px">  4004f8: f90007e0 str x0, [sp, #8]<br>
</div>
<div style="margin: 0px">  4004fc: 910043ff add sp, sp, #0x10<br>
</div>
<div style="margin: 0px">  400500: d65f03c0 ret<br>
</div>
<div style="margin: 0px"><br>
</div>
<div style="margin: 0px">0000000000400504 <c>:<br>
</div>
<div style="margin: 0px">  400504: d10043ff sub sp, sp, #0x10<br>
</div>
<div style="margin: 0px">  400508: f90007e0 str x0, [sp, #8]<br>
</div>
<div style="margin: 0px">  40050c: f90003e1 str x1, [sp]<br>
</div>
<div style="margin: 0px">  400510: 910043ff add sp, sp, #0x10<br>
</div>
<div style="margin: 0px">  400514: d65f03c0 ret<br>
</div>
<div style="margin: 0px"><br>
</div>
<div style="margin: 0px">0000000000400518 <a>:<br>
</div>
<div style="margin: 0px">  400518: a9bf7bfd stp x29, x30, [sp, #-16]!<br>
</div>
<div style="margin: 0px">  40051c: 910003fd mov x29, sp<br>
</div>
<div style="margin: 0px">  400520: 90000000 adrp x0, 400000 <_init-0x388><br>
</div>
<div style="margin: 0px">  400524: 91146000 add x0, x0, #0x518<br>
</div>
<div style="margin: 0px">  400528: 97fffff3 bl 4004f4 <b><br>
</div>
<div style="margin: 0px">  40052c: 90000000 adrp x0, 400000 <_init-0x388><br>
</div>
<div style="margin: 0px">  400530: 91188000 add x0, x0, #0x620<br>
</div>
<div style="margin: 0px">  400534: 90000001 adrp x1, 400000 <_init-0x388><br>
</div>
<div style="margin: 0px">  400538: 9113d021 add x1, x1, #0x4f4<br>
</div>
<div style="margin: 0px">  40053c: 97fffff2 bl 400504 <c><br>
</div>
<div style="margin: 0px">  400540: 17fffffb b 40052c <a+0x14><br>
</div>
<div style="margin: 0px"><br>
</div>
<div style="margin: 0px">0000000000400544 <main>:<br>
</div>
<div style="margin: 0px">  400544: d10083ff sub sp, sp, #0x20<br>
</div>
<div style="margin: 0px">  400548: a9017bfd stp x29, x30, [sp, #16]<br>
</div>
<div style="margin: 0px">  40054c: 910043fd add x29, sp, #0x10<br>
</div>
<div style="margin: 0px">  400550: 2a1f03e8 mov w8, wzr<br>
</div>
<div style="margin: 0px">  400554: b81fc3bf stur wzr, [x29, #-4]<br>
</div>
<div style="margin: 0px">  400558: b9000be8 str w8, [sp, #8]<br>
</div>
<div style="margin: 0px">  40055c: 97ffffef bl 400518 <a><br>
</div>
<div style="margin: 0px">  400560: b9400be0 ldr w0, [sp, #8]<br>
</div>
<div style="margin: 0px">  400564: a9417bfd ldp x29, x30, [sp, #16]<br>
</div>
<div style="margin: 0px">  400568: 910083ff add sp, sp, #0x20<br>
</div>
<span style="margin: 0px">  40056c: d65f03c0 ret</span></span></div>
<br>
</div>
</body>
</html>