search for: usecflaa

Hi Danny, // Add TypeBasedAliasAnalysis before BasicAliasAnalysis so that // BasicAliasAnalysis wins if they disagree. This is intended to help // support "obvious" type-punning idioms. - if (UseCFLAA) - addPass(createCFLAliasAnalysisPass()); addPass(createTypeBasedAliasAnalysisPass()); addPass(createScopedNoAliasAAPass()); + if (UseCFLAA) + addPass(createCFLAliasAnalysisPass()); addPass(createBasicAliasAnalysisPass()); Do we really want to change the order here? I had originall...

On Thu, Jan 15, 2015 at 1:26 PM, Nick Lewycky <nlewycky at google.com> wrote: > On 15 January 2015 at 13:10, Daniel Berlin <dberlin at dberlin.org> wrote: > >> Yes. >> I've attached an updated patch that does the following: >> >> 1. Fixes the partialalias of globals/arguments >> 2. Enables partialalias for cases where nothing has been unified to

...AM Hal Finkel < hfinkel at anl.gov > > wrote: > > > Hi Danny, > > // Add TypeBasedAliasAnalysis before BasicAliasAnalysis so that > // BasicAliasAnalysis wins if they disagree. This is intended to help > // support "obvious" type-punning idioms. > - if (UseCFLAA) > - addPass( createCFLAliasAnalysisPass()); > addPass( createTypeBasedAliasAnalysisPa ss()); > addPass( createScopedNoAliasAAPass()); > + if (UseCFLAA) > + addPass( createCFLAliasAnalysisPass()); > addPass( createBasicAliasAnalysisPass() ); > > Do we really want to change...

...>> > >> > Hi Danny, >> > >> > // Add TypeBasedAliasAnalysis before BasicAliasAnalysis so that >> > // BasicAliasAnalysis wins if they disagree. This is intended to help >> > // support "obvious" type-punning idioms. >> > - if (UseCFLAA) >> > - addPass( createCFLAliasAnalysisPass()); >> > addPass( createTypeBasedAliasAnalysisPa ss()); >> > addPass( createScopedNoAliasAAPass()); >> > + if (UseCFLAA) >> > + addPass( createCFLAliasAnalysisPass()); >> > addPass( createBasicAliasAna...

...> > the trunk code that processes the flags -mllvm use-cfl-aa-in-codegen > > and –mllvm use-cfl-aa, right? > > > > > > > > In Transforms/IPO/PassManagerBuilder.cpp and CodeGen/Passes.cpp we see > > this sequence: > > > > > > > > if (UseCFLAA) > > > > PM.add(createCFLAliasAnalysisPass()); > > > > PM.add(createTypeBasedAliasAnalysisPass()); > > > > PM.add(createScopedNoAliasAAPass()); > > > > PM.add(createBasicAliasAnalysisPass()); > > > > > > > > So are you recommen...

...the flags -mllvm use-cfl-aa-in-codegen >> > and –mllvm use-cfl-aa, right? >> > >> > >> > >> > In Transforms/IPO/PassManagerBuilder.cpp and CodeGen/Passes.cpp we see >> > this sequence: >> > >> > >> > >> > if (UseCFLAA) >> > >> > PM.add(createCFLAliasAnalysisPass()); >> > >> > PM.add(createTypeBasedAliasAnalysisPass()); >> > >> > PM.add(createScopedNoAliasAAPass()); >> > >> > PM.add(createBasicAliasAnalysisPass()); >> > >> >...

...> > the trunk code that processes the flags -mllvm use-cfl-aa-in-codegen > > and –mllvm use-cfl-aa, right? > > > > > > > > In Transforms/IPO/PassManagerBuilder.cpp and CodeGen/Passes.cpp we see > > this sequence: > > > > > > > > if (UseCFLAA) > > > > PM.add(createCFLAliasAnalysisPass()); > > > > PM.add(createTypeBasedAliasAnalysisPass()); > > > > PM.add(createScopedNoAliasAAPass()); > > > > PM.add(createBasicAliasAnalysisPass()); > > > > > > > > So are you recommen...

...t; > Hi Danny, > > > > > > // Add TypeBasedAliasAnalysis before BasicAliasAnalysis so that > > > // BasicAliasAnalysis wins if they disagree. This is intended to > > > help > > > // support "obvious" type-punning idioms. > > > - if (UseCFLAA) > > > - addPass( createCFLAliasAnalysisPass()); > > > addPass( createTypeBasedAliasAnalysisPa ss()); > > > addPass( createScopedNoAliasAAPass()); > > > + if (UseCFLAA) > > > + addPass( createCFLAliasAnalysisPass()); > > > addPass( createBasicAl...

...is “–basicaa –cfla-aa” it means we should fix > the trunk code that processes the flags -mllvm use-cfl-aa-in-codegen > and –mllvm use-cfl-aa, right? > > > > In Transforms/IPO/PassManagerBuilder.cpp and CodeGen/Passes.cpp we see > this sequence: > > > > if (UseCFLAA) > > PM.add(createCFLAliasAnalysisPass()); > > PM.add(createTypeBasedAliasAnalysisPass()); > > PM.add(createScopedNoAliasAAPass()); > > PM.add(createBasicAliasAnalysisPass()); > > > > So are you recommending changing to the sequence below instead? > &g...

