about summary refs log tree commit diff stats
path: root/cpp/015boolean
diff options
context:
space:
mode:
authorKartik K. Agaram <vc@akkartik.com>2015-03-17 08:42:38 -0700
committerKartik K. Agaram <vc@akkartik.com>2015-03-17 09:06:48 -0700
commitb1bbe92da37dd44df458ffa122e052612bb9eff3 (patch)
tree976cde85c97d4877eb8c1e5151a919406fdd1049 /cpp/015boolean
parentc062697c9ff3c8cb0938f56bed3df2af3d122bd6 (diff)
downloadmu-b1bbe92da37dd44df458ffa122e052612bb9eff3.tar.gz
945 - move 'transform' layer to before 'run'
Diffstat (limited to 'cpp/015boolean')
-rw-r--r--cpp/015boolean99
1 files changed, 99 insertions, 0 deletions
diff --git a/cpp/015boolean b/cpp/015boolean
new file mode 100644
index 00000000..e6dd12ba
--- /dev/null
+++ b/cpp/015boolean
@@ -0,0 +1,99 @@
+:(before "End Globals")
+// Boolean ops.
+const int AND = 7;
+:(before "End Primitive Recipe Numbers")
+Recipe_number["and"] = AND;
+assert(Next_recipe_number == AND);
+Next_recipe_number++;
+:(before "End Primitive Recipe Implementations")
+case AND: {
+  trace("run") << "ingredient 0 is " << instructions[pc].ingredients[0].name;
+  vector<int> arg0 = read_memory(instructions[pc].ingredients[0]);
+  assert(arg0.size() == 1);
+  trace("run") << "ingredient 1 is " << instructions[pc].ingredients[1].name;
+  vector<int> arg1 = read_memory(instructions[pc].ingredients[1]);
+  assert(arg1.size() == 1);
+  vector<int> result;
+  result.push_back(arg0[0] && arg1[0]);
+  trace("run") << "product 0 is " << result[0];
+  write_memory(instructions[pc].products[0], result);
+  break;
+}
+
+:(scenario "and")
+recipe main [
+  1:integer <- copy 1:literal
+  2:integer <- copy 0:literal
+  3:integer <- and 1:integer, 2:integer
+]
++run: instruction main/2
++run: ingredient 0 is 1
++mem: location 1 is 1
++run: ingredient 1 is 2
++mem: location 2 is 0
++run: product 0 is 0
++mem: storing in location 3
+
+:(before "End Globals")
+const int OR = 8;
+:(before "End Primitive Recipe Numbers")
+Recipe_number["or"] = OR;
+assert(Next_recipe_number == OR);
+Next_recipe_number++;
+:(before "End Primitive Recipe Implementations")
+case OR: {
+  trace("run") << "ingredient 0 is " << instructions[pc].ingredients[0].name;
+  vector<int> arg0 = read_memory(instructions[pc].ingredients[0]);
+  assert(arg0.size() == 1);
+  trace("run") << "ingredient 1 is " << instructions[pc].ingredients[1].name;
+  vector<int> arg1 = read_memory(instructions[pc].ingredients[1]);
+  assert(arg1.size() == 1);
+  vector<int> result;
+  result.push_back(arg0[0] || arg1[0]);
+  trace("run") << "product 0 is " << result[0];
+  write_memory(instructions[pc].products[0], result);
+  break;
+}
+
+:(scenario "or")
+recipe main [
+  1:integer <- copy 1:literal
+  2:integer <- copy 0:literal
+  3:integer <- or 1:integer, 2:integer
+]
++run: instruction main/2
++run: ingredient 0 is 1
++mem: location 1 is 1
++run: ingredient 1 is 2
++mem: location 2 is 0
++run: product 0 is 1
++mem: storing in location 3
+
+:(before "End Globals")
+const int NOT = 9;
+:(before "End Primitive Recipe Numbers")
+Recipe_number["not"] = NOT;
+assert(Next_recipe_number == NOT);
+Next_recipe_number++;
+:(before "End Primitive Recipe Implementations")
+case NOT: {
+  trace("run") << "ingredient 0 is " << instructions[pc].ingredients[0].name;
+  vector<int> arg0 = read_memory(instructions[pc].ingredients[0]);
+  assert(arg0.size() == 1);
+  vector<int> result;
+  result.push_back(!arg0[0]);
+  trace("run") << "product 0 is " << result[0];
+  write_memory(instructions[pc].products[0], result);
+  break;
+}
+
+:(scenario "not")
+recipe main [
+  1:integer <- copy 1:literal
+  2:integer <- not 1:integer
+]
++run: instruction main/1
++run: ingredient 0 is 1
++mem: location 1 is 1
++run: product 0 is 0
++mem: storing in location 2