search for: axiomcach

...ted (but *not* post-dominated) by the call[1]. I'd like to re-use the AssumptionCache infrastructure that already exists to teach the mid level optimizer to exploit this property. The steps I want to take are (not necessarily in this order or split up this way): - Rename AssumptionCache to AxiomCache (or something similar) - Maintain two lists in AxiomCache, one for assumptions (exactly the same as today) and other for guards (`AxiomCache::guards()`) - Change places that check check the `assumptions()` list to also check the newly added `guards()` list I want to maintain `assumpti...