From 9570363aec35e187e2395b1760a4b94e71580ac9 Mon Sep 17 00:00:00 2001 From: "Kartik K. Agaram" Date: Wed, 29 Jul 2015 15:55:05 -0700 Subject: 1885 --- html/022boolean.cc.html | 49 ++++++++++++++++++++++++------------------------- 1 file changed, 24 insertions(+), 25 deletions(-) (limited to 'html/022boolean.cc.html') diff --git a/html/022boolean.cc.html b/html/022boolean.cc.html index a3a6d1c1..484cae1a 100644 --- a/html/022boolean.cc.html +++ b/html/022boolean.cc.html @@ -13,13 +13,12 @@ pre { white-space: pre-wrap; font-family: monospace; color: #eeeeee; background-color: #080808; } body { font-family: monospace; color: #eeeeee; background-color: #080808; } * { font-size: 1.05em; } +.traceContains { color: #008000; } .Constant { color: #00a0a0; } -.Normal { color: #eeeeee; background-color: #080808; padding-bottom: 1px; } .Comment { color: #9090ff; } .Delimiter { color: #a04060; } .Special { color: #ff6060; } .Identifier { color: #804000; } -.traceContains { color: #008000; } --> @@ -38,9 +37,9 @@ AND, :(before "End Primitive Recipe Numbers") Recipe_ordinal["and"] = AND; :(before "End Primitive Recipe Implementations") -case AND: { - bool result = true; - for (long long int i = 0; i < SIZE(ingredients); ++i) { +case AND: { + bool result = true; + for (long long int i = 0; i < SIZE(ingredients); ++i) { assert(scalar(ingredients.at(i))); result = result && ingredients.at(i).at(0); } @@ -51,27 +50,27 @@ Recipe_ordinal["and"] = AND:(scenario and) recipe main [ - 1:boolean <- copy 1:literal - 2:boolean <- copy 0:literal - 3:boolean <- and 1:boolean, 2:boolean + 1:boolean <- copy 1 + 2:boolean <- copy 0 + 3:boolean <- and 1:boolean, 2:boolean ] +mem: storing 0 in location 3 :(scenario and2) recipe main [ - 1:boolean <- and 1:literal, 1:literal + 1:boolean <- and 1, 1 ] +mem: storing 1 in location 1 :(scenario and_multiple) recipe main [ - 1:boolean <- and 1:literal, 1:literal, 0:literal + 1:boolean <- and 1, 1, 0 ] +mem: storing 0 in location 1 :(scenario and_multiple2) recipe main [ - 1:boolean <- and 1:literal, 1:literal, 1:literal + 1:boolean <- and 1, 1, 1 ] +mem: storing 1 in location 1 @@ -80,9 +79,9 @@ OR, :(before "End Primitive Recipe Numbers") Recipe_ordinal["or"] = OR; :(before "End Primitive Recipe Implementations") -case OR: { - bool result = false; - for (long long int i = 0; i < SIZE(ingredients); ++i) { +case OR: { + bool result = false; + for (long long int i = 0; i < SIZE(ingredients); ++i) { assert(scalar(ingredients.at(i))); result = result || ingredients.at(i).at(0); } @@ -93,27 +92,27 @@ Recipe_ordinal["or"] = OR:(scenario or) recipe main [ - 1:boolean <- copy 1:literal - 2:boolean <- copy 0:literal - 3:boolean <- or 1:boolean, 2:boolean + 1:boolean <- copy 1 + 2:boolean <- copy 0 + 3:boolean <- or 1:boolean, 2:boolean ] +mem: storing 1 in location 3 :(scenario or2) recipe main [ - 1:boolean <- or 0:literal, 0:literal + 1:boolean <- or 0, 0 ] +mem: storing 0 in location 1 :(scenario or_multiple) recipe main [ - 1:boolean <- and 0:literal, 0:literal, 0:literal + 1:boolean <- and 0, 0, 0 ] +mem: storing 0 in location 1 :(scenario or_multiple2) recipe main [ - 1:boolean <- or 0:literal, 0:literal, 1:literal + 1:boolean <- or 0, 0, 1 ] +mem: storing 1 in location 1 @@ -122,9 +121,9 @@ NOT, :(before "End Primitive Recipe Numbers") Recipe_ordinal["not"] = NOT; :(before "End Primitive Recipe Implementations") -case NOT: { +case NOT: { products.resize(SIZE(ingredients)); - for (long long int i = 0; i < SIZE(ingredients); ++i) { + for (long long int i = 0; i < SIZE(ingredients); ++i) { assert(scalar(ingredients.at(i))); products.at(i).push_back(!ingredients.at(i).at(0)); } @@ -133,14 +132,14 @@ Recipe_ordinal["not"] = NOT:(scenario not) recipe main [ - 1:boolean <- copy 1:literal - 2:boolean <- not 1:boolean + 1:boolean <- copy 1 + 2:boolean <- not 1:boolean ] +mem: storing 0 in location 2 :(scenario not_multiple) recipe main [ - 1:boolean, 2:boolean, 3:boolean <- not 1:literal, 0:literal, 1:literal + 1:boolean, 2:boolean, 3:boolean <- not 1, 0, 1 ] +mem: storing 0 in location 1 +mem: storing 1 in location 2 -- cgit 1.4.1-2-gfad0