2015-02-20 00:59:31 +00:00
|
|
|
:(before "End Globals")
|
|
|
|
// Boolean ops.
|
|
|
|
const int AND = 7;
|
|
|
|
:(before "End Primitive Recipe Numbers")
|
|
|
|
Recipe_number["and"] = AND;
|
2015-03-14 00:57:30 +00:00
|
|
|
assert(Next_recipe_number == AND);
|
2015-02-20 00:59:31 +00:00
|
|
|
Next_recipe_number++;
|
|
|
|
:(before "End Primitive Recipe Implementations")
|
|
|
|
case AND: {
|
2015-02-20 01:12:55 +00:00
|
|
|
trace("run") << "ingredient 0 is " << instructions[pc].ingredients[0].name;
|
|
|
|
vector<int> arg0 = read_memory(instructions[pc].ingredients[0]);
|
2015-02-20 00:59:31 +00:00
|
|
|
assert(arg0.size() == 1);
|
2015-02-20 01:12:55 +00:00
|
|
|
trace("run") << "ingredient 1 is " << instructions[pc].ingredients[1].name;
|
|
|
|
vector<int> arg1 = read_memory(instructions[pc].ingredients[1]);
|
2015-02-20 00:59:31 +00:00
|
|
|
assert(arg1.size() == 1);
|
|
|
|
vector<int> result;
|
|
|
|
result.push_back(arg0[0] && arg1[0]);
|
|
|
|
trace("run") << "product 0 is " << result[0];
|
2015-02-20 01:12:55 +00:00
|
|
|
write_memory(instructions[pc].products[0], result);
|
2015-02-20 00:59:31 +00:00
|
|
|
break;
|
|
|
|
}
|
|
|
|
|
|
|
|
:(scenario "and")
|
|
|
|
recipe main [
|
|
|
|
1:integer <- copy 1:literal
|
|
|
|
2:integer <- copy 0:literal
|
|
|
|
3:integer <- and 1:integer, 2:integer
|
|
|
|
]
|
2015-02-25 09:24:11 +00:00
|
|
|
+run: instruction main/2
|
2015-02-20 00:59:31 +00:00
|
|
|
+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;
|
2015-03-14 00:57:30 +00:00
|
|
|
assert(Next_recipe_number == OR);
|
2015-02-20 00:59:31 +00:00
|
|
|
Next_recipe_number++;
|
|
|
|
:(before "End Primitive Recipe Implementations")
|
|
|
|
case OR: {
|
2015-02-20 01:12:55 +00:00
|
|
|
trace("run") << "ingredient 0 is " << instructions[pc].ingredients[0].name;
|
|
|
|
vector<int> arg0 = read_memory(instructions[pc].ingredients[0]);
|
2015-02-20 00:59:31 +00:00
|
|
|
assert(arg0.size() == 1);
|
2015-02-20 01:12:55 +00:00
|
|
|
trace("run") << "ingredient 1 is " << instructions[pc].ingredients[1].name;
|
|
|
|
vector<int> arg1 = read_memory(instructions[pc].ingredients[1]);
|
2015-02-20 00:59:31 +00:00
|
|
|
assert(arg1.size() == 1);
|
|
|
|
vector<int> result;
|
|
|
|
result.push_back(arg0[0] || arg1[0]);
|
|
|
|
trace("run") << "product 0 is " << result[0];
|
2015-02-20 01:12:55 +00:00
|
|
|
write_memory(instructions[pc].products[0], result);
|
2015-02-20 00:59:31 +00:00
|
|
|
break;
|
|
|
|
}
|
|
|
|
|
|
|
|
:(scenario "or")
|
|
|
|
recipe main [
|
|
|
|
1:integer <- copy 1:literal
|
|
|
|
2:integer <- copy 0:literal
|
|
|
|
3:integer <- or 1:integer, 2:integer
|
|
|
|
]
|
2015-02-25 09:24:11 +00:00
|
|
|
+run: instruction main/2
|
2015-02-20 00:59:31 +00:00
|
|
|
+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
|
2015-02-20 01:02:20 +00:00
|
|
|
|
|
|
|
:(before "End Globals")
|
|
|
|
const int NOT = 9;
|
|
|
|
:(before "End Primitive Recipe Numbers")
|
|
|
|
Recipe_number["not"] = NOT;
|
2015-03-14 00:57:30 +00:00
|
|
|
assert(Next_recipe_number == NOT);
|
2015-02-20 01:02:20 +00:00
|
|
|
Next_recipe_number++;
|
|
|
|
:(before "End Primitive Recipe Implementations")
|
|
|
|
case NOT: {
|
2015-02-20 01:12:55 +00:00
|
|
|
trace("run") << "ingredient 0 is " << instructions[pc].ingredients[0].name;
|
|
|
|
vector<int> arg0 = read_memory(instructions[pc].ingredients[0]);
|
2015-02-20 01:02:20 +00:00
|
|
|
assert(arg0.size() == 1);
|
|
|
|
vector<int> result;
|
|
|
|
result.push_back(!arg0[0]);
|
|
|
|
trace("run") << "product 0 is " << result[0];
|
2015-02-20 01:12:55 +00:00
|
|
|
write_memory(instructions[pc].products[0], result);
|
2015-02-20 01:02:20 +00:00
|
|
|
break;
|
|
|
|
}
|
|
|
|
|
|
|
|
:(scenario "not")
|
|
|
|
recipe main [
|
|
|
|
1:integer <- copy 1:literal
|
|
|
|
2:integer <- not 1:integer
|
|
|
|
]
|
2015-02-25 09:24:11 +00:00
|
|
|
+run: instruction main/1
|
2015-02-20 01:02:20 +00:00
|
|
|
+run: ingredient 0 is 1
|
|
|
|
+mem: location 1 is 1
|
|
|
|
+run: product 0 is 0
|
|
|
|
+mem: storing in location 2
|