Struct CompositeConstructOp 

pub struct CompositeConstructOp { /* private fields */ }

Implementations

impl CompositeConstructOp

pub fn new(ctx: &mut Context, ty: TypeHandle, values: Vec<Value>) -> Self

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

Trait Implementations

impl AtLeastNOpdsInterface<1> for CompositeConstructOp

impl Clone for CompositeConstructOp

fn clone(&self) -> CompositeConstructOp

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for CompositeConstructOp

impl DestructurableConstructorOpInterface for CompositeConstructOp

fn destructurable_values(&self, ctx: &Context) -> Vec<DestructurableValueSlot>

Returns the list of value for which destructuring should be attempted, specifying in which way the value should be destructured into subvalues. This computes the type of the value for each subvalue to be generated. The type of the value must implement DestructurableTypeInterface.

fn destructure( &self, ctx: &mut Context, _value: &DestructurableValueSlot, used_indices: &SmallSet<AttrObj, 8>, _rewriter: &mut PassRewriter, _new_constructors: &mut Vec<TraitOp<dyn DestructurableConstructorOpInterface>>, ) -> HMap<AttrObj, ValueSlot>

Destructures this value into multiple subvalues. The original value must still exist at the end of this call. Only generates subvalues for the indices found in used_indices since all other subvalues are unused.

fn handle_destructuring_complete( &self, ctx: &mut Context, value: &DestructurableValueSlot, rewriter: &mut PassRewriter, ) -> Option<TraitOp<dyn DestructurableConstructorOpInterface>>

Hook triggered once the destructuring of a value is complete, meaning the original value is no longer being referred to and could be deleted. This will only be called for values declared by this operation.

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

where Self: Sized,

impl Eq for CompositeConstructOp

impl Hash for CompositeConstructOp

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 MaterializableOp for CompositeConstructOp

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 MemoryEffects for CompositeConstructOp

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

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

where Self: Sized,

impl NResultsInterface<1> for CompositeConstructOp

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 OneResultInterface for CompositeConstructOp

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 CompositeConstructOp

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 CompositeConstructOp

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>>, Output = Self::Parsed, PartialState = ()> + 'a>

where Self::Parsed: 'a,

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

impl PartialEq for CompositeConstructOp

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

Equality operator ==.

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

Inequality operator !=.

impl Printable for CompositeConstructOp

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 CompositeConstructOp

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

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

impl StructuralPartialEq for CompositeConstructOp

impl Verify for CompositeConstructOp

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