suzanne.soy/typed-racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
1,174 Commits 13 Branches 1 Tag 9.2 MiB
78a27d2bf9
Commit Graph

946 Commits

Author SHA1 Message Date
Vincent St-Amour
78a27d2bf9 Fixed over-generous pattern matching. 
original commit: 435407b37a519c2e0c4401f9a07f93de99e134cb
 2010-07-29 18:29:58 -04:00
Vincent St-Amour
851401b25b Fixed a bug that caused the let optimizations to choke on TR-introduced code. 
original commit: b58461da2dc2fd495e555e24ffd1abddca3a25b3
 2010-07-29 18:29:58 -04:00
Vincent St-Amour
0edccc7db9 Extended unboxing of let-bound functions to support let loops. 
original commit: f08456cf0708483f267fba86e10f52c318d0dedd
 2010-07-29 18:29:57 -04:00
Vincent St-Amour
a2e41f4588 Fixed a bug in the complex use-site analysis. 
original commit: 855928eb7b446d7c7eb741afe8f3a6e632f95141
 2010-07-29 18:29:57 -04:00
Vincent St-Amour
425ec70787 Refactoring of the call-site correction code. 
original commit: 4633a2a30aef91dd7d10445d1a445c75be08fe1b
 2010-07-29 18:29:55 -04:00
Vincent St-Amour
1b054179b6 Changed optimization order, to avoid potential conflicts. 
original commit: 29b9eb389d8e5ee68c922e18d67e75fe6eaa607d
 2010-07-29 18:29:55 -04:00
Vincent St-Amour
c631cec4d8 Fix for escaping functions. 
original commit: eed20f7c3a8a459dedc8798777ff3df71f2cfb2b
 2010-07-29 18:29:55 -04:00
Vincent St-Amour
0f5db893f5 Be more aggressive when unboxing let bindings. 
original commit: 3e9e5560bf216a0d555b38ee2cb6cf8a4c5ef908
 2010-07-29 18:29:54 -04:00
Vincent St-Amour
da5586ca57 Fixed a bug with functions with unboxed complex and non-complex args. 
original commit: defe96a148227eceaee94c886ac565cf8f253951
 2010-07-29 18:29:53 -04:00
Vincent St-Amour
f86dd7f384 Added unboxed arguments to let-bound functions. 
original commit: 9d471df8b96be389202d39d5346f37eefb6d6607
 2010-07-29 18:29:53 -04:00
Vincent St-Amour
7bc583e27b Added an option to see the result of the optimizer before compiling. 
original commit: 1d758ee78221a87e477e62ab9cca03c816adf49a
 2010-07-29 18:29:53 -04:00
Vincent St-Amour
ff4a589eee Register type of loop lambdas generated by the for macros. 
original commit: 27f0e50d537ef3adc5c8db94927e6f61b3e89dee
 2010-07-29 18:29:52 -04:00
Vincent St-Amour
28378f77d5 Added unboxed letrec-syntaxes+values bindings. 
original commit: b0d299d1b86e2bf07c7715e87ebb303f03bde853
 2010-07-29 18:29:52 -04:00
Vincent St-Amour
277df87ff6 Added unboxed letrec bindings. 
original commit: 8dc23d43eb23eac7a887ae2f3ef3633c54d3ba87
 2010-07-29 18:29:52 -04:00
Vincent St-Amour
c625d547ca Fixed a bug with exact complexes. 
original commit: 4803eafa6722acfdf0d37dab3782660d22665b84
 2010-07-25 22:15:18 -04:00
Vincent St-Amour
6473855e45 Fix to tolerate complexes of unknown exactness inside inexact-complex 
expressions.

original commit: 1b998f25e5626ff18bf18c911c4b161a66574b72
 2010-07-25 20:13:36 -04:00
Vincent St-Amour
ea0d96e9dd The optimizer now ignores code that is inside a with-handlers form, 
since it would be typechecked in an unusual manner.

original commit: 80b6ef7dd19e7d094578ae176442ee3fa8047b96
 2010-07-23 18:52:47 -04:00
Vincent St-Amour
56fde8109f Fixed unboxing of let bindings. 
original commit: 5892ef2fad2c92346cd2871e25846696f3312185
 2010-07-23 18:52:46 -04:00
Vincent St-Amour
5c75aa1793 Fixed typo. 
original commit: 12ce9abda6916bd590ac76666a6f3db4a63dd2f3
 2010-07-23 18:52:45 -04:00
Vincent St-Amour
a479e9d5e3 The optimizer now ignores expressions ignored by the typechecker. 
original commit: 82b064a520405575ea69e453dfd768ac2df2b17c
 2010-07-23 18:52:44 -04:00
Vincent St-Amour
eb60ac080a 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.

original commit: 83987fffac7719ab0c35d3df49ea0a7adf4bc9b6
 2010-07-23 18:52:42 -04:00
Vincent St-Amour
fe68e29caa Optimized extracting parts of inexact complexes. 
original commit: 063b87697a333b2b8f53e6d2b8a43e8f500e2762
 2010-07-23 18:52:42 -04:00
Vincent St-Amour
2ef2641a4d Refactoring of the optimizer. 
original commit: 0493e6f7623361a289989654d25deac19e552de6
 2010-07-23 18:52:41 -04:00
Sam Tobin-Hochstadt
69476bba24 Optimize (apply + (map f l)) to avoid the intermediate list. 
original commit: 5bb730f72c91f52166009d1e5fbe52a346c91edf
 2010-07-23 14:11:40 -04:00
Vincent St-Amour
9bef097987 Optimizations on one-argument cases of arithmetic operations. 
original commit: 0ee0886cab6989843a9bef1eb3797657e0f1d0c2
 2010-07-21 21:09:43 -04:00
