Searched refs:unregisterAssumption (Results 1 – 3 of 3) sorted by relevance
123 void unregisterAssumption(AssumeInst *CI);
142 void AssumptionCache::unregisterAssumption(AssumeInst *CI) { in unregisterAssumption() function in AssumptionCache
1599 AC->unregisterAssumption(AI); in extractCodeRegion()