Displaying 18 results from an estimated 18 matches for "createcflaliasanalysispass".
2015 Jan 17
3
[LLVMdev] question about enabling cfl-aa and collecting a57 numbers
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 originally placed it after the metadata-based pass...
2015 Jan 15
3
[LLVMdev] question about enabling cfl-aa and collecting a57 numbers
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
2015 Jan 17
2
[LLVMdev] question about enabling cfl-aa and collecting a57 numbers
...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 the order here? I had originally placed
>...
2015 Jan 20
4
[LLVMdev] question about enabling cfl-aa and collecting a57 numbers
...y,
>> >
>> > // 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 real...
2015 Jan 14
3
[LLVMdev] question about enabling cfl-aa and collecting a57 numbers
...ses 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?
> >...
2015 Jan 14
2
[LLVMdev] question about enabling cfl-aa and collecting a57 numbers
...gt; > 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 t...
2015 Jan 15
2
[LLVMdev] question about enabling cfl-aa and collecting a57 numbers
...ses 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?
> >...
2015 Jan 21
2
[LLVMdev] question about enabling cfl-aa and collecting a57 numbers
...; > > // 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...
2015 Jan 13
2
[LLVMdev] question about enabling cfl-aa and collecting a57 numbers
...eans 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?
>
>
> Not quite:
>
>
> addPass(c...
2015 Jan 14
4
[LLVMdev] question about enabling cfl-aa and collecting a57 numbers
.../PassManagerBuilder.cpp and CodeGen/Passes.cpp we see
>>>>>> > this sequence:
>>>>>> >
>>>>>> >
>>>>>> >
>>>>>> > if (UseCFLAA)
>>>>>> >
>>>>>> > PM.add(createCFLAliasAnalysisPass());
>>>>>> >
>>>>>> > PM.add(createTypeBasedAliasAnalysisPass());
>>>>>> >
>>>>>> > PM.add(createScopedNoAliasAAPass());
>>>>>> >
>>>>>> > PM.add(createBasicAliasAnalysisPas...
2015 Jan 21
2
[LLVMdev] question about enabling cfl-aa and collecting a57 numbers
...sedAliasAnalysis 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() );
> >...
2015 Jan 23
2
[LLVMdev] question about enabling cfl-aa and collecting a57 numbers
...sicAliasAnalysis 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() );
>...
2015 Jan 14
3
[LLVMdev] question about enabling cfl-aa and collecting a57 numbers
...>>>> > 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());
>>>> >
>>>> >...
2015 Jan 23
2
[LLVMdev] question about enabling cfl-aa and collecting a57 numbers
...> // 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());
>>> > > > addPas...
2015 Jan 23
2
[LLVMdev] question about enabling cfl-aa and collecting a57 numbers
...sicAliasAnalysis 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() );
>...
2015 Apr 21
2
[LLVMdev] Using an alias analysis pass
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
2015 Jan 24
2
[LLVMdev] question about enabling cfl-aa and collecting a57 numbers
...> > > > > // 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( createBasicAliasA...
2015 Jan 26
2
[LLVMdev] question about enabling cfl-aa and collecting a57 numbers
...// 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());
> > > > > > a...