Skip to main content

InsertValueOp

Struct InsertValueOp 

Source
pub struct InsertValueOp { /* private fields */ }
Expand description

Equivalent to LLVM’s InsertValue opcode.

§Operands

operanddescription
aggregateLLVM aggregate type
valueLLVM type

§Result(s):

resultdescription
resLLVM 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.

NameStatic Name IdentifierType
llvm_insert_value_indicesATTR_KEY_LLVM_INSERT_VALUE_INDICESInsertExtractValueIndicesAttr

Implementations§

Source§

impl InsertValueOp

Source

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

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

Source

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

Set the value of the attribute named llvm_insert_value_indices.

Source§

impl InsertValueOp

Source

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.

Source

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

Get the indices for inserting value into aggregate.

Trait Implementations§

Source§

impl Clone for InsertValueOp

Source§

fn clone(&self) -> InsertValueOp

Returns a duplicate of the value. Read more
1.0.0 (const: unstable) · Source§

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

Performs copy-assignment from source. Read more
Source§

impl Copy for InsertValueOp

Source§

impl Eq for InsertValueOp

Source§

impl Hash for InsertValueOp

Source§

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher. Read more
1.3.0 · Source§

fn hash_slice<H>(data: &[Self], state: &mut H)
where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher. Read more
Source§

impl NOpdsInterface<2> for InsertValueOp

§

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

Get the i’th operand.
§

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

Get the type of the i’th operand.
Source§

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) -> TypeHandle

Get the type of the single result defined by this [Op].
Source§

impl Op for InsertValueOp

Source§

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

Get the underlying IR Operation
Source§

fn get_opid(&self) -> OpId

Get this Op’s OpId
Source§

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
Source§

impl Parsable for InsertValueOp

Source§

type Arg = Vec<(Identifier, Location)>

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

type Parsed = OpBox

The type of the parsed entity.
Source§

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.
Source§

impl PartialEq for InsertValueOp

Source§

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

Tests for self and other values to be equal, and is used by ==.
1.0.0 (const: unstable) · Source§

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

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

impl Printable for InsertValueOp

Source§

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].
Source§

impl SideEffects for InsertValueOp

Source§

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

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

impl StructuralPartialEq for InsertValueOp

Source§

impl Verify for InsertValueOp

Source§

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

Auto Trait Implementations§

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
Source§

impl<T> CloneToUninit for T
where T: Clone,

Source§

unsafe fn clone_to_uninit(&self, dest: *mut u8)

🔬This is a nightly-only experimental API. (clone_to_uninit)
Performs copy-assignment from self to dest. Read more
§

impl<T> Downcast for T
where T: Any,

§

fn into_any(self: Box<T>) -> Box<dyn Any>

Converts Box<dyn Trait> (where Trait: Downcast) to Box<dyn Any>, which can then be downcast into Box<dyn ConcreteType> where ConcreteType implements Trait.
§

fn into_any_rc(self: Rc<T>) -> Rc<dyn Any>

Converts Rc<Trait> (where Trait: Downcast) to Rc<Any>, which can then be further downcast into Rc<ConcreteType> where ConcreteType implements Trait.
§

fn as_any(&self) -> &(dyn Any + 'static)

Converts &Trait (where Trait: Downcast) to &Any. This is needed since Rust cannot generate &Any’s vtable from &Trait’s.
§

fn as_any_mut(&mut self) -> &mut (dyn Any + 'static)

Converts &mut Trait (where Trait: Downcast) to &Any. This is needed since Rust cannot generate &mut Any’s vtable from &mut Trait’s.
§

impl<T> DowncastSend for T
where T: Any + Send,

§

fn into_any_send(self: Box<T>) -> Box<dyn Any + Send>

Converts Box<Trait> (where Trait: DowncastSend) to Box<dyn Any + Send>, which can then be downcast into Box<ConcreteType> where ConcreteType implements Trait.
§

impl<T> DowncastSync for T
where T: Any + Send + Sync,

§

fn into_any_sync(self: Box<T>) -> Box<dyn Any + Send + Sync>

Converts Box<Trait> (where Trait: DowncastSync) to Box<dyn Any + Send + Sync>, which can then be downcast into Box<ConcreteType> where ConcreteType implements Trait.
§

fn into_any_arc(self: Arc<T>) -> Arc<dyn Any + Send + Sync>

Converts Arc<Trait> (where Trait: DowncastSync) to Arc<Any>, which can then be downcast into Arc<ConcreteType> where ConcreteType implements Trait.
Source§

impl<T> DynClone for T
where T: Clone,

Source§

fn __clone_box(&self, _: Private) -> *mut ()

§

impl<Q, K> Equivalent<K> for Q
where Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

§

fn equivalent(&self, key: &K) -> bool

Compare self to key and return true if they are equal.
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<T> ToOwned for T
where T: Clone,

Source§

type Owned = T

The resulting type after obtaining ownership.
Source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
Source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.