Struct ModuleOp 

pub struct ModuleOp { /* private fields */ }

Represents a module, a top level container operation.

See MLIR’s builtin.module. It contains a single Graph region containing a single block which can contain any operations and does not have a terminator.

Implementations

impl ModuleOp

pub fn new(ctx: &mut Context, name: Identifier) -> ModuleOp

Create a new ModuleOp. The underlying Operation is not linked to a BasicBlock. The returned module has a single crate::region::Region with a single (BasicBlock)crate::basic_block::BasicBlock.

Trait Implementations

impl Clone for ModuleOp

fn clone(&self) -> ModuleOp

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for ModuleOp

impl Eq for ModuleOp

impl Hash for ModuleOp

fn hash<__H>(&self, state: &mut __H)

where __H: Hasher,

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 IsolatedFromAboveInterface for ModuleOp

impl NOpdsInterface<0> for ModuleOp

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<0> for ModuleOp

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 NoTerminatorInterface for ModuleOp

impl OneRegionInterface for ModuleOp

fn get_region(&self, ctx: &Context) -> Ptr<Region>

Get the single region that this Op has.

impl Op for ModuleOp

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 ModuleOp

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 Stream<Stream<Stream<Stream<IteratorStream<CharIterator<'a>>, SourcePosition>>>, State<'a>>, results: <ModuleOp as Parsable>::Arg, ) -> Result<(<ModuleOp as Parsable>::Parsed, Commit<()>), Commit<Tracked<<Stream<Stream<Stream<Stream<IteratorStream<CharIterator<'a>>, SourcePosition>>>, State<'a>> as StreamOnce>::Error>>>

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 ModuleOp

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

Equality operator ==.

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

Inequality operator !=.

impl Printable for ModuleOp

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

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 RegionKindInterface for ModuleOp

fn get_region_kind(&self, _idx: usize) -> RegionKind

Return the kind of the region with the given index inside this operation.

fn has_ssa_dominance(&self, idx: usize) -> bool

Return true if the region with the given index inside this operation must require dominance to hold.

impl SingleBlockRegionInterface for ModuleOp

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 StructuralPartialEq for ModuleOp

impl SymbolOpInterface for ModuleOp

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 SymbolTableInterface for ModuleOp

fn lookup(&self, ctx: &Context, sym: &Identifier) -> Option<Ptr<Operation>>

Lookup a symbol in this symbol table op. Linear search.

impl Verify for ModuleOp

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