Crate pliron

pliron: Programming Languages Intermediate RepresentatiON

pliron is an extensible compiler IR framework, inspired by MLIR and written in safe Rust.

Modules

• attribute
  Attributes are non-SSA data stored in Operations.
• basic_block
  A BasicBlock is a list of Operations.
• builtin
• common_traits
  Utility traits such as Named, Verify etc.
• context
  Context and Ptr together provide memory management for pliron.
• debug_info
  Utilities for attaching / retrieving debug info to / from the IR.
• dialect
  Dialects are a mechanism to group related Ops, Types and Attributes.
• error
  Utilities for error handling
• identifier
  Identifiers are strings used to name entities in programming languages.
• irfmt
• linked_list
  Provide linked-list operations for Ptr<T: LinkedList>.
• location
  Source location for different IR entities
• op
  An Op is a thin wrapper arround an Operation, providing API specific to the OpId of that Operation.
• operation
  An operation is the basic unit of execution in the IR. The general idea is similar to MLIR’s Operation
• parsable
  IR objects that can be parsed from their text representation.
• printable
  IR objects that are to be printed must implement Printable.
• region
  Regions are containers for BasicBlocks within an Operation.
• storage_uniquer
  Store unique instances of a rust type.
• trait_cast
  Infrastructure for casting from dyn Any to dyn Trait, for traits that the type contained by the Any object implements.
• type
  Every SSA value, such as operation results or block arguments has a type defined by the type system.
• uniqued_any
  Store, in Context, a single unique copy of any object.
• use_def_lists
  Use-Def and Def-Use Graph.
• vec_exns
  Extend functionality of Rust vectors.
• walkers
  Walk the IR graph. At each node:

Macros

• arg_err
  Create an ErrorKind::InvalidArgument error from any std::error::Error object. The macro also accepts format! like arguments to create one-off errors.
• arg_err_noloc
  Same as arg_err but when no location is known.
• create_err
  Specify ErrorKind and create an error from any std::error::Error object. The macro also accepts format! like arguments to create one-off errors. It may be shorter to just use verify_err! or input_err! instead.
• decl_attr_interface
  Declare an Attribute interface, which can be implemented by any Attribute.
• decl_op_interface
  Declare an Op interface, which can be implemented by any Op.
• impl_attr_interface
  Implement an Attribute Interface for an Attribute. The interface trait must define a verify function with type AttrInterfaceVerifier.
• impl_canonical_syntax
  Shorthand for defining a canonical syntax Printable and Parsable for an Op
• impl_op_interface
  Implement an Op Interface for an Op. The interface trait must define a verify function with type OpInterfaceVerifier
• impl_verify_succ
  Sugar to implement a verifier that always succeeds. Usage:
• indented_block
  All statements in the block are indented during fmt. Simply wraps the block with State::push_indent and State::pop_indent.
• input_err
  Create an ErrorKind::InvalidInput error from any std::error::Error object. The macro also accepts format! like arguments to create one-off errors.
• input_err_noloc
  Same as input_err but when no location is known.
• type_to_trait
  Specify that a type may be casted to a dyn Trait object. Use any_to_trait for the actual cast. Example:
• verify_err
  Create an ErrorKind::VerificationFailed error from any std::error::Error object. The macro also accepts format! like arguments to create one-off errors.
• verify_err_noloc
  Same as verify_err but when no location is known.

Structs

• Lazy
  A value which is initialized on the first access.