From 9dc2948276388d2ca6556f4a8d13d55406775ac7 Mon Sep 17 00:00:00 2001 From: "Kartik K. Agaram" Date: Thu, 19 Feb 2015 22:47:50 -0800 Subject: 797 - comparison instructions --- cpp/016compare | 266 +++++++++++++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 266 insertions(+) create mode 100644 cpp/016compare (limited to 'cpp/016compare') diff --git a/cpp/016compare b/cpp/016compare new file mode 100644 index 00000000..7da3dd16 --- /dev/null +++ b/cpp/016compare @@ -0,0 +1,266 @@ +:(before "End Globals") +// Comparison ops. +const int EQUAL = 13; +:(before "End Primitive Recipe Numbers") +Recipe_number["equal"] = EQUAL; +Next_recipe_number++; +:(before "End Primitive Recipe Implementations") +case EQUAL: { + trace("run") << "ingredient 0 is " << instructions[pc].ingredients[0].name; + vector arg0 = read_memory(instructions[pc].ingredients[0]); + trace("run") << "ingredient 1 is " << instructions[pc].ingredients[1].name; + vector arg1 = read_memory(instructions[pc].ingredients[1]); + vector result; + result.push_back(equal(arg0.begin(), arg0.end(), arg1.begin())); + trace("run") << "product 0 is " << result[0]; + write_memory(instructions[pc].products[0], result); + break; +} + +:(scenario "equal") +recipe main [ + 1:integer <- copy 34:literal + 2:integer <- copy 33:literal + 3:integer <- equal 1:integer, 2:integer +] ++run: instruction 2 ++run: ingredient 0 is 1 ++mem: location 1 is 34 ++run: ingredient 1 is 2 ++mem: location 2 is 33 ++run: product 0 is 0 ++mem: storing in location 3 + +:(scenario "equal2") +recipe main [ + 1:integer <- copy 34:literal + 2:integer <- copy 34:literal + 3:integer <- equal 1:integer, 2:integer +] ++run: instruction 2 ++run: ingredient 0 is 1 ++mem: location 1 is 34 ++run: ingredient 1 is 2 ++mem: location 2 is 34 ++run: product 0 is 1 ++mem: storing in location 3 + +:(before "End Globals") +const int GREATER_THAN = 14; +:(before "End Primitive Recipe Numbers") +Recipe_number["greater-than"] = GREATER_THAN; +Next_recipe_number++; +:(before "End Primitive Recipe Implementations") +case GREATER_THAN: { + trace("run") << "ingredient 0 is " << instructions[pc].ingredients[0].name; + vector arg0 = read_memory(instructions[pc].ingredients[0]); + assert(arg0.size() == 1); + trace("run") << "ingredient 1 is " << instructions[pc].ingredients[1].name; + vector arg1 = read_memory(instructions[pc].ingredients[1]); + assert(arg1.size() == 1); + vector result; + result.push_back(arg0[0] > arg1[0]); + trace("run") << "product 0 is " << result[0]; + write_memory(instructions[pc].products[0], result); + break; +} + +:(scenario "greater_than") +recipe main [ + 1:integer <- copy 34:literal + 2:integer <- copy 33:literal + 3:integer <- greater-than 1:integer, 2:integer +] ++run: instruction 2 ++run: ingredient 0 is 1 ++mem: location 1 is 34 ++run: ingredient 1 is 2 ++mem: location 2 is 33 ++run: product 0 is 1 ++mem: storing in location 3 + +:(scenario "greater_than2") +recipe main [ + 1:integer <- copy 34:literal + 2:integer <- copy 34:literal + 3:integer <- greater-than 1:integer, 2:integer +] ++run: instruction 2 ++run: ingredient 0 is 1 ++mem: location 1 is 34 ++run: ingredient 1 is 2 ++mem: location 2 is 34 ++run: product 0 is 0 ++mem: storing in location 3 + +:(before "End Globals") +const int LESSER_THAN = 15; +:(before "End Primitive Recipe Numbers") +Recipe_number["lesser-than"] = LESSER_THAN; +Next_recipe_number++; +:(before "End Primitive Recipe Implementations") +case LESSER_THAN: { + trace("run") << "ingredient 0 is " << instructions[pc].ingredients[0].name; + vector arg0 = read_memory(instructions[pc].ingredients[0]); + assert(arg0.size() == 1); + trace("run") << "ingredient 1 is " << instructions[pc].ingredients[1].name; + vector arg1 = read_memory(instructions[pc].ingredients[1]); + assert(arg1.size() == 1); + vector result; + result.push_back(arg0[0] < arg1[0]); + trace("run") << "product 0 is " << result[0]; + write_memory(instructions[pc].products[0], result); + break; +} + +:(scenario "lesser_than") +recipe main [ + 1:integer <- copy 32:literal + 2:integer <- copy 33:literal + 3:integer <- lesser-than 1:integer, 2:integer +] ++run: instruction 2 ++run: ingredient 0 is 1 ++mem: location 1 is 32 ++run: ingredient 1 is 2 ++mem: location 2 is 33 ++run: product 0 is 1 ++mem: storing in location 3 + +:(scenario "lesser_than2") +recipe main [ + 1:integer <- copy 34:literal + 2:integer <- copy 33:literal + 3:integer <- lesser-than 1:integer, 2:integer +] ++run: instruction 2 ++run: ingredient 0 is 1 ++mem: location 1 is 34 ++run: ingredient 1 is 2 ++mem: location 2 is 33 ++run: product 0 is 0 ++mem: storing in location 3 + +:(before "End Globals") +const int GREATER_OR_EQUAL = 16; +:(before "End Primitive Recipe Numbers") +Recipe_number["greater-or-equal"] = GREATER_OR_EQUAL; +Next_recipe_number++; +:(before "End Primitive Recipe Implementations") +case GREATER_OR_EQUAL: { + trace("run") << "ingredient 0 is " << instructions[pc].ingredients[0].name; + vector arg0 = read_memory(instructions[pc].ingredients[0]); + assert(arg0.size() == 1); + trace("run") << "ingredient 1 is " << instructions[pc].ingredients[1].name; + vector arg1 = read_memory(instructions[pc].ingredients[1]); + assert(arg1.size() == 1); + vector result; + result.push_back(arg0[0] >= arg1[0]); + trace("run") << "product 0 is " << result[0]; + write_memory(instructions[pc].products[0], result); + break; +} + +:(scenario "greater_or_equal") +recipe main [ + 1:integer <- copy 34:literal + 2:integer <- copy 33:literal + 3:integer <- greater-or-equal 1:integer, 2:integer +] ++run: instruction 2 ++run: ingredient 0 is 1 ++mem: location 1 is 34 ++run: ingredient 1 is 2 ++mem: location 2 is 33 ++run: product 0 is 1 ++mem: storing in location 3 + +:(scenario "greater_or_equal2") +recipe main [ + 1:integer <- copy 34:literal + 2:integer <- copy 34:literal + 3:integer <- greater-or-equal 1:integer, 2:integer +] ++run: instruction 2 ++run: ingredient 0 is 1 ++mem: location 1 is 34 ++run: ingredient 1 is 2 ++mem: location 2 is 34 ++run: product 0 is 1 ++mem: storing in location 3 + +:(scenario "greater_or_equal3") +recipe main [ + 1:integer <- copy 34:literal + 2:integer <- copy 35:literal + 3:integer <- greater-or-equal 1:integer, 2:integer +] ++run: instruction 2 ++run: ingredient 0 is 1 ++mem: location 1 is 34 ++run: ingredient 1 is 2 ++mem: location 2 is 35 ++run: product 0 is 0 ++mem: storing in location 3 + +:(before "End Globals") +const int LESSER_OR_EQUAL = 17; +:(before "End Primitive Recipe Numbers") +Recipe_number["lesser-or-equal"] = LESSER_OR_EQUAL; +Next_recipe_number++; +:(before "End Primitive Recipe Implementations") +case LESSER_OR_EQUAL: { + trace("run") << "ingredient 0 is " << instructions[pc].ingredients[0].name; + vector arg0 = read_memory(instructions[pc].ingredients[0]); + assert(arg0.size() == 1); + trace("run") << "ingredient 1 is " << instructions[pc].ingredients[1].name; + vector arg1 = read_memory(instructions[pc].ingredients[1]); + assert(arg1.size() == 1); + vector result; + result.push_back(arg0[0] <= arg1[0]); + trace("run") << "product 0 is " << result[0]; + write_memory(instructions[pc].products[0], result); + break; +} + +:(scenario "lesser_or_equal") +recipe main [ + 1:integer <- copy 32:literal + 2:integer <- copy 33:literal + 3:integer <- lesser-or-equal 1:integer, 2:integer +] ++run: instruction 2 ++run: ingredient 0 is 1 ++mem: location 1 is 32 ++run: ingredient 1 is 2 ++mem: location 2 is 33 ++run: product 0 is 1 ++mem: storing in location 3 + +:(scenario "lesser_or_equal2") +recipe main [ + 1:integer <- copy 33:literal + 2:integer <- copy 33:literal + 3:integer <- lesser-or-equal 1:integer, 2:integer +] ++run: instruction 2 ++run: ingredient 0 is 1 ++mem: location 1 is 33 ++run: ingredient 1 is 2 ++mem: location 2 is 33 ++run: product 0 is 1 ++mem: storing in location 3 + +:(scenario "lesser_or_equal3") +recipe main [ + 1:integer <- copy 34:literal + 2:integer <- copy 33:literal + 3:integer <- lesser-or-equal 1:integer, 2:integer +] ++run: instruction 2 ++run: ingredient 0 is 1 ++mem: location 1 is 34 ++run: ingredient 1 is 2 ++mem: location 2 is 33 ++run: product 0 is 0 ++mem: storing in location 3 -- cgit 1.4.1-2-gfad0