search for: aamanager

...ing to use LLVM's AliasAnalysis pass, but from a standalone tool that uses llvm libraries. The following is the code snippet I am currently using. PassBuilder PB; auto mod_manager = ModuleAnalysisManager { }; PB.registerModuleAnalyses(mod_manager); AAResults& AAR = mod_manager.getResult<AAManager>(*M); But the code fails at .getResult with the following error: /llvm/include/llvm/IR/PassManager.h:778: typename PassT::Result& llvm::AnalysisManager<IRUnitT, ExtraArgTs>::getResult(IRUnitT&, ExtraArgTs ...) [with PassT = llvm::AAManager; IRUnitT = llvm::Module; ExtraArgTs = {};...

Hi! I am trying to extend the native AliasAnalysis of LLVM to use an external analysis pass. Doing this with the legacy pass manager works fine through calling addRequired() in the getAnalysisUsage and getAnalysis() in function runOnFunction(). In the new pass manager, I haven't found a similar way of doing this. When running opt with -O3, I encounter the following error: >Assertion

...o pointers to other analyses. > VerifierAnalysis: No pointers to other analyses. > > Module alias analyses: 1/1 keeps pointer to other analysis. > GlobalsAA: Result keeps pointer to TLI (this is a function analysis). > > Function analyses: 9/17 keep pointers to other analysis > AAManager: Its Result holds TLI pointer and pointers to individual AA > result objects. > AssumptionAnalysis: No pointers to other analyses. > BlockFrequencyAnalysis: Its Result holds pointers to LoopInfo and BPI. > BranchProbabilityAnalysis: Stores no pointers to other analyses. (uses > LoopI...

On Tue, Jul 12, 2016 at 11:34 PM Sean Silva <chisophugis at gmail.com> wrote: > On Tue, Jul 12, 2016 at 11:32 PM, Xinliang David Li <davidxl at google.com> > wrote: > >> >> >> On Tue, Jul 12, 2016 at 10:57 PM, Chandler Carruth <chandlerc at gmail.com> >> wrote: >> >>> Yea, this is a nasty problem. >>> >>> One

...sis: No pointers to other analyses. >>> >>> Module alias analyses: 1/1 keeps pointer to other analysis. >>> GlobalsAA: Result keeps pointer to TLI (this is a function analysis). >>> >>> Function analyses: 9/17 keep pointers to other analysis >>> AAManager: Its Result holds TLI pointer and pointers to individual AA >>> result objects. >>> AssumptionAnalysis: No pointers to other analyses. >>> BlockFrequencyAnalysis: Its Result holds pointers to LoopInfo and BPI. >>> BranchProbabilityAnalysis: Stores no pointers to...

...the > context (since you can currently only run a single pass pipeline > concurrently on a single LLVMContext)). The net result is that you can > specify a context-global "configuration" for each analysis type (not to be > confused with the analysis *result* type!). Right now, AAManager is the > only thing that uses it though (the "configuration" is the AA pipeline). > > > > btw, I've started to keep a log for this like I do for my projects at > home: > https://docs.google.com/document/d/1-nrq2y_hTiZhrsJDmH8TzFjFEeApfccs6wwGyaXjSkg/edit?usp=shari...

...ysis: No pointers to other analyses. > VerifierAnalysis: No pointers to other analyses. > Module alias analyses: 1/1 keeps pointer to other analysis. > GlobalsAA: Result keeps pointer to TLI (this is a function analysis). > Function analyses: 9/17 keep pointers to other analysis > AAManager: Its Result holds TLI pointer and pointers to individual AA > result objects. > AssumptionAnalysis: No pointers to other analyses. > BlockFrequencyAnalysis: Its Result holds pointers to LoopInfo and > BPI. > BranchProbabilityAnalysis: Stores no pointers to other analyses. > (use...

...text (since you can currently only run a single pass pipeline >> concurrently on a single LLVMContext)). The net result is that you can >> specify a context-global "configuration" for each analysis type (not to be >> confused with the analysis *result* type!). Right now, AAManager is the >> only thing that uses it though (the "configuration" is the AA pipeline). >> >> >> >> btw, I've started to keep a log for this like I do for my projects at >> home: >> https://docs.google.com/document/d/1-nrq2y_hTiZhrsJDmH8TzFjFEeApfc...

