enrico
/
eoc
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Move more tests to rackunit

This commit is contained in:
Enrico Lumetti 2022-08-10 23:44:42 +02:00
parent cadcd25dbd
commit 0aeb312f14
2 changed files with 70 additions and 55 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
test-remove-complex-opera.rkt
View File

@ -1,7 +1,8 @@
#lang racket #lang racket
(require rackunit) (provide remove-complex-opera-tests)
(require rackunit)
(require "test-util.rkt") (require "test-util.rkt")
(require "uniquify.rkt") (require "uniquify.rkt")
(require "remove-complex-oper.rkt") (require "remove-complex-oper.rkt")

122
test-uniquify.rkt
View File

@ -1,8 +1,9 @@
#lang racket #lang racket
(provide test-uniquify-tests)
(require rackunit) (require rackunit)
(require "test-util.rkt")
(require "rvar.rkt") (require "rvar.rkt")
(require "uniquify.rkt") (require "uniquify.rkt")
(require/expose "uniquify.rkt" (uniquify-exp)) (require/expose "uniquify.rkt" (uniquify-exp))
@ -12,56 +13,6 @@
(lambda (exp) (lambda (exp)
(call-with-values (lambda () ((uniquify-exp symtable symtable) exp)) list))) (call-with-values (lambda () ((uniquify-exp symtable symtable) exp)) list)))
(test-eq ((list-uniquify-exp (make-immutable-hash)) (Prim 'read (list)))
(list #hash() (Prim 'read '())))
(let ([tbl (hash-set (make-immutable-hash) 'x 1)])
(test-eq ((list-uniquify-exp tbl) (Var 'x))
(list #hash((x . 1)) (Var 'x.1))))
(test-eq ((list-uniquify-exp (make-immutable-hash)) (Let 'x (Int 2) (Int 3)))
(list #hash((x . 1)) (Let 'x.1 (Int 2) (Int 3))))
(test-eq ((list-uniquify-exp (make-immutable-hash)) (Let 'x (Int 2) (Prim '+ (list (Var 'x) (Int 3)))))
(list #hash((x . 1)) (Let 'x.1 (Int 2) (Prim '+ (list (Var 'x.1) (Int 3))))))
(test-eq (uniquify
(Program '()
(Let 'x (Int 32)
(Prim '+ (list (Let 'x (Int 10) (Var 'x)) (Var 'x))))))
(Program '()
(Let 'x.1 (Int 32)
(Prim '+ (list (Let 'x.2 (Int 10) (Var 'x.2)) (Var 'x.1))))))
(test-eq (uniquify
(Program '()
(Let 'x (Int 32)
(Prim '- (list (Var 'x))))))
(Program '()
(Let 'x.1 (Int 32)
(Prim '- (list (Var 'x.1))))))
(test-eq (uniquify
(Program '()
(Let 'x (Int 32)
(Prim '+ (list (Let 'x (Int 10) (Var 'x))
(Let 'x (Int 3) (Var 'x))
(Var 'x))))))
(Program '()
(Let 'x.1 (Int 32)
(Prim '+ (list (Let 'x.2 (Int 10) (Var 'x.2))
(Let 'x.3 (Int 3) (Var 'x.3))
(Var 'x.1))))))
(test-eq (uniquify
(Program '()
(Let 'x (Let 'x (Int 4)
(Prim '+ (list (Var 'x) (Int 1))))
(Prim '+ (list (Var 'x) (Int 2))))))
(Program '()
(Let 'x.1 (Let 'x.2 (Int 4)
(Prim '+ (list (Var 'x.2) (Int 1))))
(Prim '+ (list (Var 'x.1) (Int 2))))))
(define p1 (define p1
(Program '() (Program '()
@ -75,6 +26,69 @@
(Var 'y)) (Var 'y))
(Prim '+ (list (Var 'x) (Int 5)))))) (Prim '+ (list (Var 'x) (Int 5))))))
(for ([program (list p1 p2)]) (define test-uniquify-tests
(test-eq (interp-RVar program) (test-suite
(interp-RVar (uniquify program)))) "Uniquify pass testsuite"
(test-case
"uniquify-exp correctness"
(let ([tbl (hash-set (make-immutable-hash) 'x 1)])
(check-equal? ((list-uniquify-exp tbl) (Var 'x))
(list #hash((x . 1)) (Var 'x.1))))
(check-equal? ((list-uniquify-exp (make-immutable-hash)) (Prim 'read (list)))
(list #hash() (Prim 'read '())))
(check-equal? ((list-uniquify-exp (make-immutable-hash)) (Let 'x (Int 2) (Int 3)))
(list #hash((x . 1)) (Let 'x.1 (Int 2) (Int 3))))
(check-equal? ((list-uniquify-exp (make-immutable-hash)) (Let 'x (Int 2) (Prim '+ (list (Var 'x) (Int 3)))))
(list #hash((x . 1)) (Let 'x.1 (Int 2) (Prim '+ (list (Var 'x.1) (Int 3)))))))
(test-case
"uniqufication pass"
(check-equal?
(uniquify
(Program '()
(Let 'x (Int 32)
(Prim '+ (list (Let 'x (Int 10) (Var 'x)) (Var 'x))))))
(Program '()
(Let 'x.1 (Int 32)
(Prim '+ (list (Let 'x.2 (Int 10) (Var 'x.2)) (Var 'x.1))))))
(check-equal?
(uniquify
(Program '()
(Let 'x (Int 32)
(Prim '- (list (Var 'x))))))
(Program '()
(Let 'x.1 (Int 32)
(Prim '- (list (Var 'x.1))))))
(check-equal?
(uniquify
(Program '()
(Let 'x (Int 32)
(Prim '+ (list (Let 'x (Int 10) (Var 'x))
(Let 'x (Int 3) (Var 'x))
(Var 'x))))))
(Program '()
(Let 'x.1 (Int 32)
(Prim '+ (list (Let 'x.2 (Int 10) (Var 'x.2))
(Let 'x.3 (Int 3) (Var 'x.3))
(Var 'x.1))))))
(check-equal?
(uniquify
(Program '()
(Let 'x (Let 'x (Int 4)
(Prim '+ (list (Var 'x) (Int 1))))
(Prim '+ (list (Var 'x) (Int 2))))))
(Program '()
(Let 'x.1 (Let 'x.2 (Int 4)
(Prim '+ (list (Var 'x.2) (Int 1))))
(Prim '+ (list (Var 'x.1) (Int 2)))))))
(test-case
"Uniquify interpretation"
(for ([program (list p1 p2)])
(check-equal? (interp-RVar program)
(interp-RVar (uniquify program)))))))