Struct BlockAddressOp 

pub struct BlockAddressOp { /* private fields */ }

Similar to MLIR’s LLVM dialect llvm.blockaddress. Creates an SSA value containing the address of a tagged block in a function.

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_block_address_function	ATTR_KEY_LLVM_BLOCK_ADDRESS_FUNCTION	[IdentifierAttr]
llvm_block_address_tag	ATTR_KEY_LLVM_BLOCK_ADDRESS_TAG	[IntegerAttr]

Implementations

impl BlockAddressOp

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

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

pub fn set_attr_llvm_block_address_function( &self, ctx: &Context, value: IdentifierAttr, )

Set the value of the attribute named llvm_block_address_function.

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

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

pub fn set_attr_llvm_block_address_tag(&self, ctx: &Context, value: IntegerAttr)

Set the value of the attribute named llvm_block_address_tag.

impl BlockAddressOp

pub fn new( ctx: &mut Context, function_name: Identifier, tag: u64, address_space: u32, ) -> Self

Create a new BlockAddressOp referring to a specific block (function_name, tag).

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

Get the function name of the block that this address refers to.

pub fn get_tag_id(&self, ctx: &Context) -> u64

Get the tag of the block that this address refers to.

pub fn get_block_tag_op( &self, ctx: &Context, symbol_tables: &mut SymbolTableCollection, ) -> Option<BlockTagOp>

Get the BlockTagOp that this refers to. For a well-formed program, this should always return Some(BlockTagOp).

Trait Implementations

impl Clone for BlockAddressOp

fn clone(&self) -> BlockAddressOp

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for BlockAddressOp

impl Eq for BlockAddressOp

impl Hash for BlockAddressOp

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 NOpdsInterface<0> for BlockAddressOp

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 OneResultInterface for BlockAddressOp

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 BlockAddressOp

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 BlockAddressOp

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>

where Self::Parsed: 'a,

Get a parser combinator that can work on [StateStream] as its input.

impl PartialEq for BlockAddressOp

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

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 ResultNOfType<0, PointerType> for BlockAddressOp

impl StructuralPartialEq for BlockAddressOp

impl SymbolUserOpInterface for BlockAddressOp

fn used_symbols(&self, ctx: &Context) -> Vec<Identifier>

Returns the list of symbols used by this operation.

fn verify_symbol_uses( &self, ctx: &Context, symbol_tables: &mut SymbolTableCollection, ) -> Result<()>

Verify the symbol uses held by this operation. This is called when verifying a symbol table operation that (possibly transitively) contains this operation.

impl Verify for BlockAddressOp

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