about summary refs log tree commit diff stats
path: root/024compare.cc
diff options
context:
space:
mode:
authorKartik K. Agaram <vc@akkartik.com>2015-05-05 21:17:24 -0700
committerKartik K. Agaram <vc@akkartik.com>2015-05-05 21:17:24 -0700
commitb96af395b9af2ff9df94b3e82213171f30827c8d (patch)
tree17c8c12648ccc25625e2534ec8d74fbe8f1542cc /024compare.cc
parent2e3b597fe85b654e82b891c22d50754fa5a26156 (diff)
downloadmu-b96af395b9af2ff9df94b3e82213171f30827c8d.tar.gz
1276 - make C++ version the default
I've tried to update the Readme, but there are at least a couple of issues.
Diffstat (limited to '024compare.cc')
-rw-r--r--024compare.cc262
1 files changed, 262 insertions, 0 deletions
diff --git a/024compare.cc b/024compare.cc
new file mode 100644
index 00000000..91cea1e6
--- /dev/null
+++ b/024compare.cc
@@ -0,0 +1,262 @@
+//: Comparison primitives
+
+:(before "End Primitive Recipe Declarations")
+EQUAL,
+:(before "End Primitive Recipe Numbers")
+Recipe_number["equal"] = EQUAL;
+:(before "End Primitive Recipe Implementations")
+case EQUAL: {
+  trace("run") << "ingredient 0 is " << current_instruction().ingredients[0].name;
+  vector<long long int> arg0 = read_memory(current_instruction().ingredients[0]);
+  trace("run") << "ingredient 1 is " << current_instruction().ingredients[1].name;
+  vector<long long int> arg1 = read_memory(current_instruction().ingredients[1]);
+  vector<long long int> result;
+  result.push_back(equal(arg0.begin(), arg0.end(), arg1.begin()));
+  trace("run") << "product 0 is " << result[0];
+  write_memory(current_instruction().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 main/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 0 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 main/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 1 in location 3
+
+:(before "End Primitive Recipe Declarations")
+GREATER_THAN,
+:(before "End Primitive Recipe Numbers")
+Recipe_number["greater-than"] = GREATER_THAN;
+:(before "End Primitive Recipe Implementations")
+case GREATER_THAN: {
+  trace("run") << "ingredient 0 is " << current_instruction().ingredients[0].name;
+  vector<long long int> arg0 = read_memory(current_instruction().ingredients[0]);
+  assert(arg0.size() == 1);
+  trace("run") << "ingredient 1 is " << current_instruction().ingredients[1].name;
+  vector<long long int> arg1 = read_memory(current_instruction().ingredients[1]);
+  assert(arg1.size() == 1);
+  vector<long long int> result;
+  result.push_back(arg0[0] > arg1[0]);
+  trace("run") << "product 0 is " << result[0];
+  write_memory(current_instruction().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 main/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 1 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 main/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 0 in location 3
+
+:(before "End Primitive Recipe Declarations")
+LESSER_THAN,
+:(before "End Primitive Recipe Numbers")
+Recipe_number["lesser-than"] = LESSER_THAN;
+:(before "End Primitive Recipe Implementations")
+case LESSER_THAN: {
+  trace("run") << "ingredient 0 is " << current_instruction().ingredients[0].name;
+  vector<long long int> arg0 = read_memory(current_instruction().ingredients[0]);
+  assert(arg0.size() == 1);
+  trace("run") << "ingredient 1 is " << current_instruction().ingredients[1].name;
+  vector<long long int> arg1 = read_memory(current_instruction().ingredients[1]);
+  assert(arg1.size() == 1);
+  vector<long long int> result;
+  result.push_back(arg0[0] < arg1[0]);
+  trace("run") << "product 0 is " << result[0];
+  write_memory(current_instruction().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 main/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 1 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 main/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 0 in location 3
+
+:(before "End Primitive Recipe Declarations")
+GREATER_OR_EQUAL,
+:(before "End Primitive Recipe Numbers")
+Recipe_number["greater-or-equal"] = GREATER_OR_EQUAL;
+:(before "End Primitive Recipe Implementations")
+case GREATER_OR_EQUAL: {
+  trace("run") << "ingredient 0 is " << current_instruction().ingredients[0].name;
+  vector<long long int> arg0 = read_memory(current_instruction().ingredients[0]);
+  assert(arg0.size() == 1);
+  trace("run") << "ingredient 1 is " << current_instruction().ingredients[1].name;
+  vector<long long int> arg1 = read_memory(current_instruction().ingredients[1]);
+  assert(arg1.size() == 1);
+  vector<long long int> result;
+  result.push_back(arg0[0] >= arg1[0]);
+  trace("run") << "product 0 is " << result[0];
+  write_memory(current_instruction().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 main/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 1 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 main/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 1 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 main/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 0 in location 3
+
+:(before "End Primitive Recipe Declarations")
+LESSER_OR_EQUAL,
+:(before "End Primitive Recipe Numbers")
+Recipe_number["lesser-or-equal"] = LESSER_OR_EQUAL;
+:(before "End Primitive Recipe Implementations")
+case LESSER_OR_EQUAL: {
+  trace("run") << "ingredient 0 is " << current_instruction().ingredients[0].name;
+  vector<long long int> arg0 = read_memory(current_instruction().ingredients[0]);
+  assert(arg0.size() == 1);
+  trace("run") << "ingredient 1 is " << current_instruction().ingredients[1].name;
+  vector<long long int> arg1 = read_memory(current_instruction().ingredients[1]);
+  assert(arg1.size() == 1);
+  vector<long long int> result;
+  result.push_back(arg0[0] <= arg1[0]);
+  trace("run") << "product 0 is " << result[0];
+  write_memory(current_instruction().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 main/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 1 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 main/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 1 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 main/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 0 in location 3