On 03/07/18 12:30, Richard Biener wrote:
Hmm, so they're safe, but may prevent the optimization of nearby variables?Yes, they prevent earlier stores into lanes that are "really" written to to be DSEd.
Right, but I have unrelated variables allocated to the stack within the "shadow" of the masked vector. I didn't ask it to do that, it just does, so I presume this is an expect feature of masked vectors with a known mask.
Surely this prevents valid optimizations on those variables? Andrew