search for: scopednoaliasaa

...lows us to preserve noalias function argument attributes when inlining, in addition to allowing frontends to add otherwise non-deducible aliasing properties to memory accesses. This currently works well, but needs a change and an intrinsic, as I'll explain below. First, the problem: Currently, ScopedNoAliasAA.cpp is a little bit too much like TypeBasedAliasAnalysis.cpp in that when the metadata is used to return an aliasing result, the Size passed in the AliasAnalysis::Location object is ignored. This is not a problem if the Size is equal to (or less than) the size of the access with which the metadata...

Hi all, ## Status: During the past weeks I have updated the restrict patches with various improvements: - the ScopedNoAliasAA now also works together with the new pass manager - the SLPVectorizer now works nice with the noalias support. - there were some issues with some of the options enabling/disabling full restrict. These have been fixed. - various smaller enhancements. Today, I rebased the patches. [1] Based on the...

...tion has !noalias metadata, then it should not be aliased, but I must be missing some complexity. For example, if you look at the alias of two memory locations and they are both tagged with noalias MD, that should be safe to NoAlias providing they have no specific !scope tag? I've looked at the ScopedNoAliasAA but during the inline no !scope MD is created therefore it's not marked as NoAlias from that analysis (it returns MayAlias if no scope MD or no noalias MD). Thanks, Ryan On Mon, Sep 28, 2020, 8:53 PM Johannes Doerfert <johannesdoerfert at gmail.com> wrote: > Hi Ryan, > > the...

...tIRAnalysis: Has no dependencies. > > Function alias analyses: 3/5 keep pointers to other analyses > BasicAA: Keeps pointers to TargetLibraryInfo, AssumptionCache, > DominatorTree, LoopInfo > CFLAA: Keeps pointer to TargetLibraryInfo > SCEVAA: Keeps pointer to ScalarEvolution > ScopedNoAliasAA: No dependencies > TypeBasedAA: No dependencies > > > Total: 13/28 analyses (~50%) hold pointers to other analyses. > Of the 15/28 analyses that don't hold pointers, 12/15 simply have no > dependencies. Only 3/15 (BPI, LoopInfo, DominanceFrontier) have > dependencies that a...

Given some code: void func (float * restrict a, float *b) { for (int i =0; i < 100; ++i) { a[i] = b[i] + 1; } } float * aa; float * bb; int main() { func(aa, bb); return 0; } produces IR that has the llvm.noalias intrinsic along with the !noalias metadata:for both the load and store, however, AA returns MayAlias, I would expect a NoAlias? This is also an older version of llvm:

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

...gt; Function alias analyses: 3/5 keep pointers to other analyses >>> BasicAA: Keeps pointers to TargetLibraryInfo, AssumptionCache, >>> DominatorTree, LoopInfo >>> CFLAA: Keeps pointer to TargetLibraryInfo >>> SCEVAA: Keeps pointer to ScalarEvolution >>> ScopedNoAliasAA: No dependencies >>> TypeBasedAA: No dependencies >>> >>> >>> Total: 13/28 analyses (~50%) hold pointers to other analyses. >>> Of the 15/28 analyses that don't hold pointers, 12/15 simply have no >>> dependencies. Only 3/15 (BPI, LoopInfo,...

...nlining behaviour\n"); main_loop(len, input_buf, output_buf); } Just to skip ahead to my conclusions, as far as I can see: * In main_loop, the noalias parameter attribute isn't exploited by alias analysis for pointers that are created based on it * Scoped noalias metadata along with the ScopedNoAliasAA does enable AA to determine that input_buf and output_buf accesses don't alias when main_loop is inlined inside dummy_function To give some more details, I compile with a Clang nightly build with (target mips-linux-gnu because I can't seem to get the default x86 target not to generate vect...

...argetIRAnalysis: Has no dependencies. > Function alias analyses: 3/5 keep pointers to other analyses > BasicAA: Keeps pointers to TargetLibraryInfo, AssumptionCache, > DominatorTree, LoopInfo > CFLAA: Keeps pointer to TargetLibraryInfo > SCEVAA: Keeps pointer to ScalarEvolution > ScopedNoAliasAA: No dependencies > TypeBasedAA: No dependencies > Total: 13/28 analyses (~50%) hold pointers to other analyses. > Of the 15/28 analyses that don't hold pointers, 12/15 simply have no > dependencies. Only 3/15 (BPI, LoopInfo, DominanceFrontier) have > dependencies that are used...

...inters to other analyses >>>>> BasicAA: Keeps pointers to TargetLibraryInfo, AssumptionCache, >>>>> DominatorTree, LoopInfo >>>>> CFLAA: Keeps pointer to TargetLibraryInfo >>>>> SCEVAA: Keeps pointer to ScalarEvolution >>>>> ScopedNoAliasAA: No dependencies >>>>> TypeBasedAA: No dependencies >>>>> >>>>> >>>>> Total: 13/28 analyses (~50%) hold pointers to other analyses. >>>>> Of the 15/28 analyses that don't hold pointers, 12/15 simply have no >>>&...

