1 files changed, 61 insertions, 0 deletions
diff --git a/examples/program_analysis/transform_learning.py b/examples/program_analysis/transform_learning.py
new file mode 100644
index 0000000..a790d84
--- /dev/null
+++ b/examples/program_analysis/transform_learning.py
@@ -0,0 +1,61 @@
+"""Learning to generalize a program optimization."""
+import random
+import os
+from timeit import default_timer as timer
+from ui import serve
+from lazy_structure import LazyStructure
+from analyzelib import LoadDocument, AnalyzeCodelets, CompleteAnalogyTactic
+
+def Main():
+    """Runs the analogy-maker and displays the output."""
+    start = timer()
+    print("Setting up the structure...")
+    random.seed(24)
+    demo_path = os.environ.get("BUILD_WORKSPACE_DIRECTORY", ".")
+    demo_path += "/examples/program_analysis/paper_demos"
+    sources = []
+    for i in range(1, 4):
+        with open(f"{demo_path}/gemm{i}.before.txt", "r") as peek:
+            n_lines = len(peek.readlines())
+        chunks = [(0, n_lines - 1)]
+        before = LoadDocument(f"{demo_path}/gemm{i}.before.txt", chunks)
+        after = LoadDocument(f"{demo_path}/gemm{i}.after.txt", chunks)
+        sources.append((before, after))
+
+    def annotateGTHalf(doc, outer_name, inner_name):
+        outer_chunks = list(doc.FindChunks(outer_name))[-2:]
+        inner_chunk = list(doc.FindChunks(inner_name))[-1]
+        for outer_chunk in outer_chunks:
+            doc.AnnotateChunks(dict({
+                outer_chunk: "/:Semantics:Greater",
+                inner_chunk: "/:Semantics:LTHalf",
+            }))
+
+    # This could be provided, eg., by an abstract interpreter.
+    annotateGTHalf(sources[0][0], "outer", "inner")
+    annotateGTHalf(sources[1][0], "outer", "A_cols")
+    annotateGTHalf(sources[2][0], "AB_rowcol", "inner")
+
+    structure = LazyStructure(
+        [source for sourcelist in sources for source in sourcelist],
+        AnalyzeCodelets)
+
+    for document in structure.documents:
+        for chunk in document.chunks:
+            structure.ChunkToNode(document, chunk)
+
+    for i in range(0, 6, 2):
+        structure.AnnotateDocuments(dict({
+            i: "/:TransformPair:Before",
+            (i + 1): "/:TransformPair:After",
+        }))
+
+    structure.MarkDocumentGenerated(5)
+    CompleteAnalogyTactic(structure, sources)
+    structure.GetGeneratedDocument(5)
+
+    print(timer() - start)
+    serve.start_server(structure)
+
+if __name__ == "__main__":
+    Main()