Struct ConditionOp 

pub struct ConditionOp { /* private fields */ }

Implementations

impl ConditionOp

pub fn new(ctx: &mut Context, cond: Value) -> Self

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

pub fn forward_values(&self, ctx: &Context) -> Vec<Value>

pub fn forward_value_uses(&self, ctx: &Context) -> Vec<Use<Value>>

Trait Implementations

impl Clone for ConditionOp

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl ConditionallySpeculatable for ConditionOp

fn speculatability(&self, _ctx: &Context) -> Speculatability

fn verify(_op: &dyn Op, _ctx: &Context) -> Result<()>

where Self: Sized,

impl Copy for ConditionOp

impl Eq for ConditionOp

impl Hash for ConditionOp

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 IsTerminatorInterface for ConditionOp

impl MaterializableOp for ConditionOp

fn materialize( &self, ctx: &mut Context, result_ty: Vec<TypeHandle>, operands: Vec<Value>, attributes: AttributeDict, ) -> Ptr<Operation>

fn verify(_op: &dyn Op, _ctx: &Context) -> Result<()>

where Self: Sized,

impl MemoryEffectsOp for ConditionOp

fn memory_effects(&self, _ctx: &Context) -> Vec<MemoryEffect>

fn verify(_op: &dyn Op, _ctx: &Context) -> Result<()>

where Self: Sized,

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

impl NResultsInterface<0> for ConditionOp

fn get_result_i(&self, ctx: &Context, i: LessThanN<N>) -> Value

Get the i’th result.

fn result_type_i(&self, ctx: &Context, i: LessThanN<N>) -> TypeHandle

Get the type of the i’th result.

impl Op for ConditionOp

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 OperandNOfType<0, BoolType> for ConditionOp

impl Parsable for ConditionOp

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 ConditionOp

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

Equality operator ==.

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

Inequality operator !=.

impl Printable for ConditionOp

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 RegionBranchTerminatorOpInterface for ConditionOp

fn successor_operands( &self, ctx: &Context, _successor: RegionSuccessor, ) -> Vec<Use<Value>>

Returns a range of operands that are semantically “returned” by passing them to the region successor.

fn successor_regions( &self, ctx: &Context, operands: &[Option<AttrObj>], ) -> Vec<RegionSuccessor>

Returns all potential region successors that are branched to after this terminator based on the given constant operands.

fn verify(_op: &dyn Op, _ctx: &Context) -> Result<()>

where Self: Sized,

impl StructuralPartialEq for ConditionOp

impl UniformRegionTerminatorOpInterface for ConditionOp

fn successor_region_uniformity( &self, ctx: &Context, operands: &[Uniformity], ) -> Vec<Uniformity>

fn verify(_op: &dyn Op, _ctx: &Context) -> Result<()>

where Self: Sized,

fn all_successor_regions(&self, ctx: &Context) -> Vec<RegionSuccessor>

impl Verify for ConditionOp

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