Skip to content
  • Xavier Leroy's avatar
    ABI compatibility for struct/union function arguments passed by value. · e096fa7a
    Xavier Leroy authored
    The passing of struct/union arguments by value implemented in the verified
    part of CompCert is not compatible with the ARM, PowerPC and x86 ABI.
    Here we enrich the StructReturn source-to-source emulation pass
    so that it implements the calling conventions defined in these ABIs.
    
    Plus: for x86, implement the returning of struct/union results by value
    in a way compatible with the ABI.
    e096fa7a