mirror of
https://github.com/rust-lang/rust.git
synced 2026-04-27 18:57:42 +03:00
Rollup merge of #151572 - androm3da:bcain/abi_cconv, r=wesleywiser
Fix Hexagon ABI calling convention for small aggregates Small structs (<= 64 bits) were being passed with their fields split into separate arguments instead of being packed into register-sized chunks. This caused ABI mismatches. The fix properly casts small aggregates to consecutive register-sized chunks using Uniform::consecutive(), matching the Hexagon C ABI where small structs are packed into R1:0 register pair. This fixes tests like extern-pass-TwoU16s.rs and extern-pass-TwoU8s.rs.
This commit is contained in:
@@ -1,36 +1,76 @@
|
||||
use rustc_abi::TyAbiInterface;
|
||||
use rustc_abi::{HasDataLayout, TyAbiInterface};
|
||||
|
||||
use crate::callconv::{ArgAbi, FnAbi};
|
||||
use crate::callconv::{ArgAbi, FnAbi, Reg, Uniform};
|
||||
|
||||
fn classify_ret<Ty>(ret: &mut ArgAbi<'_, Ty>) {
|
||||
if ret.layout.is_aggregate() && ret.layout.size.bits() > 64 {
|
||||
ret.make_indirect();
|
||||
} else {
|
||||
fn classify_ret<'a, Ty, C>(_cx: &C, ret: &mut ArgAbi<'a, Ty>)
|
||||
where
|
||||
Ty: TyAbiInterface<'a, C> + Copy,
|
||||
C: HasDataLayout,
|
||||
{
|
||||
if !ret.layout.is_sized() {
|
||||
return;
|
||||
}
|
||||
|
||||
if !ret.layout.is_aggregate() {
|
||||
ret.extend_integer_width_to(32);
|
||||
return;
|
||||
}
|
||||
|
||||
// Per the Hexagon ABI:
|
||||
// - Aggregates up to 32 bits are returned in R0
|
||||
// - Aggregates 33-64 bits are returned in R1:R0
|
||||
// - Aggregates > 64 bits are returned indirectly via hidden first argument
|
||||
let size = ret.layout.size;
|
||||
let bits = size.bits();
|
||||
if bits <= 32 {
|
||||
ret.cast_to(Uniform::new(Reg::i32(), size));
|
||||
} else if bits <= 64 {
|
||||
ret.cast_to(Uniform::new(Reg::i64(), size));
|
||||
} else {
|
||||
ret.make_indirect();
|
||||
}
|
||||
}
|
||||
|
||||
fn classify_arg<'a, Ty, C>(cx: &C, arg: &mut ArgAbi<'a, Ty>)
|
||||
where
|
||||
Ty: TyAbiInterface<'a, C> + Copy,
|
||||
C: HasDataLayout,
|
||||
{
|
||||
if !arg.layout.is_sized() {
|
||||
return;
|
||||
}
|
||||
if arg.layout.pass_indirectly_in_non_rustic_abis(cx) {
|
||||
arg.make_indirect();
|
||||
return;
|
||||
}
|
||||
if arg.layout.is_aggregate() && arg.layout.size.bits() > 64 {
|
||||
arg.make_indirect();
|
||||
} else {
|
||||
|
||||
if !arg.layout.is_aggregate() {
|
||||
arg.extend_integer_width_to(32);
|
||||
return;
|
||||
}
|
||||
|
||||
// Per the Hexagon ABI:
|
||||
// - Aggregates up to 32 bits are passed in a single register
|
||||
// - Aggregates 33-64 bits are passed in a register pair
|
||||
// - Aggregates > 64 bits are passed on the stack
|
||||
let size = arg.layout.size;
|
||||
let bits = size.bits();
|
||||
if bits <= 32 {
|
||||
arg.cast_to(Uniform::new(Reg::i32(), size));
|
||||
} else if bits <= 64 {
|
||||
arg.cast_to(Uniform::new(Reg::i64(), size));
|
||||
} else {
|
||||
arg.pass_by_stack_offset(None);
|
||||
}
|
||||
}
|
||||
|
||||
pub(crate) fn compute_abi_info<'a, Ty, C>(cx: &C, fn_abi: &mut FnAbi<'a, Ty>)
|
||||
where
|
||||
Ty: TyAbiInterface<'a, C> + Copy,
|
||||
C: HasDataLayout,
|
||||
{
|
||||
if !fn_abi.ret.is_ignore() {
|
||||
classify_ret(&mut fn_abi.ret);
|
||||
classify_ret(cx, &mut fn_abi.ret);
|
||||
}
|
||||
|
||||
for arg in fn_abi.args.iter_mut() {
|
||||
|
||||
Reference in New Issue
Block a user