Enum pliron_llvm::attributes::IntegerOverflowFlagsAttr

pub enum IntegerOverflowFlagsAttr {
    None,
    Nsw,
    Nuw,
}

Integer overflow flags for arithmetic operations. The description below is from LLVM’s release notes that added the flags. “nsw” and “nuw” bits indicate that the operation is guaranteed to not overflow (in the signed or unsigned case, respectively). This gives the optimizer more information and can be used for things like C signed integer values, which are undefined on overflow.

Variants

None

Nsw

Nuw

Trait Implementations

impl Attribute for IntegerOverflowFlagsAttr

fn eq_attr(&self, other: &dyn Attribute) -> bool

Is self equal to an other Attribute?

fn get_attr_id(&self) -> AttrId

Get an Attribute’s static name. This is not per instantnce. It is mostly useful for printing and parsing the attribute.

fn get_attr_id_static() -> AttrId

Same as get_attr_id, but without the self reference.

fn verify_interfaces(&self, ctx: &Context) -> Result<()>

Verify all interfaces implemented by this attribute.

fn register_attr_in_dialect<A>( dialect: &mut Dialect, attr_parser: for<'a> fn(_: &'a (), _: ()) -> Box<dyn Parser<Stream<Stream<Stream<Stream<IteratorStream<CharIterator<'a>>, SourcePosition>>>, State<'a>>, PartialState = (), Output = A> + 'a> )

where A: Attribute, Self: Sized,

Register this attribute’s AttrId in the dialect it belongs to.

impl Clone for IntegerOverflowFlagsAttr

fn clone(&self) -> IntegerOverflowFlagsAttr

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for IntegerOverflowFlagsAttr

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

Formats the value using the given formatter.

impl Parsable for IntegerOverflowFlagsAttr

type Arg = ()

Type of the argument that must be passed to the parser.

type Parsed = IntegerOverflowFlagsAttr

The type of the parsed entity.

fn parse<'a>( state_stream: &mut StateStream<'a>, _arg: Self::Arg ) -> ParseResult<'a, Self>

Define a parser using existing combinators and call into on Parser::parse_stream to get the final ParseResult. Use state_stream.state as necessary.

fn parser<'a>( arg: Self::Arg ) -> Box<dyn Parser<Stream<Stream<Stream<Stream<IteratorStream<CharIterator<'a>>, SourcePosition>>>, State<'a>>, PartialState = (), Output = Self::Parsed> + 'a>

Get a parser combinator that can work on StateStream as its input.

fn parser_fn<'a>( _: &'a (), arg: Self::Arg ) -> Box<dyn Parser<Stream<Stream<Stream<Stream<IteratorStream<CharIterator<'a>>, SourcePosition>>>, State<'a>>, PartialState = (), Output = Self::Parsed> + 'a>

Same as Self::parser but takes a unit reference for use as ParserFn

impl PartialEq for IntegerOverflowFlagsAttr

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

This method tests for self and other values to be equal, and is used by ==.

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

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Printable for IntegerOverflowFlagsAttr

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

fn disp<'t, 'c>(&'t self, ctx: &'c Context) -> Box<dyn Display + 'c>

where 't: 'c, Self: Sized + 'c,

Get a Display’able object from the given Context and default State.

fn print<'t, 'c>( &'t self, ctx: &'c Context, state: &State ) -> Box<dyn Display + 'c>

where 't: 'c, Self: Sized + 'c,

Get a Display’able object from the given Context and State.

impl Verify for IntegerOverflowFlagsAttr

fn verify(&self, _ctx: &Context) -> Result<()>

impl Eq for IntegerOverflowFlagsAttr

impl StructuralPartialEq for IntegerOverflowFlagsAttr