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