Struct GlobalOp 

pub struct GlobalOp { /* private fields */ }

Same as MLIR’s LLVM dialect GlobalOp It creates a global variable of the specified LLVM IR dialect type. An initializer can be specified either as an attribute or in the operation’s initializer region, ending with a return.

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
llvm_global_type	ATTR_KEY_LLVM_GLOBAL_TYPE	TypeAttr
global_initializer	ATTR_KEY_GLOBAL_INITIALIZER	Any
llvm_global_linkage	ATTR_KEY_LLVM_GLOBAL_LINKAGE	LinkageAttr

Implementations

impl GlobalOp

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

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

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

Set the value of the attribute named llvm_global_type.

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

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

pub fn set_attr_global_initializer(&self, ctx: &Context, value: AttrObj)

Set the value of the attribute named global_initializer.

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

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

pub fn set_attr_llvm_global_linkage(&self, ctx: &Context, value: LinkageAttr)

Set the value of the attribute named llvm_global_linkage.

impl GlobalOp

pub fn new(ctx: &mut Context, name: Identifier, ty: Ptr<TypeObj>) -> Self

Create a new GlobalOp. An initializer region can be added later if needed.

impl GlobalOp

pub fn get_initializer_value(&self, ctx: &Context) -> Option<AttrObj>

Get the initializer value of this global variable.

pub fn get_initializer_block(&self, ctx: &Context) -> Option<Ptr<BasicBlock>>

Get the initializer region’s block of this global variable. This is a block that ends with a return operation. The return operation must have the same type as the global variable.

pub fn get_initializer_region(&self, ctx: &Context) -> Option<Ptr<Region>>

Get the initializer region of this global variable.

pub fn set_initializer_value(&self, ctx: &Context, value: AttrObj)

Set a simple initializer value for this global variable.

pub fn add_initializer_region(&self, ctx: &mut Context) -> Ptr<Region>

Add an initializer region (with an entry block) for this global variable. There shouldn’t already be one.

Trait Implementations

impl AlignableOpInterface for GlobalOp

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 GlobalOp

fn clone(&self) -> GlobalOp

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Hash for GlobalOp

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 IsDeclaration for GlobalOp

fn is_declaration(&self, ctx: &Context) -> bool

Check if this global value (variable or function) is a declaration.

impl LlvmSymbolName for GlobalOp

fn llvm_symbol_name(&self, ctx: &Context) -> Option<String>

Get the original LLVM symbol name, if it’s different from the pliron symbol name.

fn set_llvm_symbol_name(&self, ctx: &Context, name: String)

Set the original LLVM symbol name.

impl Op for GlobalOp

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 GlobalOp

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<'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.

impl PartialEq for GlobalOp

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

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,

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 SingleBlockRegionInterface for GlobalOp

fn get_body(&self, ctx: &Context, region_idx: usize) -> Ptr<BasicBlock>

Get the single body block in region_idx.

fn append_operation( &self, ctx: &mut Context, op: Ptr<Operation>, region_idx: usize, )

Insert an operation at the end of the single block in region_idx.

impl SymbolOpInterface for GlobalOp

fn get_symbol_name(&self, ctx: &Context) -> Identifier

Get the name of the symbol defined by this operation.

fn set_symbol_name(&self, ctx: &mut Context, name: Identifier)

Set a name for the symbol defined by this operation.

impl Typed for GlobalOp

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

Get the Type of the current entity.

impl Verify for GlobalOp

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

impl Copy for GlobalOp

impl Eq for GlobalOp

impl IsolatedFromAboveInterface for GlobalOp

impl NOpdsInterface<0> for GlobalOp

impl NResultsInterface<0> for GlobalOp

impl StructuralPartialEq for GlobalOp