Merge pull request #7 from alanchen-1/main

[achen258] add benchmarks

benchmarks/heuristics.lisp

@@ -0,0 +1,11 @@
+(define (g x y a b) (< (+ x y) (- a b)))
+(define (f x) (+ x 3))
+(print (let ((z (f 4))) (
+    pair (g 1 2 3 4) (
+        pair (g 1 2 3 4) (
+            pair (g 1 2 3 4) (
+                pair (g 1 2 3 4) (
+                    pair (g 1 2 3 4) (
+                        pair (g 1 2 3 4) (
+                            pair (g 1 2 3 4) ()
+)))))))))

benchmarks/new_leaf.lisp

@@ -0,0 +1,5 @@
+(define (g x y) (+ (f x) (f y)))
+(define (f x) (+ x 3))
+(print (let ((z -1)) (
+    if (= (g z z) 4) (+ z 3) (+ z (- (+ 1 3) 5))
+)))

benchmarks/prop_constants_simple.lisp

@@ -0,0 +1,4 @@
+(define (f x) (+ x 3))
+(print (let ((z -1)) (
+    if (= (f z) 2) (+ z 3) (+ z (- (+ 1 3) 5))
+)))

config.json

@@ -1,19 +1,11 @@
 {
     "No optimizations": [],
-    "Inlining": [
-        "uniquify-variables",
-        "inline"
+    "Constant Propagation": [
+        "propagate-constants"
     ],
     "Constant propagation and inlining": [
         "uniquify-variables",
         "inline",
         "propagate-constants"
-    ],
-    "All optimizations": [
-        "uniquify-variables",
-        "inline",
-        "propagate-constants",
-        "eliminate-common-subexpressions",
-        "peephole"
     ]
 }