for (PHINode &PHI : loop->getHeader()->phis()) {
                PHINode *ClonedPHI = dyn_cast<PHINode>(VMap[&PHI]);
                Value *LastValue = ClonedPHI;
                if (clonedLoop->getExitingBlock() == clonedLoop->getLoopLatch()) {
                    LastValue = ClonedPHI->getIncomingValueForBlock(clonedLoop->getLoopLatch());
                } else
                    assert(clonedLoop->getExitingBlock() == clonedLoop->getHeader() && "Expected exiting block to be the loop header!");
                PHI.setIncomingValue(PHI.getBasicBlockIndex(loop->getLoopPreheader()), LastValue);
            }