Displaying 2 results from an estimated 2 matches for "basetag".
Did you mean:
basetai
2019 Jun 05
2
llvm-ir: TBAA and struct copies
...nericTag = SameMemberAccess ? SubobjectTag.getNode() :
createAccessTag(CommonType);
}
MayAlias = SameMemberAccess;
return true;
}
For the 'NewFormat', The 'MayAlias' should be based on overlap of {OffsetInBase, BaseTag.getSize} and {SubobjecTag.getOffset(), SubobjectTag.getSize()}
I am not sure if the same holds for the 'GenericTag'.
Do you think that would cause other problems ?
Thanks,
Jeroen Dobbelaere
> -----Original Message-----
> From: Ivan Kosarev <ivan at kosarev.info>
> Sent: W...
2019 Jun 04
2
llvm-ir: TBAA and struct copies
Hi,
I have a question about the current definition of TBAA (See [1]).
In the LLVM-IR code that we produce, we generate load/stores of struct types. (See [2] and [3] for a godbolt example showing the issue)
For following c-alike code:
struct S { int dummy; short e, f; } x,y;
struct S* p = &x;
int foobar() {
x.f=42;
*p=y; //**** struct copy
return x.f;
}
We produce: