[Reassociate] Prevent infinite loops when processing PHIs.
authorDavide Italiano <davide@freebsd.org>
Fri, 11 May 2018 15:45:36 +0000 (15:45 +0000)
committerDavide Italiano <davide@freebsd.org>
Fri, 11 May 2018 15:45:36 +0000 (15:45 +0000)
commit6e1f7bf316424f3b3af108db4911c09cb24c421c
treee082ae2c2be4d0207c1345eaeb9e4a0558e9f6e7
parent0f2a48c1ae6d982c7245efd4ceb0673ae1387b90
[Reassociate] Prevent infinite loops when processing PHIs.

Phi nodes can reside in live blocks but one of their incoming
arguments can come from a dead block. Dead blocks and reassociate
don't play nice together. In fact, reassociate performs an RPO
as a first step to avoid processing dead blocks.

The reason why Reassociate might not fixpoint when examining
dead blocks is that the following:

  %xor0 = xor i16 %xor1, undef
  %xor1 = xor i16 %xor0, undef

is perfectly valid LLVM IR (if it appears in a dead block),
so the worklist algorithm keeps pushing the two instructions for
reexamination. Note that this is not Reassociate fault, at least
not entirely. It's llvm that has a weird definition of dominance.

Fixes PR37390.

llvm-svn: 332100
llvm/lib/Transforms/Scalar/Reassociate.cpp
llvm/test/Transforms/Reassociate/infloop-deadphi.ll [new file with mode: 0644]