- this pointer is aligned to N bytes - this pointer doesn't alias with this pointer
Do you mean these as "just a hint, should not generate invalid code if not true" or as "a certainty, allowed to generate invalid code if not true" ?
(my intent is the former)
