From 3929e32f26678232dd8a1866af509df1790070ef Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Thu, 26 Aug 2010 11:45:44 -0400 Subject: [PATCH] Tests for new optimizer additions. original commit: 3e4ddde80806795923ee8dab602da80ca38e2ec0 --- .../tests/typed-scheme/optimizer/generic/magnitude.rkt | 5 +++++ .../typed-scheme/optimizer/generic/real-part-loop.rkt | 10 ++++++++++ 2 files changed, 15 insertions(+) create mode 100644 collects/tests/typed-scheme/optimizer/generic/magnitude.rkt create mode 100644 collects/tests/typed-scheme/optimizer/generic/real-part-loop.rkt diff --git a/collects/tests/typed-scheme/optimizer/generic/magnitude.rkt b/collects/tests/typed-scheme/optimizer/generic/magnitude.rkt new file mode 100644 index 00000000..aa0f1fc5 --- /dev/null +++ b/collects/tests/typed-scheme/optimizer/generic/magnitude.rkt @@ -0,0 +1,5 @@ +#lang typed/racket/base #:optimize + +(require racket/unsafe/ops) + +(magnitude 3.0+4.0i) \ No newline at end of file diff --git a/collects/tests/typed-scheme/optimizer/generic/real-part-loop.rkt b/collects/tests/typed-scheme/optimizer/generic/real-part-loop.rkt new file mode 100644 index 00000000..3b333b19 --- /dev/null +++ b/collects/tests/typed-scheme/optimizer/generic/real-part-loop.rkt @@ -0,0 +1,10 @@ +#lang typed/racket/base #:optimize + +(require racket/unsafe/ops) + +(ann + (let loop ([v 0.0+1.0i]) + (if (> (real-part v) 70000.2) + 0 + (loop (+ v 3.6)))) + Integer)