1use std::{fmt, iter};
23use arrayvec::ArrayVec;
4use rustc_abi::{
5AddressSpace, Align, BackendRepr, CanonAbi, ExternAbi, FieldsShape, HasDataLayout, Primitive,
6Reg, RegKind, Scalar, Size, TyAbiInterface, TyAndLayout, Variants,
7};
8use rustc_macros::StableHash;
910pub use crate::spec::AbiMap;
11use crate::spec::{Arch, HasTargetSpec, HasX86AbiOpt, RustcAbi};
1213mod aarch64;
14mod amdgpu;
15mod arm;
16mod avr;
17mod bpf;
18mod csky;
19mod hexagon;
20mod loongarch;
21mod m68k;
22mod mips;
23mod mips64;
24mod msp430;
25mod nvptx64;
26mod powerpc;
27mod powerpc64;
28mod riscv;
29mod s390x;
30mod sparc;
31mod sparc64;
32mod wasm;
33mod x86;
34mod x86_64;
35mod x86_win32;
36mod x86_win64;
37mod xtensa;
3839/// Different modes in which indirect arguments can be passed.
40#[derive(#[automatically_derived]
impl ::core::marker::Copy for IndirectMode { }Copy, #[automatically_derived]
#[doc(hidden)]
unsafe impl ::core::clone::TrivialClone for IndirectMode { }
#[automatically_derived]
impl ::core::clone::Clone for IndirectMode {
#[inline]
fn clone(&self) -> Self { *self }
}Clone, #[automatically_derived]
impl ::core::marker::StructuralPartialEq for IndirectMode { }
#[automatically_derived]
impl ::core::cmp::PartialEq for IndirectMode {
#[inline]
fn eq(&self, other: &Self) -> bool {
::core::intrinsics::discriminant_value(self) ==
::core::intrinsics::discriminant_value(other)
}
}PartialEq, #[automatically_derived]
impl ::core::cmp::Eq for IndirectMode { }Eq, #[automatically_derived]
impl ::core::hash::Hash for IndirectMode {
#[inline]
fn hash<__H: ::core::hash::Hasher>(&self, state: &mut __H) {
::core::hash::Hash::hash(&::core::intrinsics::discriminant_value(self),
state)
}
}Hash, #[automatically_derived]
impl ::core::fmt::Debug for IndirectMode {
#[inline]
fn fmt(&self, f: &mut ::core::fmt::Formatter) -> ::core::fmt::Result {
::core::fmt::Formatter::write_str(f,
match self {
IndirectMode::Pointer => "Pointer",
IndirectMode::OnStack => "OnStack",
IndirectMode::AmdgpuKernelArg => "AmdgpuKernelArg",
})
}
}Debug, const _: () =
{
impl ::rustc_data_structures::stable_hash::StableHash for IndirectMode
{
#[inline]
fn stable_hash<__Hcx: ::rustc_data_structures::stable_hash::StableHashCtxt>(&self,
__hcx: &mut __Hcx,
__hasher:
&mut ::rustc_data_structures::stable_hash::StableHasher) {
::std::mem::discriminant(self).stable_hash(__hcx, __hasher);
match *self {
IndirectMode::Pointer => {}
IndirectMode::OnStack => {}
IndirectMode::AmdgpuKernelArg => {}
}
}
}
};StableHash)]
41pub enum IndirectMode {
42/// Passed as a normal pointer, nothing special.
43Pointer,
44/// The value should be passed at a fixed stack offset in accordance to
45 /// the ABI rather than passed using a pointer. This corresponds to the `byval` LLVM argument
46 /// attribute. The `byval` argument will use a byte array with the same size as the Rust type
47 /// (which ensures that padding is preserved and that we do not rely on LLVM's struct layout),
48 /// and will use the alignment specified in `attrs.pointee_align` (if `Some`) or the type's
49 /// alignment (if `None`). This means that the alignment will not always
50 /// match the Rust type's alignment; see documentation of `pass_by_stack_offset` for more info.
51OnStack,
52/// `AmdgpuKernelArg` behaves similar to `OnStack` except that the pointer does not necessarily
53 /// point to the stack, no extra copy is made, and the passed argument should not be modified.
54 /// This corresponds to the `byref` LLVM argument attribute.
55AmdgpuKernelArg,
56}
5758#[derive(#[automatically_derived]
impl ::core::clone::Clone for PassMode {
#[inline]
fn clone(&self) -> Self {
match self {
Self::Ignore => PassMode::Ignore,
Self::Direct(__self_0) =>
PassMode::Direct(::core::clone::Clone::clone(__self_0)),
Self::Pair(__self_0, __self_1) =>
PassMode::Pair(::core::clone::Clone::clone(__self_0),
::core::clone::Clone::clone(__self_1)),
Self::Cast { pad_i32_count: __self_0, cast: __self_1 } =>
PassMode::Cast {
pad_i32_count: ::core::clone::Clone::clone(__self_0),
cast: ::core::clone::Clone::clone(__self_1),
},
Self::Indirect {
attrs: __self_0,
meta_attrs: __self_1,
address_space: __self_2,
mode: __self_3 } =>
PassMode::Indirect {
attrs: ::core::clone::Clone::clone(__self_0),
meta_attrs: ::core::clone::Clone::clone(__self_1),
address_space: ::core::clone::Clone::clone(__self_2),
mode: ::core::clone::Clone::clone(__self_3),
},
}
}
}Clone, #[automatically_derived]
impl ::core::marker::StructuralPartialEq for PassMode { }
#[automatically_derived]
impl ::core::cmp::PartialEq for PassMode {
#[inline]
fn eq(&self, other: &Self) -> bool {
::core::intrinsics::discriminant_value(self) ==
::core::intrinsics::discriminant_value(other) &&
match (self, other) {
(Self::Direct(__self_0), Self::Direct(__arg1_0)) =>
__self_0 == __arg1_0,
(Self::Pair(__self_0, __self_1),
Self::Pair(__arg1_0, __arg1_1)) =>
__self_0 == __arg1_0 && __self_1 == __arg1_1,
(Self::Cast { pad_i32_count: __self_0, cast: __self_1 },
Self::Cast { pad_i32_count: __arg1_0, cast: __arg1_1 }) =>
__self_0 == __arg1_0 && __self_1 == __arg1_1,
(Self::Indirect {
attrs: __self_0,
meta_attrs: __self_1,
address_space: __self_2,
mode: __self_3 }, Self::Indirect {
attrs: __arg1_0,
meta_attrs: __arg1_1,
address_space: __arg1_2,
mode: __arg1_3 }) =>
__self_0 == __arg1_0 && __self_1 == __arg1_1 &&
__self_2 == __arg1_2 && __self_3 == __arg1_3,
_ => true,
}
}
}PartialEq, #[automatically_derived]
impl ::core::cmp::Eq for PassMode {
#[inline]
#[doc(hidden)]
#[coverage(off)]
fn assert_fields_are_eq(&self) {
let _: ::core::cmp::AssertParamIsEq<ArgAttributes>;
let _: ::core::cmp::AssertParamIsEq<u8>;
let _: ::core::cmp::AssertParamIsEq<Box<CastTarget>>;
let _: ::core::cmp::AssertParamIsEq<Option<ArgAttributes>>;
let _: ::core::cmp::AssertParamIsEq<Option<AddressSpace>>;
let _: ::core::cmp::AssertParamIsEq<IndirectMode>;
}
}Eq, #[automatically_derived]
impl ::core::hash::Hash for PassMode {
#[inline]
fn hash<__H: ::core::hash::Hasher>(&self, state: &mut __H) {
::core::hash::Hash::hash(&::core::intrinsics::discriminant_value(self),
state);
match self {
Self::Direct(__self_0) =>
::core::hash::Hash::hash(__self_0, state),
Self::Pair(__self_0, __self_1) => {
::core::hash::Hash::hash(__self_0, state);
::core::hash::Hash::hash(__self_1, state)
}
Self::Cast { pad_i32_count: __self_0, cast: __self_1 } => {
::core::hash::Hash::hash(__self_0, state);
::core::hash::Hash::hash(__self_1, state)
}
Self::Indirect {
attrs: __self_0,
meta_attrs: __self_1,
address_space: __self_2,
mode: __self_3 } => {
::core::hash::Hash::hash(__self_0, state);
::core::hash::Hash::hash(__self_1, state);
::core::hash::Hash::hash(__self_2, state);
::core::hash::Hash::hash(__self_3, state)
}
_ => {}
}
}
}Hash, #[automatically_derived]
impl ::core::fmt::Debug for PassMode {
#[inline]
fn fmt(&self, f: &mut ::core::fmt::Formatter) -> ::core::fmt::Result {
match self {
Self::Ignore => ::core::fmt::Formatter::write_str(f, "Ignore"),
Self::Direct(__self_0) =>
::core::fmt::Formatter::debug_tuple_field1_finish(f, "Direct",
&__self_0),
Self::Pair(__self_0, __self_1) =>
::core::fmt::Formatter::debug_tuple_field2_finish(f, "Pair",
__self_0, &__self_1),
Self::Cast { pad_i32_count: __self_0, cast: __self_1 } =>
::core::fmt::Formatter::debug_struct_field2_finish(f, "Cast",
"pad_i32_count", __self_0, "cast", &__self_1),
Self::Indirect {
attrs: __self_0,
meta_attrs: __self_1,
address_space: __self_2,
mode: __self_3 } =>
::core::fmt::Formatter::debug_struct_field4_finish(f,
"Indirect", "attrs", __self_0, "meta_attrs", __self_1,
"address_space", __self_2, "mode", &__self_3),
}
}
}Debug, const _: () =
{
impl ::rustc_data_structures::stable_hash::StableHash for PassMode {
#[inline]
fn stable_hash<__Hcx: ::rustc_data_structures::stable_hash::StableHashCtxt>(&self,
__hcx: &mut __Hcx,
__hasher:
&mut ::rustc_data_structures::stable_hash::StableHasher) {
::std::mem::discriminant(self).stable_hash(__hcx, __hasher);
match *self {
PassMode::Ignore => {}
PassMode::Direct(ref __binding_0) => {
{ __binding_0.stable_hash(__hcx, __hasher); }
}
PassMode::Pair(ref __binding_0, ref __binding_1) => {
{ __binding_0.stable_hash(__hcx, __hasher); }
{ __binding_1.stable_hash(__hcx, __hasher); }
}
PassMode::Cast {
pad_i32_count: ref __binding_0, cast: ref __binding_1 } => {
{ __binding_0.stable_hash(__hcx, __hasher); }
{ __binding_1.stable_hash(__hcx, __hasher); }
}
PassMode::Indirect {
attrs: ref __binding_0,
meta_attrs: ref __binding_1,
address_space: ref __binding_2,
mode: ref __binding_3 } => {
{ __binding_0.stable_hash(__hcx, __hasher); }
{ __binding_1.stable_hash(__hcx, __hasher); }
{ __binding_2.stable_hash(__hcx, __hasher); }
{ __binding_3.stable_hash(__hcx, __hasher); }
}
}
}
}
};StableHash)]
59pub enum PassMode {
60/// Ignore the argument.
61 ///
62 /// The argument is a ZST.
63Ignore,
64/// Pass the argument directly.
65 ///
66 /// The argument has a layout abi of `Scalar` or `Vector`.
67 /// Unfortunately due to past mistakes, in rare cases on wasm, it can also be `Aggregate`.
68 /// This is bad since it leaks LLVM implementation details into the ABI.
69 /// (Also see <https://github.com/rust-lang/rust/issues/115666>.)
70Direct(ArgAttributes),
71/// Pass a pair's elements directly in two arguments.
72 ///
73 /// The argument has a layout abi of `ScalarPair`.
74Pair(ArgAttributes, ArgAttributes),
75/// Pass the argument after casting it. See the `CastTarget` docs for details.
76 ///
77 /// `pad_i32` indicates how many `Reg::i32()` dummy arguments are emitted before the real
78 /// argument.
79Cast { pad_i32_count: u8, cast: Box<CastTarget> },
80/// Pass the argument indirectly via a hidden pointer.
81 ///
82 /// The `meta_attrs` value, if any, is for the metadata (vtable or length) of an unsized
83 /// argument. (This is the only mode that supports unsized arguments.)
84 ///
85 /// `address_space` specifies if the pointer is in a special address space or the default one.
86 ///
87 /// `mode` can be a special way to pass an argument indirectly.
88 /// `OnStack` and `AmdgpuKernelArg` cannot be used for unsized arguments, i.e., when
89 /// `meta_attrs` is `Some`.
90Indirect {
91 attrs: ArgAttributes,
92 meta_attrs: Option<ArgAttributes>,
93 address_space: Option<AddressSpace>,
94 mode: IndirectMode,
95 },
96}
9798impl PassMode {
99/// Checks if these two `PassMode` are equal enough to be considered "the same for all
100 /// function call ABIs". However, the `Layout` can also impact ABI decisions,
101 /// so that needs to be compared as well!
102pub fn eq_abi(&self, other: &Self) -> bool {
103match (self, other) {
104 (PassMode::Ignore, PassMode::Ignore) => true,
105 (PassMode::Direct(a1), PassMode::Direct(a2)) => a1.eq_abi(a2),
106 (PassMode::Pair(a1, b1), PassMode::Pair(a2, b2)) => a1.eq_abi(a2) && b1.eq_abi(b2),
107 (
108 PassMode::Cast { cast: c1, pad_i32_count: pad1 },
109 PassMode::Cast { cast: c2, pad_i32_count: pad2 },
110 ) => c1.eq_abi(c2) && pad1 == pad2,
111 (
112 PassMode::Indirect { attrs: a1, meta_attrs: None, address_space: as1, mode: m1 },
113 PassMode::Indirect { attrs: a2, meta_attrs: None, address_space: as2, mode: m2 },
114 ) => a1.eq_abi(a2) && as1 == as2 && m1 == m2,
115 (
116 PassMode::Indirect {
117 attrs: a1,
118 meta_attrs: Some(e1),
119 address_space: as1,
120 mode: m1,
121 },
122 PassMode::Indirect {
123 attrs: a2,
124 meta_attrs: Some(e2),
125 address_space: as2,
126 mode: m2,
127 },
128 ) => a1.eq_abi(a2) && as1 == as2 && e1.eq_abi(e2) && m1 == m2,
129_ => false,
130 }
131 }
132}
133134// Hack to disable non_upper_case_globals only for the bitflags! and not for the rest
135// of this module
136pub use attr_impl::ArgAttribute;
137138#[allow(non_upper_case_globals)]
139#[allow(unused)]
140mod attr_impl {
141use rustc_macros::StableHash;
142143// The subset of llvm::Attribute needed for arguments, packed into a bitfield.
144#[derive(#[automatically_derived]
#[doc(hidden)]
unsafe impl ::core::clone::TrivialClone for ArgAttribute { }
#[automatically_derived]
impl ::core::clone::Clone for ArgAttribute {
#[inline]
fn clone(&self) -> Self {
let _: ::core::clone::AssertParamIsClone<u16>;
*self
}
}Clone, #[automatically_derived]
impl ::core::marker::Copy for ArgAttribute { }Copy, #[automatically_derived]
impl ::core::default::Default for ArgAttribute {
#[inline]
fn default() -> Self { ArgAttribute(::core::default::Default::default()) }
}Default, #[automatically_derived]
impl ::core::hash::Hash for ArgAttribute {
#[inline]
fn hash<__H: ::core::hash::Hasher>(&self, state: &mut __H) {
::core::hash::Hash::hash(&self.0, state)
}
}Hash, #[automatically_derived]
impl ::core::marker::StructuralPartialEq for ArgAttribute { }
#[automatically_derived]
impl ::core::cmp::PartialEq for ArgAttribute {
#[inline]
fn eq(&self, other: &Self) -> bool { self.0 == other.0 }
}PartialEq, #[automatically_derived]
impl ::core::cmp::Eq for ArgAttribute {
#[inline]
#[doc(hidden)]
#[coverage(off)]
fn assert_fields_are_eq(&self) {
let _: ::core::cmp::AssertParamIsEq<u16>;
}
}Eq, const _: () =
{
impl ::rustc_data_structures::stable_hash::StableHash for ArgAttribute
{
#[inline]
fn stable_hash<__Hcx: ::rustc_data_structures::stable_hash::StableHashCtxt>(&self,
__hcx: &mut __Hcx,
__hasher:
&mut ::rustc_data_structures::stable_hash::StableHasher) {
match *self {
ArgAttribute(ref __binding_0) => {
{ __binding_0.stable_hash(__hcx, __hasher); }
}
}
}
}
};StableHash)]
145pub struct ArgAttribute(u16);
146impl ArgAttribute {
#[allow(deprecated, non_upper_case_globals,)]
pub const CapturesNone: Self = Self::from_bits_retain(0b111);
#[allow(deprecated, non_upper_case_globals,)]
pub const CapturesAddress: Self = Self::from_bits_retain(0b110);
#[allow(deprecated, non_upper_case_globals,)]
pub const CapturesReadOnly: Self = Self::from_bits_retain(0b100);
#[allow(deprecated, non_upper_case_globals,)]
pub const NoAlias: Self = Self::from_bits_retain(1 << 3);
#[allow(deprecated, non_upper_case_globals,)]
pub const NonNull: Self = Self::from_bits_retain(1 << 4);
#[allow(deprecated, non_upper_case_globals,)]
pub const ReadOnly: Self = Self::from_bits_retain(1 << 5);
#[allow(deprecated, non_upper_case_globals,)]
pub const InReg: Self = Self::from_bits_retain(1 << 6);
#[allow(deprecated, non_upper_case_globals,)]
pub const NoUndef: Self = Self::from_bits_retain(1 << 7);
#[allow(deprecated, non_upper_case_globals,)]
pub const Writable: Self = Self::from_bits_retain(1 << 8);
#[doc =
r" It is UB for this pointer or any pointer derived from it to be used for"]
#[doc =
r" deallocation (except for zero-sized deallocation) while the function is"]
#[doc =
r" executing. Only valid on arguments (including return values that are passed"]
#[doc = r" indirectly as arguments)."]
#[allow(deprecated, non_upper_case_globals,)]
pub const NoFree: Self = Self::from_bits_retain(1 << 9);
}
impl ::bitflags::Flags for ArgAttribute {
const FLAGS: &'static [::bitflags::Flag<ArgAttribute>] =
&[{
#[allow(deprecated, non_upper_case_globals,)]
::bitflags::Flag::new("CapturesNone",
ArgAttribute::CapturesNone)
},
{
#[allow(deprecated, non_upper_case_globals,)]
::bitflags::Flag::new("CapturesAddress",
ArgAttribute::CapturesAddress)
},
{
#[allow(deprecated, non_upper_case_globals,)]
::bitflags::Flag::new("CapturesReadOnly",
ArgAttribute::CapturesReadOnly)
},
{
#[allow(deprecated, non_upper_case_globals,)]
::bitflags::Flag::new("NoAlias", ArgAttribute::NoAlias)
},
{
#[allow(deprecated, non_upper_case_globals,)]
::bitflags::Flag::new("NonNull", ArgAttribute::NonNull)
},
{
#[allow(deprecated, non_upper_case_globals,)]
::bitflags::Flag::new("ReadOnly", ArgAttribute::ReadOnly)
},
{
#[allow(deprecated, non_upper_case_globals,)]
::bitflags::Flag::new("InReg", ArgAttribute::InReg)
},
{
#[allow(deprecated, non_upper_case_globals,)]
::bitflags::Flag::new("NoUndef", ArgAttribute::NoUndef)
},
{
#[allow(deprecated, non_upper_case_globals,)]
::bitflags::Flag::new("Writable", ArgAttribute::Writable)
},
{
#[allow(deprecated, non_upper_case_globals,)]
::bitflags::Flag::new("NoFree", ArgAttribute::NoFree)
}];
type Bits = u16;
fn bits(&self) -> u16 { ArgAttribute::bits(self) }
fn from_bits_retain(bits: u16) -> ArgAttribute {
ArgAttribute::from_bits_retain(bits)
}
}
#[allow(dead_code, deprecated, unused_doc_comments, unused_attributes,
unused_mut, unused_imports, non_upper_case_globals, clippy ::
assign_op_pattern, clippy :: iter_without_into_iter,)]
const _: () =
{
#[allow(dead_code, deprecated, unused_attributes)]
impl ArgAttribute {
/// Get a flags value with all bits unset.
#[inline]
pub const fn empty() -> Self {
Self(<u16 as ::bitflags::Bits>::EMPTY)
}
/// Get a flags value with all known bits set.
#[inline]
pub const fn all() -> Self {
let mut truncated = <u16 as ::bitflags::Bits>::EMPTY;
let mut i = 0;
{
{
let flag =
<ArgAttribute as
::bitflags::Flags>::FLAGS[i].value().bits();
truncated = truncated | flag;
i += 1;
}
};
{
{
let flag =
<ArgAttribute as
::bitflags::Flags>::FLAGS[i].value().bits();
truncated = truncated | flag;
i += 1;
}
};
{
{
let flag =
<ArgAttribute as
::bitflags::Flags>::FLAGS[i].value().bits();
truncated = truncated | flag;
i += 1;
}
};
{
{
let flag =
<ArgAttribute as
::bitflags::Flags>::FLAGS[i].value().bits();
truncated = truncated | flag;
i += 1;
}
};
{
{
let flag =
<ArgAttribute as
::bitflags::Flags>::FLAGS[i].value().bits();
truncated = truncated | flag;
i += 1;
}
};
{
{
let flag =
<ArgAttribute as
::bitflags::Flags>::FLAGS[i].value().bits();
truncated = truncated | flag;
i += 1;
}
};
{
{
let flag =
<ArgAttribute as
::bitflags::Flags>::FLAGS[i].value().bits();
truncated = truncated | flag;
i += 1;
}
};
{
{
let flag =
<ArgAttribute as
::bitflags::Flags>::FLAGS[i].value().bits();
truncated = truncated | flag;
i += 1;
}
};
{
{
let flag =
<ArgAttribute as
::bitflags::Flags>::FLAGS[i].value().bits();
truncated = truncated | flag;
i += 1;
}
};
{
{
let flag =
<ArgAttribute as
::bitflags::Flags>::FLAGS[i].value().bits();
truncated = truncated | flag;
i += 1;
}
};
let _ = i;
Self(truncated)
}
/// Get the underlying bits value.
///
/// The returned value is exactly the bits set in this flags value.
#[inline]
pub const fn bits(&self) -> u16 { self.0 }
/// Convert from a bits value.
///
/// This method will return `None` if any unknown bits are set.
#[inline]
pub const fn from_bits(bits: u16)
-> ::bitflags::__private::core::option::Option<Self> {
let truncated = Self::from_bits_truncate(bits).0;
if truncated == bits {
::bitflags::__private::core::option::Option::Some(Self(bits))
} else { ::bitflags::__private::core::option::Option::None }
}
/// Convert from a bits value, unsetting any unknown bits.
#[inline]
pub const fn from_bits_truncate(bits: u16) -> Self {
Self(bits & Self::all().0)
}
/// Convert from a bits value exactly.
#[inline]
pub const fn from_bits_retain(bits: u16) -> Self { Self(bits) }
/// Get a flags value with the bits of a flag with the given name set.
///
/// This method will return `None` if `name` is empty or doesn't
/// correspond to any named flag.
#[inline]
pub fn from_name(name: &str)
-> ::bitflags::__private::core::option::Option<Self> {
{
if name == "CapturesNone" {
return ::bitflags::__private::core::option::Option::Some(Self(ArgAttribute::CapturesNone.bits()));
}
};
;
{
if name == "CapturesAddress" {
return ::bitflags::__private::core::option::Option::Some(Self(ArgAttribute::CapturesAddress.bits()));
}
};
;
{
if name == "CapturesReadOnly" {
return ::bitflags::__private::core::option::Option::Some(Self(ArgAttribute::CapturesReadOnly.bits()));
}
};
;
{
if name == "NoAlias" {
return ::bitflags::__private::core::option::Option::Some(Self(ArgAttribute::NoAlias.bits()));
}
};
;
{
if name == "NonNull" {
return ::bitflags::__private::core::option::Option::Some(Self(ArgAttribute::NonNull.bits()));
}
};
;
{
if name == "ReadOnly" {
return ::bitflags::__private::core::option::Option::Some(Self(ArgAttribute::ReadOnly.bits()));
}
};
;
{
if name == "InReg" {
return ::bitflags::__private::core::option::Option::Some(Self(ArgAttribute::InReg.bits()));
}
};
;
{
if name == "NoUndef" {
return ::bitflags::__private::core::option::Option::Some(Self(ArgAttribute::NoUndef.bits()));
}
};
;
{
if name == "Writable" {
return ::bitflags::__private::core::option::Option::Some(Self(ArgAttribute::Writable.bits()));
}
};
;
{
if name == "NoFree" {
return ::bitflags::__private::core::option::Option::Some(Self(ArgAttribute::NoFree.bits()));
}
};
;
let _ = name;
::bitflags::__private::core::option::Option::None
}
/// Whether all bits in this flags value are unset.
#[inline]
pub const fn is_empty(&self) -> bool {
self.0 == <u16 as ::bitflags::Bits>::EMPTY
}
/// Whether all known bits in this flags value are set.
#[inline]
pub const fn is_all(&self) -> bool {
Self::all().0 | self.0 == self.0
}
/// Whether any set bits in a source flags value are also set in a target flags value.
#[inline]
pub const fn intersects(&self, other: Self) -> bool {
self.0 & other.0 != <u16 as ::bitflags::Bits>::EMPTY
}
/// Whether all set bits in a source flags value are also set in a target flags value.
#[inline]
pub const fn contains(&self, other: Self) -> bool {
self.0 & other.0 == other.0
}
/// The bitwise or (`|`) of the bits in two flags values.
#[inline]
pub fn insert(&mut self, other: Self) {
*self = Self(self.0).union(other);
}
/// The intersection of a source flags value with the complement of a target flags
/// value (`&!`).
///
/// This method is not equivalent to `self & !other` when `other` has unknown bits set.
/// `remove` won't truncate `other`, but the `!` operator will.
#[inline]
pub fn remove(&mut self, other: Self) {
*self = Self(self.0).difference(other);
}
/// The bitwise exclusive-or (`^`) of the bits in two flags values.
#[inline]
pub fn toggle(&mut self, other: Self) {
*self = Self(self.0).symmetric_difference(other);
}
/// Call `insert` when `value` is `true` or `remove` when `value` is `false`.
#[inline]
pub fn set(&mut self, other: Self, value: bool) {
if value { self.insert(other); } else { self.remove(other); }
}
/// The bitwise and (`&`) of the bits in two flags values.
#[inline]
#[must_use]
pub const fn intersection(self, other: Self) -> Self {
Self(self.0 & other.0)
}
/// The bitwise or (`|`) of the bits in two flags values.
#[inline]
#[must_use]
pub const fn union(self, other: Self) -> Self {
Self(self.0 | other.0)
}
/// The intersection of a source flags value with the complement of a target flags
/// value (`&!`).
///
/// This method is not equivalent to `self & !other` when `other` has unknown bits set.
/// `difference` won't truncate `other`, but the `!` operator will.
#[inline]
#[must_use]
pub const fn difference(self, other: Self) -> Self {
Self(self.0 & !other.0)
}
/// The bitwise exclusive-or (`^`) of the bits in two flags values.
#[inline]
#[must_use]
pub const fn symmetric_difference(self, other: Self) -> Self {
Self(self.0 ^ other.0)
}
/// The bitwise negation (`!`) of the bits in a flags value, truncating the result.
#[inline]
#[must_use]
pub const fn complement(self) -> Self {
Self::from_bits_truncate(!self.0)
}
}
impl ::bitflags::__private::core::fmt::Binary for ArgAttribute {
fn fmt(&self, f: &mut ::bitflags::__private::core::fmt::Formatter)
-> ::bitflags::__private::core::fmt::Result {
let inner = self.0;
::bitflags::__private::core::fmt::Binary::fmt(&inner, f)
}
}
impl ::bitflags::__private::core::fmt::Octal for ArgAttribute {
fn fmt(&self, f: &mut ::bitflags::__private::core::fmt::Formatter)
-> ::bitflags::__private::core::fmt::Result {
let inner = self.0;
::bitflags::__private::core::fmt::Octal::fmt(&inner, f)
}
}
impl ::bitflags::__private::core::fmt::LowerHex for ArgAttribute {
fn fmt(&self, f: &mut ::bitflags::__private::core::fmt::Formatter)
-> ::bitflags::__private::core::fmt::Result {
let inner = self.0;
::bitflags::__private::core::fmt::LowerHex::fmt(&inner, f)
}
}
impl ::bitflags::__private::core::fmt::UpperHex for ArgAttribute {
fn fmt(&self, f: &mut ::bitflags::__private::core::fmt::Formatter)
-> ::bitflags::__private::core::fmt::Result {
let inner = self.0;
::bitflags::__private::core::fmt::UpperHex::fmt(&inner, f)
}
}
impl ::bitflags::__private::core::ops::BitOr for ArgAttribute {
type Output = Self;
/// The bitwise or (`|`) of the bits in two flags values.
#[inline]
fn bitor(self, other: ArgAttribute) -> Self { self.union(other) }
}
impl ::bitflags::__private::core::ops::BitOrAssign for ArgAttribute {
/// The bitwise or (`|`) of the bits in two flags values.
#[inline]
fn bitor_assign(&mut self, other: Self) { self.insert(other); }
}
impl ::bitflags::__private::core::ops::BitXor for ArgAttribute {
type Output = Self;
/// The bitwise exclusive-or (`^`) of the bits in two flags values.
#[inline]
fn bitxor(self, other: Self) -> Self {
self.symmetric_difference(other)
}
}
impl ::bitflags::__private::core::ops::BitXorAssign for ArgAttribute {
/// The bitwise exclusive-or (`^`) of the bits in two flags values.
#[inline]
fn bitxor_assign(&mut self, other: Self) { self.toggle(other); }
}
impl ::bitflags::__private::core::ops::BitAnd for ArgAttribute {
type Output = Self;
/// The bitwise and (`&`) of the bits in two flags values.
#[inline]
fn bitand(self, other: Self) -> Self { self.intersection(other) }
}
impl ::bitflags::__private::core::ops::BitAndAssign for ArgAttribute {
/// The bitwise and (`&`) of the bits in two flags values.
#[inline]
fn bitand_assign(&mut self, other: Self) {
*self =
Self::from_bits_retain(self.bits()).intersection(other);
}
}
impl ::bitflags::__private::core::ops::Sub for ArgAttribute {
type Output = Self;
/// The intersection of a source flags value with the complement of a target flags value (`&!`).
///
/// This method is not equivalent to `self & !other` when `other` has unknown bits set.
/// `difference` won't truncate `other`, but the `!` operator will.
#[inline]
fn sub(self, other: Self) -> Self { self.difference(other) }
}
impl ::bitflags::__private::core::ops::SubAssign for ArgAttribute {
/// The intersection of a source flags value with the complement of a target flags value (`&!`).
///
/// This method is not equivalent to `self & !other` when `other` has unknown bits set.
/// `difference` won't truncate `other`, but the `!` operator will.
#[inline]
fn sub_assign(&mut self, other: Self) { self.remove(other); }
}
impl ::bitflags::__private::core::ops::Not for ArgAttribute {
type Output = Self;
/// The bitwise negation (`!`) of the bits in a flags value, truncating the result.
#[inline]
fn not(self) -> Self { self.complement() }
}
impl ::bitflags::__private::core::iter::Extend<ArgAttribute> for
ArgAttribute {
/// The bitwise or (`|`) of the bits in each flags value.
fn extend<T: ::bitflags::__private::core::iter::IntoIterator<Item
= Self>>(&mut self, iterator: T) {
for item in iterator { self.insert(item) }
}
}
impl ::bitflags::__private::core::iter::FromIterator<ArgAttribute> for
ArgAttribute {
/// The bitwise or (`|`) of the bits in each flags value.
fn from_iter<T: ::bitflags::__private::core::iter::IntoIterator<Item
= Self>>(iterator: T) -> Self {
use ::bitflags::__private::core::iter::Extend;
let mut result = Self::empty();
result.extend(iterator);
result
}
}
impl ArgAttribute {
/// Yield a set of contained flags values.
///
/// Each yielded flags value will correspond to a defined named flag. Any unknown bits
/// will be yielded together as a final flags value.
#[inline]
pub const fn iter(&self) -> ::bitflags::iter::Iter<ArgAttribute> {
::bitflags::iter::Iter::__private_const_new(<ArgAttribute as
::bitflags::Flags>::FLAGS,
ArgAttribute::from_bits_retain(self.bits()),
ArgAttribute::from_bits_retain(self.bits()))
}
/// Yield a set of contained named flags values.
///
/// This method is like [`iter`](#method.iter), except only yields bits in contained named flags.
/// Any unknown bits, or bits not corresponding to a contained flag will not be yielded.
#[inline]
pub const fn iter_names(&self)
-> ::bitflags::iter::IterNames<ArgAttribute> {
::bitflags::iter::IterNames::__private_const_new(<ArgAttribute
as ::bitflags::Flags>::FLAGS,
ArgAttribute::from_bits_retain(self.bits()),
ArgAttribute::from_bits_retain(self.bits()))
}
}
impl ::bitflags::__private::core::iter::IntoIterator for ArgAttribute
{
type Item = ArgAttribute;
type IntoIter = ::bitflags::iter::Iter<ArgAttribute>;
fn into_iter(self) -> Self::IntoIter { self.iter() }
}
};bitflags::bitflags! {
147impl ArgAttribute: u16 {
148const CapturesNone = 0b111;
149const CapturesAddress = 0b110;
150const CapturesReadOnly = 0b100;
151const NoAlias = 1 << 3;
152const NonNull = 1 << 4;
153const ReadOnly = 1 << 5;
154const InReg = 1 << 6;
155const NoUndef = 1 << 7;
156const Writable = 1 << 8;
157/// It is UB for this pointer or any pointer derived from it to be used for
158 /// deallocation (except for zero-sized deallocation) while the function is
159 /// executing. Only valid on arguments (including return values that are passed
160 /// indirectly as arguments).
161const NoFree = 1 << 9;
162 }
163 }164impl ::std::fmt::Debug for ArgAttribute {
fn fmt(&self, f: &mut ::std::fmt::Formatter<'_>) -> ::std::fmt::Result {
::bitflags::parser::to_writer(self, f)
}
}rustc_data_structures::external_bitflags_debug! { ArgAttribute }165}
166167/// Sometimes an ABI requires small integers to be extended to a full or partial register. This enum
168/// defines if this extension should be zero-extension or sign-extension when necessary. When it is
169/// not necessary to extend the argument, this enum is ignored.
170#[derive(#[automatically_derived]
impl ::core::marker::Copy for ArgExtension { }Copy, #[automatically_derived]
#[doc(hidden)]
unsafe impl ::core::clone::TrivialClone for ArgExtension { }
#[automatically_derived]
impl ::core::clone::Clone for ArgExtension {
#[inline]
fn clone(&self) -> Self { *self }
}Clone, #[automatically_derived]
impl ::core::marker::StructuralPartialEq for ArgExtension { }
#[automatically_derived]
impl ::core::cmp::PartialEq for ArgExtension {
#[inline]
fn eq(&self, other: &Self) -> bool {
::core::intrinsics::discriminant_value(self) ==
::core::intrinsics::discriminant_value(other)
}
}PartialEq, #[automatically_derived]
impl ::core::cmp::Eq for ArgExtension { }Eq, #[automatically_derived]
impl ::core::hash::Hash for ArgExtension {
#[inline]
fn hash<__H: ::core::hash::Hasher>(&self, state: &mut __H) {
::core::hash::Hash::hash(&::core::intrinsics::discriminant_value(self),
state)
}
}Hash, #[automatically_derived]
impl ::core::fmt::Debug for ArgExtension {
#[inline]
fn fmt(&self, f: &mut ::core::fmt::Formatter) -> ::core::fmt::Result {
::core::fmt::Formatter::write_str(f,
match self {
ArgExtension::None => "None",
ArgExtension::Zext => "Zext",
ArgExtension::Sext => "Sext",
})
}
}Debug, const _: () =
{
impl ::rustc_data_structures::stable_hash::StableHash for ArgExtension
{
#[inline]
fn stable_hash<__Hcx: ::rustc_data_structures::stable_hash::StableHashCtxt>(&self,
__hcx: &mut __Hcx,
__hasher:
&mut ::rustc_data_structures::stable_hash::StableHasher) {
::std::mem::discriminant(self).stable_hash(__hcx, __hasher);
match *self {
ArgExtension::None => {}
ArgExtension::Zext => {}
ArgExtension::Sext => {}
}
}
}
};StableHash)]
171pub enum ArgExtension {
172None,
173 Zext,
174 Sext,
175}
176177/// A compact representation of LLVM attributes (at least those relevant for this module)
178/// that can be manipulated without interacting with LLVM's Attribute machinery.
179#[derive(#[automatically_derived]
impl ::core::marker::Copy for ArgAttributes { }Copy, #[automatically_derived]
#[doc(hidden)]
unsafe impl ::core::clone::TrivialClone for ArgAttributes { }
#[automatically_derived]
impl ::core::clone::Clone for ArgAttributes {
#[inline]
fn clone(&self) -> Self {
let _: ::core::clone::AssertParamIsClone<ArgAttribute>;
let _: ::core::clone::AssertParamIsClone<ArgExtension>;
let _: ::core::clone::AssertParamIsClone<Size>;
let _: ::core::clone::AssertParamIsClone<Option<Align>>;
*self
}
}Clone, #[automatically_derived]
impl ::core::marker::StructuralPartialEq for ArgAttributes { }
#[automatically_derived]
impl ::core::cmp::PartialEq for ArgAttributes {
#[inline]
fn eq(&self, other: &Self) -> bool {
self.regular == other.regular && self.arg_ext == other.arg_ext &&
self.pointee_size == other.pointee_size &&
self.pointee_align == other.pointee_align
}
}PartialEq, #[automatically_derived]
impl ::core::cmp::Eq for ArgAttributes {
#[inline]
#[doc(hidden)]
#[coverage(off)]
fn assert_fields_are_eq(&self) {
let _: ::core::cmp::AssertParamIsEq<ArgAttribute>;
let _: ::core::cmp::AssertParamIsEq<ArgExtension>;
let _: ::core::cmp::AssertParamIsEq<Size>;
let _: ::core::cmp::AssertParamIsEq<Option<Align>>;
}
}Eq, #[automatically_derived]
impl ::core::hash::Hash for ArgAttributes {
#[inline]
fn hash<__H: ::core::hash::Hasher>(&self, state: &mut __H) {
::core::hash::Hash::hash(&self.regular, state);
::core::hash::Hash::hash(&self.arg_ext, state);
::core::hash::Hash::hash(&self.pointee_size, state);
::core::hash::Hash::hash(&self.pointee_align, state)
}
}Hash, #[automatically_derived]
impl ::core::fmt::Debug for ArgAttributes {
#[inline]
fn fmt(&self, f: &mut ::core::fmt::Formatter) -> ::core::fmt::Result {
::core::fmt::Formatter::debug_struct_field4_finish(f, "ArgAttributes",
"regular", &self.regular, "arg_ext", &self.arg_ext,
"pointee_size", &self.pointee_size, "pointee_align",
&&self.pointee_align)
}
}Debug, const _: () =
{
impl ::rustc_data_structures::stable_hash::StableHash for
ArgAttributes {
#[inline]
fn stable_hash<__Hcx: ::rustc_data_structures::stable_hash::StableHashCtxt>(&self,
__hcx: &mut __Hcx,
__hasher:
&mut ::rustc_data_structures::stable_hash::StableHasher) {
match *self {
ArgAttributes {
regular: ref __binding_0,
arg_ext: ref __binding_1,
pointee_size: ref __binding_2,
pointee_align: ref __binding_3 } => {
{ __binding_0.stable_hash(__hcx, __hasher); }
{ __binding_1.stable_hash(__hcx, __hasher); }
{ __binding_2.stable_hash(__hcx, __hasher); }
{ __binding_3.stable_hash(__hcx, __hasher); }
}
}
}
}
};StableHash)]
180pub struct ArgAttributes {
181pub regular: ArgAttribute,
182pub arg_ext: ArgExtension,
183/// If the pointer is not null, the minimum dereferenceable size of the pointee, at the time of
184 /// function entry (for arguments) or function return (for return values).
185pub pointee_size: Size,
186/// The minimum alignment of the pointee, if any.
187pub pointee_align: Option<Align>,
188}
189190impl ArgAttributes {
191pub fn new() -> Self {
192ArgAttributes {
193 regular: ArgAttribute::default(),
194 arg_ext: ArgExtension::None,
195 pointee_size: Size::ZERO,
196 pointee_align: None,
197 }
198 }
199200pub fn ext(&mut self, ext: ArgExtension) -> &mut Self {
201if !(self.arg_ext == ArgExtension::None || self.arg_ext == ext) {
{
::core::panicking::panic_fmt(format_args!("cannot set {0:?} when {1:?} is already set",
ext, self.arg_ext));
}
};assert!(
202self.arg_ext == ArgExtension::None || self.arg_ext == ext,
203"cannot set {:?} when {:?} is already set",
204 ext,
205self.arg_ext
206 );
207self.arg_ext = ext;
208self209 }
210211pub fn set(&mut self, attr: ArgAttribute) -> &mut Self {
212self.regular |= attr;
213self214 }
215216pub fn contains(&self, attr: ArgAttribute) -> bool {
217self.regular.contains(attr)
218 }
219220/// Checks if these two `ArgAttributes` are equal enough to be considered "the same for all
221 /// function call ABIs".
222pub fn eq_abi(&self, other: &Self) -> bool {
223// There's only one regular attribute that matters for the call ABI: InReg.
224 // Everything else is things like noalias, dereferenceable, nonnull, ...
225 // (This also applies to pointee_size, pointee_align.)
226if self.regular.contains(ArgAttribute::InReg) != other.regular.contains(ArgAttribute::InReg)
227 {
228return false;
229 }
230// We also compare the sign extension mode -- this could let the callee make assumptions
231 // about bits that conceptually were not even passed.
232if self.arg_ext != other.arg_ext {
233return false;
234 }
235true
236}
237}
238239impl From<ArgAttribute> for ArgAttributes {
240fn from(value: ArgAttribute) -> Self {
241Self {
242 regular: value,
243 arg_ext: ArgExtension::None,
244 pointee_size: Size::ZERO,
245 pointee_align: None,
246 }
247 }
248}
249250/// An argument passed entirely registers with the
251/// same kind (e.g., HFA / HVA on PPC64 and AArch64).
252#[derive(#[automatically_derived]
#[doc(hidden)]
unsafe impl ::core::clone::TrivialClone for Uniform { }
#[automatically_derived]
impl ::core::clone::Clone for Uniform {
#[inline]
fn clone(&self) -> Self {
let _: ::core::clone::AssertParamIsClone<Reg>;
let _: ::core::clone::AssertParamIsClone<Size>;
let _: ::core::clone::AssertParamIsClone<bool>;
*self
}
}Clone, #[automatically_derived]
impl ::core::marker::Copy for Uniform { }Copy, #[automatically_derived]
impl ::core::marker::StructuralPartialEq for Uniform { }
#[automatically_derived]
impl ::core::cmp::PartialEq for Uniform {
#[inline]
fn eq(&self, other: &Self) -> bool {
self.is_consecutive == other.is_consecutive && self.unit == other.unit
&& self.total == other.total
}
}PartialEq, #[automatically_derived]
impl ::core::cmp::Eq for Uniform {
#[inline]
#[doc(hidden)]
#[coverage(off)]
fn assert_fields_are_eq(&self) {
let _: ::core::cmp::AssertParamIsEq<Reg>;
let _: ::core::cmp::AssertParamIsEq<Size>;
let _: ::core::cmp::AssertParamIsEq<bool>;
}
}Eq, #[automatically_derived]
impl ::core::hash::Hash for Uniform {
#[inline]
fn hash<__H: ::core::hash::Hasher>(&self, state: &mut __H) {
::core::hash::Hash::hash(&self.unit, state);
::core::hash::Hash::hash(&self.total, state);
::core::hash::Hash::hash(&self.is_consecutive, state)
}
}Hash, #[automatically_derived]
impl ::core::fmt::Debug for Uniform {
#[inline]
fn fmt(&self, f: &mut ::core::fmt::Formatter) -> ::core::fmt::Result {
::core::fmt::Formatter::debug_struct_field3_finish(f, "Uniform",
"unit", &self.unit, "total", &self.total, "is_consecutive",
&&self.is_consecutive)
}
}Debug, const _: () =
{
impl ::rustc_data_structures::stable_hash::StableHash for Uniform {
#[inline]
fn stable_hash<__Hcx: ::rustc_data_structures::stable_hash::StableHashCtxt>(&self,
__hcx: &mut __Hcx,
__hasher:
&mut ::rustc_data_structures::stable_hash::StableHasher) {
match *self {
Uniform {
unit: ref __binding_0,
total: ref __binding_1,
is_consecutive: ref __binding_2 } => {
{ __binding_0.stable_hash(__hcx, __hasher); }
{ __binding_1.stable_hash(__hcx, __hasher); }
{ __binding_2.stable_hash(__hcx, __hasher); }
}
}
}
}
};StableHash)]
253pub struct Uniform {
254pub unit: Reg,
255256/// The total size of the argument, which can be:
257 /// * equal to `unit.size` (one scalar/vector),
258 /// * a multiple of `unit.size` (an array of scalar/vectors),
259 /// * if `unit.kind` is `Integer`, the last element can be shorter, i.e., `{ i64, i64, i32 }`
260 /// for 64-bit integers with a total size of 20 bytes. When the argument is actually passed,
261 /// this size will be rounded up to the nearest multiple of `unit.size`.
262pub total: Size,
263264/// Indicate that the argument is consecutive, in the sense that either all values need to be
265 /// passed in register, or all on the stack. If they are passed on the stack, there should be
266 /// no additional padding between elements.
267pub is_consecutive: bool,
268}
269270impl From<Reg> for Uniform {
271fn from(unit: Reg) -> Uniform {
272Uniform { unit, total: unit.size, is_consecutive: false }
273 }
274}
275276impl Uniform {
277pub fn align<C: HasDataLayout>(&self, cx: &C) -> Align {
278self.unit.align(cx)
279 }
280281/// Pass using one or more values of the given type, without requiring them to be consecutive.
282 /// That is, some values may be passed in register and some on the stack.
283pub fn new(unit: Reg, total: Size) -> Self {
284Uniform { unit, total, is_consecutive: false }
285 }
286287/// Pass using one or more consecutive values of the given type. Either all values will be
288 /// passed in registers, or all on the stack.
289pub fn consecutive(unit: Reg, total: Size) -> Self {
290Uniform { unit, total, is_consecutive: true }
291 }
292}
293294/// Describes the type used for `PassMode::Cast`.
295///
296/// Passing arguments in this mode works as follows: the registers in the `prefix` (the ones that
297/// are `Some`) get laid out one after the other (using `repr(C)` layout rules). Then the
298/// `rest.unit` register type gets repeated often enough to cover `rest.size`. This describes the
299/// actual type used for the call; the Rust type of the argument is then transmuted to this ABI type
300/// (and all data in the padding between the registers is dropped).
301#[derive(#[automatically_derived]
impl ::core::clone::Clone for CastTarget {
#[inline]
fn clone(&self) -> Self {
CastTarget {
prefix: ::core::clone::Clone::clone(&self.prefix),
rest_offset: ::core::clone::Clone::clone(&self.rest_offset),
rest: ::core::clone::Clone::clone(&self.rest),
attrs: ::core::clone::Clone::clone(&self.attrs),
}
}
}Clone, #[automatically_derived]
impl ::core::marker::StructuralPartialEq for CastTarget { }
#[automatically_derived]
impl ::core::cmp::PartialEq for CastTarget {
#[inline]
fn eq(&self, other: &Self) -> bool {
self.prefix == other.prefix && self.rest_offset == other.rest_offset
&& self.rest == other.rest && self.attrs == other.attrs
}
}PartialEq, #[automatically_derived]
impl ::core::cmp::Eq for CastTarget {
#[inline]
#[doc(hidden)]
#[coverage(off)]
fn assert_fields_are_eq(&self) {
let _: ::core::cmp::AssertParamIsEq<ArrayVec<Reg, 8>>;
let _: ::core::cmp::AssertParamIsEq<Option<Size>>;
let _: ::core::cmp::AssertParamIsEq<Uniform>;
let _: ::core::cmp::AssertParamIsEq<ArgAttributes>;
}
}Eq, #[automatically_derived]
impl ::core::hash::Hash for CastTarget {
#[inline]
fn hash<__H: ::core::hash::Hasher>(&self, state: &mut __H) {
::core::hash::Hash::hash(&self.prefix, state);
::core::hash::Hash::hash(&self.rest_offset, state);
::core::hash::Hash::hash(&self.rest, state);
::core::hash::Hash::hash(&self.attrs, state)
}
}Hash, #[automatically_derived]
impl ::core::fmt::Debug for CastTarget {
#[inline]
fn fmt(&self, f: &mut ::core::fmt::Formatter) -> ::core::fmt::Result {
::core::fmt::Formatter::debug_struct_field4_finish(f, "CastTarget",
"prefix", &self.prefix, "rest_offset", &self.rest_offset, "rest",
&self.rest, "attrs", &&self.attrs)
}
}Debug, const _: () =
{
impl ::rustc_data_structures::stable_hash::StableHash for CastTarget {
#[inline]
fn stable_hash<__Hcx: ::rustc_data_structures::stable_hash::StableHashCtxt>(&self,
__hcx: &mut __Hcx,
__hasher:
&mut ::rustc_data_structures::stable_hash::StableHasher) {
match *self {
CastTarget {
prefix: ref __binding_0,
rest_offset: ref __binding_1,
rest: ref __binding_2,
attrs: ref __binding_3 } => {
{ __binding_0.stable_hash(__hcx, __hasher); }
{ __binding_1.stable_hash(__hcx, __hasher); }
{ __binding_2.stable_hash(__hcx, __hasher); }
{ __binding_3.stable_hash(__hcx, __hasher); }
}
}
}
}
};StableHash)]
302pub struct CastTarget {
303// Note that this is fixed to 8 elements for now as ABIs currently don't
304 // need anything further beyond that, and when this code was originally
305 // refactored to use `ArrayVec` it was already using 8, so that stuck
306 // around.
307pub prefix: ArrayVec<Reg, 8>,
308/// The offset of `rest` from the start of the value. Currently only implemented for a `Reg`
309 /// pair created by the `offset_pair` method.
310pub rest_offset: Option<Size>,
311pub rest: Uniform,
312pub attrs: ArgAttributes,
313}
314315impl From<Reg> for CastTarget {
316fn from(unit: Reg) -> CastTarget {
317CastTarget::from(Uniform::from(unit))
318 }
319}
320321impl From<Uniform> for CastTarget {
322fn from(uniform: Uniform) -> CastTarget {
323Self::prefixed(Default::default(), uniform)
324 }
325}
326327impl CastTarget {
328pub fn prefixed(prefix: ArrayVec<Reg, 8>, rest: Uniform) -> Self {
329Self { prefix, rest_offset: None, rest, attrs: ArgAttributes::new() }
330 }
331332pub fn offset_pair(a: Reg, offset_from_start: Size, b: Reg) -> Self {
333let mut prefix = ArrayVec::new();
334prefix.push(a);
335Self {
336prefix,
337 rest_offset: Some(offset_from_start),
338 rest: b.into(),
339 attrs: ArgAttributes::new(),
340 }
341 }
342343pub fn with_attrs(mut self, attrs: ArgAttributes) -> Self {
344self.attrs = attrs;
345self346 }
347348pub fn pair(a: Reg, b: Reg) -> CastTarget {
349let mut prefix = ArrayVec::new();
350prefix.push(a);
351Self::prefixed(prefix, Uniform::from(b))
352 }
353354/// When you only access the range containing valid data, you can use this unaligned size;
355 /// otherwise, use the safer `size` method.
356pub fn unaligned_size<C: HasDataLayout>(&self, _cx: &C) -> Size {
357// Prefix arguments are passed in specific designated registers
358let prefix_size = if let Some(offset_from_start) = self.rest_offset {
359offset_from_start360 } else {
361self.prefix.iter().map(|reg| reg.size).fold(Size::ZERO, |acc, size| acc + size)
362 };
363// Remaining arguments are passed in chunks of the unit size
364let rest_size =
365self.rest.unit.size * self.rest.total.bytes().div_ceil(self.rest.unit.size.bytes());
366367prefix_size + rest_size368 }
369370pub fn size<C: HasDataLayout>(&self, cx: &C) -> Size {
371self.unaligned_size(cx).align_to(self.align(cx))
372 }
373374pub fn align<C: HasDataLayout>(&self, cx: &C) -> Align {
375self.prefix
376 .iter()
377 .map(|reg| reg.align(cx))
378 .fold(cx.data_layout().aggregate_align.max(self.rest.align(cx)), |acc, align| {
379acc.max(align)
380 })
381 }
382383/// Checks if these two `CastTarget` are equal enough to be considered "the same for all
384 /// function call ABIs".
385pub fn eq_abi(&self, other: &Self) -> bool {
386let CastTarget {
387 prefix: prefix_l,
388 rest_offset: rest_offset_l,
389 rest: rest_l,
390 attrs: attrs_l,
391 } = self;
392let CastTarget {
393 prefix: prefix_r,
394 rest_offset: rest_offset_r,
395 rest: rest_r,
396 attrs: attrs_r,
397 } = other;
398prefix_l == prefix_r399 && rest_offset_l == rest_offset_r400 && rest_l == rest_r401 && attrs_l.eq_abi(attrs_r)
402 }
403}
404405/// Information about how to pass an argument to,
406/// or return a value from, a function, under some ABI.
407#[derive(#[automatically_derived]
impl<'a, Ty: ::core::clone::Clone> ::core::clone::Clone for ArgAbi<'a, Ty> {
#[inline]
fn clone(&self) -> Self {
ArgAbi {
layout: ::core::clone::Clone::clone(&self.layout),
mode: ::core::clone::Clone::clone(&self.mode),
}
}
}Clone, #[automatically_derived]
impl<'a, Ty: ::core::cmp::PartialEq> ::core::marker::StructuralPartialEq for
ArgAbi<'a, Ty> {
}
#[automatically_derived]
impl<'a, Ty: ::core::cmp::PartialEq> ::core::cmp::PartialEq for ArgAbi<'a, Ty>
{
#[inline]
fn eq(&self, other: &Self) -> bool {
self.layout == other.layout && self.mode == other.mode
}
}PartialEq, #[automatically_derived]
impl<'a, Ty: ::core::cmp::Eq> ::core::cmp::Eq for ArgAbi<'a, Ty> {
#[inline]
#[doc(hidden)]
#[coverage(off)]
fn assert_fields_are_eq(&self) {
let _: ::core::cmp::AssertParamIsEq<TyAndLayout<'a, Ty>>;
let _: ::core::cmp::AssertParamIsEq<PassMode>;
}
}Eq, #[automatically_derived]
impl<'a, Ty: ::core::hash::Hash> ::core::hash::Hash for ArgAbi<'a, Ty> {
#[inline]
fn hash<__H: ::core::hash::Hasher>(&self, state: &mut __H) {
::core::hash::Hash::hash(&self.layout, state);
::core::hash::Hash::hash(&self.mode, state)
}
}Hash, const _: () =
{
impl<'a, Ty> ::rustc_data_structures::stable_hash::StableHash for
ArgAbi<'a, Ty> where
Ty: ::rustc_data_structures::stable_hash::StableHash {
#[inline]
fn stable_hash<__Hcx: ::rustc_data_structures::stable_hash::StableHashCtxt>(&self,
__hcx: &mut __Hcx,
__hasher:
&mut ::rustc_data_structures::stable_hash::StableHasher) {
match *self {
ArgAbi { layout: ref __binding_0, mode: ref __binding_1 } =>
{
{ __binding_0.stable_hash(__hcx, __hasher); }
{ __binding_1.stable_hash(__hcx, __hasher); }
}
}
}
}
};StableHash)]
408pub struct ArgAbi<'a, Ty> {
409pub layout: TyAndLayout<'a, Ty>,
410pub mode: PassMode,
411}
412413// Needs to be a custom impl because of the bounds on the `TyAndLayout` debug impl.
414impl<'a, Ty: fmt::Display> fmt::Debugfor ArgAbi<'a, Ty> {
415fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
416let ArgAbi { layout, mode } = self;
417f.debug_struct("ArgAbi").field("layout", layout).field("mode", mode).finish()
418 }
419}
420421impl<'a, Ty> ArgAbi<'a, Ty> {
422/// This defines the "default ABI" for that type, that is then later adjusted in `fn_abi_adjust_for_abi`.
423pub fn new(
424 layout: TyAndLayout<'a, Ty>,
425 scalar_attrs: impl Fn(Scalar, Size) -> ArgAttributes,
426 ) -> Self {
427let mode = match layout.backend_repr {
428_ if layout.is_zst() => PassMode::Ignore,
429 BackendRepr::Scalar(scalar) => PassMode::Direct(scalar_attrs(scalar, Size::ZERO)),
430 BackendRepr::ScalarPair { a, b, b_offset } => {
431 PassMode::Pair(scalar_attrs(a, Size::ZERO), scalar_attrs(b, b_offset))
432 }
433 BackendRepr::SimdVector { .. } => PassMode::Direct(ArgAttributes::new()),
434 BackendRepr::Memory { .. } => Self::indirect_pass_mode(&layout),
435 BackendRepr::SimdScalableVector { .. } => PassMode::Direct(ArgAttributes::new()),
436 };
437ArgAbi { layout, mode }
438 }
439440fn indirect_pass_mode(layout: &TyAndLayout<'a, Ty>) -> PassMode {
441let mut attrs = ArgAttributes::new();
442443// For non-immediate arguments the callee gets its own copy of
444 // the value on the stack, so there are no aliases. The function
445 // can capture the address of the argument, but not the provenance.
446attrs447 .set(ArgAttribute::NoAlias)
448 .set(ArgAttribute::CapturesAddress)
449 .set(ArgAttribute::NonNull)
450 .set(ArgAttribute::NoUndef)
451 .set(ArgAttribute::NoFree);
452attrs.pointee_size = layout.size;
453attrs.pointee_align = Some(layout.align.abi);
454455let meta_attrs = layout.is_unsized().then_some(ArgAttributes::new());
456457 PassMode::Indirect { attrs, meta_attrs, address_space: None, mode: IndirectMode::Pointer }
458 }
459460/// Pass this argument indirectly, by passing a (thin or wide) pointer to the argument instead.
461 /// This is valid for both sized and unsized arguments.
462#[track_caller]
463pub fn make_indirect(&mut self) {
464match self.mode {
465 PassMode::Direct(_) | PassMode::Pair(_, _) => {
466self.mode = Self::indirect_pass_mode(&self.layout);
467 }
468 PassMode::Indirect {
469 attrs: _,
470 meta_attrs: _,
471 address_space: _,
472 mode: IndirectMode::Pointer,
473 } => {
474// already indirect
475}
476_ => {
::core::panicking::panic_fmt(format_args!("Tried to make {0:?} indirect",
self.mode));
}panic!("Tried to make {:?} indirect", self.mode),
477 }
478 }
479480/// Pass this argument indirectly, by passing a (thin or wide) pointer to the argument instead.
481 /// This is valid for both sized and unsized arguments.
482#[track_caller]
483pub fn make_indirect_addrspace(&mut self, addrspace: AddressSpace) {
484self.make_indirect();
485match self.mode {
486 PassMode::Indirect { ref mut address_space, .. } => {
487*address_space = Some(addrspace);
488 }
489_ => ::core::panicking::panic("internal error: entered unreachable code")unreachable!(),
490 }
491 }
492493/// Same as `make_indirect`, but for arguments that are ignored. Only needed for ABIs that pass
494 /// ZSTs indirectly.
495#[track_caller]
496pub fn make_indirect_from_ignore(&mut self) {
497match self.mode {
498 PassMode::Ignore => {
499self.mode = Self::indirect_pass_mode(&self.layout);
500 }
501 PassMode::Indirect {
502 attrs: _,
503 meta_attrs: _,
504 address_space: _,
505 mode: IndirectMode::Pointer,
506 } => {
507// already indirect
508}
509_ => {
::core::panicking::panic_fmt(format_args!("Tried to make {0:?} indirect (expected `PassMode::Ignore`)",
self.mode));
}panic!("Tried to make {:?} indirect (expected `PassMode::Ignore`)", self.mode),
510 }
511 }
512513/// Pass this argument indirectly, by placing it at a fixed stack offset.
514 /// This corresponds to the `byval` LLVM argument attribute.
515 /// This is only valid for sized arguments.
516 ///
517 /// `byval_align` specifies the alignment of the `byval` stack slot, which does not need to
518 /// correspond to the type's alignment. This will be `Some` if the target's ABI specifies that
519 /// stack slots used for arguments passed by-value have specific alignment requirements which
520 /// differ from the alignment used in other situations.
521 ///
522 /// If `None`, the type's alignment is used.
523 ///
524 /// If the resulting alignment differs from the type's alignment,
525 /// the argument will be copied to an alloca with sufficient alignment,
526 /// either in the caller (if the type's alignment is lower than the byval alignment)
527 /// or in the callee (if the type's alignment is higher than the byval alignment),
528 /// to ensure that Rust code never sees an underaligned pointer.
529pub fn pass_by_stack_offset(&mut self, byval_align: Option<Align>) {
530if !!self.layout.is_unsized() {
{
::core::panicking::panic_fmt(format_args!("used byval ABI for unsized layout"));
}
};assert!(!self.layout.is_unsized(), "used byval ABI for unsized layout");
531self.make_indirect();
532match self.mode {
533 PassMode::Indirect { ref mut attrs, meta_attrs: _, address_space: _, ref mut mode } => {
534*mode = IndirectMode::OnStack;
535536// Some platforms, like 32-bit x86, change the alignment of the type when passing
537 // `byval`. Account for that.
538if let Some(byval_align) = byval_align {
539// On all targets with byval align this is currently true, so let's assert it.
540if true {
if !(byval_align >= Align::from_bytes(4).unwrap()) {
::core::panicking::panic("assertion failed: byval_align >= Align::from_bytes(4).unwrap()")
};
};debug_assert!(byval_align >= Align::from_bytes(4).unwrap());
541attrs.pointee_align = Some(byval_align);
542 }
543 }
544_ => ::core::panicking::panic("internal error: entered unreachable code")unreachable!(),
545 }
546 }
547548/// Pass this argument indirectly.
549 /// This corresponds to the `byref` LLVM argument attribute.
550 ///
551 /// `address_space` specifies the address space of the passed pointer.
552pub fn pass_amdgpu_kernel_arg(&mut self, addrspace: Option<AddressSpace>) {
553if !!self.layout.is_unsized() {
{
::core::panicking::panic_fmt(format_args!("used amdgpu kernel arg ABI for unsized layout"));
}
};assert!(!self.layout.is_unsized(), "used amdgpu kernel arg ABI for unsized layout");
554self.make_indirect();
555match self.mode {
556 PassMode::Indirect { attrs: _, meta_attrs: _, ref mut address_space, ref mut mode } => {
557*mode = IndirectMode::AmdgpuKernelArg;
558*address_space = addrspace;
559 }
560_ => ::core::panicking::panic("internal error: entered unreachable code")unreachable!(),
561 }
562 }
563564pub fn extend_integer_width_to(&mut self, bits: u64) {
565// Only integers have signedness
566if let BackendRepr::Scalar(scalar) = self.layout.backend_repr
567 && let Primitive::Int(i, signed) = scalar.primitive()
568// bools are i1 but their primitive is i8. Unlike other types,
569 // bools can be extended to their primitive size.
570&& (i.size().bits() < bits || self.layout.backend_repr.is_bool())
571 && let PassMode::Direct(ref mut attrs) = self.mode
572 {
573if signed {
574attrs.ext(ArgExtension::Sext)
575 } else {
576attrs.ext(ArgExtension::Zext)
577 };
578 }
579 }
580581pub fn cast_to<T: Into<CastTarget>>(&mut self, target: T) {
582self.mode = PassMode::Cast { cast: Box::new(target.into()), pad_i32_count: 0 };
583 }
584585pub fn cast_to_with_attrs<T: Into<CastTarget>>(&mut self, target: T, attrs: ArgAttributes) {
586self.mode =
587 PassMode::Cast { cast: Box::new(target.into().with_attrs(attrs)), pad_i32_count: 0 };
588 }
589590/// Cast to `target`, forwarding `NoUndef` only when the layout provably has no uninit
591 /// bytes *and* the cast exactly covers the layout (`target.size(cx) == self.layout.size`).
592 /// A wider cast (e.g. `Uniform::new` rounding a 3-byte aggregate up to an `i32`) covers
593 /// undef padding bytes that must not be marked `noundef`; a narrower cast does not occur,
594 /// since a `PassMode::Cast` target always covers the whole value.
595pub fn cast_to_maybe_noundef<T, C>(&mut self, target: T, cx: &C)
596where
597T: Into<CastTarget>,
598 Ty: TyAbiInterface<'a, C> + Copy,
599 C: HasDataLayout,
600 {
601let target = target.into();
602let attr = if layout_is_noundef(self.layout, cx) && target.size(cx) == self.layout.size {
603ArgAttribute::NoUndef604 } else {
605ArgAttribute::default()
606 };
607self.cast_to_with_attrs(target, attr.into());
608 }
609610pub fn cast_to_and_pad_i32<T: Into<CastTarget>>(&mut self, target: T, pad_i32_count: u8) {
611self.mode = PassMode::Cast { cast: Box::new(target.into()), pad_i32_count };
612 }
613614pub fn is_indirect(&self) -> bool {
615#[allow(non_exhaustive_omitted_patterns)] match self.mode {
PassMode::Indirect { .. } => true,
_ => false,
}matches!(self.mode, PassMode::Indirect { .. })616 }
617618pub fn is_sized_indirect(&self) -> bool {
619#[allow(non_exhaustive_omitted_patterns)] match self.mode {
PassMode::Indirect { attrs: _, meta_attrs: None, address_space: _, mode: _
} => true,
_ => false,
}matches!(
620self.mode,
621 PassMode::Indirect { attrs: _, meta_attrs: None, address_space: _, mode: _ }
622 )623 }
624625pub fn is_unsized_indirect(&self) -> bool {
626#[allow(non_exhaustive_omitted_patterns)] match self.mode {
PassMode::Indirect {
attrs: _, meta_attrs: Some(_), address_space: _, mode: _ } => true,
_ => false,
}matches!(
627self.mode,
628 PassMode::Indirect { attrs: _, meta_attrs: Some(_), address_space: _, mode: _ }
629 )630 }
631632pub fn is_ignore(&self) -> bool {
633#[allow(non_exhaustive_omitted_patterns)] match self.mode {
PassMode::Ignore => true,
_ => false,
}matches!(self.mode, PassMode::Ignore)634 }
635636/// Checks if these two `ArgAbi` are equal enough to be considered "the same for all
637 /// function call ABIs".
638pub fn eq_abi(&self, other: &Self) -> bool639where
640Ty: PartialEq,
641 {
642// Ideally we'd just compare the `mode`, but that is not enough -- for some modes LLVM will look
643 // at the type.
644self.layout.eq_abi(&other.layout) && self.mode.eq_abi(&other.mode) && {
645// `fn_arg_sanity_check` accepts `PassMode::Direct` for some aggregates.
646 // That elevates any type difference to an ABI difference since we just use the
647 // full Rust type as the LLVM argument/return type.
648if #[allow(non_exhaustive_omitted_patterns)] match self.mode {
PassMode::Direct(..) => true,
_ => false,
}matches!(self.mode, PassMode::Direct(..))649 && #[allow(non_exhaustive_omitted_patterns)] match self.layout.backend_repr {
BackendRepr::Memory { .. } => true,
_ => false,
}matches!(self.layout.backend_repr, BackendRepr::Memory { .. })650 {
651// For aggregates in `Direct` mode to be compatible, the types need to be equal.
652self.layout.ty == other.layout.ty
653 } else {
654true
655}
656 }
657 }
658}
659660#[derive(#[automatically_derived]
impl ::core::marker::Copy for RiscvInterruptKind { }Copy, #[automatically_derived]
#[doc(hidden)]
unsafe impl ::core::clone::TrivialClone for RiscvInterruptKind { }
#[automatically_derived]
impl ::core::clone::Clone for RiscvInterruptKind {
#[inline]
fn clone(&self) -> Self { *self }
}Clone, #[automatically_derived]
impl ::core::marker::StructuralPartialEq for RiscvInterruptKind { }
#[automatically_derived]
impl ::core::cmp::PartialEq for RiscvInterruptKind {
#[inline]
fn eq(&self, other: &Self) -> bool {
::core::intrinsics::discriminant_value(self) ==
::core::intrinsics::discriminant_value(other)
}
}PartialEq, #[automatically_derived]
impl ::core::cmp::Eq for RiscvInterruptKind { }Eq, #[automatically_derived]
impl ::core::hash::Hash for RiscvInterruptKind {
#[inline]
fn hash<__H: ::core::hash::Hasher>(&self, state: &mut __H) {
::core::hash::Hash::hash(&::core::intrinsics::discriminant_value(self),
state)
}
}Hash, #[automatically_derived]
impl ::core::fmt::Debug for RiscvInterruptKind {
#[inline]
fn fmt(&self, f: &mut ::core::fmt::Formatter) -> ::core::fmt::Result {
::core::fmt::Formatter::write_str(f,
match self {
RiscvInterruptKind::Machine => "Machine",
RiscvInterruptKind::Supervisor => "Supervisor",
})
}
}Debug, const _: () =
{
impl ::rustc_data_structures::stable_hash::StableHash for
RiscvInterruptKind {
#[inline]
fn stable_hash<__Hcx: ::rustc_data_structures::stable_hash::StableHashCtxt>(&self,
__hcx: &mut __Hcx,
__hasher:
&mut ::rustc_data_structures::stable_hash::StableHasher) {
::std::mem::discriminant(self).stable_hash(__hcx, __hasher);
match *self {
RiscvInterruptKind::Machine => {}
RiscvInterruptKind::Supervisor => {}
}
}
}
};StableHash)]
661pub enum RiscvInterruptKind {
662 Machine,
663 Supervisor,
664}
665666impl RiscvInterruptKind {
667pub fn as_str(&self) -> &'static str {
668match self {
669Self::Machine => "machine",
670Self::Supervisor => "supervisor",
671 }
672 }
673}
674675/// Metadata describing how the arguments to a native function
676/// should be passed in order to respect the native ABI.
677///
678/// The signature represented by this type may not match the MIR function signature.
679/// Certain attributes, like `#[track_caller]` can introduce additional arguments, which are present in [`FnAbi`], but not in `FnSig`.
680/// The std::offload module also adds an addition dyn_ptr argument to the GpuKernel ABI.
681/// While this difference is rarely relevant, it should still be kept in mind.
682///
683/// I will do my best to describe this structure, but these
684/// comments are reverse-engineered and may be inaccurate. -NDM
685#[derive(#[automatically_derived]
impl<'a, Ty: ::core::clone::Clone> ::core::clone::Clone for FnAbi<'a, Ty> {
#[inline]
fn clone(&self) -> Self {
FnAbi {
args: ::core::clone::Clone::clone(&self.args),
ret: ::core::clone::Clone::clone(&self.ret),
c_variadic: ::core::clone::Clone::clone(&self.c_variadic),
fixed_count: ::core::clone::Clone::clone(&self.fixed_count),
conv: ::core::clone::Clone::clone(&self.conv),
can_unwind: ::core::clone::Clone::clone(&self.can_unwind),
}
}
}Clone, #[automatically_derived]
impl<'a, Ty: ::core::cmp::PartialEq> ::core::marker::StructuralPartialEq for
FnAbi<'a, Ty> {
}
#[automatically_derived]
impl<'a, Ty: ::core::cmp::PartialEq> ::core::cmp::PartialEq for FnAbi<'a, Ty>
{
#[inline]
fn eq(&self, other: &Self) -> bool {
self.c_variadic == other.c_variadic &&
self.fixed_count == other.fixed_count &&
self.can_unwind == other.can_unwind &&
self.args == other.args && self.ret == other.ret &&
self.conv == other.conv
}
}PartialEq, #[automatically_derived]
impl<'a, Ty: ::core::cmp::Eq> ::core::cmp::Eq for FnAbi<'a, Ty> {
#[inline]
#[doc(hidden)]
#[coverage(off)]
fn assert_fields_are_eq(&self) {
let _: ::core::cmp::AssertParamIsEq<Box<[ArgAbi<'a, Ty>]>>;
let _: ::core::cmp::AssertParamIsEq<ArgAbi<'a, Ty>>;
let _: ::core::cmp::AssertParamIsEq<bool>;
let _: ::core::cmp::AssertParamIsEq<u32>;
let _: ::core::cmp::AssertParamIsEq<CanonAbi>;
}
}Eq, #[automatically_derived]
impl<'a, Ty: ::core::hash::Hash> ::core::hash::Hash for FnAbi<'a, Ty> {
#[inline]
fn hash<__H: ::core::hash::Hasher>(&self, state: &mut __H) {
::core::hash::Hash::hash(&self.args, state);
::core::hash::Hash::hash(&self.ret, state);
::core::hash::Hash::hash(&self.c_variadic, state);
::core::hash::Hash::hash(&self.fixed_count, state);
::core::hash::Hash::hash(&self.conv, state);
::core::hash::Hash::hash(&self.can_unwind, state)
}
}Hash, const _: () =
{
impl<'a, Ty> ::rustc_data_structures::stable_hash::StableHash for
FnAbi<'a, Ty> where
Ty: ::rustc_data_structures::stable_hash::StableHash {
#[inline]
fn stable_hash<__Hcx: ::rustc_data_structures::stable_hash::StableHashCtxt>(&self,
__hcx: &mut __Hcx,
__hasher:
&mut ::rustc_data_structures::stable_hash::StableHasher) {
match *self {
FnAbi {
args: ref __binding_0,
ret: ref __binding_1,
c_variadic: ref __binding_2,
fixed_count: ref __binding_3,
conv: ref __binding_4,
can_unwind: ref __binding_5 } => {
{ __binding_0.stable_hash(__hcx, __hasher); }
{ __binding_1.stable_hash(__hcx, __hasher); }
{ __binding_2.stable_hash(__hcx, __hasher); }
{ __binding_3.stable_hash(__hcx, __hasher); }
{ __binding_4.stable_hash(__hcx, __hasher); }
{ __binding_5.stable_hash(__hcx, __hasher); }
}
}
}
}
};StableHash)]
686pub struct FnAbi<'a, Ty> {
687/// The type, layout, and information about how each argument is passed.
688pub args: Box<[ArgAbi<'a, Ty>]>,
689690/// The layout, type, and the way a value is returned from this function.
691pub ret: ArgAbi<'a, Ty>,
692693/// Marks this function as variadic (accepting a variable number of arguments).
694pub c_variadic: bool,
695696/// The count of non-variadic arguments.
697 ///
698 /// Should only be different from args.len() when c_variadic is true.
699 /// This can be used to know whether an argument is variadic or not.
700pub fixed_count: u32,
701/// The calling convention of this function.
702pub conv: CanonAbi,
703/// Indicates if an unwind may happen across a call to this function.
704pub can_unwind: bool,
705}
706707// Needs to be a custom impl because of the bounds on the `TyAndLayout` debug impl.
708impl<'a, Ty: fmt::Display> fmt::Debugfor FnAbi<'a, Ty> {
709fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
710let FnAbi { args, ret, c_variadic, fixed_count, conv, can_unwind } = self;
711f.debug_struct("FnAbi")
712 .field("args", args)
713 .field("ret", ret)
714 .field("c_variadic", c_variadic)
715 .field("fixed_count", fixed_count)
716 .field("conv", conv)
717 .field("can_unwind", can_unwind)
718 .finish()
719 }
720}
721722impl<'a, Ty> FnAbi<'a, Ty> {
723pub fn adjust_for_foreign_abi<C>(&mut self, cx: &C, abi: ExternAbi)
724where
725Ty: TyAbiInterface<'a, C> + Copy,
726 C: HasDataLayout + HasTargetSpec + HasX86AbiOpt,
727 {
728if abi == ExternAbi::X86Interrupt {
729if let Some(arg) = self.args.first_mut() {
730arg.pass_by_stack_offset(None);
731 }
732return;
733 }
734735let spec = cx.target_spec();
736match &spec.arch {
737 Arch::X86 => {
738let (flavor, regparm) = match abi {
739 ExternAbi::Fastcall { .. } | ExternAbi::Vectorcall { .. } => {
740 (x86::Flavor::FastcallOrVectorcall, None)
741 }
742 ExternAbi::C { .. } | ExternAbi::Cdecl { .. } | ExternAbi::Stdcall { .. } => {
743 (x86::Flavor::General, cx.x86_abi_opt().regparm)
744 }
745_ => (x86::Flavor::General, None),
746 };
747let reg_struct_return = cx.x86_abi_opt().reg_struct_return;
748let opts = x86::X86Options { flavor, regparm, reg_struct_return };
749if spec.is_like_msvc {
750 x86_win32::compute_abi_info(cx, self, opts);
751 } else {
752 x86::compute_abi_info(cx, self, opts);
753 }
754 }
755 Arch::X86_64 => match abi {
756 ExternAbi::SysV64 { .. } => x86_64::compute_abi_info(cx, self),
757 ExternAbi::Win64 { .. } | ExternAbi::Vectorcall { .. } => {
758 x86_win64::compute_abi_info(cx, self)
759 }
760_ => {
761if cx.target_spec().is_like_windows {
762 x86_win64::compute_abi_info(cx, self)
763 } else {
764 x86_64::compute_abi_info(cx, self)
765 }
766 }
767 },
768 Arch::AArch64 | Arch::Arm64EC => {
769let kind = if cx.target_spec().is_like_darwin {
770 aarch64::AbiKind::DarwinPCS771 } else if cx.target_spec().is_like_windows {
772 aarch64::AbiKind::Win64773 } else {
774 aarch64::AbiKind::AAPCS775 };
776 aarch64::compute_abi_info(cx, self, kind)
777 }
778 Arch::AmdGpu => amdgpu::compute_abi_info(cx, self),
779 Arch::Arm => arm::compute_abi_info(cx, self),
780 Arch::Avr => avr::compute_abi_info(cx, self),
781 Arch::LoongArch32 | Arch::LoongArch64 => loongarch::compute_abi_info(cx, self),
782 Arch::M68k => m68k::compute_abi_info(cx, self),
783 Arch::CSky => csky::compute_abi_info(cx, self),
784 Arch::Mips | Arch::Mips32r6 => mips::compute_abi_info(cx, self),
785 Arch::Mips64 | Arch::Mips64r6 => mips64::compute_abi_info(cx, self),
786 Arch::PowerPC => powerpc::compute_abi_info(cx, self),
787 Arch::PowerPC64 => powerpc64::compute_abi_info(cx, self),
788 Arch::S390x => s390x::compute_abi_info(cx, self),
789 Arch::Msp430 => msp430::compute_abi_info(cx, self),
790 Arch::Sparc => sparc::compute_abi_info(cx, self),
791 Arch::Sparc64 => sparc64::compute_abi_info(cx, self),
792 Arch::Nvptx64 => {
793if abi == ExternAbi::PtxKernel || abi == ExternAbi::GpuKernel {
794 nvptx64::compute_ptx_kernel_abi_info(cx, self)
795 } else {
796 nvptx64::compute_abi_info(cx, self)
797 }
798 }
799 Arch::Hexagon => hexagon::compute_abi_info(cx, self),
800 Arch::Xtensa => xtensa::compute_abi_info(cx, self),
801 Arch::RiscV32 | Arch::RiscV64 => riscv::compute_abi_info(cx, self),
802 Arch::Wasm32 | Arch::Wasm64 => wasm::compute_abi_info(cx, self),
803 Arch::Bpf => bpf::compute_abi_info(cx, self),
804 arch @ (Arch::SpirV | Arch::Other(_)) => {
805{
::core::panicking::panic_fmt(format_args!("no lowering implemented for {0}",
arch));
}panic!("no lowering implemented for {arch}")806 }
807 }
808 }
809810pub fn adjust_for_rust_abi<C>(&mut self, cx: &C)
811where
812Ty: TyAbiInterface<'a, C> + Copy,
813 C: HasDataLayout + HasTargetSpec,
814 {
815let spec = cx.target_spec();
816match &spec.arch {
817 Arch::X86 => x86::compute_rust_abi_info(cx, self),
818 Arch::RiscV32 | Arch::RiscV64 => riscv::compute_rust_abi_info(cx, self),
819 Arch::LoongArch32 | Arch::LoongArch64 => loongarch::compute_rust_abi_info(cx, self),
820 Arch::AArch64 => aarch64::compute_rust_abi_info(cx, self),
821 Arch::Bpf => bpf::compute_rust_abi_info(self),
822_ => {}
823 };
824825// Decides whether we can pass the given SIMD argument via `PassMode::Direct`.
826 // May only return `true` if the target will always pass those arguments the same way,
827 // no matter what the user does with `-Ctarget-feature`! In other words, whatever
828 // target features are required to pass a SIMD value in registers must be listed in
829 // the `abi_required_features` for the current target and ABI.
830let can_pass_simd_directly = |arg: &ArgAbi<'_, Ty>| match &spec.arch {
831// On x86, if we have SSE2 (which we have by default for x86_64), we can always pass up
832 // to 128-bit-sized vectors.
833Arch::X86if spec.rustc_abi == Some(RustcAbi::X86Sse2) => arg.layout.size.bits() <= 128,
834 Arch::X86_64if spec.rustc_abi != Some(RustcAbi::Softfloat) => {
835// x86-64 non-softfloat targets all require SSE2 so we can use SSE registers.
836arg.layout.size.bits() <= 128
837}
838// So far, we haven't implemented this logic for any other target.
839_ => false,
840 };
841842for (arg_idx, arg) in self
843.args
844 .iter_mut()
845 .enumerate()
846 .map(|(idx, arg)| (Some(idx), arg))
847 .chain(iter::once((None, &mut self.ret)))
848 {
849// If the logic above already picked a specific type to cast the argument to, leave that
850 // in place.
851if #[allow(non_exhaustive_omitted_patterns)] match arg.mode {
PassMode::Ignore | PassMode::Cast { .. } => true,
_ => false,
}matches!(arg.mode, PassMode::Ignore | PassMode::Cast { .. }) {
852continue;
853 }
854855// Always extend `bool` in the Rust ABI
856let extend_bool = |attrs: &mut ArgAttributes, scalar: Scalar| {
857if scalar.is_bool() {
858 attrs.ext(ArgExtension::Zext);
859 }
860 };
861862if let PassMode::Direct(attrs) = &mut arg.mode
863 && let BackendRepr::Scalar(scalar) = arg.layout.backend_repr
864 {
865 extend_bool(attrs, scalar);
866 } else if let PassMode::Pair(a_attrs, b_attrs) = &mut arg.mode
867 && let BackendRepr::ScalarPair { a, b, b_offset: _ } = arg.layout.backend_repr
868 {
869 extend_bool(a_attrs, a);
870 extend_bool(b_attrs, b);
871 }
872873if arg_idx.is_none()
874 && arg.layout.size > Primitive::Pointer(AddressSpace::ZERO).size(cx) * 2
875 && !#[allow(non_exhaustive_omitted_patterns)] match arg.layout.backend_repr {
BackendRepr::SimdVector { .. } | BackendRepr::SimdScalableVector { .. } =>
true,
_ => false,
}matches!(
876 arg.layout.backend_repr,
877 BackendRepr::SimdVector { .. } | BackendRepr::SimdScalableVector { .. }
878 )879 {
880// Return values larger than 2 registers using a return area
881 // pointer. LLVM and Cranelift disagree about how to return
882 // values that don't fit in the registers designated for return
883 // values. LLVM will force the entire return value to be passed
884 // by return area pointer, while Cranelift will look at each IR level
885 // return value independently and decide to pass it in a
886 // register or not, which would result in the return value
887 // being passed partially in registers and partially through a
888 // return area pointer. For large IR-level values such as `i128`,
889 // cranelift will even split up the value into smaller chunks.
890 //
891 // While Cranelift may need to be fixed as the LLVM behavior is
892 // generally more correct with respect to the surface language,
893 // forcing this behavior in rustc itself makes it easier for
894 // other backends to conform to the Rust ABI and for the C ABI
895 // rustc already handles this behavior anyway.
896 //
897 // In addition LLVM's decision to pass the return value in
898 // registers or using a return area pointer depends on how
899 // exactly the return type is lowered to an LLVM IR type. For
900 // example `Option<u128>` can be lowered as `{ i128, i128 }`
901 // in which case the x86_64 backend would use a return area
902 // pointer, or it could be passed as `{ i32, i128 }` in which
903 // case the x86_64 backend would pass it in registers by taking
904 // advantage of an LLVM ABI extension that allows using 3
905 // registers for the x86_64 sysv call conv rather than the
906 // officially specified 2 registers.
907 //
908 // FIXME: Technically we should look at the amount of available
909 // return registers rather than guessing that there are 2
910 // registers for return values. In practice only a couple of
911 // architectures have less than 2 return registers. None of
912 // which supported by Cranelift.
913 //
914 // NOTE: This adjustment is only necessary for the Rust ABI as
915 // for other ABI's the calling convention implementations in
916 // rustc_target already ensure any return value which doesn't
917 // fit in the available amount of return registers is passed in
918 // the right way for the current target.
919 //
920 // The adjustment is not necessary nor desired for types with a vector
921 // representation; those are handled below.
922arg.make_indirect();
923continue;
924 }
925926match arg.layout.backend_repr {
927 BackendRepr::Memory { .. } => {
928// Compute `Aggregate` ABI.
929930let is_indirect_not_on_stack =
931#[allow(non_exhaustive_omitted_patterns)] match arg.mode {
PassMode::Indirect { mode: IndirectMode::Pointer, .. } => true,
_ => false,
}matches!(arg.mode, PassMode::Indirect { mode: IndirectMode::Pointer, .. });
932if !is_indirect_not_on_stack {
::core::panicking::panic("assertion failed: is_indirect_not_on_stack")
};assert!(is_indirect_not_on_stack);
933934let size = arg.layout.size;
935if arg.layout.is_sized()
936 && size <= Primitive::Pointer(AddressSpace::ZERO).size(cx)
937 {
938// We want to pass small aggregates as immediates, but using
939 // an LLVM aggregate type for this leads to bad optimizations,
940 // so we pick an appropriately sized integer type instead.
941arg.cast_to_maybe_noundef(Reg { kind: RegKind::Integer, size }, cx);
942 } else if self.conv == CanonAbi::RustTail && arg_idx.is_some() {
943if !arg.layout.is_sized() {
{
::core::panicking::panic_fmt(format_args!("extern \"tail\" arguments must be sized"));
}
};assert!(arg.layout.is_sized(), "extern \"tail\" arguments must be sized");
944 arg.pass_by_stack_offset(None);
945 }
946 }
947948 BackendRepr::SimdVector { .. } => {
949// This is a fun case! The gist of what this is doing is
950 // that we want callers and callees to always agree on the
951 // ABI of how they pass SIMD arguments. If we were to *not*
952 // make these arguments indirect then they'd be immediates
953 // in LLVM, which means that they'd used whatever the
954 // appropriate ABI is for the callee and the caller. That
955 // means, for example, if the caller doesn't have AVX
956 // enabled but the callee does, then passing an AVX argument
957 // across this boundary would cause corrupt data to show up.
958 //
959 // This problem is fixed by passing most SIMD arguments through memory between
960 // callers and callees which should get them all to agree on ABI regardless of
961 // target feature sets, except for those that rely on target features that we
962 // know to be always available. Some more information about this issue can be
963 // found in #44367 and the comment on `can_pass_simd_directly`.
964if spec.simd_types_indirect && !can_pass_simd_directly(arg) {
965 arg.make_indirect();
966 }
967 }
968969_ => {}
970 }
971 }
972 }
973}
974975/// Determines whether `layout` contains no uninit bytes (no padding, no unions),
976/// using only the computed layout.
977///
978/// Conservative: returns `false` for anything it cannot prove fully initialized,
979/// including multi-variant enums and SIMD vectors.
980// FIXME: extend to multi-variant enums (per-variant padding analysis needed).
981fn layout_is_noundef<'a, Ty, C>(layout: TyAndLayout<'a, Ty>, cx: &C) -> bool982where
983Ty: TyAbiInterface<'a, C> + Copy,
984 C: HasDataLayout,
985{
986match layout.backend_repr {
987 BackendRepr::Scalar(scalar) => !scalar.is_uninit_valid(),
988 BackendRepr::ScalarPair { a: s1, b: s2, b_offset: _ } => {
989 !s1.is_uninit_valid()
990 && !s2.is_uninit_valid()
991// Ensure there is no padding.
992&& s1.size(cx) + s2.size(cx) == layout.size
993 }
994 BackendRepr::Memory { .. } => match layout.fields {
995 FieldsShape::Primitive | FieldsShape::Union(_) => false,
996// Array elements are at stride offsets with no inter-element gaps.
997FieldsShape::Array { stride: _, count } => {
998count == 0 || layout_is_noundef(layout.field(cx, 0), cx)
999 }
1000 FieldsShape::Arbitrary { .. } => {
1001// With `Variants::Multiple`, `layout.fields` only covers shared
1002 // bytes (niche/discriminant); per-variant data is absent, so
1003 // full coverage cannot be proven.
1004#[allow(non_exhaustive_omitted_patterns)] match layout.variants {
Variants::Single { .. } => true,
_ => false,
}matches!(layout.variants, Variants::Single { .. }) && fields_are_noundef(layout, cx)
1005 }
1006 },
1007 BackendRepr::SimdVector { .. } | BackendRepr::SimdScalableVector { .. } => false,
1008 }
1009}
10101011/// Returns `true` if the fields of `layout` contiguously cover bytes `0..layout.size`
1012/// with no padding gaps and each field is recursively `layout_is_noundef`.
1013fn fields_are_noundef<'a, Ty, C>(layout: TyAndLayout<'a, Ty>, cx: &C) -> bool1014where
1015Ty: TyAbiInterface<'a, C> + Copy,
1016 C: HasDataLayout,
1017{
1018let mut cursor = Size::ZERO;
1019for i in layout.fields.index_by_increasing_offset() {
1020let field = layout.field(cx, i);
1021if field.size == Size::ZERO {
1022continue;
1023 }
1024if layout.fields.offset(i) != cursor {
1025return false;
1026 }
1027if !layout_is_noundef(field, cx) {
1028return false;
1029 }
1030 cursor += field.size;
1031 }
1032cursor == layout.size
1033}
10341035// Some types are used a lot. Make sure they don't unintentionally get bigger.
1036#[cfg(target_pointer_width = "64")]
1037mod size_asserts {
1038use rustc_data_structures::static_assert_size;
10391040use super::*;
1041// tidy-alphabetical-start
1042const _: [(); 64] = [(); ::std::mem::size_of::<ArgAbi<'_, usize>>()];static_assert_size!(ArgAbi<'_, usize>, 64);
1043const _: [(); 88] = [(); ::std::mem::size_of::<FnAbi<'_, usize>>()];static_assert_size!(FnAbi<'_, usize>, 88);
1044// tidy-alphabetical-end
1045}