The handling of structs passed by value in the AArch64 CallArranger is quite convoluted. The code is spread across 4 methods and 6 very similar looking while loops, which makes it hard to follow the logic from reading the code.

This could be improved by refactoring the code.