Searched refs:IRCE (Results 1 – 1 of 1) sorted by relevance
916 InductiveRangeCheckElimination IRCE(SE, &BPI, DT, LI, { getBFI }); in run() local944 if (IRCE.run(L, LPMAddNewLoop)) { in run()