At first I thought if we only cared about element misalignment checking the first element/pointer should be sufficient. But riscv's gathers as well as strided loads allow byte offsets rather than element-sized offsets so there could be 16-bit loads with a stride of e.g. 1 byte.
Wait, no that doesn't make sense. The element-alignment rule still holds true so while a stride of 1 byte it would only be permissible on uarchs that support element misalignment...
-- Regards Robin
