Skip to main content

rustc_target/callconv/
mod.rs

1use std::{fmt, iter};
2
3use arrayvec::ArrayVec;
4use rustc_abi::{
5    AddressSpace, Align, BackendRepr, CanonAbi, ExternAbi, FieldsShape, HasDataLayout, Primitive,
6    Reg, RegKind, Scalar, Size, TyAbiInterface, TyAndLayout, Variants,
7};
8use rustc_macros::StableHash;
9
10pub use crate::spec::AbiMap;
11use crate::spec::{Arch, HasTargetSpec, HasX86AbiOpt, RustcAbi};
12
13mod 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;
38
39/// 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.
43    Pointer,
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.
51    OnStack,
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.
55    AmdgpuKernelArg,
56}
57
58#[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.
63    Ignore,
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>.)
70    Direct(ArgAttributes),
71    /// Pass a pair's elements directly in two arguments.
72    ///
73    /// The argument has a layout abi of `ScalarPair`.
74    Pair(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.
79    Cast { 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`.
90    Indirect {
91        attrs: ArgAttributes,
92        meta_attrs: Option<ArgAttributes>,
93        address_space: Option<AddressSpace>,
94        mode: IndirectMode,
95    },
96}
97
98impl 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!
102    pub fn eq_abi(&self, other: &Self) -> bool {
103        match (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}
133
134// 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;
137
138#[allow(non_upper_case_globals)]
139#[allow(unused)]
140mod attr_impl {
141    use rustc_macros::StableHash;
142
143    // 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)]
145    pub struct ArgAttribute(u16);
146    impl 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! {
147        impl ArgAttribute: u16 {
148            const CapturesNone     = 0b111;
149            const CapturesAddress  = 0b110;
150            const CapturesReadOnly = 0b100;
151            const NoAlias  = 1 << 3;
152            const NonNull  = 1 << 4;
153            const ReadOnly = 1 << 5;
154            const InReg    = 1 << 6;
155            const NoUndef  = 1 << 7;
156            const 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).
161            const NoFree   = 1 << 9;
162        }
163    }
164    impl ::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}
166
167/// 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 {
172    None,
173    Zext,
174    Sext,
175}
176
177/// 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 {
181    pub regular: ArgAttribute,
182    pub 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).
185    pub pointee_size: Size,
186    /// The minimum alignment of the pointee, if any.
187    pub pointee_align: Option<Align>,
188}
189
190impl ArgAttributes {
191    pub fn new() -> Self {
192        ArgAttributes {
193            regular: ArgAttribute::default(),
194            arg_ext: ArgExtension::None,
195            pointee_size: Size::ZERO,
196            pointee_align: None,
197        }
198    }
199
200    pub fn ext(&mut self, ext: ArgExtension) -> &mut Self {
201        if !(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!(
202            self.arg_ext == ArgExtension::None || self.arg_ext == ext,
203            "cannot set {:?} when {:?} is already set",
204            ext,
205            self.arg_ext
206        );
207        self.arg_ext = ext;
208        self
209    }
210
211    pub fn set(&mut self, attr: ArgAttribute) -> &mut Self {
212        self.regular |= attr;
213        self
214    }
215
216    pub fn contains(&self, attr: ArgAttribute) -> bool {
217        self.regular.contains(attr)
218    }
219
220    /// Checks if these two `ArgAttributes` are equal enough to be considered "the same for all
221    /// function call ABIs".
222    pub 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.)
226        if self.regular.contains(ArgAttribute::InReg) != other.regular.contains(ArgAttribute::InReg)
227        {
228            return 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.
232        if self.arg_ext != other.arg_ext {
233            return false;
234        }
235        true
236    }
237}
238
239impl From<ArgAttribute> for ArgAttributes {
240    fn from(value: ArgAttribute) -> Self {
241        Self {
242            regular: value,
243            arg_ext: ArgExtension::None,
244            pointee_size: Size::ZERO,
245            pointee_align: None,
246        }
247    }
248}
249
250/// 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 {
254    pub unit: Reg,
255
256    /// 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`.
262    pub total: Size,
263
264    /// 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.
267    pub is_consecutive: bool,
268}
269
270impl From<Reg> for Uniform {
271    fn from(unit: Reg) -> Uniform {
272        Uniform { unit, total: unit.size, is_consecutive: false }
273    }
274}
275
276impl Uniform {
277    pub fn align<C: HasDataLayout>(&self, cx: &C) -> Align {
278        self.unit.align(cx)
279    }
280
281    /// 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.
283    pub fn new(unit: Reg, total: Size) -> Self {
284        Uniform { unit, total, is_consecutive: false }
285    }
286
287    /// 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.
289    pub fn consecutive(unit: Reg, total: Size) -> Self {
290        Uniform { unit, total, is_consecutive: true }
291    }
292}
293
294/// 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.
307    pub 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.
310    pub rest_offset: Option<Size>,
311    pub rest: Uniform,
312    pub attrs: ArgAttributes,
313}
314
315impl From<Reg> for CastTarget {
316    fn from(unit: Reg) -> CastTarget {
317        CastTarget::from(Uniform::from(unit))
318    }
319}
320
321impl From<Uniform> for CastTarget {
322    fn from(uniform: Uniform) -> CastTarget {
323        Self::prefixed(Default::default(), uniform)
324    }
325}
326
327impl CastTarget {
328    pub fn prefixed(prefix: ArrayVec<Reg, 8>, rest: Uniform) -> Self {
329        Self { prefix, rest_offset: None, rest, attrs: ArgAttributes::new() }
330    }
331
332    pub fn offset_pair(a: Reg, offset_from_start: Size, b: Reg) -> Self {
333        let mut prefix = ArrayVec::new();
334        prefix.push(a);
335        Self {
336            prefix,
337            rest_offset: Some(offset_from_start),
338            rest: b.into(),
339            attrs: ArgAttributes::new(),
340        }
341    }
342
343    pub fn with_attrs(mut self, attrs: ArgAttributes) -> Self {
344        self.attrs = attrs;
345        self
346    }
347
348    pub fn pair(a: Reg, b: Reg) -> CastTarget {
349        let mut prefix = ArrayVec::new();
350        prefix.push(a);
351        Self::prefixed(prefix, Uniform::from(b))
352    }
353
354    /// When you only access the range containing valid data, you can use this unaligned size;
355    /// otherwise, use the safer `size` method.
356    pub fn unaligned_size<C: HasDataLayout>(&self, _cx: &C) -> Size {
357        // Prefix arguments are passed in specific designated registers
358        let prefix_size = if let Some(offset_from_start) = self.rest_offset {
359            offset_from_start
360        } else {
361            self.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
364        let rest_size =
365            self.rest.unit.size * self.rest.total.bytes().div_ceil(self.rest.unit.size.bytes());
366
367        prefix_size + rest_size
368    }
369
370    pub fn size<C: HasDataLayout>(&self, cx: &C) -> Size {
371        self.unaligned_size(cx).align_to(self.align(cx))
372    }
373
374    pub fn align<C: HasDataLayout>(&self, cx: &C) -> Align {
375        self.prefix
376            .iter()
377            .map(|reg| reg.align(cx))
378            .fold(cx.data_layout().aggregate_align.max(self.rest.align(cx)), |acc, align| {
379                acc.max(align)
380            })
381    }
382
383    /// Checks if these two `CastTarget` are equal enough to be considered "the same for all
384    /// function call ABIs".
385    pub fn eq_abi(&self, other: &Self) -> bool {
386        let CastTarget {
387            prefix: prefix_l,
388            rest_offset: rest_offset_l,
389            rest: rest_l,
390            attrs: attrs_l,
391        } = self;
392        let CastTarget {
393            prefix: prefix_r,
394            rest_offset: rest_offset_r,
395            rest: rest_r,
396            attrs: attrs_r,
397        } = other;
398        prefix_l == prefix_r
399            && rest_offset_l == rest_offset_r
400            && rest_l == rest_r
401            && attrs_l.eq_abi(attrs_r)
402    }
403}
404
405/// 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> {
409    pub layout: TyAndLayout<'a, Ty>,
410    pub mode: PassMode,
411}
412
413// Needs to be a custom impl because of the bounds on the `TyAndLayout` debug impl.
414impl<'a, Ty: fmt::Display> fmt::Debug for ArgAbi<'a, Ty> {
415    fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
416        let ArgAbi { layout, mode } = self;
417        f.debug_struct("ArgAbi").field("layout", layout).field("mode", mode).finish()
418    }
419}
420
421impl<'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`.
423    pub fn new(
424        layout: TyAndLayout<'a, Ty>,
425        scalar_attrs: impl Fn(Scalar, Size) -> ArgAttributes,
426    ) -> Self {
427        let 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        };
437        ArgAbi { layout, mode }
438    }
439
440    fn indirect_pass_mode(layout: &TyAndLayout<'a, Ty>) -> PassMode {
441        let mut attrs = ArgAttributes::new();
442
443        // 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.
446        attrs
447            .set(ArgAttribute::NoAlias)
448            .set(ArgAttribute::CapturesAddress)
449            .set(ArgAttribute::NonNull)
450            .set(ArgAttribute::NoUndef)
451            .set(ArgAttribute::NoFree);
452        attrs.pointee_size = layout.size;
453        attrs.pointee_align = Some(layout.align.abi);
454
455        let meta_attrs = layout.is_unsized().then_some(ArgAttributes::new());
456
457        PassMode::Indirect { attrs, meta_attrs, address_space: None, mode: IndirectMode::Pointer }
458    }
459
460    /// 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]
463    pub fn make_indirect(&mut self) {
464        match self.mode {
465            PassMode::Direct(_) | PassMode::Pair(_, _) => {
466                self.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    }
479
480    /// 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]
483    pub fn make_indirect_addrspace(&mut self, addrspace: AddressSpace) {
484        self.make_indirect();
485        match 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    }
492
493    /// Same as `make_indirect`, but for arguments that are ignored. Only needed for ABIs that pass
494    /// ZSTs indirectly.
495    #[track_caller]
496    pub fn make_indirect_from_ignore(&mut self) {
497        match self.mode {
498            PassMode::Ignore => {
499                self.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    }
512
513    /// 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.
529    pub fn pass_by_stack_offset(&mut self, byval_align: Option<Align>) {
530        if !!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");
531        self.make_indirect();
532        match self.mode {
533            PassMode::Indirect { ref mut attrs, meta_attrs: _, address_space: _, ref mut mode } => {
534                *mode = IndirectMode::OnStack;
535
536                // Some platforms, like 32-bit x86, change the alignment of the type when passing
537                // `byval`. Account for that.
538                if let Some(byval_align) = byval_align {
539                    // On all targets with byval align this is currently true, so let's assert it.
540                    if 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());
541                    attrs.pointee_align = Some(byval_align);
542                }
543            }
544            _ => ::core::panicking::panic("internal error: entered unreachable code")unreachable!(),
545        }
546    }
547
548    /// 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.
552    pub fn pass_amdgpu_kernel_arg(&mut self, addrspace: Option<AddressSpace>) {
553        if !!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");
554        self.make_indirect();
555        match 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    }
563
564    pub fn extend_integer_width_to(&mut self, bits: u64) {
565        // Only integers have signedness
566        if 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        {
573            if signed {
574                attrs.ext(ArgExtension::Sext)
575            } else {
576                attrs.ext(ArgExtension::Zext)
577            };
578        }
579    }
580
581    pub fn cast_to<T: Into<CastTarget>>(&mut self, target: T) {
582        self.mode = PassMode::Cast { cast: Box::new(target.into()), pad_i32_count: 0 };
583    }
584
585    pub fn cast_to_with_attrs<T: Into<CastTarget>>(&mut self, target: T, attrs: ArgAttributes) {
586        self.mode =
587            PassMode::Cast { cast: Box::new(target.into().with_attrs(attrs)), pad_i32_count: 0 };
588    }
589
590    /// 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.
595    pub fn cast_to_maybe_noundef<T, C>(&mut self, target: T, cx: &C)
596    where
597        T: Into<CastTarget>,
598        Ty: TyAbiInterface<'a, C> + Copy,
599        C: HasDataLayout,
600    {
601        let target = target.into();
602        let attr = if layout_is_noundef(self.layout, cx) && target.size(cx) == self.layout.size {
603            ArgAttribute::NoUndef
604        } else {
605            ArgAttribute::default()
606        };
607        self.cast_to_with_attrs(target, attr.into());
608    }
609
610    pub fn cast_to_and_pad_i32<T: Into<CastTarget>>(&mut self, target: T, pad_i32_count: u8) {
611        self.mode = PassMode::Cast { cast: Box::new(target.into()), pad_i32_count };
612    }
613
614    pub fn is_indirect(&self) -> bool {
615        #[allow(non_exhaustive_omitted_patterns)] match self.mode {
    PassMode::Indirect { .. } => true,
    _ => false,
}matches!(self.mode, PassMode::Indirect { .. })
616    }
617
618    pub 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!(
620            self.mode,
621            PassMode::Indirect { attrs: _, meta_attrs: None, address_space: _, mode: _ }
622        )
623    }
624
625    pub 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!(
627            self.mode,
628            PassMode::Indirect { attrs: _, meta_attrs: Some(_), address_space: _, mode: _ }
629        )
630    }
631
632    pub fn is_ignore(&self) -> bool {
633        #[allow(non_exhaustive_omitted_patterns)] match self.mode {
    PassMode::Ignore => true,
    _ => false,
}matches!(self.mode, PassMode::Ignore)
634    }
635
636    /// Checks if these two `ArgAbi` are equal enough to be considered "the same for all
637    /// function call ABIs".
638    pub fn eq_abi(&self, other: &Self) -> bool
639    where
640        Ty: 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.
644        self.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.
648            if #[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.
652                self.layout.ty == other.layout.ty
653            } else {
654                true
655            }
656        }
657    }
658}
659
660#[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}
665
666impl RiscvInterruptKind {
667    pub fn as_str(&self) -> &'static str {
668        match self {
669            Self::Machine => "machine",
670            Self::Supervisor => "supervisor",
671        }
672    }
673}
674
675/// 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.
688    pub args: Box<[ArgAbi<'a, Ty>]>,
689
690    /// The layout, type, and the way a value is returned from this function.
691    pub ret: ArgAbi<'a, Ty>,
692
693    /// Marks this function as variadic (accepting a variable number of arguments).
694    pub c_variadic: bool,
695
696    /// 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.
700    pub fixed_count: u32,
701    /// The calling convention of this function.
702    pub conv: CanonAbi,
703    /// Indicates if an unwind may happen across a call to this function.
704    pub can_unwind: bool,
705}
706
707// Needs to be a custom impl because of the bounds on the `TyAndLayout` debug impl.
708impl<'a, Ty: fmt::Display> fmt::Debug for FnAbi<'a, Ty> {
709    fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
710        let FnAbi { args, ret, c_variadic, fixed_count, conv, can_unwind } = self;
711        f.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}
721
722impl<'a, Ty> FnAbi<'a, Ty> {
723    pub fn adjust_for_foreign_abi<C>(&mut self, cx: &C, abi: ExternAbi)
724    where
725        Ty: TyAbiInterface<'a, C> + Copy,
726        C: HasDataLayout + HasTargetSpec + HasX86AbiOpt,
727    {
728        if abi == ExternAbi::X86Interrupt {
729            if let Some(arg) = self.args.first_mut() {
730                arg.pass_by_stack_offset(None);
731            }
732            return;
733        }
734
735        let spec = cx.target_spec();
736        match &spec.arch {
737            Arch::X86 => {
738                let (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                };
747                let reg_struct_return = cx.x86_abi_opt().reg_struct_return;
748                let opts = x86::X86Options { flavor, regparm, reg_struct_return };
749                if 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                _ => {
761                    if 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 => {
769                let kind = if cx.target_spec().is_like_darwin {
770                    aarch64::AbiKind::DarwinPCS
771                } else if cx.target_spec().is_like_windows {
772                    aarch64::AbiKind::Win64
773                } else {
774                    aarch64::AbiKind::AAPCS
775                };
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 => {
793                if 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    }
809
810    pub fn adjust_for_rust_abi<C>(&mut self, cx: &C)
811    where
812        Ty: TyAbiInterface<'a, C> + Copy,
813        C: HasDataLayout + HasTargetSpec,
814    {
815        let spec = cx.target_spec();
816        match &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        };
824
825        // 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.
830        let 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.
833            Arch::X86 if spec.rustc_abi == Some(RustcAbi::X86Sse2) => arg.layout.size.bits() <= 128,
834            Arch::X86_64 if spec.rustc_abi != Some(RustcAbi::Softfloat) => {
835                // x86-64 non-softfloat targets all require SSE2 so we can use SSE registers.
836                arg.layout.size.bits() <= 128
837            }
838            // So far, we haven't implemented this logic for any other target.
839            _ => false,
840        };
841
842        for (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.
851            if #[allow(non_exhaustive_omitted_patterns)] match arg.mode {
    PassMode::Ignore | PassMode::Cast { .. } => true,
    _ => false,
}matches!(arg.mode, PassMode::Ignore | PassMode::Cast { .. }) {
852                continue;
853            }
854
855            // Always extend `bool` in the Rust ABI
856            let extend_bool = |attrs: &mut ArgAttributes, scalar: Scalar| {
857                if scalar.is_bool() {
858                    attrs.ext(ArgExtension::Zext);
859                }
860            };
861
862            if 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            }
872
873            if 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.
922                arg.make_indirect();
923                continue;
924            }
925
926            match arg.layout.backend_repr {
927                BackendRepr::Memory { .. } => {
928                    // Compute `Aggregate` ABI.
929
930                    let 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, .. });
932                    if !is_indirect_not_on_stack {
    ::core::panicking::panic("assertion failed: is_indirect_not_on_stack")
};assert!(is_indirect_not_on_stack);
933
934                    let size = arg.layout.size;
935                    if 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.
941                        arg.cast_to_maybe_noundef(Reg { kind: RegKind::Integer, size }, cx);
942                    } else if self.conv == CanonAbi::RustTail && arg_idx.is_some() {
943                        if !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                }
947
948                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`.
964                    if spec.simd_types_indirect && !can_pass_simd_directly(arg) {
965                        arg.make_indirect();
966                    }
967                }
968
969                _ => {}
970            }
971        }
972    }
973}
974
975/// 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) -> bool
982where
983    Ty: TyAbiInterface<'a, C> + Copy,
984    C: HasDataLayout,
985{
986    match 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.
997            FieldsShape::Array { stride: _, count } => {
998                count == 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}
1010
1011/// 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) -> bool
1014where
1015    Ty: TyAbiInterface<'a, C> + Copy,
1016    C: HasDataLayout,
1017{
1018    let mut cursor = Size::ZERO;
1019    for i in layout.fields.index_by_increasing_offset() {
1020        let field = layout.field(cx, i);
1021        if field.size == Size::ZERO {
1022            continue;
1023        }
1024        if layout.fields.offset(i) != cursor {
1025            return false;
1026        }
1027        if !layout_is_noundef(field, cx) {
1028            return false;
1029        }
1030        cursor += field.size;
1031    }
1032    cursor == layout.size
1033}
1034
1035// Some types are used a lot. Make sure they don't unintentionally get bigger.
1036#[cfg(target_pointer_width = "64")]
1037mod size_asserts {
1038    use rustc_data_structures::static_assert_size;
1039
1040    use super::*;
1041    // tidy-alphabetical-start
1042    const _: [(); 64] = [(); ::std::mem::size_of::<ArgAbi<'_, usize>>()];static_assert_size!(ArgAbi<'_, usize>, 64);
1043    const _: [(); 88] = [(); ::std::mem::size_of::<FnAbi<'_, usize>>()];static_assert_size!(FnAbi<'_, usize>, 88);
1044    // tidy-alphabetical-end
1045}