Skip to content

Commit

Permalink
Revert "[VPlan] Use VPValue def for VPWidenSelectRecipe."
Browse files Browse the repository at this point in the history
This reverts commit a8e50f1.

This reportedly breaks building the Linux kernel.
  https://bugs.llvm.org/show_bug.cgi?id=48142
  • Loading branch information
fhahn committed Nov 10, 2020
1 parent c43f8c7 commit c8d73d9
Show file tree
Hide file tree
Showing 5 changed files with 14 additions and 33 deletions.
14 changes: 5 additions & 9 deletions llvm/lib/Transforms/Vectorize/LoopVectorize.cpp
Expand Up @@ -469,7 +469,7 @@ class InnerLoopVectorizer {
VPTransformState &State);

/// Widen a single select instruction within the innermost loop.
void widenSelectInstruction(SelectInst &I, VPValue *VPDef, VPUser &Operands,
void widenSelectInstruction(SelectInst &I, VPUser &Operands,
bool InvariantCond, VPTransformState &State);

/// Fix the vectorized code, taking care of header phi's, live-outs, and more.
Expand Down Expand Up @@ -4686,7 +4686,7 @@ void InnerLoopVectorizer::widenCallInstruction(CallInst &I, VPValue *Def,
}
}

void InnerLoopVectorizer::widenSelectInstruction(SelectInst &I, VPValue *VPDef,
void InnerLoopVectorizer::widenSelectInstruction(SelectInst &I,
VPUser &Operands,
bool InvariantCond,
VPTransformState &State) {
Expand All @@ -4705,7 +4705,7 @@ void InnerLoopVectorizer::widenSelectInstruction(SelectInst &I, VPValue *VPDef,
Value *Op0 = State.get(Operands.getOperand(1), Part);
Value *Op1 = State.get(Operands.getOperand(2), Part);
Value *Sel = Builder.CreateSelect(Cond, Op0, Op1);
State.set(VPDef, &I, Sel, Part);
VectorLoopValueMap.setVectorValue(&I, Part, Sel);
addMetadata(Sel, &I);
}
}
Expand Down Expand Up @@ -7640,10 +7640,7 @@ void LoopVectorizationPlanner::buildVPlansWithVPRecipes(ElementCount MinVF,
NeedDef.insert(Legal->getPrimaryInduction());
for (auto &Reduction : Legal->getReductionVars()) {
NeedDef.insert(Reduction.first);
// VPWidenSelect is a VPValue already, there is no need to add a separate
// VPValue.
if (!isa<SelectInst>(Reduction.second.getLoopExitInstr()))
NeedDef.insert(Reduction.second.getLoopExitInstr());
NeedDef.insert(Reduction.second.getLoopExitInstr());
}
}

Expand Down Expand Up @@ -8003,8 +8000,7 @@ void VPWidenCallRecipe::execute(VPTransformState &State) {
}

void VPWidenSelectRecipe::execute(VPTransformState &State) {
State.ILV->widenSelectInstruction(*cast<SelectInst>(getUnderlyingInstr()),
this, *this, InvariantCond, State);
State.ILV->widenSelectInstruction(Ingredient, *this, InvariantCond, State);
}

void VPWidenRecipe::execute(VPTransformState &State) {
Expand Down
15 changes: 2 additions & 13 deletions llvm/lib/Transforms/Vectorize/VPlan.cpp
Expand Up @@ -108,8 +108,6 @@ VPValue *VPRecipeBase::toVPValue() {
return V;
if (auto *V = dyn_cast<VPWidenCallRecipe>(this))
return V;
if (auto *V = dyn_cast<VPWidenSelectRecipe>(this))
return V;
return nullptr;
}

Expand All @@ -120,8 +118,6 @@ const VPValue *VPRecipeBase::toVPValue() const {
return V;
if (auto *V = dyn_cast<VPWidenCallRecipe>(this))
return V;
if (auto *V = dyn_cast<VPWidenSelectRecipe>(this))
return V;
return nullptr;
}

Expand Down Expand Up @@ -847,15 +843,8 @@ void VPWidenCallRecipe::print(raw_ostream &O, const Twine &Indent,

void VPWidenSelectRecipe::print(raw_ostream &O, const Twine &Indent,
VPSlotTracker &SlotTracker) const {
O << "\"WIDEN-SELECT ";
printAsOperand(O, SlotTracker);
O << " = select ";
getOperand(0)->printAsOperand(O, SlotTracker);
O << ", ";
getOperand(1)->printAsOperand(O, SlotTracker);
O << ", ";
getOperand(2)->printAsOperand(O, SlotTracker);
O << (InvariantCond ? " (condition is loop invariant)" : "");
O << "\"WIDEN-SELECT" << VPlanIngredient(&Ingredient)
<< (InvariantCond ? " (condition is loop invariant)" : "");
}

void VPWidenRecipe::print(raw_ostream &O, const Twine &Indent,
Expand Down
8 changes: 5 additions & 3 deletions llvm/lib/Transforms/Vectorize/VPlan.h
Expand Up @@ -877,7 +877,10 @@ class VPWidenCallRecipe : public VPRecipeBase, public VPValue, public VPUser {
};

/// A recipe for widening select instructions.
class VPWidenSelectRecipe : public VPRecipeBase, public VPValue, public VPUser {
class VPWidenSelectRecipe : public VPRecipeBase, public VPUser {
private:
/// Hold the select to be widened.
SelectInst &Ingredient;

/// Is the condition of the select loop invariant?
bool InvariantCond;
Expand All @@ -886,8 +889,7 @@ class VPWidenSelectRecipe : public VPRecipeBase, public VPValue, public VPUser {
template <typename IterT>
VPWidenSelectRecipe(SelectInst &I, iterator_range<IterT> Operands,
bool InvariantCond)
: VPRecipeBase(VPRecipeBase::VPWidenSelectSC),
VPValue(VPValue::VPVWidenSelectSC, &I), VPUser(Operands),
: VPRecipeBase(VPWidenSelectSC), VPUser(Operands), Ingredient(I),
InvariantCond(InvariantCond) {}

~VPWidenSelectRecipe() override = default;
Expand Down
8 changes: 1 addition & 7 deletions llvm/lib/Transforms/Vectorize/VPlanValue.h
Expand Up @@ -78,13 +78,7 @@ class VPValue {
/// are actually instantiated. Values of this enumeration are kept in the
/// SubclassID field of the VPValue objects. They are used for concrete
/// type identification.
enum {
VPValueSC,
VPInstructionSC,
VPMemoryInstructionSC,
VPVWidenCallSC,
VPVWidenSelectSC
};
enum { VPValueSC, VPInstructionSC, VPMemoryInstructionSC, VPVWidenCallSC };

VPValue(Value *UV = nullptr) : VPValue(VPValueSC, UV) {}
VPValue(const VPValue &) = delete;
Expand Down
2 changes: 1 addition & 1 deletion llvm/test/Transforms/LoopVectorize/icmp-uniforms.ll
Expand Up @@ -39,7 +39,7 @@ for.end:
; CHECK-NEXT: "loop:\n" +
; CHECK-NEXT: "WIDEN-INDUCTION %iv = phi 0, %iv.next\l" +
; CHECK-NEXT: "WIDEN\l"" %cond0 = icmp %iv, 13\l" +
; CHECK-NEXT: "WIDEN-SELECT ir<%s> = select ir<%cond0>, ir<10>, ir<20>\l"
; CHECK-NEXT: "WIDEN-SELECT%s = select %cond0, 10, 20\l"
; CHECK-NEXT: ]
define void @test() {
entry:
Expand Down

0 comments on commit c8d73d9

Please sign in to comment.