Struct RewriterBase 

pub struct RewriterBase<'c, 'a> { /* private fields */ }

A non-owning reference to a rewriter base.

Implementations

impl<'c, 'a> RewriterBase<'c, 'a>

pub unsafe fn from_raw(raw: MlirRewriterBase) -> Self

Creates a rewriter base from a raw object.

Safety

A raw object must be valid.

pub fn context(&self) -> ContextRef<'c>

Returns the context.

pub fn clear_insertion_point(&self)

Clears the insertion point.

pub fn set_insertion_point_before(&self, op: OperationRef<'_, '_>)

Sets the insertion point before the given operation.

pub fn set_insertion_point_after(&self, op: OperationRef<'_, '_>)

Sets the insertion point after the given operation.

pub fn set_insertion_point_to_start(&self, block: BlockRef<'_, '_>)

Sets the insertion point to the start of the given block.

pub fn set_insertion_point_to_end(&self, block: BlockRef<'_, '_>)

Sets the insertion point to the end of the given block.

pub fn insertion_block(&self) -> BlockRef<'c, '_>

Returns the block the insertion point belongs to.

pub fn block(&self) -> BlockRef<'c, '_>

Returns the current block.

pub fn insert(&self, op: Operation<'c>) -> OperationRef<'c, '_>

Inserts the operation at the current insertion point and returns a reference to it.

pub fn clone_op<'b>(&self, op: OperationRef<'c, 'b>) -> OperationRef<'c, 'b>

Creates a deep copy of the operation.

pub fn clone_op_without_regions<'b>( &self, op: OperationRef<'c, 'b>, ) -> OperationRef<'c, 'b>

Creates a deep copy of the operation without its regions.

pub fn clone_region_before( &self, region: RegionRef<'_, '_>, before: BlockRef<'_, '_>, )

Clones the blocks of the region before the given block.

pub fn inline_region_before( &self, region: RegionRef<'_, '_>, before: BlockRef<'_, '_>, )

Moves the blocks of the region before the given block.

pub fn replace_op_with_values( &self, op: OperationRef<'_, '_>, values: &[Value<'_, '_>], )

Replaces the results of the operation with the given values. Erases the op.

pub fn replace_op_with_operation( &self, op: OperationRef<'_, '_>, new_op: OperationRef<'_, '_>, )

Replaces the operation with another operation. Erases the original op.

pub fn erase_op(&self, op: OperationRef<'_, '_>)

Erases the operation. The operation must have no uses.

pub fn erase_block(&self, block: BlockRef<'_, '_>)

Erases the block along with all its operations.

pub fn move_op_before( &self, op: OperationRef<'_, '_>, existing_op: OperationRef<'_, '_>, )

Moves the operation immediately before the existing operation.

pub fn move_op_after( &self, op: OperationRef<'_, '_>, existing_op: OperationRef<'_, '_>, )

Moves the operation immediately after the existing operation.

pub fn move_block_before( &self, block: BlockRef<'_, '_>, existing_block: BlockRef<'_, '_>, )

Moves the block immediately before the existing block.

pub fn start_op_modification(&self, op: OperationRef<'_, '_>)

Signals the start of an in-place modification of the operation.

pub fn finalize_op_modification(&self, op: OperationRef<'_, '_>)

Signals the end of an in-place modification of the operation.

pub fn cancel_op_modification(&self, op: OperationRef<'_, '_>)

Cancels a pending in-place modification of the operation.

pub fn replace_all_uses_with(&self, from: Value<'_, '_>, to: Value<'_, '_>)

Replaces all uses of from with to.

pub fn set_insertion_point_after_value(&self, value: Value<'_, '_>)

Sets the insertion point right after the definition of the given value.

pub fn operation_after_insertion(&self) -> Option<OperationRef<'c, '_>>

Returns the operation right after the insertion point, if any.

pub fn create_block_before( &self, before: BlockRef<'_, '_>, arguments: &[(Type<'c>, Location<'c>)], ) -> BlockRef<'c, '_>

Creates a block with the given arguments before the given block.

pub fn inline_block_before( &self, source: BlockRef<'_, '_>, op: OperationRef<'_, '_>, values: &[Value<'_, '_>], )

Inlines the source block before the given operation and erases it, replacing its arguments with the given values.

pub fn merge_blocks( &self, source: BlockRef<'_, '_>, destination: BlockRef<'_, '_>, values: &[Value<'_, '_>], )

Inlines the source block at the end of the destination block and erases it, replacing its arguments with the given values.

pub fn replace_all_value_range_uses_with( &self, from: &[Value<'_, '_>], to: &[Value<'_, '_>], ) -> Result<(), Error>

Replaces all uses of the from values with the corresponding to values.

pub fn replace_all_op_uses_with_values( &self, from: OperationRef<'_, '_>, to: &[Value<'_, '_>], )

Replaces all uses of the operation results with the given values.

pub fn replace_all_op_uses_with_operation( &self, from: OperationRef<'_, '_>, to: OperationRef<'_, '_>, )

Replaces all uses of the results of an operation with the results of another.

pub fn replace_op_uses_within_block( &self, op: OperationRef<'_, '_>, values: &[Value<'_, '_>], block: BlockRef<'_, '_>, )

Replaces uses of the operation results with the given values within a block.

pub fn replace_all_uses_except( &self, from: Value<'_, '_>, to: Value<'_, '_>, excepted_user: OperationRef<'_, '_>, )

Replaces all uses of from with to, except uses by the excepted operation.

Trait Implementations

impl<'c, 'a> Clone for RewriterBase<'c, 'a>

fn clone(&self) -> RewriterBase<'c, 'a>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'c, 'a> Copy for RewriterBase<'c, 'a>