[llvm] r332100 - [Reassociate] Prevent infinite loops when processing PHIs.
Davide Italiano via llvm-commits
llvm-commits at lists.llvm.org
Fri May 11 08:45:36 PDT 2018
Author: davide
Date: Fri May 11 08:45:36 2018
New Revision: 332100
URL: http://llvm.org/viewvc/llvm-project?rev=332100&view=rev
Log:
[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.
Added:
llvm/trunk/test/Transforms/Reassociate/infloop-deadphi.ll
Modified:
llvm/trunk/lib/Transforms/Scalar/Reassociate.cpp
Modified: llvm/trunk/lib/Transforms/Scalar/Reassociate.cpp
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/lib/Transforms/Scalar/Reassociate.cpp?rev=332100&r1=332099&r2=332100&view=diff
==============================================================================
--- llvm/trunk/lib/Transforms/Scalar/Reassociate.cpp (original)
+++ llvm/trunk/lib/Transforms/Scalar/Reassociate.cpp Fri May 11 08:45:36 2018
@@ -1905,7 +1905,14 @@ void ReassociatePass::EraseInst(Instruct
while (Op->hasOneUse() && Op->user_back()->getOpcode() == Opcode &&
Visited.insert(Op).second)
Op = Op->user_back();
- RedoInsts.insert(Op);
+
+ // The instruction we're going to push may be coming from a
+ // dead block, and Reassociate skips the processing of unreachable
+ // blocks because it's a waste of time and also because it can
+ // lead to infinite loop due to LLVM's non-standard definition
+ // of dominance.
+ if (ValueRankMap.find(Op) != ValueRankMap.end())
+ RedoInsts.insert(Op);
}
MadeChange = true;
Added: llvm/trunk/test/Transforms/Reassociate/infloop-deadphi.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Transforms/Reassociate/infloop-deadphi.ll?rev=332100&view=auto
==============================================================================
--- llvm/trunk/test/Transforms/Reassociate/infloop-deadphi.ll (added)
+++ llvm/trunk/test/Transforms/Reassociate/infloop-deadphi.ll Fri May 11 08:45:36 2018
@@ -0,0 +1,28 @@
+; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
+; RUN: opt -reassociate %s -S | FileCheck %s
+
+target triple = "x86_64-unknown-linux-gnu"
+
+define void @f() {
+; CHECK-LABEL: @f(
+; CHECK-NEXT: entry:
+; CHECK-NEXT: br label [[DONE:%.*]]
+; CHECK: dead:
+; CHECK-NEXT: [[XOR0:%.*]] = xor i16 [[XOR1:%.*]], undef
+; CHECK-NEXT: [[XOR1]] = xor i16 [[XOR0]], undef
+; CHECK-NEXT: br i1 undef, label [[DEAD:%.*]], label [[DONE]]
+; CHECK: done:
+; CHECK-NEXT: ret void
+;
+entry:
+ br label %done
+
+dead:
+ %xor0 = xor i16 %xor1, undef
+ %xor1 = xor i16 %xor0, undef
+ br i1 undef, label %dead, label %done
+
+done:
+ %e = phi i16 [ %xor1, %dead ], [ 0, %entry ]
+ ret void
+}
More information about the llvm-commits
mailing list