...dule alias analyses: 1/1 keeps pointer to other analysis. >>>>>>> GlobalsAA: Result keeps pointer to TLI (this is a function analysis). >>>>>>> >>>>>>> Function analyses: 9/17 keep pointers to other analysis >>>>>>> AAManager: Its Result holds TLI pointer and pointers to individual >>>>>>> AA result objects. >>>>>>> AssumptionAnalysis: No pointers to other analyses. >>>>>>> BlockFrequencyAnalysis: Its Result holds pointers to LoopInfo and >>>>&gt...

...>> >>>>> Module alias analyses: 1/1 keeps pointer to other analysis. >>>>> GlobalsAA: Result keeps pointer to TLI (this is a function analysis). >>>>> >>>>> Function analyses: 9/17 keep pointers to other analysis >>>>> AAManager: Its Result holds TLI pointer and pointers to individual AA >>>>> result objects. >>>>> AssumptionAnalysis: No pointers to other analyses. >>>>> BlockFrequencyAnalysis: Its Result holds pointers to LoopInfo and BPI. >>>>> BranchProbability...

...you can currently only run a single pass pipeline >>> concurrently on a single LLVMContext)). The net result is that you can >>> specify a context-global "configuration" for each analysis type (not to be >>> confused with the analysis *result* type!). Right now, AAManager is the >>> only thing that uses it though (the "configuration" is the AA pipeline). >>> >>> >>> >>> btw, I've started to keep a log for this like I do for my projects at >>> home: >>> https://docs.google.com/document/d/1-n...

...Result keeps pointer to TLI (this is a function > > > > > analysis). > > > > > > > > > > > > > > > Function analyses: 9/17 keep pointers to other analysis > > > > > > > > > > > > > > > AAManager: Its Result holds TLI pointer and pointers to > > > > > individual > > > > > AA > > > > > result objects. > > > > > > > > > > > > > > > AssumptionAnalysis: No pointers to other analyses. > > > &gt...

...; > > > > > > > > > > > > > > > > > > Function analyses: 9/17 keep pointers to other analysis > > > > > > > > > > > > > > > > > > > > > > > > > > > > AAManager: Its Result holds TLI pointer and pointers to > > > > > > > individual > > > > > > > AA > > > > > > > result objects. > > > > > > > > > > > > > > > > > > > > > > &g...

...; > > > > > > > > > > > > > > > > > > Function analyses: 9/17 keep pointers to other analysis > > > > > > > > > > > > > > > > > > > > > > > > > > > > AAManager: Its Result holds TLI pointer and pointers to > > > > > > > individual > > > > > > > AA > > > > > > > result objects. > > > > > > > > > > > > > > > > > > > > > > &g...

...; > > > > > > > > > > > > > > > > > > Function analyses: 9/17 keep pointers to other analysis > > > > > > > > > > > > > > > > > > > > > > > > > > > > AAManager: Its Result holds TLI pointer and pointers to > > > > > > > individual > > > > > > > AA > > > > > > > result objects. > > > > > > > > > > > > > > > > > > > > > > &g...

...;>>> Module alias analyses: 1/1 keeps pointer to other analysis. >>>>>> GlobalsAA: Result keeps pointer to TLI (this is a function analysis). >>>>>> >>>>>> Function analyses: 9/17 keep pointers to other analysis >>>>>> AAManager: Its Result holds TLI pointer and pointers to individual AA >>>>>> result objects. >>>>>> AssumptionAnalysis: No pointers to other analyses. >>>>>> BlockFrequencyAnalysis: Its Result holds pointers to LoopInfo and BPI. >>>>>> B...

...dule alias analyses: 1/1 keeps pointer to other analysis. >>>>>>> GlobalsAA: Result keeps pointer to TLI (this is a function analysis). >>>>>>> >>>>>>> Function analyses: 9/17 keep pointers to other analysis >>>>>>> AAManager: Its Result holds TLI pointer and pointers to individual >>>>>>> AA result objects. >>>>>>> AssumptionAnalysis: No pointers to other analyses. >>>>>>> BlockFrequencyAnalysis: Its Result holds pointers to LoopInfo and >>>>&gt...

...analysis. >>>>>>>>>> GlobalsAA: Result keeps pointer to TLI (this is a function analysis). >>>>>>>>>> >>>>>>>>>> Function analyses: 9/17 keep pointers to other analysis >>>>>>>>>> AAManager: Its Result holds TLI pointer and pointers to individual AA result objects. >>>>>>>>>> AssumptionAnalysis: No pointers to other analyses. >>>>>>>>>> BlockFrequencyAnalysis: Its Result holds pointers to LoopInfo and BPI. >>>>&gt...