Fcalva/cyclone
1
0
Fork 0
mirror of https://github.com/justinethier/cyclone.git synced 2025-05-24 20:45:06 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions

Added original CPS as a reference

Browse source
This commit is contained in:
Justin Ethier 2018-08-13 18:40:42 -04:00
parent b943c99478
commit 90c2b1caf1
1 changed files with 49 additions and 31 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

70
test-find-loop.scm
View file

@ -119,39 +119,57 @@
(lp$13$17$56 k$93 (Cyc-fast-plus k$18$57 1))))))))) (lp$13$17$56 k$93 (Cyc-fast-plus k$18$57 1)))))))))
#f))))) #f)))))
;; After 1 rounds of optimizations the structure is: ;; Before any rounds of optimizations the structure is:
; (define fit ; (define fit
; (lambda ; (lambda-28-cont
; (k$89 i$10$52 j$11$53) ; (k$89 i$10$52 j$11$53)
; ((lambda ; ((lambda-27
; (r$90)
; ((lambda-26
; (end$12$54)
; ((lambda-25
; (k$16$55)
; ((lambda-24
; (lp$13$17$56) ; (lp$13$17$56)
; ((lambda (r$91) (lp$13$17$56 k$89 0)) ; ((lambda-13
; (set! lp$13$17$56 ; (r$92)
; (lambda ; ((lambda-12 (r$91) (lp$13$17$56 k$89 k$16$55))
; (set! lp$13$17$56 r$92)))
; (lambda-23-cont
; (k$93 k$18$57) ; (k$93 k$18$57)
; ((lambda ; ((lambda-22
; (r$97)
; ((lambda-21
; (tmp$20$22$58)
; ((lambda-20-cont
; (k$98) ; (k$98)
; (if (Cyc-fast-gt ; (if tmp$20$22$58
; k$18$57 ; (k$98 tmp$20$22$58)
; (vector-ref *piecemax* i$10$52)) ; ((lambda-19
; (k$98 (Cyc-fast-gt ; (r$101)
; k$18$57 ; ((lambda-18
; (vector-ref *piecemax* i$10$52))) ; (r$99)
; (if (vector-ref (vector-ref *p* i$10$52) k$18$57) ; (if r$99
; (k$98 (vector-ref ; ((lambda-17
; *puzzle* ; (r$100)
; (Cyc-fast-plus j$11$53 k$18$57))) ; (k$98 (vector-ref *puzzle* r$100)))
; (k$98 #f)))) ; (Cyc-fast-plus j$11$53 k$18$57))
; (lambda ; (k$98 #f)))
; (vector-ref r$101 k$18$57)))
; (vector-ref *p* i$10$52))))
; (lambda-16
; (r$94) ; (r$94)
; (if r$94 ; (if r$94
; (if (Cyc-fast-gt ; ((lambda-14 (r$95) (if r$95 (k$93 #t) (k$93 #f)))
; k$18$57 ; (Cyc-fast-gt k$18$57 end$12$54))
; (vector-ref *piecemax* i$10$52)) ; ((lambda-15 (r$96) (lp$13$17$56 k$93 r$96))
; (k$93 #t) ; (Cyc-fast-plus k$18$57 1))))))
; (k$93 #f)) ; r$97))
; (lp$13$17$56 k$93 (Cyc-fast-plus k$18$57 1))))))))) ; (Cyc-fast-gt k$18$57 end$12$54)))))
; #f))) ; #f))
; 0))
; r$90))
; (vector-ref *piecemax* i$10$52))))
(write (ast:ast->pp-sexp sexp)) (write (ast:ast->pp-sexp sexp))
(newline) (newline)