Add optimizer for Stack Automaton

helvm · Mar 14, 2023 · ae79855 · ae79855
1 parent 2ae3166
commit ae79855
Show file tree

Hide file tree

Showing 1,015 changed files with 84,314 additions and 69,363 deletions.
diff --git a/.output/actual/bf/eval/logged/FastType/Int16Type/99botles.logged b/.output/actual/bf/eval/logged/FastType/Int16Type/99botles.logged
@@ -1,5 +1,5 @@
-dump: Automaton
-    { unitUI = IU
+dump: Memory
+    { memoryIM = IM
         [ Move 1
         , Inc 9
         , MulAddClr 11
@@ -942,7 +942,7 @@ dump: Automaton
                 ( -3 )
             ]
         ] 6
-    , unitTape =
+    , memoryTape =
         (
             [ 48
             , 48

diff --git a/.output/actual/bf/eval/logged/FastType/Int16Type/fascistHelloWorld.logged b/.output/actual/bf/eval/logged/FastType/Int16Type/fascistHelloWorld.logged
@@ -1,5 +1,5 @@
-dump: Automaton
-    { unitUI = IU
+dump: Memory
+    { memoryIM = IM
         [ Move 1
         , Inc 8
         , MulAddClr 9
@@ -75,7 +75,7 @@ dump: Automaton
         , Inc 1
         , Output
         ] 50
-    , unitTape =
+    , memoryTape =
         (
             [ 0
             , 0

diff --git a/.output/actual/bf/eval/logged/FastType/Int16Type/helloWorld.logged b/.output/actual/bf/eval/logged/FastType/Int16Type/helloWorld.logged
@@ -1,5 +1,5 @@
-dump: Automaton
-    { unitUI = IU
+dump: Memory
+    { memoryIM = IM
         [ Inc 8
         , While
             [ Move 1
@@ -72,7 +72,7 @@ dump: Automaton
         , Inc 2
         , Output
         ] 32
-    , unitTape =
+    , memoryTape =
         ( [ 0 ]
         ,
             [ 10

diff --git a/.output/actual/bf/eval/logged/FastType/Int16Type/triangle.logged b/.output/actual/bf/eval/logged/FastType/Int16Type/triangle.logged
@@ -1,5 +1,5 @@
-dump: Automaton
-    { unitUI = IU
+dump: Memory
+    { memoryIM = IM
         [ While
             [ Inc
                 ( -1 )
@@ -98,7 +98,7 @@ dump: Automaton
             ]
         , Inc 5
         ] 17
-    , unitTape =
+    , memoryTape =
         (
             [ 0
             , 0

diff --git a/.output/actual/bf/eval/logged/FastType/Int8Type/99botles.logged b/.output/actual/bf/eval/logged/FastType/Int8Type/99botles.logged
@@ -1,5 +1,5 @@
-dump: Automaton
-    { unitUI = IU
+dump: Memory
+    { memoryIM = IM
         [ Move 1
         , Inc 9
         , MulAddClr 11
@@ -942,7 +942,7 @@ dump: Automaton
                 ( -3 )
             ]
         ] 6
-    , unitTape =
+    , memoryTape =
         (
             [ 48
             , 48

diff --git a/.output/actual/bf/eval/logged/FastType/Int8Type/fascistHelloWorld.logged b/.output/actual/bf/eval/logged/FastType/Int8Type/fascistHelloWorld.logged
@@ -1,5 +1,5 @@
-dump: Automaton
-    { unitUI = IU
+dump: Memory
+    { memoryIM = IM
         [ Move 1
         , Inc 8
         , MulAddClr 9
@@ -75,7 +75,7 @@ dump: Automaton
         , Inc 1
         , Output
         ] 50
-    , unitTape =
+    , memoryTape =
         (
             [ 0
             , 0

diff --git a/.output/actual/bf/eval/logged/FastType/Int8Type/fibonacci.logged b/.output/actual/bf/eval/logged/FastType/Int8Type/fibonacci.logged
@@ -1,5 +1,5 @@
-dump: Automaton
-    { unitUI = IU
+dump: Memory
+    { memoryIM = IM
         [ Input
         , Output
         , Input
@@ -265,7 +265,7 @@ dump: Automaton
                 ( -1 )
             ]
         ] 25
-    , unitTape =
+    , memoryTape =
         (
             [ 114
             , 94

diff --git a/.output/actual/bf/eval/logged/FastType/Int8Type/helloWorld.logged b/.output/actual/bf/eval/logged/FastType/Int8Type/helloWorld.logged
@@ -1,5 +1,5 @@
-dump: Automaton
-    { unitUI = IU
+dump: Memory
+    { memoryIM = IM
         [ Inc 8
         , While
             [ Move 1
@@ -72,7 +72,7 @@ dump: Automaton
         , Inc 2
         , Output
         ] 32
-    , unitTape =
+    , memoryTape =
         ( [ 0 ]
         ,
             [ 10

diff --git a/.output/actual/bf/eval/logged/FastType/Int8Type/padHelloWorld.logged b/.output/actual/bf/eval/logged/FastType/Int8Type/padHelloWorld.logged
@@ -1,5 +1,5 @@
-dump: Automaton
-    { unitUI = IU
+dump: Memory
+    { memoryIM = IM
         [ Inc
             ( -2 )
         , Move
@@ -74,7 +74,7 @@ dump: Automaton
         , Inc 1
         , Output
         ] 38
-    , unitTape =
+    , memoryTape =
         (
             [ 108
             , 87

diff --git a/.output/actual/bf/eval/logged/FastType/Int8Type/theShortestHelloWorld.logged b/.output/actual/bf/eval/logged/FastType/Int8Type/theShortestHelloWorld.logged
@@ -1,5 +1,5 @@
-dump: Automaton
-    { unitUI = IU
+dump: Memory
+    { memoryIM = IM
         [ Inc 1
         , While
             [ Inc
@@ -57,7 +57,7 @@ dump: Automaton
         , Inc 1
         , Output
         ] 26
-    , unitTape =
+    , memoryTape =
         (
             [ 87
             , 0

diff --git a/.output/actual/bf/eval/logged/FastType/Int8Type/triangle.logged b/.output/actual/bf/eval/logged/FastType/Int8Type/triangle.logged
@@ -1,5 +1,5 @@
-dump: Automaton
-    { unitUI = IU
+dump: Memory
+    { memoryIM = IM
         [ While
             [ Inc
                 ( -1 )
@@ -98,7 +98,7 @@ dump: Automaton
             ]
         , Inc 5
         ] 17
-    , unitTape =
+    , memoryTape =
         (
             [ 0
             , 0

diff --git a/.output/actual/bf/eval/logged/FastType/Int8Type/value256.logged b/.output/actual/bf/eval/logged/FastType/Int8Type/value256.logged
@@ -1,5 +1,5 @@
-dump: Automaton
-    { unitUI = IU
+dump: Memory
+    { memoryIM = IM
         [ Inc 8
         , MulAddClr 8 1
         , Move 1
@@ -127,7 +127,7 @@ dump: Automaton
                 ( -1 )
             ]
         ] 39
-    , unitTape =
+    , memoryTape =
         (
             [ 0
             , 0

diff --git a/.output/actual/bf/eval/logged/FastType/Word16Type/99botles.logged b/.output/actual/bf/eval/logged/FastType/Word16Type/99botles.logged
@@ -1,5 +1,5 @@
-dump: Automaton
-    { unitUI = IU
+dump: Memory
+    { memoryIM = IM
         [ Move 1
         , Inc 9
         , MulAddClr 11
@@ -942,7 +942,7 @@ dump: Automaton
                 ( -3 )
             ]
         ] 6
-    , unitTape =
+    , memoryTape =
         (
             [ 48
             , 48

diff --git a/.output/actual/bf/eval/logged/FastType/Word16Type/fascistHelloWorld.logged b/.output/actual/bf/eval/logged/FastType/Word16Type/fascistHelloWorld.logged
@@ -1,5 +1,5 @@
-dump: Automaton
-    { unitUI = IU
+dump: Memory
+    { memoryIM = IM
         [ Move 1
         , Inc 8
         , MulAddClr 9
@@ -75,7 +75,7 @@ dump: Automaton
         , Inc 1
         , Output
         ] 50
-    , unitTape =
+    , memoryTape =
         (
             [ 0
             , 0

diff --git a/.output/actual/bf/eval/logged/FastType/Word16Type/helloWorld.logged b/.output/actual/bf/eval/logged/FastType/Word16Type/helloWorld.logged
@@ -1,5 +1,5 @@
-dump: Automaton
-    { unitUI = IU
+dump: Memory
+    { memoryIM = IM
         [ Inc 8
         , While
             [ Move 1
@@ -72,7 +72,7 @@ dump: Automaton
         , Inc 2
         , Output
         ] 32
-    , unitTape =
+    , memoryTape =
         ( [ 0 ]
         ,
             [ 10

diff --git a/.output/actual/bf/eval/logged/FastType/Word16Type/triangle.logged b/.output/actual/bf/eval/logged/FastType/Word16Type/triangle.logged
@@ -1,5 +1,5 @@
-dump: Automaton
-    { unitUI = IU
+dump: Memory
+    { memoryIM = IM
         [ While
             [ Inc
                 ( -1 )
@@ -98,7 +98,7 @@ dump: Automaton
             ]
         , Inc 5
         ] 17
-    , unitTape =
+    , memoryTape =
         (
             [ 0
             , 0

diff --git a/.output/actual/bf/eval/logged/FastType/Word8Type/99botles.logged b/.output/actual/bf/eval/logged/FastType/Word8Type/99botles.logged
@@ -1,5 +1,5 @@
-dump: Automaton
-    { unitUI = IU
+dump: Memory
+    { memoryIM = IM
         [ Move 1
         , Inc 9
         , MulAddClr 11
@@ -942,7 +942,7 @@ dump: Automaton
                 ( -3 )
             ]
         ] 6
-    , unitTape =
+    , memoryTape =
         (
             [ 48
             , 48

diff --git a/.output/actual/bf/eval/logged/FastType/Word8Type/fascistHelloWorld.logged b/.output/actual/bf/eval/logged/FastType/Word8Type/fascistHelloWorld.logged
@@ -1,5 +1,5 @@
-dump: Automaton
-    { unitUI = IU
+dump: Memory
+    { memoryIM = IM
         [ Move 1
         , Inc 8
         , MulAddClr 9
@@ -75,7 +75,7 @@ dump: Automaton
         , Inc 1
         , Output
         ] 50
-    , unitTape =
+    , memoryTape =
         (
             [ 0
             , 0

diff --git a/.output/actual/bf/eval/logged/FastType/Word8Type/fibonacci.logged b/.output/actual/bf/eval/logged/FastType/Word8Type/fibonacci.logged
@@ -1,5 +1,5 @@
-dump: Automaton
-    { unitUI = IU
+dump: Memory
+    { memoryIM = IM
         [ Input
         , Output
         , Input
@@ -265,7 +265,7 @@ dump: Automaton
                 ( -1 )
             ]
         ] 25
-    , unitTape =
+    , memoryTape =
         (
             [ 114
             , 94

diff --git a/.output/actual/bf/eval/logged/FastType/Word8Type/helloWorld.logged b/.output/actual/bf/eval/logged/FastType/Word8Type/helloWorld.logged
@@ -1,5 +1,5 @@
-dump: Automaton
-    { unitUI = IU
+dump: Memory
+    { memoryIM = IM
         [ Inc 8
         , While
             [ Move 1
@@ -72,7 +72,7 @@ dump: Automaton
         , Inc 2
         , Output
         ] 32
-    , unitTape =
+    , memoryTape =
         ( [ 0 ]
         ,
             [ 10

diff --git a/.output/actual/bf/eval/logged/FastType/Word8Type/padHelloWorld.logged b/.output/actual/bf/eval/logged/FastType/Word8Type/padHelloWorld.logged
@@ -1,5 +1,5 @@
-dump: Automaton
-    { unitUI = IU
+dump: Memory
+    { memoryIM = IM
         [ Inc
             ( -2 )
         , Move
@@ -74,7 +74,7 @@ dump: Automaton
         , Inc 1
         , Output
         ] 38
-    , unitTape =
+    , memoryTape =
         (
             [ 108
             , 87

diff --git a/.output/actual/bf/eval/logged/FastType/Word8Type/theShortestHelloWorld.logged b/.output/actual/bf/eval/logged/FastType/Word8Type/theShortestHelloWorld.logged
@@ -1,5 +1,5 @@
-dump: Automaton
-    { unitUI = IU
+dump: Memory
+    { memoryIM = IM
         [ Inc 1
         , While
             [ Inc
@@ -57,7 +57,7 @@ dump: Automaton
         , Inc 1
         , Output
         ] 26
-    , unitTape =
+    , memoryTape =
         (
             [ 87
             , 0

diff --git a/.output/actual/bf/eval/logged/FastType/Word8Type/triangle.logged b/.output/actual/bf/eval/logged/FastType/Word8Type/triangle.logged
@@ -1,5 +1,5 @@
-dump: Automaton
-    { unitUI = IU
+dump: Memory
+    { memoryIM = IM
         [ While
             [ Inc
                 ( -1 )
@@ -98,7 +98,7 @@ dump: Automaton
             ]
         , Inc 5
         ] 17
-    , unitTape =
+    , memoryTape =
         (
             [ 0
             , 0