Displaying 1 result from an estimated 1 matches for "alias_rul".
Did you mean:
alias_rule
2013 Mar 27
1
[LLVMdev] PROPOSAL: struct-access-path aware TBAA (new version)
...e, the tag for "C::b2.a.x" is
!7 := [ "tbaa.path", !C, "C::b2", !B, "B::a", !A, "A::x", !int ] ;C::b2.a.x
where !C, !B, !A are metadata nodes in the type DAG, "C::b2" "B::a" "A::x" are strings.
C> alias(x, y) = alias_rule(x, y) or alias_rule(y, x), where alias_rule(x, y) is
if the first element of 'x' does not enclose the first element of 'y'
return NoAlias
if the last element of 'x' encloses the first element of 'y' via type DAG,
return Alias
Check the first eleme...