Struct AllocaOp 

pub struct AllocaOp { /* private fields */ }

Equivalent to LLVM’s Alloca opcode.

Operands

operand	description
array_size	Signless integer

Result(s):

result	description
res	PointerType

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
alloca_element_type	ATTR_KEY_ALLOCA_ELEMENT_TYPE	TypeAttr

Implementations

impl AllocaOp

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

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

pub fn set_attr_alloca_element_type(&self, ctx: &Context, value: TypeAttr)

Set the value of the attribute named alloca_element_type.

impl AllocaOp

pub fn new(ctx: &mut Context, elem_type: Ptr<TypeObj>, size: Value) -> Self

Create a new AllocaOp

Trait Implementations

impl AlignableOpInterface for AllocaOp

fn alignment(&self, ctx: &Context) -> Option<u32>

where Self: Sized,

Get the alignment of this Op, if set.

fn set_alignment(&self, ctx: &Context, alignment: u32)

where Self: Sized,

Set the alignment of this Op.

impl Clone for AllocaOp

fn clone(&self) -> AllocaOp

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Hash for AllocaOp

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 OneOpdInterface for AllocaOp

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

Get the single operand used by this Op.

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

Get the type of the single operand used by this Op.

impl OneResultInterface for AllocaOp

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 AllocaOp

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 AllocaOp

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 AllocaOp

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

fn result_pointee_type(&self, ctx: &Context) -> Ptr<TypeObj>

Get the pointee type of the result pointer.

impl Printable for AllocaOp

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 PromotableAllocationInterface for AllocaOp

fn alloc_info(&self, ctx: &Context) -> Vec<AllocInfo>

Get the allocation info(s) for this operation.

fn default_value( &self, ctx: &mut Context, inserter: &mut dyn Inserter, alloc_info: &AllocInfo, ) -> Result<Value>

Get the default value for an allocation. This is used when there’s no reaching definition for a use. The alloc_info passed is guaranteed to be one of the entries returned by alloc_info. The inserter is positioned to be just before the alloc op.

fn promote( &self, ctx: &mut Context, rewriter: &mut dyn Rewriter, alloc_infos: &[AllocInfo], ) -> Result<()>

Promote allocations. This is called after all uses have been promoted, and should remove the allocation (not necessary the operation itself) from the IR. The alloc_infos passed are guaranteed to be from the entries returned by alloc_info. The rewriter is set to insert before this alloc op.

impl SideEffects for AllocaOp

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

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

impl Verify for AllocaOp

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

impl Copy for AllocaOp

impl Eq for AllocaOp

impl NOpdsInterface<1> for AllocaOp

impl NResultsInterface<1> for AllocaOp

impl OperandNOfType<0, IntegerType> for AllocaOp

impl ResultNOfType<0, PointerType> for AllocaOp

impl StructuralPartialEq for AllocaOp