From 65361948ca7975553757a0e0df4ac7352413044c Mon Sep 17 00:00:00 2001 From: "Kartik K. Agaram" Date: Thu, 14 May 2015 16:04:45 -0700 Subject: 1376 - update github docs --- html/043space.cc.html | 54 +++++++++++++++++++++++++-------------------------- 1 file changed, 27 insertions(+), 27 deletions(-) (limited to 'html/043space.cc.html') diff --git a/html/043space.cc.html b/html/043space.cc.html index 3844e879..66e073b3 100644 --- a/html/043space.cc.html +++ b/html/043space.cc.html @@ -2,7 +2,7 @@ -Mu - 043space.cc +~/Desktop/s/mu/043space.cc @@ -15,12 +15,12 @@ body { font-family: monospace; color: #d0d0d0; background-color: #000000; } * { font-size: 1em; } .cSpecial { color: #008000; } .Identifier { color: #008080; } -.SalientComment { color: #00ffff; } .Constant { color: #008080; } .Comment { color: #8080ff; } .Delimiter { color: #c000c0; } .Special { color: #ff6060; } .CommentedCode { color: #6c6c6c; } +.SalientComment { color: #00ffff; } .traceContains { color: #008000; } --> @@ -41,22 +41,22 @@ body { font-family: monospace; color: #d0d0d0; background-color: #000000; } # if default-space is 10, and if an array of 5 locals lies from location 11 to 15 (inclusive), # then location 0 is really location 11, location 1 is really location 12, and so on. recipe main [ - 10:integer <- copy 5:literal # pretend array; in practice we'll use new + 10:number <- copy 5:literal # pretend array; in practice we'll use new default-space:address:array:location <- copy 10:literal - 1:integer <- copy 23:literal + 1:number <- copy 23:literal ] +mem: storing 23 in location 12 :(scenario deref_sidesteps_default_space) recipe main [ # pretend pointer from outside - 3:integer <- copy 34:literal + 3:number <- copy 34:literal # pretend array - 1000:integer <- copy 5:literal + 1000:number <- copy 5:literal # actual start of this function default-space:address:array:location <- copy 1000:literal - 1:address:integer <- copy 3:literal - 8:integer/raw <- copy 1:address:integer/deref + 1:address:number <- copy 3:literal + 8:number/raw <- copy 1:address:number/deref ] +mem: storing 34 in location 8 @@ -70,7 +70,7 @@ reagent r = absolutize(x) :(code) reagent absolutize(reagent x) { //? if (Recipe_number.find("increment-counter") != Recipe_number.end()) //? 1 -//? cout << "AAA " << "increment-counter/2: " << Recipe[Recipe_number["increment-counter"]].steps[2].products[0].to_string() << '\n'; //? 1 +//? cout << "AAA " << "increment-counter/2: " << Recipe[Recipe_number["increment-counter"]].steps.at(2).products.at(0).to_string() << '\n'; //? 1 //? cout << "absolutize " << x.to_string() << '\n'; //? 4 //? cout << is_raw(x) << '\n'; //? 1 if (is_raw(x) || is_dummy(x)) return x; @@ -91,14 +91,14 @@ result.properties. :(scenario deref_sidesteps_default_space_in_get) recipe main [ # pretend pointer to container from outside - 12:integer <- copy 34:literal - 13:integer <- copy 35:literal + 12:number <- copy 34:literal + 13:number <- copy 35:literal # pretend array - 1000:integer <- copy 5:literal + 1000:number <- copy 5:literal # actual start of this function default-space:address:array:location <- copy 1000:literal 1:address:point <- copy 12:literal - 9:integer/raw <- get 1:address:point/deref, 1:offset + 9:number/raw <- get 1:address:point/deref, 1:offset ] +mem: storing 35 in location 9 @@ -110,15 +110,15 @@ tmp.properties.pus :(scenario deref_sidesteps_default_space_in_index) recipe main [ # pretend pointer to array from outside - 12:integer <- copy 2:literal - 13:integer <- copy 34:literal - 14:integer <- copy 35:literal + 12:number <- copy 2:literal + 13:number <- copy 34:literal + 14:number <- copy 35:literal # pretend array - 1000:integer <- copy 5:literal + 1000:number <- copy 5:literal # actual start of this function default-space:address:array:location <- copy 1000:literal - 1:address:array:integer <- copy 12:literal - 9:integer/raw <- index 1:address:array:integer/deref, 1:literal + 1:address:array:number <- copy 12:literal + 9:number/raw <- index 1:address:array:number/deref, 1:literal ] +mem: storing 35 in location 9 @@ -129,7 +129,7 @@ tmp.properties.pus :(code) index_t space_base(const reagent& x) { - return Current_routine->calls.top().default_space; + return Current_routine->calls.front().default_space; } index_t address(index_t offset, index_t base) { @@ -142,25 +142,25 @@ index_t address(index_t offsetreturn base+1 + offset; } -:(after "void write_memory(reagent x, vector<long long int> data)") +:(after "void write_memory(reagent x, vector<double> data)") if (x.name == "default-space") { assert(data.size() == 1); - Current_routine->calls.top().default_space = data[0]; -//? cout << "AAA " << Current_routine->calls.top().default_space << '\n'; //? 1 + Current_routine->calls.front().default_space = data.at(0); +//? cout << "AAA " << Current_routine->calls.front().default_space << '\n'; //? 1 return; } :(scenario get_default_space) recipe main [ default-space:address:array:location <- copy 10:literal - 1:integer/raw <- copy default-space:address:array:location + 1:number/raw <- copy default-space:address:array:location ] +mem: storing 10 in location 1 -:(after "vector<long long int> read_memory(reagent x)") +:(after "vector<double> read_memory(reagent x)") if (x.name == "default-space") { - vector<long long int> result; - result.push_back(Current_routine->calls.top().default_space); + vector<double> result; + result.push_back(Current_routine->calls.front().default_space); return result; } -- cgit 1.4.1-2-gfad0