@@ -503,6 +503,11 @@ Value *PredicateInfoBuilder::materializeStack(unsigned int &Counter,
503503 const Twine &Name = " " ) {
504504 auto It = PI.DeclarationCache .try_emplace (Op->getType ());
505505 if (It.second ) {
506+ // The number of named values is used to detect if a new declaration
507+ // was added. If so, that declaration is tracked so that it can be
508+ // removed when the analysis is done. The corner case were a new
509+ // declaration results in a name clash and the old name being renamed
510+ // is not considered as that represents an invalid module.
506511 auto NumDecls = F.getParent ()->getNumNamedValues ();
507512 Function *IF = Intrinsic::getOrInsertDeclaration (
508513 F.getParent (), Intrinsic::ssa_copy, Op->getType ());
@@ -517,11 +522,6 @@ Value *PredicateInfoBuilder::materializeStack(unsigned int &Counter,
517522 // to ensure we dominate all uses except assume itself. Always insert
518523 // right before the terminator or after the assume, so that we insert in
519524 // proper order in the case of multiple predicateinfo in the same block.
520- // The number of named values is used to detect if a new declaration was
521- // added. If so, that declaration is tracked so that it can be removed when
522- // the analysis is done. The corner case were a new declaration results in
523- // a name clash and the old name being renamed is not considered as that
524- // represents an invalid module.
525525 if (isa<PredicateWithEdge>(ValInfo)) {
526526 IRBuilder<> B (getBranchTerminator (ValInfo));
527527 CallInst *PIC =
0 commit comments