SLP/Loop vectorizer pass ordering

Wed Oct 29 23:16:28 PDT 2014

On Wed, Oct 29, 2014 at 04:12:41PM -0700, Michael Zolotukhin wrote:
> Okay, seemingly it’s just a bug in the vectorizer: it updates DT incorrectly. Specifically, this line is incorrect:
>   DT->changeImmediateDominator(LoopExitBlock, LoopMiddleBlock);
> 
> The correct dominator for LoopExitBlock in this case would be LoopBypassBlocks[0] (not LoopMiddleBlock). I’ll send a patch soon.

Could this be the problem behind 21302 too?

Joerg