Struct IndexOp 

pub struct IndexOp { /* private fields */ }

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
memory_index_checked	ATTR_KEY_MEMORY_INDEX_CHECKED	UnitAttr

Implementations

impl IndexOp

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

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

pub fn set_attr_memory_index_checked(&self, ctx: &Context, value: UnitAttr)

Set the value of the attribute named memory_index_checked.

impl IndexOp

pub fn new( ctx: &mut Context, base: Value, index: Value, checked: Option<UnitAttr>, ) -> Self

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

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

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

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

pub fn checked<'a>(&self, ctx: &'a Context) -> bool

pub fn set_checked(&self, ctx: &Context)

pub fn remove_checked(&self, ctx: &Context)

impl IndexOp

pub fn maybe_checked( ctx: &mut Context, base: Value, index: Value, checked: bool, ) -> Self

Trait Implementations

impl AliasingOp for IndexOp

fn source_ptr(&self, ctx: &Context) -> Option<Value>

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

where Self: Sized,

impl AtLeastNOpdsInterface<1> for IndexOp

impl AtLeastNOpdsInterface<2> for IndexOp

impl AtLeastNResultsInterface<1> for IndexOp

impl AtMostNOpdsInterface<2> for IndexOp

impl AtMostNResultsInterface<1> for IndexOp

impl Clone for IndexOp

fn clone(&self) -> IndexOp

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for IndexOp

impl DestructurableAccessorOpInterface for IndexOp

fn can_rewire( &self, ctx: &Context, value: &DestructurableValueSlot, used_indices: &mut SmallSet<AttrObj, 8>, must_be_safely_used: &mut Vec<ValueSlot>, ) -> bool

For a given destructurable value, returns whether this operation can rewire its uses of the value to use the values generated after destructuring. This may involve creating new operations.

fn rewire( &self, ctx: &mut Context, _value: &DestructurableValueSlot, subvalues: &HMap<AttrObj, ValueSlot>, rewriter: &mut PassRewriter, ) -> DeletionKind

Rewires the use of a slot to the generated subvalues, without deleting any operation. Returns whether the accessor should be deleted.

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

where Self: Sized,

impl Eq for IndexOp

impl Hash for IndexOp

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 IndexOp

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 IndexOp

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

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

where Self: Sized,

impl NOpdsInterface<2> for IndexOp

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.

impl NResultsInterface<1> for IndexOp

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 IndexOp

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 IndexOp

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, PointerType> for IndexOp

impl OperandNOfType<1, IndexType> for IndexOp

impl Parsable for IndexOp

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 IndexOp

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

Equality operator ==.

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

Inequality operator !=.

impl Printable for IndexOp

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 SameResultsType for IndexOp

fn common_result_type(&self, ctx: &Context) -> Option<TypeHandle>

Get the common type of the results.

impl SideEffects for IndexOp

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

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

impl StructuralPartialEq for IndexOp

impl Verify for IndexOp

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