Revert #26494 regression
This commit is contained in:
parent
f0c4da4998
commit
9d45e0e0b4
@ -3226,12 +3226,8 @@ fn fn_abi_adjust_for_abi(
|
|||||||
_ => return,
|
_ => return,
|
||||||
}
|
}
|
||||||
|
|
||||||
// Pass and return structures up to 2 pointers in size by value, matching `ScalarPair`.
|
|
||||||
// LLVM will usually pass these in 2 registers, which is more efficient than by-ref.
|
|
||||||
let max_by_val_size = Pointer.size(self) * 2;
|
|
||||||
let size = arg.layout.size;
|
let size = arg.layout.size;
|
||||||
|
if arg.layout.is_unsized() || size > Pointer.size(self) {
|
||||||
if arg.layout.is_unsized() || size > max_by_val_size {
|
|
||||||
arg.make_indirect();
|
arg.make_indirect();
|
||||||
} else {
|
} else {
|
||||||
// We want to pass small aggregates as immediates, but using
|
// We want to pass small aggregates as immediates, but using
|
||||||
|
@ -1,32 +0,0 @@
|
|||||||
//! Check that types of up to 128 bits are passed and returned by-value instead of via pointer.
|
|
||||||
|
|
||||||
// compile-flags: -C no-prepopulate-passes -O
|
|
||||||
// only-x86_64
|
|
||||||
|
|
||||||
#![crate_type = "lib"]
|
|
||||||
|
|
||||||
pub struct S {
|
|
||||||
a: u64,
|
|
||||||
b: u32,
|
|
||||||
c: u32,
|
|
||||||
}
|
|
||||||
|
|
||||||
// CHECK: define i128 @modify(i128{{( %0)?}})
|
|
||||||
#[no_mangle]
|
|
||||||
pub fn modify(s: S) -> S {
|
|
||||||
S { a: s.a + s.a, b: s.b + s.b, c: s.c + s.c }
|
|
||||||
}
|
|
||||||
|
|
||||||
#[repr(packed)]
|
|
||||||
pub struct TooBig {
|
|
||||||
a: u64,
|
|
||||||
b: u32,
|
|
||||||
c: u32,
|
|
||||||
d: u8,
|
|
||||||
}
|
|
||||||
|
|
||||||
// CHECK: define void @m_big(%TooBig* [[ATTRS:.*sret.*]], %TooBig* [[ATTRS2:.*]] %s)
|
|
||||||
#[no_mangle]
|
|
||||||
pub fn m_big(s: TooBig) -> TooBig {
|
|
||||||
TooBig { a: s.a + s.a, b: s.b + s.b, c: s.c + s.c, d: s.d + s.d }
|
|
||||||
}
|
|
@ -1,5 +1,6 @@
|
|||||||
// compile-flags: -O
|
// compile-flags: -O
|
||||||
// only-x86_64
|
// only-x86_64
|
||||||
|
// ignore-test will need to be rewritten if pull accepted
|
||||||
|
|
||||||
#![crate_type = "lib"]
|
#![crate_type = "lib"]
|
||||||
|
|
||||||
|
@ -63,16 +63,11 @@ pub union UnionU128{a:u128}
|
|||||||
#[no_mangle]
|
#[no_mangle]
|
||||||
pub fn test_UnionU128(_: UnionU128) -> UnionU128 { loop {} }
|
pub fn test_UnionU128(_: UnionU128) -> UnionU128 { loop {} }
|
||||||
|
|
||||||
pub union UnionU128x2{a:(u128, u128)}
|
|
||||||
// CHECK: define void @test_UnionU128x2(i128 %_1.0, i128 %_1.1)
|
|
||||||
#[no_mangle]
|
|
||||||
pub fn test_UnionU128x2(_: UnionU128x2) { loop {} }
|
|
||||||
|
|
||||||
#[repr(C)]
|
#[repr(C)]
|
||||||
pub union CUnionU128x2{a:(u128, u128)}
|
pub union CUnionU128{a:u128}
|
||||||
// CHECK: define void @test_CUnionU128x2(%CUnionU128x2* {{.*}} %_1)
|
// CHECK: define void @test_CUnionU128(%CUnionU128* {{.*}} %_1)
|
||||||
#[no_mangle]
|
#[no_mangle]
|
||||||
pub fn test_CUnionU128x2(_: CUnionU128x2) { loop {} }
|
pub fn test_CUnionU128(_: CUnionU128) { loop {} }
|
||||||
|
|
||||||
pub union UnionBool { b:bool }
|
pub union UnionBool { b:bool }
|
||||||
// CHECK: define noundef zeroext i1 @test_UnionBool(i8 %b)
|
// CHECK: define noundef zeroext i1 @test_UnionBool(i8 %b)
|
||||||
|
Loading…
Reference in New Issue
Block a user