Vincent St-Amour
6c0c6b3f65 Added optimization for string-length and bytes-length. 
original commit: 4e944f73abc138b7d283020bf5c577fe6ecf6e95
 2010-07-21 21:09:42 -04:00
Vincent St-Amour
19f4d78569 Added box optimizations. 
original commit: d6ce6e664f0bd361207725fb3ea9b2a265f39374
 2010-07-21 21:09:42 -04:00
Vincent St-Amour
245f1e311c Improved closure properties of bitwise-and. 
original commit: 234e8c363cfd90499566ae24b3cb548785a93ff8
 2010-07-21 21:09:41 -04:00
Vincent St-Amour
3aae29501e Bytes are fixnums. 
original commit: c4ae44123f74de07933d1c6edfb25be4609af6dd
 2010-07-21 21:09:41 -04:00
Vincent St-Amour
43683352c5 Improved behavior of coercions with n-ary arithmeric operations. 
original commit: d078305a59368156e0c977798af4cb805bc3b679
 2010-07-21 21:09:41 -04:00
Vincent St-Amour
53f7550b51 Added type signatures for operations on inexact complexes and floats. 
original commit: a31d7b60c8e6911f7b77c3a6f96af2c37da36b9e
 2010-07-21 21:09:40 -04:00
Vincent St-Amour
9fea49db55 Added optimization for zero?. 
original commit: 47195410cbbe7d19ac6e33175fd57bfce6e6c4b3
 2010-07-21 21:09:40 -04:00
Vincent St-Amour
40d4840ae1 Fixed unsafe optimization that considered floats as complexes. 
original commit: 60bfce14bc0166742fed7675b81d8c5c0dcec2d4
 2010-07-16 19:08:20 -04:00
Vincent St-Amour
134fb72de1 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.

original commit: 4d5b50dee9e04aee167a7e04fbbe23526131fcad
 2010-07-16 19:08:19 -04:00
Stevie Strickland
f3a78d1e10 Two fixes in overlap checking. 
- Names were not being resolved, so a superstruct name and substruct name
   could be seen as non-overlapping.
 - Struct parents were not checked in the overlapping algorithm.

original commit: 654b7df1decd52763ffedcdc507a4bf367b1cecf
 2010-07-16 19:08:19 -04:00
Vincent St-Amour
eb5e5f55d6 Documented the optimizer. 
original commit: 8d6230956dc8c207c097a389fa1f0c7273bb55b7
 2010-07-16 19:08:18 -04:00
Vincent St-Amour
1657089284 Added mutable pair optimizations. 
original commit: fc29e7e8562e4b00c6e7de5882d8ccf374051ca1
 2010-07-16 12:22:16 -04:00
Vincent St-Amour
295b5daa2d Fixed an infinite loop. 
original commit: f21454e71141feb491c88cf7f83636ee55c76775
 2010-07-16 12:22:16 -04:00
Vincent St-Amour
210446e679 The imaginary parts of reals are ignored when doing complex division. 
original commit: c587038b339b98ea14f90d683706c470aed05f24
 2010-07-16 12:22:15 -04:00
Vincent St-Amour
4da58f05c4 Fixnums and integers can now be coerced for complex operations. 
original commit: 443d8b9f917055d051844bb1cd4078a75dcdd592
 2010-07-16 12:22:15 -04:00
Vincent St-Amour
b6597e15ed The imaginary parts of inexact reals are ignored when doing complex multiplication. 
original commit: c645aa7ebcb6f53686bee78caf3a66af51c36142
 2010-07-16 12:22:15 -04:00
Vincent St-Amour
5f878b83bc The imaginary parts of inexact reals are ignored when doing complex 
addition or subtraction.

original commit: 748e9e47ad65c31d653907623b17689b47c76269
 2010-07-16 12:22:13 -04:00
Vincent St-Amour
6ec1b3686b Added coercions for floats with unboxed complex operations. 
However, this generates superfluous operations involving their
imaginary part of 0.

original commit: 025af5b815503cb4aa64f0a253204016ccba7383
 2010-07-16 12:22:13 -04:00
Vincent St-Amour
f5c518398f Enabled optimization of complex conjugate at the top level of complex operations. 
original commit: fff71e6a1d5746bf30ec7b3d64ec63ccd43f8065
 2010-07-16 12:22:12 -04:00
Vincent St-Amour
4e3f1c1e4b Added unboxed complex conjugate. 
original commit: 063211d92263267b8e6b2703af70d9a46e7186bf
 2010-07-16 12:22:12 -04:00
Vincent St-Amour
19781fc153 Added optimizations for iterating over vectors and strings. 
original commit: 0b0da84eba4fe7dcab87e4e5eed5dd213de2dc9f
 2010-07-16 12:22:12 -04:00
Vincent St-Amour
70cfe1b953 Added dead code elimination. 
original commit: 1e550139aa67631ffc965027584284b61453b634
 2010-07-16 12:22:11 -04:00
Vincent St-Amour
52559ccd98 Better internal error reporting. 
original commit: 58fe07ad70b74345e65ccf58171dc73e96be6b2b
 2010-07-16 12:22:11 -04:00
Vincent St-Amour
a4cb468a71 Various fixnum unsafe operations improvements. 
original commit: b7229487a59d3fa53f92bffb9f7374ab28bb8032
 2010-07-16 12:22:11 -04:00
Vincent St-Amour
8d95570bcb Added types for sequence functions. 
original commit: 4a8113eac6adfd68533a0a134ba8b1434846da97
 2010-07-16 12:22:10 -04:00