search for: aaresultswrapperpass

Hi, Migrating from 3.5 to 3.9. There is a module pass that uses alias analysis started breaking at runtime: llvm/lnx64/llvm/include/llvm/PassAnalysisSupport.h:236: AnalysisType& llvm::Pass::getAnalysisID(llvm::AnalysisID) const [with AnalysisType = llvm::AAResultsWrapperPass; llvm::AnalysisID = const void*]: Assertion `ResultPass && "getAnalysis*() called on an analysis that was not " "'required' by pass!"' failed. What does this mean? I have this line in my "required" list: void XidanePass::getAnalysisUsage(Analysi...

...ting from 3.5 to 3.9. There is a module pass that uses alias > > analysis started breaking at runtime: > > > > llvm/lnx64/llvm/include/llvm/PassAnalysisSupport.h:236: AnalysisType& > > llvm::Pass::getAnalysisID(llvm::AnalysisID) const [with AnalysisType = > > llvm::AAResultsWrapperPass; llvm::AnalysisID = const void*]: Assertion > > `ResultPass && "getAnalysis*() called on an analysis that was not " > > "'required' by pass!"' failed. > > > > See https://reviews.llvm.org/rL247167 . > > -Eli > > -- > Emp...

I am trying to use AliasAnalysis. The code for pass dependence is as following: class Timer : public ModulePass{ AliasAnalysis *AA; void getAnalysisUsage(AnalysisUsage &AU) const override { AU.addRequired<AAResultsWrapperPass>(); } ......... } bool Timer::runOnFunction(Function &F) { LLVMContext &C = F.getContext(); AA = &getAnalysis<AAResultsWrapperPass>(F).getAAResults(); ..... } When the Timer pass is registered by the following code: char CPI::ID = 0; static RegisterPass<CPI> X(&...

Hi, I'm having problems with the LoopIdiomRegognizer crashing on me with An asserting value handle still pointed to this value! UNREACHABLE executed at ../lib/IR/Value.cpp:695! If I remove AU.addPreserved<LoopInfoWrapperPass>(); or AU.addPreserved<AAResultsWrapperPass>(); everything goes well. The C-code triggering this is void foo(int a[10][10]) { int i, j, k; for (i = 0; i < 1; i++) { for (j = 0; j < 2; j++) { for (k = 0; k < 10; k++) { a[j][k] = 42; } } } } First Loop...

Hello, I need to analyze dependencies in my llvm ir by using polly. i created a new pass called mypass there i added polly dependency analysis pass but when i execute this pass in gdb i get no data. Why is that so? My code is follows; namespace { struct mypass : public FunctionPass { static char ID; mypass() : FunctionPass(ID) { } virtual bool runOnFunction(Function &F) {

...lue handle still pointed to this value! >>> UNREACHABLE executed at ../lib/IR/Value.cpp:695! >>> >>> If I remove >>> >>> AU.addPreserved<LoopInfoWrapperPass>(); >>> >>> or >>> >>> AU.addPreserved<AAResultsWrapperPass>(); >>> >>> everything goes well. >>> >>> The C-code triggering this is >>> >>> void foo(int a[10][10]) >>> { >>> int i, j, k; >>> >>> for (i = 0; i < 1; i++) { >>> for...

...) { std::unique_ptr<ScopInfo> Result; std::unique_ptr<ScopDetection> Result2; //polly::ScopDetection pl; auto &LI = getAnalysis<LoopInfoWrapperPass>().getLoopInfo(); auto &RI = getAnalysis<RegionInfoPass>().getRegionInfo(); auto &AA = getAnalysis<AAResultsWrapperPass>().getAAResults(); auto &SE = getAnalysis<ScalarEvolutionWrapperPass>().getSE(); auto &DT = getAnalysis<DominatorTreeWrapperPass>().getDomTree(); Result2.reset(new ScopDetection(F, DT, SE, LI, RI, AA)); auto &SD2 = getAnalysis<polly::ScopDetectionWrapperPass&...

...with the LoopIdiomRegognizer crashing on me with > > An asserting value handle still pointed to this value! > UNREACHABLE executed at ../lib/IR/Value.cpp:695! > > If I remove > > AU.addPreserved<LoopInfoWrapperPass>(); > > or > > AU.addPreserved<AAResultsWrapperPass>(); > > everything goes well. > > The C-code triggering this is > > void foo(int a[10][10]) > { > int i, j, k; > > for (i = 0; i < 1; i++) { > for (j = 0; j < 2; j++) { > for (k = 0; k < 10; k++) { >...

...lt;ScopInfo> Result; > std::unique_ptr<ScopDetection> Result2; > //polly::ScopDetection pl; > > auto &LI = getAnalysis<LoopInfoWrapperPass>().getLoopInfo(); > auto &RI = getAnalysis<RegionInfoPass>().getRegionInfo(); > auto &AA = getAnalysis<AAResultsWrapperPass>().getAAResults(); > auto &SE = getAnalysis<ScalarEvolutionWrapperPass>().getSE(); > auto &DT = getAnalysis<DominatorTreeWrapperPass>().getDomTree(); > Result2.reset(new ScopDetection(F, DT, SE, LI, RI, AA)); > > > > auto &SD2 = getAnalysis<...

Hi, I've noticed that alias analysis queries arising from GVN do not use the results from GlobalsAA. The last call to AAResultsWrapperPass::runOnFunction() before GVN does not add GlobalsAAWrapperPass due to unavailability. This leads to the alias queries from GVN not having any globals mod-ref info. Is this a known issue? and is there any way to have globals mod-ref info available for GVN? Thanks, - Vaivaswatha -------------- ne...

...nOnFunction(Function &F) { std::unique_ptr<ScopInfo> Result; std::unique_ptr<ScopDetection> Result2; auto &LI = getAnalysis<LoopInfoWrapperPass>().getLoopInfo(); auto &RI = getAnalysis<RegionInfoPass>().getRegionInfo(); auto &AA = getAnalysis<AAResultsWrapperPass>().getAAResults(); auto &SE = getAnalysis<ScalarEvolutionWrapperPass>().getSE(); auto &DT = getAnalysis<DominatorTreeWrapperPass>().getDomTree(); Result2.reset(new ScopDetection(F, DT, SE, LI, RI, AA)); auto &SD2 = getAnalysis<polly::ScopDetectionWrapperPass&gt...

How do you compile the code? Within the Polly subdirectory using CMake? How do you run your pass. Using "opt -mypass inputfile.ll"? Michael 2018-01-28 9:30 GMT-06:00 hameeza ahmed via llvm-dev <llvm-dev at lists.llvm.org>: > Hello, > > I need to analyze dependencies in my llvm ir by using polly. i created a new > pass called mypass there i added polly dependency

...t; James > > On Wed, 2 Dec 2015 at 09:35 Vaivaswatha Nagaraj via llvm-dev < > llvm-dev at lists.llvm.org> wrote: > >> Hi, >> >> I've noticed that alias analysis queries arising from GVN do not use the >> results from GlobalsAA. >> The last call to AAResultsWrapperPass::runOnFunction() before GVN does >> not add GlobalsAAWrapperPass due to unavailability. This leads to the alias >> queries from GVN not having any globals mod-ref info. >> >> Is this a known issue? and is there any way to have globals mod-ref info >> available for GVN?...

...gt; > llvm-dev at lists.llvm.org > wrote: > > > > > > > > > > > > > > > > > > Hi, > > > > I've noticed that alias analysis queries arising from GVN do not use > > the results from GlobalsAA. > > The last call to AAResultsWrapperPass::runOnFunction() before GVN > > does not add GlobalsAAWrapperPass due to unavailability. This leads > > to the alias queries from GVN not having any globals mod-ref info. > > > > Is this a known issue? and is there any way to have globals mod-ref > > info available for...

Hi, I'm writing an analysis pass which is supposed to find instructions in a function that modify function's by-ref arguments. For that I'm using llvm AliasAnalysis pass, particularly querying for ModRef info for instructions and function arguments, to see if a given instruction modifies a given argument. However, for functions with more than one by-ref argument, I get strange

...pl)' is freed much > earlier than 'Function Alias Analysis Results' even though the latter > depends on the former (at least AFAICT by looking > at lib/Analysis/AliasAnalysis.cpp)? > > > > As far as I can tell later passes such as scheduling typically depend on > AAResultsWrapperPass which in turn depend on BasicAAWrapperPass (which in > my case also depend on LazyValueInfoWrapperPass). When scheduling needs to > query aliasing it uses its AAResults handle but this may then use its > BasicAA handle which may use its LVI handle and now the problem is that > according...

...> > >> > >> > >> > >> > >> > >> > >> > >> > Hi, >> > >> > I've noticed that alias analysis queries arising from GVN do not use >> > the results from GlobalsAA. >> > The last call to AAResultsWrapperPass::runOnFunction() before GVN >> > does not add GlobalsAAWrapperPass due to unavailability. This leads >> > to the alias queries from GVN not having any globals mod-ref info. >> > >> > Is this a known issue? and is there any way to have globals mod-ref >> &gt...

...t;>> > >>> > >>> > >>> > >>> > >>> > Hi, >>> > >>> > I've noticed that alias analysis queries arising from GVN do not use >>> > the results from GlobalsAA. >>> > The last call to AAResultsWrapperPass::runOnFunction() before GVN >>> > does not add GlobalsAAWrapperPass due to unavailability. This leads >>> > to the alias queries from GVN not having any globals mod-ref info. >>> > >>> > Is this a known issue? and is there any way to have globals mod-...

Hi, Elena, You're correct. We do assume that pointers in different address spaces can alias. Targets can add their own AA pass into the AA query chain, and one of the things such analysis passes can do account for target-specific knowledge of address-space semantics. For example, see lib/Target/AMDGPU/AMDGPUAliasAnalysis.cpp  -Hal On 04/26/2018 07:56 AM, Demikhovsky, Elena via llvm-dev

Hi, Looking at the output of e.g. llc -mtriple=x86_64-unknown-linux-gnu test/CodeGen/X86/pre-coalesce.ll -debug-pass=Executions Why is it that 'Basic Alias Analysis (stateless AA impl)' is freed much earlier than 'Function Alias Analysis Results' even though the latter depends on the former (at least AFAICT by looking at lib/Analysis/AliasAnalysis.cpp)? Thanks! -Markus