Displaying 8 results from an estimated 8 matches for "memorydependence".
2014 Aug 21
2
[LLVMdev] Alias Analysis Semantics
...mory loads
and stores with value forwarding in hardware implementations. I'd like to
compare the profiled data to static alias analysis, so it would be super
useful if there was a way to answer the questions about aliasing across
backedges that AliasAnalysis considers meaningless. Perhaps the
MemoryDependence would allow this?
Thank you,
Jeremy
On Wed, Aug 20, 2014 at 11:58 PM, Hal Finkel <hfinkel at anl.gov> wrote:
> ----- Original Message -----
> > From: "Jeremy Salwen" <jeremysalwen at gmail.com>
> > To: "Daniel Berlin" <dberlin at dberlin.org>...
2015 May 21
2
[LLVMdev] MemoryDependenceAnalysis reports dependencies between NoAlias pointers
...<dberlin at dberlin.org> a écrit :
>
> On Thu, May 21, 2015 at 11:37 AM, Félix Cloutier <felixcca at yahoo.ca> wrote:
>> Hi all,
>>
>> I have a custom alias analysis pass that enforces that pointers from different address spaces do not alias, and I'm using MemoryDependenceAnalysis to, well, figure out dependence analysis.
>>
>> The AA pass is extremely simple, it only checks the address space of pointers, returns NoAlias if they're different, and delegates otherwise. It is the last alias analysis pass added to my PassManager (basically, after BasicAA...
2015 May 21
2
[LLVMdev] MemoryDependenceAnalysis reports dependencies between NoAlias pointers
Hi all,
I have a custom alias analysis pass that enforces that pointers from different address spaces do not alias, and I'm using MemoryDependenceAnalysis to, well, figure out dependence analysis.
The AA pass is extremely simple, it only checks the address space of pointers, returns NoAlias if they're different, and delegates otherwise. It is the last alias analysis pass added to my PassManager (basically, after BasicAA only). As far as...
2014 Aug 14
2
[LLVMdev] Alias Analysis Semantics
...out specific loads and stores." it
>> sounds like you are saying that it does consider dynamic executions, and
>> that you can make queries about specific dynamic executions. I can't seem
>> to find this option anywhere in the API..
> Yes, sorry, I was thinking of the MemoryDependence interface, which
> does give you that information.
> AliasAnalysis does not.
>
>>
>> Perhaps someone else could clear the confusion, because I feel like there is
>> a gap of communication.
>
>
>>
>> For example, in this code what would the result be for...
2014 Aug 21
2
[LLVMdev] Alias Analysis Semantics
...gt; sounds like you are saying that it does consider dynamic executions,
>> and
>> >> that you can make queries about specific dynamic executions. I can't
>> seem
>> >> to find this option anywhere in the API..
>> > Yes, sorry, I was thinking of the MemoryDependence interface, which
>> > does give you that information.
>> > AliasAnalysis does not.
>> >
>> >>
>> >> Perhaps someone else could clear the confusion, because I feel like
>> there is
>> >> a gap of communication.
>> >
>&g...
2016 Jan 28
2
Find the instructions where a particular value is defined
Thank you all for your reply.
if(a>10)
b=10;
else if (a<10)
b = 5;
Here is the IR of the if-elseif:
56 %0 = load i32, i32* %a, align 4
57 %cmp = icmp sgt i32 %0, 10
58 br i1 %cmp, label %if.then, label %if.else
60 if.then: ; preds = %entry
61 store i32 10, i32* %b, align 4
62 br label %if.end.4
63
64 if.else:
2014 Aug 14
2
[LLVMdev] Alias Analysis Semantics
Hey Daniel,
Thanks again for the help. I'm still a bit confused about the interface to
the alias analysis. It seems like we are talking about different
interfaces. Has it changed from what the documentation says? As far as I
can tell, the documentation takes a specific Value*, and no information
about which dynamic execution it is talking about.
When you say "Right. It's a
2009 Apr 01
2
[LLVMdev] GSoC 2009: Auto-vectorization
Nick Lewycky wrote:
> Andreas Bolka wrote:
>> Hi all,
>>
>> I'd like to have a first stab at a loop-based auto-vectorization pass as
>> part of 2009's Google Summer of Code program. As far as I can tell from
>> searching the mailing list archives, no work on such an auto-vectorizer
>> seems to be currently in progress.
>
> Hi Andreas,
>