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

164 Commits

Author SHA1 Message Date
Vincent St-Amour
2bf7ce50ed Formatting. 
original commit: 63b5747018f5c8cfa585016346e7a7b5dbabd38e
 2011-08-15 12:19:54 -04:00
Vincent St-Amour
a05162c6df Have arity raising play nice with Check Syntax. 
original commit: becaac8c1841638350dec7e59f92efe37885aa7d
 2011-08-15 12:19:54 -04:00
Vincent St-Amour
4ec5413e5f Fix visibility of arity-raised bindings. 
original commit: b536445cdee2ad256284a780d4b1187ac3322dd9
 2011-08-15 12:19:54 -04:00
Sam Tobin-Hochstadt
20c54979a9 Use syntax-track-origin more pervasively to get the right arrows in check syntax. 
original commit: d948626fac529ba8325ffe712f192edb4e5329d5
 2011-08-12 11:09:11 -04:00
Vincent St-Amour
bc5339d19c Add disappeared uses to have optimized code play nice with check-syntax. 
original commit: 281e1003e3ef60892188e8b4f5313f8fdd9e4c72
 2011-08-11 18:25:46 -04:00
Vincent St-Amour
9f8918b441 Refactoring. 
original commit: 271f696c5846c3e026507d5e47c648a23e5ad2ed
 2011-08-11 18:25:46 -04:00
Vincent St-Amour
35fe79f643 Get rid of pseudo-syntax. 
original commit: 5f4c577d5b9d8d3e846555be01a1ef1dfadc4e56
 2011-07-29 18:31:10 -04:00
Vincent St-Amour
0c964fcda8 Have log entries carry pseudo-syntax instead of syntax. 
Unlike syntax, pseudo-syntax is serializable, and it only carries the
information that Performance Report needs. Serializability is
necessary to be able to expand the program inside a sandbox and get
log entries out.

original commit: ea1ae29e0f5b780355918622fac3cd4802813d19
 2011-07-29 18:23:14 -04:00
Vincent St-Amour
a8845e3dcb Expose more of the TR opt logging. 
original commit: 30146b7b8c7a4bde11f5d356f6be9cbc5d46377a
 2011-07-21 17:06:03 -04:00
Vincent St-Amour
e89475504d Remove redundant precision-loss messages. 
original commit: 29882d8fa1bfc3bda8d57f8fb77d3a14ba8f9774
 2011-07-19 15:19:17 -04:00
Vincent St-Amour
02a4010880 Change the structure of the "extra precision" missed optimizations. 
Avoids reports that are almost duplicates.

original commit: db9d51fef7505776a7250446496c1784043472e1
 2011-07-15 15:04:58 -04:00
Vincent St-Amour
718e488786 Update messages. Irritants are now highlighted, not circled. 
original commit: be67f304a80851fbdbc24db7f0797b2e0abce877
 2011-07-15 15:04:57 -04:00
Vincent St-Amour
6b5104aba7 Fix new optimization to use the new loggin facilities. 
original commit: c5d46449b774eedf02877d1bbe8a6fb3f1b173cb
 2011-07-15 15:04:55 -04:00
Vincent St-Amour
6e218da463 Keep located syntax around so we can use it in the tool. 
original commit: c1fe25200ba1ed51962d7981190aebe2c67b8442
 2011-07-15 15:04:54 -04:00
Vincent St-Amour
eb9b012989 Call locate-stx at the last minute, to avoid overeager duplicate detection. 
original commit: d2a8a620b149d72ffac87ac980174c8afaa19a40
 2011-07-15 15:04:54 -04:00
Vincent St-Amour
9596522404 Fix new optimization to use new logging. 
original commit: 34ccf6a3fb7dfbe80897c1fafdc5eef1d73d6b68
 2011-07-15 15:04:54 -04:00
Vincent St-Amour
2b655af885 Use locate-stx earlier in the logging process, for nicer display in the tool. 
original commit: d3db388c05529e86363f43373d7ab779fd964935
 2011-07-15 15:04:54 -04:00
Vincent St-Amour
eb1f25d82e Report missed fixnum optimizations. 
original commit: d146f8c590d2a79784c908cd27ecbefa2ff95bdb
 2011-07-15 15:04:54 -04:00
Vincent St-Amour
5a414fe1e5 Add nicer optimization reporting messages. 
original commit: bfc4ad42255d4f74fae6aa9275fb2ad3080f5bd3
 2011-07-15 15:04:53 -04:00
Vincent St-Amour
ed4f4fe43b Add the remaining diagnosis messages. 
original commit: 00d23a4535bc9aa3fbfb5c77c53010efa49f384d
 2011-07-15 15:04:53 -04:00
Vincent St-Amour
33380e814b Rewrite TR logging facilities to play nicely with the DrRacket tool. 
original commit: 975cb7ad9d1cb2ca3f4cf78a8635c83a5c1494de
 2011-07-15 15:04:53 -04:00
Vincent St-Amour
ed8a9d3eef Have a more useful message for float missed opts. 
original commit: d68267cbfad06232e146e99dc9a36e296a604a0b
 2011-07-15 15:04:53 -04:00
Vincent St-Amour
85ca514d49 Circle irritants. 
original commit: 5ddfcfba9d69d350d7d58753e29e2ee4624984ec
 2011-07-15 15:04:53 -04:00
Vincent St-Amour
75a9095893 Have nicer information to present in pop-ups. 
original commit: a134e4ffb7b6c3b279943df9a03818c64bacef29
 2011-07-15 15:04:52 -04:00
