0xPolygonMiden / miden-vm

STARK-based virtual machine
MIT License
611 stars 148 forks source link

Rework field and u32 comparison instructions #1374

Open Overcastan opened 5 days ago

Overcastan commented 5 days ago

All comparison instructions now have special version for handling immediate value. The point is that internally it handles them as just push.v *comp_instr* without any additional validations or computations. This structure can be simplified on the parsing stage by emulating instruction with immediate value with an array of [Push(imm_value), CompInstr], leave assembler and ast parts unchanged.