<br>
<br>
On Tue, Nov 17, 2020 at 11:14 AM Valdis Klētnieks <<a href="mailto:valdis.kletnieks@vt.edu">valdis.kletnieks@vt.edu</a>> wrote:<br>
<br>
> If you swap them, you get...<br>
><br>
> dc ivac,x1   // invalidate a cache line that's probably OK<br>
> str w0,[x1   // and now we do a store that leaves a possibly stale cache line<br>
><br>
> In other words, if you swap them you may leave an un-invalidated<br>
> stale cache line.<br><br>You mean, even if STCLR_EL1.{C, M} is cleared, store doesn't bypass the cache?<br>
<br>