With whole program analysis (LTO, usually, though not only), LLVM can create custom ABIs.