...> > > > > > > > > > > CFLAA: Keeps pointer to TargetLibraryInfo > > > > > > > > > > > > > > > SCEVAA: Keeps pointer to ScalarEvolution > > > > > > > > > > > > > > > ScopedNoAliasAA: No dependencies > > > > > > > > > > > > > > > TypeBasedAA: No dependencies > > > > > > > > > > > > > > > Total: 13/28 analyses (~50%) hold pointers to other analyses. > > > > > >...

...t; > > > > > > > > > > > > > > > > > > > > > SCEVAA: Keeps pointer to ScalarEvolution > > > > > > > > > > > > > > > > > > > > > > > > > > > > ScopedNoAliasAA: No dependencies > > > > > > > > > > > > > > > > > > > > > > > > > > > > TypeBasedAA: No dependencies > > > > > > > > > > > > > > > > > > > > &...

...t; > > > > > > > > > > > > > > > > > > > > > SCEVAA: Keeps pointer to ScalarEvolution > > > > > > > > > > > > > > > > > > > > > > > > > > > > ScopedNoAliasAA: No dependencies > > > > > > > > > > > > > > > > > > > > > > > > > > > > TypeBasedAA: No dependencies > > > > > > > > > > > > > > > > > > > > &...

...t; > > > > > > > > > > > > > > > > > > > > > SCEVAA: Keeps pointer to ScalarEvolution > > > > > > > > > > > > > > > > > > > > > > > > > > > > ScopedNoAliasAA: No dependencies > > > > > > > > > > > > > > > > > > > > > > > > > > > > TypeBasedAA: No dependencies > > > > > > > > > > > > > > > > > > > > &...

...yses >>>>>> BasicAA: Keeps pointers to TargetLibraryInfo, AssumptionCache, >>>>>> DominatorTree, LoopInfo >>>>>> CFLAA: Keeps pointer to TargetLibraryInfo >>>>>> SCEVAA: Keeps pointer to ScalarEvolution >>>>>> ScopedNoAliasAA: No dependencies >>>>>> TypeBasedAA: No dependencies >>>>>> >>>>>> >>>>>> Total: 13/28 analyses (~50%) hold pointers to other analyses. >>>>>> Of the 15/28 analyses that don't hold pointers, 12/15 simply h...

Great, thanks! Are you planning on just talking about these things with slides? Do we have other things to which we can link for people to read? -Hal Hal Finkel Lead, Compiler Technology and Programming Languages Leadership Computing Facility Argonne National Laboratory ________________________________ From: Tarique Islam <tislam at ca.ibm.com> Sent: Thursday, May 21, 2020 8:19:31 AM To:

...;>>> BasicAA: Keeps pointers to TargetLibraryInfo, AssumptionCache, >>>>>>> DominatorTree, LoopInfo >>>>>>> CFLAA: Keeps pointer to TargetLibraryInfo >>>>>>> SCEVAA: Keeps pointer to ScalarEvolution >>>>>>> ScopedNoAliasAA: No dependencies >>>>>>> TypeBasedAA: No dependencies >>>>>>> >>>>>>> >>>>>>> Total: 13/28 analyses (~50%) hold pointers to other analyses. >>>>>>> Of the 15/28 analyses that don't hold poin...

...;>>> BasicAA: Keeps pointers to TargetLibraryInfo, AssumptionCache, >>>>>>> DominatorTree, LoopInfo >>>>>>> CFLAA: Keeps pointer to TargetLibraryInfo >>>>>>> SCEVAA: Keeps pointer to ScalarEvolution >>>>>>> ScopedNoAliasAA: No dependencies >>>>>>> TypeBasedAA: No dependencies >>>>>>> >>>>>>> >>>>>>> Total: 13/28 analyses (~50%) hold pointers to other analyses. >>>>>>> Of the 15/28 analyses that don't hold poin...

...nters to TargetLibraryInfo, AssumptionCache, >>>>>>>>> DominatorTree, LoopInfo >>>>>>>>> CFLAA: Keeps pointer to TargetLibraryInfo >>>>>>>>> SCEVAA: Keeps pointer to ScalarEvolution >>>>>>>>> ScopedNoAliasAA: No dependencies >>>>>>>>> TypeBasedAA: No dependencies >>>>>>>>> >>>>>>>>> >>>>>>>>> Total: 13/28 analyses (~50%) hold pointers to other analyses. >>>>>>>>> Of the...

...ibraryInfo, AssumptionCache, >>>>>>>>>> DominatorTree, LoopInfo >>>>>>>>>> CFLAA: Keeps pointer to TargetLibraryInfo >>>>>>>>>> SCEVAA: Keeps pointer to ScalarEvolution >>>>>>>>>> ScopedNoAliasAA: No dependencies >>>>>>>>>> TypeBasedAA: No dependencies >>>>>>>>>> >>>>>>>>>> >>>>>>>>>> Total: 13/28 analyses (~50%) hold pointers to other analyses. >>>>>>&gt...