[3/x] Always duplicate stack operands in CopyAll stack operand scheduling tactic

0xPolygonMiden / compiler

Compiler from MidenIR to Miden Assembly

MIT License

63 stars 21 forks source link

[3/x] Always duplicate stack operands in CopyAll stack operand scheduling tactic #202

Closed greenhat closed 3 months ago

greenhat commented 4 months ago

Close #200

This PR is stacked on top of #199 and should be merged after it

greenhat commented 4 months ago

@bitwalker I managed to reproduce the #200 in a standalone solver test here. See added operand_movement_constraint_solver_duplicate. I'm figuring out the solution to the duplicate expected stack operands.

greenhat commented 4 months ago

Rebased and ready for a review.