Struct Attrs 

pub struct Attrs {
    pub set: AttrSet,
    pub fp_contract: FpContract,
}

Everything true of a whole function.

Two parts, because most of these are either so or not so and one of them has three answers. A default set is a function nobody has promised anything about, which is what a function fresh from crate::Func::new is.

Fields

set: AttrSet

The ones that are either set or not.

fp_contract: FpContract

How far the code generator may fuse a multiply and an addition.

Implementations

impl Attrs

pub const NONE: Self

Nothing promised.

pub const fn is_default(self) -> bool

Whether nothing has been promised, which is when the printer writes nothing at all.

pub fn conflict(self) -> Option<(&'static str, &'static str)>

Two attributes that are set and contradict each other, if there are any.

The verifier asks, because a function that is both always_inline and noinline is one where two parts of the frontend disagreed, and the answer the optimizer picks would be whichever branch it happens to test first.

Trait Implementations

impl Clone for Attrs

fn clone(&self) -> Attrs

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Copy for Attrs

impl Debug for Attrs

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for Attrs

fn default() -> Attrs

Returns the “default value” for a type.

impl Display for Attrs

fn fmt(&self, f: &mut Formatter<'_>) -> Result

The form the textual IR uses, attrs(nounwind, fp_contract=on), and nothing at all when nothing has been promised.

impl Eq for Attrs

impl Hash for Attrs

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for Attrs

fn eq(&self, other: &Attrs) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for Attrs