Lines Matching refs:verifyMemorySSA

593     MSSAU->getMemorySSA()->verifyMemorySSA();  in unswitchTrivialBranch()
616     MSSAU->getMemorySSA()->verifyMemorySSA();  in unswitchTrivialBranch()
682     MSSAU->getMemorySSA()->verifyMemorySSA();  in unswitchTrivialBranch()
709     MSSAU->getMemorySSA()->verifyMemorySSA();  in unswitchTrivialBranch()
792     MSSAU->getMemorySSA()->verifyMemorySSA();  in unswitchTrivialSwitch()
1016       MSSAU->getMemorySSA()->verifyMemorySSA();  in unswitchTrivialSwitch()
1028     MSSAU->getMemorySSA()->verifyMemorySSA();  in unswitchTrivialSwitch()
2206     MSSAU->getMemorySSA()->verifyMemorySSA();  in unswitchNontrivialInvariants()
2510     MSSAU->getMemorySSA()->verifyMemorySSA();  in unswitchNontrivialInvariants()
2517     MSSAU->getMemorySSA()->verifyMemorySSA();  in unswitchNontrivialInvariants()
2647     MSSAU->getMemorySSA()->verifyMemorySSA();  in unswitchNontrivialInvariants()
2736     MSSAU->getMemorySSA()->verifyMemorySSA();  in turnSelectIntoBranch()
2771      MSSAU->getMemorySSA()->verifyMemorySSA();  in turnGuardIntoBranch()
2797       MSSAU->getMemorySSA()->verifyMemorySSA();  in turnGuardIntoBranch()
3156     MSSAU->getMemorySSA()->verifyMemorySSA();  in injectPendingInvariantConditions()
3698       AR.MSSA->verifyMemorySSA();  in run()
3705     AR.MSSA->verifyMemorySSA();  in run()