Merge pull request #40 from amyqcs/main

BrownCS1260 · Dec 5, 2024 · 76984c5 · 76984c5
2 parents 4cb29fc + 2294657
commit 76984c5
Show file tree

Hide file tree

Showing 3 changed files with 8 additions and 0 deletions.
diff --git a/benchmarks/aqiao-const-prop-add.lisp b/benchmarks/aqiao-const-prop-add.lisp
@@ -0,0 +1,2 @@
+(define (f x) (add1 (add1 (+ 1 x))))
+(print (f 1257))
diff --git a/benchmarks/aqiao-const-prop-if-st.lisp b/benchmarks/aqiao-const-prop-if-st.lisp
@@ -0,0 +1,3 @@
+(define (f bool) (let ((x bool)) (if x (+ 1 (+ 2 (+ 3 (+ 4 (add1 5))))) false)))
+
+(print (f true))
diff --git a/benchmarks/aqiao-inline-nested.lisp b/benchmarks/aqiao-inline-nested.lisp
@@ -0,0 +1,3 @@
+(define (f a) (let ((x a)) (let ((y 6)) (let ((z (add1 7))) (print (+ x (+ y z)))))))
+
+(print (f 5))
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1,2 @@
		(define (f x) (add1 (add1 (+ 1 x))))
		(print (f 1257))
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1,3 @@
		(define (f bool) (let ((x bool)) (if x (+ 1 (+ 2 (+ 3 (+ 4 (add1 5))))) false)))

		(print (f true))
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1,3 @@
		(define (f a) (let ((x a)) (let ((y 6)) (let ((z (add1 7))) (print (+ x (+ y z)))))))

		(print (f 5))