<div dir="ltr"><div>Can't really help here, but it does sound wrong, and something that the compiler should be able to "deal with" (that "this is a stack adjustment, and it needs to be done atomically before stack is used"). I've run into similar bugs in the past, where some [not clang+llvm] compiler doesn't understand that the stack pointer is not "only used by this function".<br><br>--<br></div>Mats<br></div><div class="gmail_extra"><br><div class="gmail_quote">On 16 October 2017 at 12:08, Mikael Holmén via llvm-dev <span dir="ltr"><<a href="mailto:llvm-dev@lists.llvm.org" target="_blank">llvm-dev@lists.llvm.org</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hi llvm-dev,<br>
<br>
On a number of occations we've run into different versions of problems with our out-of-tree target when it comes to scheduling of stack pointer updates vs interrupts at unfortunate places.<br>
<br>
Example:<br>
<br>
If we allocate an object on the stack with alignment we get something like:<br>
<br>
mv sp, r0<br>
sub r0, 2, r0<br>
and r0, 0xfffe, r0<br>
mv r0, sp<br>
<br>
and then there might follow an instruction storing to the allocated space:<br>
<br>
store 42, r0<br>
<br>
and further down a load from it<br>
<br>
load r0, r1<br>
<br>
The problem we've run into is that the store is scheduled before the update of sp:<br>
<br>
mv sp, r0<br>
sub r0, 2, r0<br>
and r0, 0xfffe, r0<br>
store 42, r0<br>
mv r0, sp<br>
<br>
This works well in most cases, but if we are unfortunate enough to trigger an interrupt after the store, but before the sp update, the interrupt code might overwrite the stuff that the store just wrote to the stack, so when we continue after the interrupt, the last load might read rubbish data.<br>
<br>
The store is only depending on r0, but we would like to make sure that the actual move to sp is carried out before it too.<br>
<br>
I've failed to see how other targets solve this kind of problem, I suppose we're not alone in facing this issue?<br>
<br>
Regards,<br>
Mikael<br>
______________________________<wbr>_________________<br>
LLVM Developers mailing list<br>
<a href="mailto:llvm-dev@lists.llvm.org" target="_blank">llvm-dev@lists.llvm.org</a><br>
<a href="http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev" rel="noreferrer" target="_blank">http://lists.llvm.org/cgi-bin/<wbr>mailman/listinfo/llvm-dev</a><br>
</blockquote></div><br></div>