Struct Optimizer

pub struct Optimizer {
    pub ret: NodeIndex,
    /* private fields */
}

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

Fields

ret: NodeIndex

The single return block

Implementations

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_operation( &mut self, op: &mut Operation, 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_operator( &mut self, op: &mut Operator, visit_read: impl FnMut(&mut Self, &mut Variable), visit_write: 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 write_var(&mut self, var: &mut Variable)

pub fn find_writes_select(&mut self, select: &mut Select)

impl Optimizer

pub fn analyze_liveness(&mut self)

Do a conservative block level liveness analysis

impl Optimizer

pub fn new(expand: Scope, cube_dim: CubeDim, mode: ExecutionMode) -> 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 post_order(&self) -> Vec<NodeIndex>

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

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<(u16, u8)>

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

pub fn create_temporary(&self, item: Item) -> Variable

Create a temporary variable for use in the compiler. Counts backwards from u16::MAX to avoid Collisions with existing locals, since binding counter is no longer available.

Trait Implementations

impl Clone for Optimizer

fn clone(&self) -> Optimizer

Returns a copy 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.