Searched defs:IRCE (Results 1 – 1 of 1) sorted by relevance
1776 InductiveRangeCheckElimination IRCE(SE, &BPI, DT, LI, { getBFI }); in run() local1828 InductiveRangeCheckElimination IRCE(SE, &BPI, DT, LI); in runOnFunction() local