Struct Optimizer 

pub struct Optimizer {
    pub program: Program,
    pub allocator: Allocator,
    pub ret: NodeIndex,
    pub root_scope: Scope,
    /* private fields */
}

An optimizer that applies various analyses and optimization passes to the IR.

Fields

program: Program

The overall program state

allocator: Allocator

Allocator for kernel

ret: NodeIndex

The single return block

root_scope: Scope

Root scope to allocate variables on

Implementations

impl Optimizer

pub fn analysis<A: Analysis + Any>(&mut self) -> Rc<A>

Fetch an analysis if cached, or run it if not.

pub fn invalidate_analysis<A: Analysis + Any>(&self)

Invalidate an analysis by removing it from the cache. The analysis is rerun when requested again.

pub fn invalidate_structure(&self)

Invalidate all analyses that rely on the structure of the control flow graph.

impl Optimizer

pub fn visit_all( &mut self, visit_read: impl FnMut(&mut Self, &mut Variable) + Clone, visit_write: impl FnMut(&mut Self, &mut Variable) + Clone, )

Visit all operations in the program with the specified read and write visitors.

impl Optimizer

pub fn visit_out( &mut self, var: &mut Option<Variable>, visit_write: impl FnMut(&mut Self, &mut Variable), )

pub fn visit_instruction( &mut self, inst: &mut Instruction, visit_read: impl FnMut(&mut Self, &mut Variable), visit_write: impl FnMut(&mut Self, &mut Variable), )

Visit an operation with a set of read and write visitors. Each visitor will be called with each read or written to variable.

pub fn visit_operation( &mut self, op: &mut Operation, out: &mut Option<Variable>, visit_read: impl FnMut(&mut Self, &mut Variable), )

Visit an operation with a set of read and write visitors. Each visitor will be called with each read or written to variable.

pub fn visit_arithmetic( &mut self, op: &mut Arithmetic, visit_read: impl FnMut(&mut Self, &mut Variable), )

Visit an operator with a set of read and write visitors. Each visitor will be called with each read or written to variable.

pub fn visit_compare( &mut self, op: &mut Comparison, visit_read: impl FnMut(&mut Self, &mut Variable), )

Visit an operator with a set of read and write visitors. Each visitor will be called with each read or written to variable.

pub fn visit_bitwise( &mut self, op: &mut Bitwise, visit_read: impl FnMut(&mut Self, &mut Variable), )

Visit an operator with a set of read and write visitors. Each visitor will be called with each read or written to variable.

pub fn visit_operator( &mut self, op: &mut Operator, visit_read: impl FnMut(&mut Self, &mut Variable), )

Visit an operator with a set of read and write visitors. Each visitor will be called with each read or written to variable.

impl Optimizer

pub fn place_phi_nodes(&mut self)

Places a phi node for each live variable at each frontier

pub fn insert_phi(&mut self, block: NodeIndex, id: Id, item: Type)

Insert a phi node for variable id at block

impl Optimizer

pub fn new( expand: Scope, cube_dim: CubeDim, transformers: Vec<Rc<dyn IrTransformer>>, processors: Vec<Box<dyn Processor>>, ) -> Self

Create a new optimizer with the scope, CubeDim and execution mode passed into the compiler. Parses the scope and runs several optimization and analysis loops.

pub fn shared_only(expand: Scope, cube_dim: CubeDim) -> Self

Create a new optimizer with the scope, CubeDim and execution mode passed into the compiler. Parses the scope and runs several optimization and analysis loops.

pub fn entry(&self) -> NodeIndex

The entry block of the program

pub fn node_ids(&self) -> Vec<NodeIndex>

A set of node indices for all blocks in the program

pub fn predecessors(&self, block: NodeIndex) -> Vec<NodeIndex>

List of predecessor IDs of the block

pub fn successors(&self, block: NodeIndex) -> Vec<NodeIndex>

List of successor IDs of the block

pub fn block(&self, block: NodeIndex) -> &BasicBlock

Reference to the BasicBlock with ID block

pub fn block_mut(&mut self, block: NodeIndex) -> &mut BasicBlock

Reference to the BasicBlock with ID block

pub fn parse_scope(&mut self, scope: Scope) -> bool

Recursively parse a scope into the graph

pub fn local_variable_id(&mut self, variable: &Variable) -> Option<Id>

Gets the id and depth of the variable if it’s a Local and not atomic, None otherwise.

pub fn const_arrays(&self) -> Vec<ConstArray>

pub fn dot_viz(&self) -> Dot<'_, &StableDiGraph<BasicBlock, u32>>

Trait Implementations

impl Clone for Optimizer

fn clone(&self) -> Optimizer

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Optimizer

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

Formats the value using the given formatter.

impl Default for Optimizer

fn default() -> Self

Returns the “default value” for a type.

impl Display for Optimizer

Debug display for the program state.

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

Formats the value using the given formatter.