diff --git a/share/revng/abi/SystemV_x86.yml b/share/revng/abi/SystemV_x86.yml index f0d332556..fe4defa3b 100644 --- a/share/revng/abi/SystemV_x86.yml +++ b/share/revng/abi/SystemV_x86.yml @@ -20,10 +20,6 @@ MaximumGPRsPerScalarReturnValue: 2 GeneralPurposeReturnValueRegisters: - eax_x86 - edx_x86 -VectorArgumentRegisters: - - xmm0_x86 - - xmm1_x86 - - xmm2_x86 VectorReturnValueRegisters: - st0_x86 CalleeSavedRegisters: