jasilvanus wrote: Interesting, here it is online: https://alive2.llvm.org/ce/z/Bm5gP2 The complaint goes away if `half` is naturally aligned (`f16:16`). Looks like an Alive2 bug with respect to vector bit layout? https://github.com/llvm/llvm-project/pull/75448