From 40e3c50db7d5873592bc109dc0a0771e473d2107 Mon Sep 17 00:00:00 2001
From: Eric Dobson <eric.n.dobson@gmail.com>
Date: Tue, 25 Feb 2014 00:30:52 -0800
Subject: [PATCH] Add missed optimization tests for add1/sub1.

---
 .../tests/typed-racket/optimizer/tests/add1.rkt      | 12 +++++++++---
 1 file changed, 9 insertions(+), 3 deletions(-)

diff --git a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/optimizer/tests/add1.rkt b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/optimizer/tests/add1.rkt
index 0f4a4111f7..f696da4199 100644
--- a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/optimizer/tests/add1.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/optimizer/tests/add1.rkt
@@ -1,12 +1,16 @@
 #;#;
 #<<END
+TR missed opt: add1.rkt 2:0 (add1 (ann 5 Fixnum)) -- out of fixnum range
+TR missed opt: add1.rkt 4:0 (sub1 (ann 3 Fixnum)) -- out of fixnum range
 TR opt: add1.rkt 1:5 (add1 5) -- fixnum add1
-TR opt: add1.rkt 2:5 (sub1 3) -- fixnum sub1
-TR opt: add1.rkt 3:5 (add1 2.3) -- float add1
-TR opt: add1.rkt 4:5 (sub1 2.25) -- float sub1
+TR opt: add1.rkt 3:5 (sub1 3) -- fixnum sub1
+TR opt: add1.rkt 5:5 (add1 2.3) -- float add1
+TR opt: add1.rkt 6:5 (sub1 2.25) -- float sub1
 END
 #<<END
 6
+6
+2
 2
 3.3
 1.25
@@ -15,6 +19,8 @@ END
 #lang typed/racket #:optimize
 #reader tests/typed-racket/optimizer/reset-port
 (ann (add1 5) Fixnum)
+(add1 (ann 5 Fixnum))
 (ann (sub1 3) Fixnum)
+(sub1 (ann 3 Fixnum))
 (ann (add1 2.3) Float)
 (ann (sub1 2.25) Float)