pegjs

You cannot select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

History

David Majda 44e03187a7 Assert that generated bytecode manipulates stack correctly There are two invariants in generated bytecode related to the stack: 1. Branches of a condition must move the stack pointer in the same way. 2. Body of a loop can't move the stack pointer. These invariants were always true, but they were not checked. Now we check them at least when compiling with optimization for speed, because there we analyze the stack pointer movements statically.	11 years ago
..
passes	Assert that generated bytecode manipulates stack correctly	11 years ago
opcodes.js	Renumber bytecode instructions to make them sequential	11 years ago

David Majda 44e03187a7 Assert that generated bytecode manipulates stack correctly

There are two invariants in generated bytecode related to the stack:

  1. Branches of a condition must move the stack pointer in the same way.

  2. Body of a loop can't move the stack pointer.

These invariants were always true, but they were not checked. Now we
check them at least when compiling with optimization for speed, because
there we analyze the stack pointer movements statically.

passes

Assert that generated bytecode manipulates stack correctly

opcodes.js

Renumber bytecode instructions to make them sequential