[LLVMdev] PROPOSAL: IR representation of detailed struct assignment information

[Dan Gohman]

On Aug 24, 2012, at 10:50 PM, Hal Finkel <hfinkel at anl.gov> wrote:

> On Wed, 22 Aug 2012 13:15:30 -0700
> Dan Gohman <gohman at apple.com> wrote:
> 
>>  call void @llvm.memcpy.p0i8.p0i8.i64(i8* %0, i8* %1, i64 16, i32 8,
>> i1 false), !struct.assignment !4 […]
> 
> I think that it would make more sense to name this !struct.tbaa -- it
> seems logically similar to existing TBAA metadata (in that it is
> attached to the relevant load/store instruction).

How about !tbaa.struct, kicking off a prefix-namespace idiom?

On the other hand, TBAA is only half the story here; the other half is
describing struct padding. I don't have strong opinions here; does anyone
else?

Dan