Displaying 2 results from an estimated 2 matches for "mysstruct".
Did you mean:
mystruct
2012 Oct 25
2
[LLVMdev] A question about pointer aliasing rules in LLVM
...uct {
struct myStruct *next;
struct myStruct *prev;
};
In the snippet above, %1 can be reused instead of the load for %2. The
problem is that according to BasicAliasAnalysis, %prev "mayAlias"es with
%next1 and so the store to %next1 clobbers %1.
The point is that %next1 is (struct mysStruct * + 0) while %prev is (struct
myStruct * + 4) so they should not alias. The problem is that they do not
have the same base (%node and %1) but the type of the base is the same.
BasicAliasAnalysis is able to distinguish between them if they have the
same base, but not the same type. Is it wrong to...
2012 Oct 25
0
[LLVMdev] A question about pointer aliasing rules in LLVM
...struct myStruct *prev;
> };
>
> In the snippet above, %1 can be reused instead of the load for %2. The
> problem is that according to BasicAliasAnalysis, %prev "mayAlias"es with
> %next1 and so the store to %next1 clobbers %1.
>
> The point is that %next1 is (struct mysStruct * + 0) while %prev is (struct
> myStruct * + 4) so they should not alias. The problem is that they do not
> have the same base (%node and %1) but the type of the base is the same.
> BasicAliasAnalysis is able to distinguish between them if they have the
> same base, but not the same ty...