Vincent St-Amour
a8540ce6d2 Remove redundant optimization reporting. 
original commit: 5e5fdb2981ccdb89416cd49c2291efd59653d85d
 2011-07-15 15:04:52 -04:00
Vincent St-Amour
4fcae7c696 Remove extra keyword argument. 
original commit: 65e56ab387e07750fd5984b27c618b0b4bd3d9e0
 2011-07-15 15:04:52 -04:00
Vincent St-Amour
f1e541a102 Display larger regions for optimizations. 
original commit: 8d680ced89bc822a50d08f66be4656f1003dd6a8
 2011-07-15 15:04:52 -04:00
Vincent St-Amour
c4cb2c2154 Highlight opts and missed-opts in the editor. 
original commit: 14be88628870bf34e6b71155c988c9a6f5cfa456
 2011-07-15 15:04:52 -04:00
Vincent St-Amour
629feb81bf Pass log struct along with the log messages. 
original commit: 7f3bb5d0173d22733f49ec0b5187ab433bc0d264
 2011-07-15 15:04:52 -04:00
Vincent St-Amour
3f2009c651 Relocate TR logging capture. 
original commit: a71a45e41f4b90bdb5196f17d3c78fc83f379caa
 2011-07-15 15:04:51 -04:00
Vincent St-Amour
124cf9c5df Add list optimizations. 
original commit: 59a85b3eb2eb1f8db7200b5f3e79575ec6927362
 2011-07-11 15:55:07 -04:00
Vincent St-Amour
6779719a18 Do partial bounds checking elimination for flvector operations. 
original commit: a7459c5ee7f6ed135dc5a26e3e2788365326530d
 2011-07-06 18:09:31 -04:00
Vincent St-Amour
9e995978e1 Do the impersonator? check up front. 
original commit: 60f3074ccd6b2d399765c3254180afe1bcf2830d
 2011-07-06 18:09:30 -04:00
Vincent St-Amour
30792214ae First stab at optimizing bounds checking. 
original commit: 979545a90ff3ca5cb730780a7a5699bb361eea48
 2011-07-06 18:09:29 -04:00
Matthew Flatt
5fb4f1af3a remove syntax certificates; add syntax taints 
original commit: 1160d3df629ce65eb8fe9ebea2c33b8d4000ea50
 2011-06-29 19:15:48 -06:00
Vincent St-Amour
77e9234c06 Display irritants nicely. 
original commit: 26b909744cb2697c00bf09638871c7688d328657
 2011-06-17 18:18:04 -04:00
Vincent St-Amour
261821834f Don't merge missed optimizations repeatedly, which artificially increases badness. 
original commit: e8dcee732e139885fe9eb8348e33799ff3a659c6
 2011-06-17 18:18:04 -04:00
Vincent St-Amour
467f00562c Display badness of missed optimizations. 
original commit: fc08b4d401b446a6f69818e2e4b42db1e48f2422
 2011-06-17 18:18:04 -04:00
Vincent St-Amour
dadfa4b62d Use write instead of display for syntax in logs. 
original commit: 9dbca39cfe20876b131592871670f5567471fcf7
 2011-06-17 18:18:04 -04:00
Vincent St-Amour
51dd8b0469 Do duplicate detection at the expanded syntax level, instead of the source level. 
original commit: 847e4b2e233d95d0a3fff1f8ceaf6bc62ea31e05
 2011-06-17 18:18:04 -04:00
Vincent St-Amour
205f0882a5 Report opts and missed opts in terms of the original programs, not in terms of expanded code. 
original commit: fddf18953094f1a98fe8b4afe0a95dd1500f5194
 2011-06-17 18:18:04 -04:00
Vincent St-Amour
4180449ead Specify opt or missed opt in the TR log format. 
original commit: 86efbc83968ddd0486dea493830f409c05b52e5e
 2011-06-17 18:18:03 -04:00
Vincent St-Amour
d5ee54a9e9 Refactoring. 
original commit: d9256f2b766af163c208c9d9ea93c1bb0579a218
 2011-06-17 18:18:03 -04:00
Vincent St-Amour
56f8d7e069 Handle the case where we would need to merge with multiple children at once. 
original commit: 1a2080fc9708f49c0dc872c92266b24b4bbc42c2
 2011-06-17 18:18:02 -04:00
Vincent St-Amour
beb05e473c Simplify log sorting. 
original commit: e095976c8b09dc4ee126c6e78809ef4907ead770
 2011-06-17 18:18:02 -04:00
Vincent St-Amour
d2d2432b1d First attempt at handling missed optimization cascades. 
Currently, if missed optimizations a and b are of the same kind, a is caused
by b, and b is caused by c, we merge them into a single miss with cause c.

This works in some cases, but fails in others.

original commit: 8d2f66faa6e77376e04827cd56be440325d77a29
 2011-06-17 18:18:02 -04:00
Vincent St-Amour
33d343dd6f Sort irritants by source location. 
original commit: 6de90b71853d6b8b82e9f6a161fc3846d1f94cf3
 2011-06-17 18:18:02 -04:00
Vincent St-Amour
4eece2b27f Abstract out printing of missed optimization log messages. 
original commit: c5ca1422a2affa91caeb36e99a35321694ccbedc
 2011-06-17 18:18:02 -04:00
Vincent St-Amour
2151a7edc0 Put logging code in its own file. 
original commit: 4c31b085546f5e4c6f20982b805fcebd6c6bb5ba
 2011-06-17 18:18:02 -04:00
Vincent St-Amour
1621df5042 Have more structure to missed optimizations, for eventual handling of nesting and/or missed optimization cascades. 
original commit: c54717d5575b3521553c65982d19b52b721c2ade
 2011-06-17 18:18:02 -04:00