[llvm-dev] RFC: Generalize AssumptionCache to AxiomCache

[Sanjoy Das via llvm-dev]

Hi Hal,

On Sat, Apr 30, 2016 at 1:13 PM, Hal Finkel <hfinkel at anl.gov> wrote:
> I agree what reusing the existing infrastructure makes sense. Why not just keep one list in the assumption cache and provide a way for the client to filter should it care whether or not post-dominance truth is implied. I assume ;) that unless the lists are going to large and clients are likely to want to filter then a single list will be more efficient.

Sounds great, I'll put some patches up for review soon.

-- Sanjoy