Skip to content

Michelson: Some Edo peepholes, including DUP n

Tom Jack requested to merge edo-dup into dev

A few Edo peephole optimizations:

  1. DIG (n-1); DUP; DUG n ↦ DUP n, woohoo!
  2. DUP; CDR; SWAP; CAR ↦ UNPAIR
  3. As suggested by @Popu-sama: UNPAIR; DROP ↦ CDR and UNPAIR; SWAP; DROP ↦ CAR.

Merge request reports