Join GitHub today
GitHub is home to over 31 million developers working together to host and review code, manage projects, and build software together.Sign up
ARM VFD loads and stores: offset must be multiple of 4 #1774
In flds, fldd, fsts, fstd instructions, using indexed addressing mode, the offset from the index register must be a multiple of 4. Otherwise, invalid asm is produced and rejected by the assembler.
This was observed recently on the bigarray tests, following the merge of GPR#1755, which is correct but changes the shape of the generated code in such a way that it triggers this old bug.
Re-testing on ARM32 is in progress.