Displaying 1 result from an estimated 1 matches for "numincomingvalues".
2020 May 17
2
Question about the order of predecessors in LoopVectorizer with VPlanNatviePath
...roblem comes from "InnerLoopVectorizer::fixNonInductionPHIs()".
This function has assumption about the order of predecessors as below.
// The predecessor order is preserved and we can rely on mapping between
// scalar and vector block predecessors.
for (unsigned i = 0; i < NumIncomingValues; ++i) {
It seems it assumes loop latch as first predecessor and loop preheader
as second one or something like that.
I am not sure there is rule to keep the order of predecessors but I
can see Jump Threading pass generates different order of predecessors
on basic blocks.
If llvm does not have th...