search for: piovezan

...mation across loop iterations, the appropriate analysis is probably LoopAccessAnalysis. -Eli > -----Original Message----- > From: llvm-dev <llvm-dev-bounces at lists.llvm.org> On Behalf Of Doerfert, > Johannes via llvm-dev > Sent: Monday, June 3, 2019 9:04 AM > To: De Azevedo Piovezan, Felipe <felipe.de.azevedo.piovezan at intel.com> > Cc: llvm-dev at lists.llvm.org > Subject: [EXT] Re: [llvm-dev] Question about a AA result and its use in > Dependence Analysis > > Thanks for investigating this further. > > In BasicAAResult::aliasSelect the "same...

...Mod Pointers: (float* %ptr1, LocationSize::precise(4)) AliasSet[0x55bd786b96b0, 1] must alias, Mod Pointers: (float* %ptr2, LocationSize::precise(4)) -----Original Message----- From: Doerfert, Johannes [mailto:jdoerfert at anl.gov] Sent: Saturday, June 1, 2019 2:29 PM To: De Azevedo Piovezan, Felipe <felipe.de.azevedo.piovezan at intel.com> Cc: llvm-dev at lists.llvm.org; Finkel, Hal J. <hfinkel at anl.gov> Subject: Re: [llvm-dev] Question about a AA result and its use in Dependence Analysis Hi Felipe, (+ Hal) I think the reasoning in `BasicAAResult::aliasPHI(...)` is fl...

...reate a bug report and try and see if I can come up with anything more sensible. Dave From: llvm-dev <llvm-dev-bounces at lists.llvm.org> on behalf of Finkel, Hal J. via llvm-dev <llvm-dev at lists.llvm.org> Sent: 03 June 2019 22:01 To: Eli Friedman; Doerfert, Johannes; De Azevedo Piovezan, Felipe; llvm-dev Subject: Re: [llvm-dev] Question about a AA result and its use in Dependence Analysis   On 6/3/19 1:45 PM, Eli Friedman via llvm-dev wrote: Alias analysis is figuring out the relationship between two pointer expressions, at some location in the program. At a given point in th...

...alias, Mod Pointers: (float* %q, LocationSize::precise(4)) da analyze - %0 = load float, float* %p, align 4 store float undef, float* %q, align 4 none! -----Original Message----- From: Doerfert, Johannes [mailto:jdoerfert at anl.gov] Sent: Friday, May 31, 2019 9:07 PM To: De Azevedo Piovezan, Felipe <felipe.de.azevedo.piovezan at intel.com> Cc: llvm-dev at lists.llvm.org Subject: Re: [llvm-dev] Question about a AA result and its use in Dependence Analysis Can you try it without the undef branch condition. If you get still the same result I'd argue its a bug. In the program a...

...lt;< this is between the store and the load!!! da analyze - none! <<< this is between the load and itself, ok to be "none". Is dependence analysis right or wrong? This IR likely comes from some C++ code doing funny things with unions... Thanks! -- Felipe de Azevedo Piovezan -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20181118/636dea06/attachment.html>

To avoid going too off-topic on the multidimensional gep thread, I'm asking this in a separate thread. >> I took a look earlier and didn't notice any target-independent ones that would need a separate type parameter Do you know what would happen with the llvm.ptr.annotation intrinsic? Frontends use that to annotate members of structs: struct S { [[some_annotation]] int

...typename `AnalysisManagerT`. However, AnalysisPassConcept and AnalysisPassModel have no such template parameter; instead, they use the forward-declared AnalysisManager type, defined in PassManager.h Again, is there a particular reason for this apparent inconsistency? Thanks! -- Felipe de Azevedo Piovezan -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20180902/a33e64ee/attachment.html>

Hello llvm-dev, I would appreciate your feedback on the following problem. We're trying to determine whether this is a bug in LLVM or not. In the IR snippet below, we have two pointers (p and q) which initially point to two completely non-overlapping locations. Then, on every iteration of a loop, we swap the pointers and load from the first, followed by a store to the second. 1) AA says the