From ea580e6ff88cb3be758690b99a1968179cbc3c26 Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Fri, 23 Jul 2010 16:47:30 -0400 Subject: [PATCH] Added a test to the optimizer. --- collects/tests/typed-scheme/optimizer/generic/let-rhs.rkt | 6 ++++++ .../tests/typed-scheme/optimizer/hand-optimized/let-rhs.rkt | 6 ++++++ .../tests/typed-scheme/optimizer/non-optimized/let-rhs.rkt | 6 ++++++ 3 files changed, 18 insertions(+) create mode 100644 collects/tests/typed-scheme/optimizer/generic/let-rhs.rkt create mode 100644 collects/tests/typed-scheme/optimizer/hand-optimized/let-rhs.rkt create mode 100644 collects/tests/typed-scheme/optimizer/non-optimized/let-rhs.rkt diff --git a/collects/tests/typed-scheme/optimizer/generic/let-rhs.rkt b/collects/tests/typed-scheme/optimizer/generic/let-rhs.rkt new file mode 100644 index 0000000000..e9f58d5d84 --- /dev/null +++ b/collects/tests/typed-scheme/optimizer/generic/let-rhs.rkt @@ -0,0 +1,6 @@ +#lang typed/scheme #:optimize + +(require racket/unsafe/ops) + +(let ((x (+ 1.0 2.0))) + x) diff --git a/collects/tests/typed-scheme/optimizer/hand-optimized/let-rhs.rkt b/collects/tests/typed-scheme/optimizer/hand-optimized/let-rhs.rkt new file mode 100644 index 0000000000..c4d25e28a6 --- /dev/null +++ b/collects/tests/typed-scheme/optimizer/hand-optimized/let-rhs.rkt @@ -0,0 +1,6 @@ +#lang typed/scheme #:optimize + +(require racket/unsafe/ops) + +(let ((x (unsafe-fl+ 1.0 2.0))) + x) diff --git a/collects/tests/typed-scheme/optimizer/non-optimized/let-rhs.rkt b/collects/tests/typed-scheme/optimizer/non-optimized/let-rhs.rkt new file mode 100644 index 0000000000..93a4278e62 --- /dev/null +++ b/collects/tests/typed-scheme/optimizer/non-optimized/let-rhs.rkt @@ -0,0 +1,6 @@ +#lang typed/scheme + +(require racket/unsafe/ops) + +(let ((x (+ 1.0 2.0))) + x)