| use crate::abi::call::{ArgAbi, FnAbi, Reg}; |
| use crate::abi::Abi; |
| |
| // Win64 ABI: https://docs.microsoft.com/en-us/cpp/build/parameter-passing |
| |
| pub fn compute_abi_info<Ty>(fn_abi: &mut FnAbi<'_, Ty>) { |
| let fixup = |a: &mut ArgAbi<'_, Ty>| { |
| match a.layout.abi { |
| Abi::Uninhabited => {} |
| Abi::ScalarPair(..) | Abi::Aggregate { .. } => match a.layout.size.bits() { |
| 8 => a.cast_to(Reg::i8()), |
| 16 => a.cast_to(Reg::i16()), |
| 32 => a.cast_to(Reg::i32()), |
| 64 => a.cast_to(Reg::i64()), |
| _ => a.make_indirect(), |
| }, |
| Abi::Vector { .. } => { |
| // FIXME(eddyb) there should be a size cap here |
| // (probably what clang calls "illegal vectors"). |
| } |
| Abi::Scalar(_) => { |
| if a.layout.size.bytes() > 8 { |
| a.make_indirect(); |
| } else { |
| a.extend_integer_width_to(32); |
| } |
| } |
| } |
| }; |
| |
| if !fn_abi.ret.is_ignore() { |
| fixup(&mut fn_abi.ret); |
| } |
| for arg in &mut fn_abi.args { |
| if arg.is_ignore() { |
| continue; |
| } |
| fixup(arg); |
| } |
| } |