bloqade.squin.rewrite.wrap_analysis.WrapAnalysis

← Module overview

classWrapAnalysis¶source

bloqade.squin.rewrite.wrap_analysis.WrapAnalysis

Bases: RewriteRule

Base rewrite rule that wraps analysis data onto SSA values.

class WrapAnalysis

Public import paths

• from bloqade.squin.rewrite import WrapAnalysis

methodwrap¶source

bloqade.squin.rewrite.wrap_analysis.WrapAnalysis.wrap

def wrap(value: ir.SSAValue) -> bool

Wrap one SSA value and report whether it changed.

Parameters

Name	Type	Description
value	ir.SSAValue

Returns

bool

source

methodrewrite_Block¶source

bloqade.squin.rewrite.wrap_analysis.WrapAnalysis.rewrite_Block

def rewrite_Block(node: ir.Block) -> RewriteResult

Wrap block arguments.

Parameters

Name	Type	Description
node	ir.Block

Returns

RewriteResult

source

methodrewrite_Statement¶source

bloqade.squin.rewrite.wrap_analysis.WrapAnalysis.rewrite_Statement

def rewrite_Statement(node: ir.Statement) -> RewriteResult

Wrap statement results.

Parameters

Name	Type	Description
node	ir.Statement

Returns

RewriteResult

source