Struct InsertValueOp 

pub struct InsertValueOp { /* private fields */ }

Equivalent to LLVM’s InsertValue opcode.

Operands

operand	description
aggregate	LLVM aggregate type
value	LLVM type

Result(s):

result	description
res	LLVM aggregate type

Attribute(s):

Note: Only attributes defined directly as part of this operation are listed here. There may be others, not listed here, defined by interface implementations.

Name	Static Name Identifier	Type
insert_value_indices	ATTR_KEY_INSERT_VALUE_INDICES	InsertExtractValueIndicesAttr

Implementations

impl InsertValueOp

pub fn get_attr_insert_value_indices<'a>( &self, ctx: &'a Context, ) -> Option<Ref<'a, InsertExtractValueIndicesAttr>>

Get a Ref to the value of the attribute named insert_value_indices. The Ref is a borrow of the containing Operation object.

pub fn set_attr_insert_value_indices( &self, ctx: &Context, value: InsertExtractValueIndicesAttr, )

Set the value of the attribute named insert_value_indices.

impl InsertValueOp

pub fn new( ctx: &mut Context, aggregate: Value, value: Value, indices: Vec<u32>, ) -> Self

Create a new InsertValueOp. aggregate is the aggregate type and value is the value to insert. indices is the list of indices to insert the value at. The indices must be valid for the given aggregate type.

pub fn indices(&self, ctx: &Context) -> Vec<u32>

Get the indices for inserting value into aggregate.

Trait Implementations

impl Clone for InsertValueOp

fn clone(&self) -> InsertValueOp

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Hash for InsertValueOp

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

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

Get the single result defined by this Op.

fn result_type(&self, ctx: &Context) -> Ptr<Box<dyn Type>>

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

impl Op for InsertValueOp

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 InsertValueOp

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>

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

impl PartialEq for InsertValueOp

fn eq(&self, other: &InsertValueOp) -> 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 InsertValueOp

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 InsertValueOp

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

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

impl Verify for InsertValueOp

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

impl Copy for InsertValueOp

impl Eq for InsertValueOp

impl NOpdsInterface<2> for InsertValueOp

impl NResultsInterface<1> for InsertValueOp

impl StructuralPartialEq for InsertValueOp