about summary refs log tree commit diff stats
path: root/archive/2.vm/060rewrite_literal_string.cc
diff options
context:
space:
mode:
authorKartik Agaram <vc@akkartik.com>2020-01-01 17:04:37 -0800
committerKartik Agaram <vc@akkartik.com>2020-01-01 17:04:37 -0800
commit2a4088119cf41175457414dfa59bd4064b8f0562 (patch)
tree64fe184e399f9870ebd481a90eec34d51e5dff68 /archive/2.vm/060rewrite_literal_string.cc
parent23fd294d85959c6b476bcdc35ed6ad508cc99b8f (diff)
downloadmu-2a4088119cf41175457414dfa59bd4064b8f0562.tar.gz
5852
Diffstat (limited to 'archive/2.vm/060rewrite_literal_string.cc')
-rw-r--r--archive/2.vm/060rewrite_literal_string.cc81
1 files changed, 0 insertions, 81 deletions
diff --git a/archive/2.vm/060rewrite_literal_string.cc b/archive/2.vm/060rewrite_literal_string.cc
deleted file mode 100644
index 3e64fd7c..00000000
--- a/archive/2.vm/060rewrite_literal_string.cc
+++ /dev/null
@@ -1,81 +0,0 @@
-//: allow using literal strings anywhere that will accept immutable strings
-
-void test_passing_literals_to_recipes() {
-  run(
-      "def main [\n"
-      "  1:num/raw <- foo [abc]\n"
-      "]\n"
-      "def foo x:text -> n:num [\n"
-      "  local-scope\n"
-      "  load-ingredients\n"
-      "  n <- length *x\n"
-      "]\n"
-  );
-  CHECK_TRACE_CONTENTS(
-      "mem: storing 3 in location 1\n"
-  );
-}
-
-:(before "End Instruction Inserting/Deleting Transforms")
-initialize_transform_rewrite_literal_string_to_text();
-Transform.push_back(rewrite_literal_string_to_text);  // idempotent
-
-:(before "End Globals")
-set<string> recipes_taking_literal_strings;
-:(code)
-void initialize_transform_rewrite_literal_string_to_text() {
-  recipes_taking_literal_strings.insert("assert");
-  recipes_taking_literal_strings.insert("$print");
-  recipes_taking_literal_strings.insert("$dump-trace");
-  recipes_taking_literal_strings.insert("$system");
-  recipes_taking_literal_strings.insert("trace");
-  recipes_taking_literal_strings.insert("stash");
-  recipes_taking_literal_strings.insert("new");
-  recipes_taking_literal_strings.insert("run");
-  recipes_taking_literal_strings.insert("memory-should-contain");
-  recipes_taking_literal_strings.insert("trace-should-contain");
-  recipes_taking_literal_strings.insert("trace-should-not-contain");
-  recipes_taking_literal_strings.insert("check-trace-count-for-label");
-  recipes_taking_literal_strings.insert("check-trace-count-for-label-greater-than");
-  recipes_taking_literal_strings.insert("check-trace-count-for-label-lesser-than");
-  // End initialize_transform_rewrite_literal_string_to_text()
-}
-
-void rewrite_literal_string_to_text(const recipe_ordinal r) {
-  recipe& caller = get(Recipe, r);
-  trace(101, "transform") << "--- rewrite literal strings in recipe " << caller.name << end();
-  if (contains_numeric_locations(caller)) return;
-  vector<instruction> new_instructions;
-  for (int i = 0;  i < SIZE(caller.steps);  ++i) {
-    instruction& inst = caller.steps.at(i);
-    if (recipes_taking_literal_strings.find(inst.name) == recipes_taking_literal_strings.end()) {
-      for (int j = 0;  j < SIZE(inst.ingredients);  ++j) {
-        if (!is_literal_text(inst.ingredients.at(j))) continue;
-        instruction def;
-        ostringstream ingredient_name;
-        ingredient_name << inst.name << '_' << i << '_' << j << ":text";
-        def.name = "new";
-        def.ingredients.push_back(inst.ingredients.at(j));
-        def.products.push_back(reagent(ingredient_name.str()));
-        new_instructions.push_back(def);
-        inst.ingredients.at(j).clear();  // reclaim old memory
-        inst.ingredients.at(j) = reagent(ingredient_name.str());
-      }
-    }
-    new_instructions.push_back(inst);
-  }
-  caller.steps.swap(new_instructions);
-}
-
-bool contains_numeric_locations(const recipe& caller) {
-  for (int i = 0;  i < SIZE(caller.steps);  ++i) {
-    const instruction& inst = caller.steps.at(i);
-    for (int in = 0;  in < SIZE(inst.ingredients);  ++in)
-      if (is_numeric_location(inst.ingredients.at(in)))
-        return true;
-    for (int out = 0;  out < SIZE(inst.products);  ++out)
-      if (is_numeric_location(inst.products.at(out)))
-        return true;
-  }
-  return false;
-}