[llvm-dev] RFC: Generalize AssumptionCache to AxiomCache
Sanjoy Das via llvm-dev
llvm-dev at lists.llvm.org
Mon May 2 17:33:46 PDT 2016
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.
More information about the llvm-dev