Struct ZExtOp 

pub struct ZExtOp { /* private fields */ }

Equivalent to LLVM’s zext opcode.

Operands

operand	description
arg	Signless integer

Result(s):

result	description
res	Signless integer

Trait Implementations

impl CastOpInterface for ZExtOp

fn new(ctx: &mut Context, operand: Value, res_type: TypeHandle) -> Self

where Self: Sized,

Create a new cast operation given the operand.

impl CastOpWithNNegInterface for ZExtOp

fn new_with_nneg( ctx: &mut Context, operand: Value, res_type: TypeHandle, nneg: bool, ) -> Self

where Self: Sized,

Create a new cast operation with nneg flag

impl Clone for ZExtOp

fn clone(&self) -> ZExtOp

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl ConstFoldInterface for ZExtOp

fn check_fold( &self, ctx: &Context, ops: &[Option<AttrObj>], ) -> Vec<Option<AttrObj>>

Given a slice operand_attrs corresponding to each operand, indicating a known compile time constant value for that operand (if any), returns a vector corresponding to each result, indicating the folded (inferred constant) value, if any.

fn fold_in_place( &self, ctx: &mut Context, ops: &[Option<AttrObj>], rw: &mut dyn Rewriter, ) -> IRStatus

Given a slice operand_attrs corresponding to each operand, indicating a known compile time constant value for that operand (if any), attempts to fold the op in place using the provided rewriter. Assumes that rewriter is positioned just before the op to be folded.

fn fold_with_materialization( &self, ctx: &mut Context, operand_attrs: &[Option<Box<dyn Attribute>>], rewriter: &mut dyn Rewriter, ) -> IRStatus

A helper for implementing fold_in_place by materializing the constants inferred by check_fold.

impl Hash for ZExtOp

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 NNegFlag for ZExtOp

fn nneg(&self, ctx: &Context) -> bool

fn set_nneg(&self, ctx: &Context, flag: bool)

impl OneOpdInterface for ZExtOp

fn get_operand(&self, ctx: &Context) -> Value

Get the single operand used by this Op.

fn operand_type(&self, ctx: &Context) -> TypeHandle

Get the type of the single operand used by this Op.

impl OneResultInterface for ZExtOp

fn get_result(&self, ctx: &Context) -> Value

Get the single result defined by this Op.

fn result_type(&self, ctx: &Context) -> TypeHandle

Get the type of the single result defined by this Op.

impl Op for ZExtOp

fn get_operation(&self) -> Ptr<Operation>

Get the underlying IR Operation

fn get_opid(&self) -> OpId

Get this Op’s OpId

fn get_opid_static() -> OpId

Get this Op’s OpId, without self reference.

fn get_concrete_op_info() -> (fn(Ptr<Operation>) -> OpBox, TypeId)

where Self: Sized,

Get details about the concrete Op type.

fn register(ctx: &mut Context)

where Self: Sized + Parsable<Arg = Vec<(Identifier, Location)>, Parsed = OpBox>,

Register Op in Context and add it to its dialect.

fn loc(&self, ctx: &Context) -> Location

Get Op’s location

impl Parsable for ZExtOp

type Arg = Vec<(Identifier, Location)>

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

type Parsed = OpBox

The type of the parsed entity.

fn parse<'__pliron_parse>( state_stream: &mut StateStream<'__pliron_parse>, arg: Self::Arg, ) -> ParseResult<'__pliron_parse, Self::Parsed>

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>

where Self::Parsed: 'a,

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

impl PartialEq for ZExtOp

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

Tests for self and other values to be equal, and is used by ==.

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

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

impl Printable for ZExtOp

fn fmt(&self, ctx: &Context, state: &State, fmt: &mut Formatter<'_>) -> Result

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

where 't: '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,

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

impl SideEffects for ZExtOp

fn has_side_effects(&self, _ctx: &Context) -> bool

Returns true if the operation has side effects, and false otherwise.

impl Verify for ZExtOp

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

impl Copy for ZExtOp

impl Eq for ZExtOp

impl StructuralPartialEq for ZExtOp