bloqade.stim.passes.hint_const_in_loops.HintPureFromConcrete
← Module overview
class
method
source
classHintPureFromConcrete¶source
bloqade.stim.passes.hint_const_in_loops.HintPureFromConcrete
Bases: RewriteRule
Generic const-folder mimicking ``const.Propagate``'s pure fallback.
class HintPureFromConcrete(dialects: ir.DialectGroup)For any Pure statement whose args all carry const.Value hints,
run the concrete impl on the const data and stamp each result with a
const.Value hint. Subsumes per-stmt hand-rolled folders for
Constant, TupleNew, IListNew, Range, Slice, USub, and similar.
Parameters
| Name | Type | Description |
|---|---|---|
dialects | ir.DialectGroup |
Attributes
| Name | Type | Description |
|---|---|---|
dialects | ir.DialectGroup |
methodrewrite_Statement¶source
bloqade.stim.passes.hint_const_in_loops.HintPureFromConcrete.rewrite_Statement
def rewrite_Statement(node: ir.Statement) -> RewriteResultParameters
| Name | Type | Description |
|---|---|---|
node | ir.Statement |
Returns
RewriteResult