suzanne.soy/typed-racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Add missed optimization tests for add1/sub1.

Browse Source 
original commit: 40e3c50db7d5873592bc109dc0a0771e473d2107
This commit is contained in:
Eric Dobson 2014-02-25 00:30:52 -08:00
parent 37f274004a
commit e3bb9c3e0e
1 changed files with 9 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/optimizer/tests/add1.rkt
View File

@ -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)