Displaying 20 results from an estimated 20000 matches similar to: "[LLVMdev] PROPOSAL: struct-access-path aware TBAA (new version)"
2013 Mar 12
0
[LLVMdev] PROPOSAL: struct-access-path aware TBAA
On Tue, Mar 12, 2013 at 10:10 AM, Manman Ren <mren at apple.com> wrote:
>
> On Mar 11, 2013, at 7:52 PM, Daniel Berlin wrote:
>
>> On Mon, Mar 11, 2013 at 4:56 PM, Manman Ren <mren at apple.com> wrote:
>>>
>>> On Mar 11, 2013, at 4:23 PM, Daniel Berlin <dberlin at dberlin.org> wrote:
>>>
>>>> On Mon, Mar 11, 2013 at 3:45 PM,
2013 Mar 12
0
[LLVMdev] PROPOSAL: struct-access-path aware TBAA
On Mon, Mar 11, 2013 at 4:56 PM, Manman Ren <mren at apple.com> wrote:
>
> On Mar 11, 2013, at 4:23 PM, Daniel Berlin <dberlin at dberlin.org> wrote:
>
>> On Mon, Mar 11, 2013 at 3:45 PM, Manman Ren <mren at apple.com> wrote:
>>>
>>> On Mar 11, 2013, at 2:37 PM, Daniel Berlin <dberlin at dberlin.org> wrote:
>>>
>>>> On
2013 Mar 12
2
[LLVMdev] PROPOSAL: struct-access-path aware TBAA
On Mar 11, 2013, at 7:52 PM, Daniel Berlin wrote:
> On Mon, Mar 11, 2013 at 4:56 PM, Manman Ren <mren at apple.com> wrote:
>>
>> On Mar 11, 2013, at 4:23 PM, Daniel Berlin <dberlin at dberlin.org> wrote:
>>
>>> On Mon, Mar 11, 2013 at 3:45 PM, Manman Ren <mren at apple.com> wrote:
>>>>
>>>> On Mar 11, 2013, at 2:37 PM,
2013 Mar 13
0
[LLVMdev] PROPOSAL: struct-access-path aware TBAA
On Tue, Mar 12, 2013 at 5:59 PM, Manman Ren <mren at apple.com> wrote:
>
> On Mar 12, 2013, at 12:20 PM, Daniel Berlin <dberlin at dberlin.org> wrote:
>
>> On Tue, Mar 12, 2013 at 10:10 AM, Manman Ren <mren at apple.com> wrote:
>>>
>>> On Mar 11, 2013, at 7:52 PM, Daniel Berlin wrote:
>>>
>>>> On Mon, Mar 11, 2013 at 4:56 PM,
2013 Mar 11
2
[LLVMdev] PROPOSAL: struct-access-path aware TBAA
On Mar 11, 2013, at 4:23 PM, Daniel Berlin <dberlin at dberlin.org> wrote:
> On Mon, Mar 11, 2013 at 3:45 PM, Manman Ren <mren at apple.com> wrote:
>>
>> On Mar 11, 2013, at 2:37 PM, Daniel Berlin <dberlin at dberlin.org> wrote:
>>
>>> On Mon, Mar 11, 2013 at 2:06 PM, Manman Ren <mren at apple.com> wrote:
>>>>
>>>>
2013 Mar 13
3
[LLVMdev] PROPOSAL: struct-access-path aware TBAA
On Mar 12, 2013, at 12:20 PM, Daniel Berlin <dberlin at dberlin.org> wrote:
> On Tue, Mar 12, 2013 at 10:10 AM, Manman Ren <mren at apple.com> wrote:
>>
>> On Mar 11, 2013, at 7:52 PM, Daniel Berlin wrote:
>>
>>> On Mon, Mar 11, 2013 at 4:56 PM, Manman Ren <mren at apple.com> wrote:
>>>>
>>>> On Mar 11, 2013, at 4:23 PM,
2013 Mar 11
0
[LLVMdev] PROPOSAL: struct-access-path aware TBAA
On Mon, Mar 11, 2013 at 2:06 PM, Manman Ren <mren at apple.com> wrote:
>
> On Mar 11, 2013, at 1:17 PM, Daniel Berlin <dberlin at dberlin.org> wrote:
>
>> On Mon, Mar 11, 2013 at 11:41 AM, Manman Ren <mren at apple.com> wrote:
>>> Based on discussions with John McCall
>>>
>>> We currently focus on field accesses of structs, more
2013 Mar 11
2
[LLVMdev] PROPOSAL: struct-access-path aware TBAA
On Mar 11, 2013, at 1:17 PM, Daniel Berlin <dberlin at dberlin.org> wrote:
> On Mon, Mar 11, 2013 at 11:41 AM, Manman Ren <mren at apple.com> wrote:
>> Based on discussions with John McCall
>>
>> We currently focus on field accesses of structs, more specifically, on fields that are scalars or structs.
>>
>> Fundamental rules from C11
>>
2013 Mar 11
0
[LLVMdev] PROPOSAL: struct-access-path aware TBAA
On Mon, Mar 11, 2013 at 11:41 AM, Manman Ren <mren at apple.com> wrote:
> Based on discussions with John McCall
>
> We currently focus on field accesses of structs, more specifically, on fields that are scalars or structs.
>
> Fundamental rules from C11
> --------------------------
> An object shall have its stored value accessed only by an lvalue expression that has one
2013 Mar 11
0
[LLVMdev] PROPOSAL: struct-access-path aware TBAA
On Mon, Mar 11, 2013 at 3:45 PM, Manman Ren <mren at apple.com> wrote:
>
> On Mar 11, 2013, at 2:37 PM, Daniel Berlin <dberlin at dberlin.org> wrote:
>
>> On Mon, Mar 11, 2013 at 2:06 PM, Manman Ren <mren at apple.com> wrote:
>>>
>>> On Mar 11, 2013, at 1:17 PM, Daniel Berlin <dberlin at dberlin.org> wrote:
>>>
>>>> On
2013 Mar 11
4
[LLVMdev] PROPOSAL: struct-access-path aware TBAA
On Mar 11, 2013, at 2:37 PM, Daniel Berlin <dberlin at dberlin.org> wrote:
> On Mon, Mar 11, 2013 at 2:06 PM, Manman Ren <mren at apple.com> wrote:
>>
>> On Mar 11, 2013, at 1:17 PM, Daniel Berlin <dberlin at dberlin.org> wrote:
>>
>>> On Mon, Mar 11, 2013 at 11:41 AM, Manman Ren <mren at apple.com> wrote:
>>>> Based on
2013 Mar 11
5
[LLVMdev] PROPOSAL: struct-access-path aware TBAA
Based on discussions with John McCall
We currently focus on field accesses of structs, more specifically, on fields that are scalars or structs.
Fundamental rules from C11
--------------------------
An object shall have its stored value accessed only by an lvalue expression that has one of the following types: [footnote: The intent of this list is to specify those circumstances in which an
2013 Mar 13
1
[LLVMdev] PROPOSAL: struct-access-path aware TBAA (should we use offset+size instead of path?)
On Mar 12, 2013, at 6:07 PM, Daniel Berlin wrote:
> On Tue, Mar 12, 2013 at 5:59 PM, Manman Ren <mren at apple.com> wrote:
>>
>> On Mar 12, 2013, at 12:20 PM, Daniel Berlin <dberlin at dberlin.org> wrote:
>>
>>> On Tue, Mar 12, 2013 at 10:10 AM, Manman Ren <mren at apple.com> wrote:
>>>>
>>>> On Mar 11, 2013, at 7:52 PM,
2013 Mar 12
2
[LLVMdev] PROPOSAL: struct-access-path aware TBAA
On 3/11/13 1:17 PM, Daniel Berlin wrote:
> On Mon, Mar 11, 2013 at 11:41 AM, Manman Ren <mren at apple.com> wrote:
>> Based on discussions with John McCall
>>
>> We currently focus on field accesses of structs, more specifically, on fields that are scalars or structs.
>>
>> Fundamental rules from C11
>> --------------------------
>> An object
2013 Mar 13
0
[LLVMdev] PROPOSAL: struct-access-path aware TBAA
On 3/12/2013 12:13 PM, Manman Ren wrote:
>
> Given
> struct A {
> int x;
> int y;
> };
> struct B {
> A a;
> int z;
> };
> struct C {
> B b1;
> B b2;
> };
> struct D {
> C c;
> };
>
> with struct-access-path aware TBAA, C::b1.a.x does not alias with
D::c.b2.a.x.
2013 Mar 12
3
[LLVMdev] PROPOSAL: struct-access-path aware TBAA
On Mar 12, 2013, at 8:22 AM, Krzysztof Parzyszek wrote:
> What cases does this proposal solve that the current analyses don't? Do you have a motivating example?
Given
struct A {
int x;
int y;
};
struct B {
A a;
int z;
};
struct C {
B b1;
B b2;
};
struct D {
C c;
};
with struct-access-path aware TBAA, C::b1.a.x does not alias with D::c.b2.a.x.
2013 Mar 13
0
[LLVMdev] PROPOSAL: struct-access-path aware TBAA
On Tue, Mar 12, 2013 at 3:44 PM, Shuxin Yang <shuxin.llvm at gmail.com> wrote:
>
> On 3/11/13 1:17 PM, Daniel Berlin wrote:
>>
>> On Mon, Mar 11, 2013 at 11:41 AM, Manman Ren <mren at apple.com> wrote:
>>>
>>> Based on discussions with John McCall
>>>
>>> We currently focus on field accesses of structs, more specifically, on
2017 Aug 20
3
RFC: Resolving TBAA issues
On 08/20/2017 11:22 AM, Daniel Berlin via llvm-dev wrote:
> Sorry, hit send early.
>
>
> On Sun, Aug 20, 2017 at 9:16 AM, Daniel Berlin <dberlin at dberlin.org
> <mailto:dberlin at dberlin.org>> wrote:
>
>
>
> On Sun, Aug 20, 2017 at 8:54 AM, Ivan A. Kosarev via llvm-dev
> <llvm-dev at lists.llvm.org <mailto:llvm-dev at
2013 Mar 13
2
[LLVMdev] PROPOSAL: struct-access-path aware TBAA
On Tue, Mar 12, 2013 at 7:21 PM, Krzysztof Parzyszek
<kparzysz at codeaurora.org> wrote:
> On 3/12/2013 12:13 PM, Manman Ren wrote:
>>
>> Given
>> struct A {
>> int x;
>> int y;
>> };
>> struct B {
>> A a;
>> int z;
>> };
>> struct C {
>> B b1;
>> B b2;
>> };
2017 Aug 19
3
RFC: Resolving TBAA issues
Daniel, Hal,
I'm trying to figure out what we would need to do in terms of the
current approach, accepting its limitations, to support unions, member
arrays, aggregate accesses and type identifiers and what I get looks
suspiciously simple. Can you please check it out and let me know if I'm
missing something?
For unions:
TBAA, regardless of a specific approach, cannot guarantee