diff options
| author | Kartik K. Agaram <vc@akkartik.com> | 2015-03-17 08:42:38 -0700 |
|---|---|---|
| committer | Kartik K. Agaram <vc@akkartik.com> | 2015-03-17 09:06:48 -0700 |
| commit | b1bbe92da37dd44df458ffa122e052612bb9eff3 (patch) | |
| tree | 976cde85c97d4877eb8c1e5151a919406fdd1049 /cpp/016jump | |
| parent | c062697c9ff3c8cb0938f56bed3df2af3d122bd6 (diff) | |
| download | mu-b1bbe92da37dd44df458ffa122e052612bb9eff3.tar.gz | |
945 - move 'transform' layer to before 'run'
Diffstat (limited to 'cpp/016jump')
| -rw-r--r-- | cpp/016jump | 119 |
1 files changed, 119 insertions, 0 deletions
diff --git a/cpp/016jump b/cpp/016jump new file mode 100644 index 00000000..2ce18859 --- /dev/null +++ b/cpp/016jump @@ -0,0 +1,119 @@ +:(before "End Globals") +// Jump ops. +const int JUMP = 10; +:(before "End Primitive Recipe Numbers") +Recipe_number["jump"] = JUMP; +assert(Next_recipe_number == JUMP); +Next_recipe_number++; +:(before "End Primitive Recipe Implementations") +case JUMP: { + trace("run") << "ingredient 0 is " << instructions[pc].ingredients[0].name; + pc += to_int(instructions[pc].ingredients[0].name); + break; +} + +:(scenario "jump_can_skip_instructions") +recipe main [ + jump 1:offset + 1:integer <- copy 1:literal +] ++run: instruction main/0 ++run: ingredient 0 is 1 +-run: instruction main/1 +-mem: storing in location 1 + +:(scenario "jump_backward") +recipe main [ + jump 1:offset # 0 -+ + jump 1:offset # | +-+ 1 + # \/ /\ | + jump -2:offset # 2 +-->+ | +] # \/ 3 ++run: instruction main/0 ++run: instruction main/2 ++run: instruction main/1 + +:(before "End Globals") +const int JUMP_IF = 11; +:(before "End Primitive Recipe Numbers") +Recipe_number["jump-if"] = JUMP_IF; +assert(Next_recipe_number == JUMP_IF); +Next_recipe_number++; +:(before "End Primitive Recipe Implementations") +case JUMP_IF: { + vector<int> arg0 = read_memory(instructions[pc].ingredients[0]); + assert(arg0.size() == 1); + trace("run") << "ingredient 0 is " << arg0[0]; + if (!arg0[0]) { + trace("run") << "jump-if fell through"; + break; + } + trace("run") << "ingredient 1 is " << instructions[pc].ingredients[1].name; + pc += to_int(instructions[pc].ingredients[1].name); + trace("run") << "jumping to instruction " << pc+1; + break; +} + +:(scenario "jump_if") +recipe main [ + jump-if 999:literal 1:offset + 1:integer <- copy 1:literal +] ++run: instruction main/0 ++run: ingredient 1 is 1 ++run: jumping to instruction 2 +-run: instruction main/1 +-mem: storing in location 1 + +:(scenario "jump_if_fallthrough") +recipe main [ + jump-if 0:literal 1:offset + 123:integer <- copy 1:literal +] ++run: instruction main/0 ++run: jump-if fell through ++run: instruction main/1 ++mem: storing in location 123 + +:(before "End Globals") +const int JUMP_UNLESS = 12; +:(before "End Primitive Recipe Numbers") +Recipe_number["jump-unless"] = JUMP_UNLESS; +assert(Next_recipe_number == JUMP_UNLESS); +Next_recipe_number++; +:(before "End Primitive Recipe Implementations") +case JUMP_UNLESS: { + vector<int> arg0 = read_memory(instructions[pc].ingredients[0]); + assert(arg0.size() == 1); + trace("run") << "ingredient 0 is " << arg0[0]; + if (arg0[0]) { + trace("run") << "jump-unless fell through"; + break; + } + trace("run") << "ingredient 1 is " << instructions[pc].ingredients[1].name; + pc += to_int(instructions[pc].ingredients[1].name); + trace("run") << "jumping to instruction " << pc+1; + break; +} + +:(scenario "jump_unless") +recipe main [ + jump-unless 0:literal 1:offset + 1:integer <- copy 1:literal +] ++run: instruction main/0 ++run: ingredient 1 is 1 ++run: jumping to instruction 2 +-run: instruction main/1 +-mem: storing in location 1 + +:(scenario "jump_unless_fallthrough") +recipe main [ + jump-unless 999:literal 1:offset + 123:integer <- copy 1:literal +] ++run: instruction main/0 ++run: ingredient 0 is 999 ++run: jump-unless fell through ++run: instruction main/1 ++mem: storing in location 123 |