Struct pliron_llvm::ops::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

Attributes:

key	value	via Interface
ATTR_KEY_ELEM_TYPE	TypeAttr	N/A

Implementations

impl AllocaOp

pub const ATTR_KEY_ELEM_TYPE: &'static str = "llvm.element_type"

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

Create a new AllocaOp

Trait Implementations

impl Clone for AllocaOp

fn clone(&self) -> AllocaOp

Returns a copy of the value.

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

Performs copy-assignment from source.

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.

fn verify(op: &(dyn Op + 'static), ctx: &Context) -> Result<(), Error>

where Self: Sized,

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.

fn verify(op: &(dyn Op + 'static), ctx: &Context) -> Result<(), Error>

where Self: Sized,

impl Op for AllocaOp

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

Get the underlying IR Operation

fn wrap_operation(op: Ptr<Operation>) -> OpObj

Create a new Op object, by wrapping around an 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 verify_interfaces(&self, ctx: &Context) -> Result<()>

Verify all interfaces implemented by this op.

fn register( ctx: &mut Context, dialect: &mut Dialect, op_parser: for<'a> fn(_: &'a (), _: Vec<(Identifier, Location)>) -> Box<dyn Parser<Stream<Stream<Stream<Stream<IteratorStream<CharIterator<'a>>, SourcePosition>>>, State<'a>>, PartialState = (), Output = Box<dyn Op>> + 'a> )

where Self: Sized,

Register Op in Context and add it to dialect.

impl Parsable for AllocaOp

type Arg = Vec<(Identifier, Location)>

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

type Parsed = Box<dyn Op>

The type of the parsed entity.

fn parse<'a>( state_stream: &mut StateStream<'a>, results: Self::Arg ) -> ParseResult<'a, 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.

fn parser_fn<'a>( _: &'a (), arg: Self::Arg ) -> Box<dyn Parser<Stream<Stream<Stream<Stream<IteratorStream<CharIterator<'a>>, SourcePosition>>>, State<'a>>, PartialState = (), Output = Self::Parsed> + 'a>

Same as Self::parser but takes a unit reference for use as ParserFn

impl PartialEq for AllocaOp

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

This method tests for self and other values to be equal, and is used by ==.

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

This method 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.

fn verify(op: &dyn Op, ctx: &Context) -> Result<()>

where Self: Sized,

impl Printable for AllocaOp

fn fmt(&self, ctx: &Context, state: &State, f: &mut Formatter<'_>) -> Result

fn disp<'t, 'c>(&'t self, ctx: &'c Context) -> Box<dyn Display + 'c>

where 't: 'c, Self: Sized + '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, Self: Sized + 'c,

Get a Display’able object from the given Context and State.

impl Verify for AllocaOp

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

impl Copy for AllocaOp

impl Eq for AllocaOp

impl StructuralPartialEq for AllocaOp