Every ABI has a slightly different implementation. Ideally, we would use something like Clang TargetInfo or extract it by compiling some C code and checking the IR, but this is a useful workaround for now.