> On Apr 15, 2016, at 06:37 , Andreas Krebbel <kreb...@linux.vnet.ibm.com> > wrote: >> /* (mem:BLK (scratch)) is a special mechanism to conflict with everything. >> This is used in epilogue deallocation functions. */ >> ... > > Ok thanks. I've verified that the dependencies are also generated when > using this expression in a clobber.
Ok, thanks. This is consistent with what I've seen. >> sequence was allowed to move past the stack pointer reset when >> it's performed as a mere register to register move. > > I've seen the same on S/390 when restoring the stack pointer > from a floating point reg. But I think it is not limited to > reg-reg stack pointer restores. Potentially this could also > happen with the stack pointer decrement in the prologue which > could also get moved across a mem only barrier. Indeed. With Kind Regards, Olivier