Michelson: Some Edo peepholes, including DUP n
A few Edo peephole optimizations:
-
DIG (n-1); DUP; DUG n ↦ DUP n
, woohoo! DUP; CDR; SWAP; CAR ↦ UNPAIR
- As suggested by @Popu-sama:
UNPAIR; DROP ↦ CDR
andUNPAIR; SWAP; DROP ↦ CAR
.
A few Edo peephole optimizations:
DIG (n-1); DUP; DUG n ↦ DUP n
, woohoo!DUP; CDR; SWAP; CAR ↦ UNPAIR
UNPAIR; DROP ↦ CDR
and UNPAIR; SWAP; DROP ↦ CAR
.