Hello LLVMdev, I’m using LLVM to do static analysis exclusively (without any code generation). To implement this analysis, I’m using multiple address spaces to disambiguate the purpose of the pointed memory. Since address spaces never alias in my model, I set on to implement an alias analysis pass that would exactly provide this information, as I’m seeing a couple of otherwise dead store that

...>>>>>> > >>>>>> > In Transforms/IPO/PassManagerBuilder.cpp and CodeGen/Passes.cpp we see >>>>>> > this sequence: >>>>>> > >>>>>> > >>>>>> > >>>>>> > if (UseCFLAA) >>>>>> > >>>>>> > PM.add(createCFLAliasAnalysisPass()); >>>>>> > >>>>>> > PM.add(createTypeBasedAliasAnalysisPass()); >>>>>> > >>>>>> > PM.add(createScopedNoAliasAAPass());...

...t; > > > > > // Add TypeBasedAliasAnalysis before BasicAliasAnalysis so that > > > > // BasicAliasAnalysis wins if they disagree. This is intended to > > > > help > > > > // support "obvious" type-punning idioms. > > > > - if (UseCFLAA) > > > > - addPass( createCFLAliasAnalysisPass()); > > > > addPass( createTypeBasedAliasAnalysisPa ss()); > > > > addPass( createScopedNoAliasAAPass()); > > > > + if (UseCFLAA) > > > > + addPass( createCFLAliasAnalysisPass()); > > &g...

...t; // Add TypeBasedAliasAnalysis before BasicAliasAnalysis so that > > > > // BasicAliasAnalysis wins if they disagree. This is intended > > > > to > > > > help > > > > // support "obvious" type-punning idioms. > > > > - if (UseCFLAA) > > > > - addPass( createCFLAliasAnalysisPass()); > > > > addPass( createTypeBasedAliasAnalysisPa ss()); > > > > addPass( createScopedNoAliasAAPass()); > > > > + if (UseCFLAA) > > > > + addPass( createCFLAliasAnalysisPass()); > &...

...gt;>> > >>>> > >>>> > >>>> > In Transforms/IPO/PassManagerBuilder.cpp and CodeGen/Passes.cpp we >>>> see >>>> > this sequence: >>>> > >>>> > >>>> > >>>> > if (UseCFLAA) >>>> > >>>> > PM.add(createCFLAliasAnalysisPass()); >>>> > >>>> > PM.add(createTypeBasedAliasAnalysisPass()); >>>> > >>>> > PM.add(createScopedNoAliasAAPass()); >>>> > >>>> > PM....

...BasicAliasAnalysis so that >>> > > > // BasicAliasAnalysis wins if they disagree. This is intended >>> > > > to >>> > > > help >>> > > > // support "obvious" type-punning idioms. >>> > > > - if (UseCFLAA) >>> > > > - addPass( createCFLAliasAnalysisPass()); >>> > > > addPass( createTypeBasedAliasAnalysisPa ss()); >>> > > > addPass( createScopedNoAliasAAPass()); >>> > > > + if (UseCFLAA) >>> > > > + addPass...

...t; // Add TypeBasedAliasAnalysis before BasicAliasAnalysis so that > > > > // BasicAliasAnalysis wins if they disagree. This is intended > > > > to > > > > help > > > > // support "obvious" type-punning idioms. > > > > - if (UseCFLAA) > > > > - addPass( createCFLAliasAnalysisPass()); > > > > addPass( createTypeBasedAliasAnalysisPa ss()); > > > > addPass( createScopedNoAliasAAPass()); > > > > + if (UseCFLAA) > > > > + addPass( createCFLAliasAnalysisPass()); > &...

...liasAnalysis before BasicAliasAnalysis so that > > > > > // BasicAliasAnalysis wins if they disagree. This is intended > > > > > to > > > > > help > > > > > // support "obvious" type-punning idioms. > > > > > - if (UseCFLAA) > > > > > - addPass( createCFLAliasAnalysisPass()); > > > > > addPass( createTypeBasedAliasAnalysisPa ss()); > > > > > addPass( createScopedNoAliasAAPass()); > > > > > + if (UseCFLAA) > > > > > + addPass( createCFLAliasAnal...

...; > > > that > > > > > > // BasicAliasAnalysis wins if they disagree. This is intended > > > > > > to > > > > > > help > > > > > > // support "obvious" type-punning idioms. > > > > > > - if (UseCFLAA) > > > > > > - addPass( createCFLAliasAnalysisPass()); > > > > > > addPass( createTypeBasedAliasAnalysisPa ss()); > > > > > > addPass( createScopedNoAliasAAPass()); > > > > > > + if (UseCFLAA) > > > > > > + ad...