[AAPCS64] Clarify B.5 and B.6 about abi-aa HOT 1 OPEN

Thank you for pointing that out. We will need to think carefully about how to update the document. The Rule B.6 was added after B.5 specifically to deal with over or under aligned types, this does seem to clash with B.5 as worded today.

The intention behind the rules is:

• The intent of B.5 is to ensure that objects on the stack have register-sized alignment.
• The intent of B.6 is to avoid creating excess padding in stack arguments for overaligned types.

It is not clear to me that B.5 has much, if any effect given that C.14 "The NSAA is rounded up to the larger of 8 or the Natural Alignment of the argument’s type." so even if a composite type had a size that was not a multiple of 8, then C.14 would ensure that the next parameter passed on the stack was at least 8-byte aligned.

Hope this helps.

The majority of overaligned types are caught by rule B.4 "If the argument type is a Composite Type that is larger than 16 bytes, then the argument is copied to memory allocated by the caller and the argument is replaced by a pointer to the copy." as the size of an aggregate is a multiple of the alignment.

from abi-aa.