bloqade.lanes.rewrite.move2stack_move

move2stack_move¶

bloqade.lanes.rewrite.move2stack_move

move2stack_move — in-place rewrite from move dialect → stack_move dialect.

Inverse of RewriteStackMoveToMove in stack_move2move.py.

Strips move.Load / move.Store state threading, materialises address attributes as stack_move.Const* SSA values, converts py.Constant float/int values to stack_move.ConstFloat/Int, and reconstructs stack_move.Measure + stack_move.AwaitMeasure + stack_move.GetItem from the move.Measure + move.GetFutureResult pattern.

• RewriteMoveToStackMove

View bloqade.lanes.rewrite.move2stack_move.RewriteMoveToStackMove →View bloqade.lanes.rewrite.move2stack_move.RewriteMoveToStackMove.arch_spec →View bloqade.lanes.rewrite.move2stack_move.RewriteMoveToStackMove.rewrite_Block →