From 49ff6d3c840a7295ac07eb0e2c2d368ab054288a Mon Sep 17 00:00:00 2001 From: Gustavo Massaccesi Date: Tue, 24 Jun 2014 10:06:11 -0300 Subject: [PATCH] optimizer: test use of virtual clock in branches Test that the optimizer don't move some expressions inside if branches. --- pkgs/racket-pkgs/racket-test/tests/racket/optimize.rktl | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/pkgs/racket-pkgs/racket-test/tests/racket/optimize.rktl b/pkgs/racket-pkgs/racket-test/tests/racket/optimize.rktl index 3e0ee17acc..9e562de543 100644 --- a/pkgs/racket-pkgs/racket-test/tests/racket/optimize.rktl +++ b/pkgs/racket-pkgs/racket-test/tests/racket/optimize.rktl @@ -1575,6 +1575,13 @@ '(lambda (x y) (list (if x x y) (+ x y)))) +(test-comp '(lambda (x y) + (let ([z (car y)]) + (if x x z))) + '(lambda (x y) + (if x x (car y))) + #f) + (test-comp '(let-values ([(x y) (values 1 2)]) (+ x y)) 3)