More micro demo dev

.gitmodules

@@ -98,6 +98,6 @@
 [submodule "Lego_v0"]
 	path = Lego_v0
 	url = https://github.com/sgauthamr2001/Lego_v0.git
-[submodule "DSEGraphAnalysis"]
-	path = DSEGraphAnalysis
-	url = https://github.com/jack-melchert/DSEGraphAnalysis.git
+[submodule "APEX"]
+	path = APEX
+	url = https://github.com/jack-melchert/APEX.git

addshr.py

@@ -0,0 +1,15 @@
+from peak import Peak, family_closure
+from peak import family
+from peak.family import AbstractFamily
+
+@family_closure
+def addshr_fc(family: AbstractFamily):
+    Data = family.BitVector[16]
+    UInt = family.Unsigned[16]
+    @family.assemble(locals(), globals())
+    class addshr(Peak):
+
+        def __call__(self, in0: Data, in1: Data, in2: Data) -> Data:
+            return Data(UInt(in1) + UInt(in0)) >> in2
+
+    return addshr

apex_demo.sh

@@ -0,0 +1,13 @@
+if [ "$1" = "mine" ]
+then
+cd APEX
+python dse_graph_analysis.py -f ../Halide-to-Hardware/apps/hardware_benchmarks/apps/gaussian/bin/gaussian_compute.json 20 -f ../Halide-to-Hardware/apps/hardware_benchmarks/apps/harris/bin/harris_compute.json 20 --subgraph-mining-only
+cd ..
+fi
+
+if [ "$1" = "specialize" ]
+then
+cd APEX
+python dse_graph_analysis.py -f ../Halide-to-Hardware/apps/hardware_benchmarks/apps/gaussian/bin/gaussian_compute.json 1 -f ../Halide-to-Hardware/apps/hardware_benchmarks/apps/harris/bin/harris_compute.json 0 6 -c
+cd ..
+fi

metamapper_demo.py

@@ -0,0 +1,15 @@
+from peak import Peak, family_closure
+from peak import family
+from peak.family import AbstractFamily
+
+@family_closure
+def addshr_fc(family: AbstractFamily):
+    Data = family.BitVector[16]
+    UInt = family.Unsigned[16]
+    @family.assemble(locals(), globals())
+    class addshr(Peak):
+
+        def __call__(self, in0: Data, in1: Data, in2: Data) -> Data:
+            return Data(UInt(in1) + UInt(in0)) >> in2
+
+    return addshr