From 83fcebf3210b638d9f8248e0007e9f0c9804980a Mon Sep 17 00:00:00 2001 From: "Kartik K. Agaram" Date: Mon, 13 Jul 2015 20:53:41 -0700 Subject: 1778 --- html/043space.cc.html | 186 -------------------------------------------------- 1 file changed, 186 deletions(-) delete mode 100644 html/043space.cc.html (limited to 'html/043space.cc.html') diff --git a/html/043space.cc.html b/html/043space.cc.html deleted file mode 100644 index f6d61fba..00000000 --- a/html/043space.cc.html +++ /dev/null @@ -1,186 +0,0 @@ - - - - -Mu - 043space.cc - - - - - - - - - - -
-//: Spaces help isolate recipes from each other. You can create them at will,
-//: and all addresses in arguments are implicitly based on the 'default-space'
-//: (unless they have the /raw property)
-
-:(scenario set_default_space)
-# 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:number <- copy 5:literal  # pretend array; in practice we'll use new
-  default-space:address:array:location <- copy 10:literal
-  1:number <- copy 23:literal
-]
-+mem: storing 23 in location 12
-
-:(scenario deref_sidesteps_default_space)
-recipe main [
-  # pretend pointer from outside
-  3:number <- copy 34:literal
-  # pretend array
-  1000:number <- copy 5:literal
-  # actual start of this recipe
-  default-space:address:array:location <- copy 1000:literal
-  1:address:number <- copy 3:literal
-  8:number/raw <- copy 1:address:number/deref
-]
-+mem: storing 34 in location 8
-
-//:: first disable name conversion for 'default-space'
-:(scenario convert_names_passes_default_space)
-recipe main [
-  default-space:number, x:number <- copy 0:literal, 1:literal
-]
-+name: assign x 1
--name: assign default-space 1
-
-:(before "End Disqualified Reagents")
-if (x.name == "default-space")
-  x.initialized = true;
-:(before "End is_special_name Cases")
-if (s == "default-space") return true;
-
-//:: now implement space support
-:(before "End call Fields")
-long long int default_space;
-:(before "End call Constructor")
-default_space = 0;
-
-:(replace "reagent r = x" following "reagent canonize(reagent x)")
-reagent r = absolutize(x);
-:(code)
-reagent absolutize(reagent x) {
-//?   if (Recipe_ordinal.find("increment-counter") != Recipe_ordinal.end()) //? 1
-//?     cout << "AAA " << "increment-counter/2: " << Recipe[Recipe_ordinal["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;
-//?   cout << "not raw: " << x.to_string() << '\n'; //? 1
-  if (!x.initialized)
-    raise << current_instruction().to_string() << ": reagent not initialized: " << x.to_string() << die();
-  reagent r = x;
-  r.set_value(address(r.value, space_base(r)));
-//?   cout << "after absolutize: " << r.value << '\n'; //? 1
-  r.properties.push_back(pair<string, vector<string> >("raw", vector<string>()));
-  assert(is_raw(r));
-  return r;
-}
-:(before "return result" following "reagent deref(reagent x)")
-result.properties.push_back(pair<string, vector<string> >("raw", vector<string>()));
-
-//:: fix 'get'
-
-:(scenario deref_sidesteps_default_space_in_get)
-recipe main [
-  # pretend pointer to container from outside
-  12:number <- copy 34:literal
-  13:number <- copy 35:literal
-  # pretend array
-  1000:number <- copy 5:literal
-  # actual start of this recipe
-  default-space:address:array:location <- copy 1000:literal
-  1:address:point <- copy 12:literal
-  9:number/raw <- get 1:address:point/deref, 1:offset
-]
-+mem: storing 35 in location 9
-
-:(after "reagent tmp" following "case GET:")
-tmp.properties.push_back(pair<string, vector<string> >("raw", vector<string>()));
-
-//:: fix 'index'
-
-:(scenario deref_sidesteps_default_space_in_index)
-recipe main [
-  # pretend pointer to array from outside
-  12:number <- copy 2:literal
-  13:number <- copy 34:literal
-  14:number <- copy 35:literal
-  # pretend array
-  1000:number <- copy 5:literal
-  # actual start of this recipe
-  default-space:address:array:location <- copy 1000: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
-
-:(after "reagent tmp" following "case INDEX:")
-tmp.properties.push_back(pair<string, vector<string> >("raw", vector<string>()));
-
-//:: helpers
-
-:(code)
-long long int space_base(const reagent& x) {
-  return Current_routine->calls.front().default_space;
-}
-
-long long int address(long long int offset, long long int base) {
-  if (base == 0) return offset;  // raw
-//?   cout << base << '\n'; //? 2
-  if (offset >= static_cast<long long int>(Memory[base])) {
-    // todo: test
-    raise << "location " << offset << " is out of bounds " << Memory[base] << " at " << base << '\n';
-  }
-  return base+1 + offset;
-}
-
-:(after "void write_memory(reagent x, vector<double> data)")
-  if (x.name == "default-space") {
-    assert(scalar(data));
-    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:number/raw <- copy default-space:address:array:location
-]
-+mem: storing 10 in location 1
-
-:(after "vector<double> read_memory(reagent x)")
-  if (x.name == "default-space") {
-    vector<double> result;
-    result.push_back(Current_routine->calls.front().default_space);
-    return result;
-  }
-
- - - -- cgit 1.4.1-2-gfad0