Vincent St-Amour
4803eafa67
Fixed a bug with exact complexes.
2010-07-25 22:15:18 -04:00
Vincent St-Amour
ec39ea5f33
Added one more test for unboxed let bindings.
2010-07-24 17:01:23 -04:00
Vincent St-Amour
5d86813267
Fixed a test that could not work because of shadowing in hand-optimized code.
2010-07-23 18:52:46 -04:00
Vincent St-Amour
ea580e6ff8
Added a test to the optimizer.
2010-07-23 18:52:43 -04:00
Vincent St-Amour
83987fffac
let bindings of inexact-complex numbers can be replaced by bindings
...
for each of their components.
This allows unboxing of intermediate results that are bound and only
ever used in positions where they would be unboxed.
2010-07-23 18:52:42 -04:00
Vincent St-Amour
063b87697a
Optimized extracting parts of inexact complexes.
2010-07-23 18:52:42 -04:00
Vincent St-Amour
0493e6f762
Refactoring of the optimizer.
2010-07-23 18:52:41 -04:00
Sam Tobin-Hochstadt
5bb730f72c
Optimize (apply + (map f l)) to avoid the intermediate list.
2010-07-23 14:11:40 -04:00
Jay McCarthy
407dcee206
Adding match to ASL
2010-07-22 15:39:53 -06:00
Jay McCarthy
9eb053d4db
Adding define-datatype to ASL
2010-07-22 11:36:04 -06:00
Vincent St-Amour
ca106a4134
Replaced the safe specialized nbody benchmark by the unsafe version.
2010-07-21 21:09:43 -04:00
Vincent St-Amour
0ee0886cab
Optimizations on one-argument cases of arithmetic operations.
2010-07-21 21:09:43 -04:00
Vincent St-Amour
4e944f73ab
Added optimization for string-length and bytes-length.
2010-07-21 21:09:42 -04:00
Vincent St-Amour
d6ce6e664f
Added box optimizations.
2010-07-21 21:09:42 -04:00
Vincent St-Amour
b13075a1c0
Changed the interface to typed racket's test harness.
2010-07-21 21:09:40 -04:00
Vincent St-Amour
47195410cb
Added optimization for zero?.
2010-07-21 21:09:40 -04:00
Matthew Flatt
ce03a34318
another ss->rkt repair to exe creator
...
Merge to 5.0.1
2010-07-20 06:37:02 -06:00
Matthew Flatt
f602d11a7f
raco exe: fix missing ss->rkt conversion and remove debugging printf
...
Merge to 5.0.1
2010-07-19 14:00:23 -06:00
Jay McCarthy
5417d7a5b7
Fixing path-only documentation and adding new test case
2010-07-19 13:56:01 -06:00
Matthew Flatt
1ea0880f65
add missing test for continuation change
2010-07-16 20:55:07 -06:00
Vincent St-Amour
8aa4fae613
Added whitespace to the typed racket test harness.
2010-07-16 19:08:21 -04:00
Vincent St-Amour
8563f02ba8
Don't abort typed racket's tests if the main tests fail.
2010-07-16 19:08:21 -04:00
Vincent St-Amour
60bfce14bc
Fixed unsafe optimization that considered floats as complexes.
2010-07-16 19:08:20 -04:00
Vincent St-Amour
01c170c52f
Fixed a segfault in the nbody benchmark.
2010-07-16 19:08:20 -04:00
Vincent St-Amour
b8b852dbc1
Added a test for inexact imaginaries.
2010-07-16 19:08:20 -04:00
Vincent St-Amour
3dab2fbbfc
Fixed benchmarks to typecheck even when not-really-dead code is typechecked.
2010-07-16 19:08:19 -04:00
Vincent St-Amour
4d5b50dee9
Further fixes in overlap checking.
...
Rhss of code dispatching on overlapping structs are no longer
considered dead, and as such, are now typechecked.
Had to fix a test that passed only because some not-really-dead code
was not being typechecked.
2010-07-16 19:08:19 -04:00
Vincent St-Amour
fc29e7e856
Added mutable pair optimizations.
2010-07-16 12:22:16 -04:00
Vincent St-Amour
f21454e711
Fixed an infinite loop.
2010-07-16 12:22:16 -04:00
Vincent St-Amour
c587038b33
The imaginary parts of reals are ignored when doing complex division.
2010-07-16 12:22:15 -04:00
Vincent St-Amour
443d8b9f91
Fixnums and integers can now be coerced for complex operations.
2010-07-16 12:22:15 -04:00
Vincent St-Amour
c645aa7ebc
The imaginary parts of inexact reals are ignored when doing complex multiplication.
2010-07-16 12:22:15 -04:00
Vincent St-Amour
b0788372ea
Fixed bugs in the tests.
2010-07-16 12:22:14 -04:00
Vincent St-Amour
566aeedb59
Better error reporting by the optimizer's test harness.
2010-07-16 12:22:14 -04:00
Vincent St-Amour
7fb1b41a28
The optimizer's test harness now makes sure that optimized and
...
non-optimized versions of the same code evaluate to the same thing.
Unfortunately, this leads to a lot of code duplication. We can't
abstract over optimization like we do for the benchmarks since the
wrapper module would interfere with testing expanded code for
equality.
2010-07-16 12:22:14 -04:00
Vincent St-Amour
748e9e47ad
The imaginary parts of inexact reals are ignored when doing complex
...
addition or subtraction.
2010-07-16 12:22:13 -04:00
Vincent St-Amour
025af5b815
Added coercions for floats with unboxed complex operations.
...
However, this generates superfluous operations involving their
imaginary part of 0.
2010-07-16 12:22:13 -04:00
Vincent St-Amour
fff71e6a1d
Enabled optimization of complex conjugate at the top level of complex operations.
2010-07-16 12:22:12 -04:00
Vincent St-Amour
063211d922
Added unboxed complex conjugate.
2010-07-16 12:22:12 -04:00
Vincent St-Amour
0b0da84eba
Added optimizations for iterating over vectors and strings.
2010-07-16 12:22:12 -04:00
Vincent St-Amour
1e550139aa
Added dead code elimination.
2010-07-16 12:22:11 -04:00
Vincent St-Amour
4e6fc3154b
Added a test for cross-module struct optimization.
2010-07-16 12:22:10 -04:00
Jay McCarthy
c9ccf6d48b
Adding all hash prims per SK
2010-07-16 09:43:03 -06:00
Jay McCarthy
d17deb5fef
Adding hash table functions to ASL
2010-07-15 15:45:54 -06:00
Mike Sperber
de94854243
Unbreak stepper tests.
...
... via a spectacularly ugly hack.
2010-07-14 14:07:13 +02:00
Matthew Flatt
90b586365f
upgrade to latest libffi from git repo (between v3.0.9 and v3.0.10)
2010-07-13 21:12:59 -06:00
Ryan Culpepper
4693abf074
macro-stepper: re-enabled block test
2010-07-13 09:38:52 -06:00
Ryan Culpepper
e36c964a9a
macro-stepper: updated tests
2010-07-13 09:22:52 -06:00
Ryan Culpepper
b8bf5c571a
macro-stepper: add support for #%stratified-body
2010-07-13 09:22:51 -06:00
Mike Sperber
5f25c239f2
Merge remote branch 'local-plt/master'
...
Conflicts:
collects/deinprogramm/define-record-procedures.scm
collects/test-engine/scheme-tests.rkt
collects/test-engine/test-display.scm
2010-07-13 17:13:30 +02:00
