diff options
Diffstat (limited to '024jump.cc')
| -rw-r--r-- | 024jump.cc | 141 |
1 files changed, 141 insertions, 0 deletions
diff --git a/024jump.cc b/024jump.cc new file mode 100644 index 00000000..925906de --- /dev/null +++ b/024jump.cc @@ -0,0 +1,141 @@ +//: Jump primitives + +:(scenario jump_can_skip_instructions) +recipe main [ + jump 1:offset + 1:number <- copy 1 +] ++run: jump 1:offset +-run: 1:number <- copy 1 +-mem: storing 1 in location 1 + +:(before "End Primitive Recipe Declarations") +JUMP, +:(before "End Primitive Recipe Numbers") +Recipe_ordinal["jump"] = JUMP; +:(before "End Primitive Recipe Implementations") +case JUMP: { + if (SIZE(ingredients) != 1) { + raise << current_recipe_name() << ": 'jump' requires exactly one ingredient, but got " << current_instruction().to_string() << '\n' << end(); + break; + } + if (!scalar(ingredients.at(0))) { + raise << current_recipe_name() << ": first ingredient of 'jump' should be a label or offset, but got " << current_instruction().ingredients.at(0).original_string << '\n' << end(); + break; + } + assert(current_instruction().ingredients.at(0).initialized); + current_step_index() += ingredients.at(0).at(0)+1; + trace(Primitive_recipe_depth, "run") << "jumping to instruction " << current_step_index() << end(); + continue; // skip rest of this instruction +} + +//: special type to designate jump targets +:(before "End Mu Types Initialization") +Type_ordinal["offset"] = 0; + +:(scenario jump_backward) +recipe main [ + jump 1:offset # 0 -+ + jump 3:offset # | +-+ 1 + # \/ /\ | + jump -2:offset # 2 +-->+ | +] # \/ 3 ++run: jump 1:offset ++run: jump -2:offset ++run: jump 3:offset + +:(before "End Primitive Recipe Declarations") +JUMP_IF, +:(before "End Primitive Recipe Numbers") +Recipe_ordinal["jump-if"] = JUMP_IF; +:(before "End Primitive Recipe Implementations") +case JUMP_IF: { + if (SIZE(ingredients) != 2) { + raise << current_recipe_name() << ": 'jump-if' requires exactly two ingredients, but got " << current_instruction().to_string() << '\n' << end(); + break; + } + if (!scalar(ingredients.at(0))) { + raise << current_recipe_name() << ": 'jump-if' requires a boolean for its first ingredient, but got " << current_instruction().ingredients.at(0).original_string << '\n' << end(); + break; + } + if (!scalar(ingredients.at(1))) { + raise << current_recipe_name() << ": 'jump-if' requires a label or offset for its second ingredient, but got " << current_instruction().ingredients.at(0).original_string << '\n' << end(); + break; + } + assert(current_instruction().ingredients.at(1).initialized); + if (!ingredients.at(0).at(0)) { + trace(Primitive_recipe_depth, "run") << "jump-if fell through" << end(); + break; + } + current_step_index() += ingredients.at(1).at(0)+1; + trace(Primitive_recipe_depth, "run") << "jumping to instruction " << current_step_index() << end(); + continue; // skip rest of this instruction +} + +:(scenario jump_if) +recipe main [ + jump-if 999, 1:offset + 123:number <- copy 1 +] ++run: jump-if 999, 1:offset ++run: jumping to instruction 2 +-run: 1:number <- copy 1 +-mem: storing 1 in location 123 + +:(scenario jump_if_fallthrough) +recipe main [ + jump-if 0, 1:offset + 123:number <- copy 1 +] ++run: jump-if 0, 1:offset ++run: jump-if fell through ++run: 123:number <- copy 1 ++mem: storing 1 in location 123 + +:(before "End Primitive Recipe Declarations") +JUMP_UNLESS, +:(before "End Primitive Recipe Numbers") +Recipe_ordinal["jump-unless"] = JUMP_UNLESS; +:(before "End Primitive Recipe Implementations") +case JUMP_UNLESS: { + if (SIZE(ingredients) != 2) { + raise << current_recipe_name() << ": 'jump-unless' requires exactly two ingredients, but got " << current_instruction().to_string() << '\n' << end(); + break; + } + if (!scalar(ingredients.at(0))) { + raise << current_recipe_name() << ": 'jump-unless' requires a boolean for its first ingredient, but got " << current_instruction().ingredients.at(0).original_string << '\n' << end(); + break; + } + if (!scalar(ingredients.at(1))) { + raise << current_recipe_name() << ": 'jump-unless' requires a label or offset for its second ingredient, but got " << current_instruction().ingredients.at(0).original_string << '\n' << end(); + break; + } + assert(current_instruction().ingredients.at(1).initialized); + if (ingredients.at(0).at(0)) { + trace(Primitive_recipe_depth, "run") << "jump-unless fell through" << end(); + break; + } + current_step_index() += ingredients.at(1).at(0)+1; + trace(Primitive_recipe_depth, "run") << "jumping to instruction " << current_step_index() << end(); + continue; // skip rest of this instruction +} + +:(scenario jump_unless) +recipe main [ + jump-unless 0, 1:offset + 123:number <- copy 1 +] ++run: jump-unless 0, 1:offset ++run: jumping to instruction 2 +-run: 123:number <- copy 1 +-mem: storing 1 in location 123 + +:(scenario jump_unless_fallthrough) +recipe main [ + jump-unless 999, 1:offset + 123:number <- copy 1 +] ++run: jump-unless 999, 1:offset ++run: jump-unless fell through ++run: 123:number <- copy 1 ++mem: storing 1 in location 123 |