Lines Matching refs:verifyMemorySSA
591 MSSAU->getMemorySSA()->verifyMemorySSA(); in unswitchTrivialBranch()
614 MSSAU->getMemorySSA()->verifyMemorySSA(); in unswitchTrivialBranch()
677 MSSAU->getMemorySSA()->verifyMemorySSA(); in unswitchTrivialBranch()
704 MSSAU->getMemorySSA()->verifyMemorySSA(); in unswitchTrivialBranch()
787 MSSAU->getMemorySSA()->verifyMemorySSA(); in unswitchTrivialSwitch()
1007 MSSAU->getMemorySSA()->verifyMemorySSA(); in unswitchTrivialSwitch()
1019 MSSAU->getMemorySSA()->verifyMemorySSA(); in unswitchTrivialSwitch()
2192 MSSAU->getMemorySSA()->verifyMemorySSA(); in unswitchNontrivialInvariants()
2490 MSSAU->getMemorySSA()->verifyMemorySSA(); in unswitchNontrivialInvariants()
2497 MSSAU->getMemorySSA()->verifyMemorySSA(); in unswitchNontrivialInvariants()
2627 MSSAU->getMemorySSA()->verifyMemorySSA(); in unswitchNontrivialInvariants()
2714 MSSAU->getMemorySSA()->verifyMemorySSA(); in turnSelectIntoBranch()
2749 MSSAU->getMemorySSA()->verifyMemorySSA(); in turnGuardIntoBranch()
2775 MSSAU->getMemorySSA()->verifyMemorySSA(); in turnGuardIntoBranch()
3134 MSSAU->getMemorySSA()->verifyMemorySSA(); in injectPendingInvariantConditions()
3676 AR.MSSA->verifyMemorySSA(); in run()
3683 AR.MSSA->verifyMemorySSA(); in run()