PROPOSAL: IR representation of detailed struct assignment information

If we can also describe the alignment padding inserted at the end of a struct when it is placed in an array, then we can improve the current LoopIdiom pass to build more memcpys. I would think that would be attached to the struct definition.


Perhaps, though that would be unrelated in implementation and use from
what I'm working on.