<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">On 14 November 2013 16:38, Nadav Rotem <span dir="ltr"><<a href="mailto:nrotem@apple.com" target="_blank">nrotem@apple.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Sure.  Vectorization of stores is done by loading the current value from memory, blending the new value and saving it back to memory.<br></blockquote><div></div></div><br></div><div class="gmail_extra">I guess the cost model could let you know if it's profitable or not with the extra load+mask. But you need to teach it first.</div>
<div class="gmail_extra"><br></div><div class="gmail_extra">I was worried that telling that m[] can be speculatively read/written does not automatically propagate to x[], so maybe you should have to add the same pragma on both to make the induction case work, but only one for the reduction case.</div>
<div class="gmail_extra"><br></div><div class="gmail_extra">cheers,</div><div class="gmail_extra">--renato</div></div>