Commit Graph

373 Commits

Author SHA1 Message Date
Ryan Culpepper
5d8ca32454 compiler/zo-parse: fixed to work on Mac/PPC
zo writer seems to always write integers in little-endian order

svn: r18141

original commit: f4321256a5
2010-02-17 23:36:58 +00:00
Jay McCarthy
3562d9f416 Forgot to add a file
svn: r18131

original commit: 2ffa8cb34f
2010-02-17 21:38:06 +00:00
Jay McCarthy
21a504a86c Added new primitive: symbol-unreadable?
Updated Scheme implementation of zo parsing and marshaling
- Separated the structs into a different file and added contracts
- Implemented stxobj marshalling
- Fixed many small bugs in parser and marshaller
- Added new structs for new parser cases

Done by Blake Johnson (BYU)
Committed by Jay

svn: r18130

original commit: a8d00cc3b3
2010-02-17 21:33:00 +00:00
Matthew Flatt
6d26d894e1 improve inling to support ((let (....) (lambda ....)) arg ...) patterns; allow nested 'let's for local flonum binding (which fixes a problem where unsafe flonum operations could end up much slower than safe ones)
svn: r17972

original commit: 3812f8ca72
2010-02-05 00:16:06 +00:00
Matthew Flatt
0c18f10bf8 fix problem with flmin/flmax and cgc
svn: r17532

original commit: f7f6b972fd
2010-01-07 16:33:26 +00:00
Matthew Flatt
3b650e1e15 built-in fixnum ops; bug fix related to misuse of flonum ops; questionable attempt to improve inlining algorithm
svn: r17461

original commit: 38d7e8fea2
2010-01-02 16:33:28 +00:00
Matthew Flatt
1b7935c819 scheme/flonum (v4.2.3.8)
svn: r17348

original commit: fdd7122994
2009-12-18 15:40:00 +00:00
Matthew Flatt
2d1e7602c1 fix up validator, decompiler, and zo-marshaler for flonum-argument annotations
svn: r17341

original commit: cab948d61f
2009-12-17 20:17:48 +00:00
Matthew Flatt
ab1cebd148 unboxed known-flonum loop accumulators
svn: r17338

original commit: bc47db42e4
2009-12-17 15:58:29 +00:00
Matthew Flatt
66b8a274d7 unboxing of let-bound flonums (v4.2.3.6)
svn: r17328

original commit: 45e84ca087
2009-12-16 13:30:40 +00:00
Matthew Flatt
e489b59124 decompiler fix to indicate that unsafe-flvector-ref can be unboxed
svn: r17289

original commit: cd961f4a6b
2009-12-13 20:13:20 +00:00
Matthew Flatt
b1aeeac4a9 bytecode-compiler changes to help enable flonum unboxing
svn: r17283

original commit: 5772fa0a9f
2009-12-13 04:39:46 +00:00
Matthew Flatt
06aeb59448 add unsafe-f64vector-{ref,set!} and improve JIT to inline arithmetic ops with more than 2 arguments
svn: r17068

original commit: 61dd4ca0b9
2009-11-26 15:07:16 +00:00
Matthew Flatt
4e9963b06b update decompiler for changed type number
svn: r16227

original commit: 7529e8d4a9
2009-10-02 23:39:29 +00:00
Matthew Flatt
95420f055d unsafe ops (v4.2.1.8)
svn: r15899

original commit: 8ae0ea9d14
2009-09-06 18:24:46 +00:00
Matthew Flatt
bf222f9bc2 adjust planet client to handle nested planet invocations by re-building the doc index only once
svn: r15246

original commit: 53a011cf65
2009-06-23 22:02:07 +00:00
Matthew Flatt
8caf639791 identifier-prune-lexical-context (4.2.0.2)
svn: r14850

original commit: 70859f0d0b
2009-05-17 12:31:51 +00:00
Matthew Flatt
57312ea2d5 zo-marshal patch from Jay
svn: r14642

original commit: b42f1b5d8b
2009-04-28 16:37:16 +00:00
Matthew Flatt
3b13ccd8fe zo-marshal supports module forms
svn: r14637

original commit: 39d405fe6e
2009-04-28 13:13:22 +00:00
Matthew Flatt
cd3f1c8707 fix zo-parse problem with graphs in literal data
svn: r14596

original commit: 2439b4cb75
2009-04-24 17:34:49 +00:00
Matthew Flatt
0a8691e0bb fix accidental commit of debugging printf
svn: r14595

original commit: 6df0ac6f51
2009-04-24 15:49:24 +00:00
Matthew Flatt
5b767d0b08 (v4.1.5.5) repair interaction of provides redirected by a rename-transformer, certification of access to unexported variables, and protected exports; also get rid of kernel-reprovide special case in export handling, because a more general export-sharing technique subsumed the special case long ago
svn: r14593

original commit: cd09b30497
2009-04-24 14:59:09 +00:00
Matthew Flatt
dd550f0a77 better eof handling in zo-parse
svn: r14252

original commit: 3b49038947
2009-03-24 18:38:18 +00:00
Matthew Flatt
bd5bfaba1c all expression forms tested for zo-marshal
svn: r13998

original commit: 282a404ada
2009-03-06 23:27:10 +00:00
Matthew Flatt
c350bac4dd some zo-marshal repairs
svn: r13984

original commit: 946a39221a
2009-03-06 17:37:28 +00:00
Matthew Flatt
cde9437405 zo-marshal bug fixes and start at test suite
svn: r13979

original commit: f1e646c8f9
2009-03-06 15:22:33 +00:00
Matthew Flatt
0d40ac7b7f partially working compiler/zo-marshal
svn: r13976

original commit: 5a8bd8b724
2009-03-06 02:23:19 +00:00
Matthew Flatt
a724fe6a00 rename write-bytecode to zo-marshal
svn: r13974

original commit: 25e7978999
2009-03-06 00:48:08 +00:00
Matthew Flatt
9cc0f1b7cd initial version of write-bytecode
svn: r13973

original commit: a1f0873143
2009-03-06 00:45:13 +00:00
Matthew Flatt
c53917fa4f document compiler/zo-parse and compiler/decompile
svn: r12947

original commit: 7aec6b8761
2008-12-28 18:57:13 +00:00
Matthew Flatt
8432051c18 fix ready-toplevel optimization
svn: r12905

original commit: 064776348a
2008-12-19 17:16:39 +00:00
Matthew Flatt
0e41ae2e49 trim some fat from module-variable references
svn: r12833

original commit: cf8b75939b
2008-12-13 17:38:14 +00:00
Matthew Flatt
34af15866c fix decompiler for recent .zo change
svn: r12722

original commit: d8c28545ea
2008-12-07 19:07:47 +00:00
Matthew Flatt
2a6f851d43 decompiler repairs
svn: r12537

original commit: 1a4b3abba7
2008-11-20 13:47:06 +00:00
Matthew Flatt
66ad436925 make the optimizer slightly smarter, so that it can see through more patterns of nested let and letrec procedure bindings
svn: r12434

original commit: 59f3f19f84
2008-11-14 00:48:54 +00:00
Matthew Flatt
c3ee691e9d improved JIT inlining of 'list'
svn: r12428

original commit: bac4053c37
2008-11-13 16:42:15 +00:00
Matthew Flatt
5730650642 change mzc verbosity
svn: r12333

original commit: f076494c48
2008-11-06 18:54:12 +00:00
Matthew Flatt
0150fc24ed fix more bugs with lib paths in exe creation
svn: r12175

original commit: 487df2362e
2008-10-30 10:55:07 +00:00
Matthew Flatt
25ac110c4f split scribble/manual module into smaller modules
svn: r12150

original commit: ea659ba286
2008-10-28 01:40:51 +00:00
Matthew Flatt
8b1b6eec7f jit tweaks
svn: r12144

original commit: 00d2aabaf0
2008-10-27 19:00:13 +00:00
Matthew Flatt
67030288cd finish decompiler on syntax objects
svn: r12077

original commit: e2d4bc0d2b
2008-10-21 00:10:47 +00:00
Matthew Flatt
128081a8e9 unit bug fixes related to new scoping of signature elements; change scribble/manual to compute ids typeset as variables at compile time, in preparation for moving from a parameter to syntax bindings; fix docs typos; extend decompiler's support for unmarshaling syntax objects
svn: r12046

original commit: 7a55275a26
2008-10-15 22:23:56 +00:00
Matthew Flatt
9794d09d56 fix bug in exe creation where 'lib runtime-paths could be mis-parsed as mzlib paths
svn: r11966

original commit: 89f2315374
2008-10-07 16:00:36 +00:00
Matthew Flatt
42ec054ab9 add read-language, module-compiled-language-info, and module->language-info
svn: r11827

original commit: dd7db9ff7b
2008-09-21 16:00:42 +00:00
Matthew Flatt
9ed7e7ba98 fix letrec compilation when call/cc is used on the RHS of something that otherwise looks like it could be let*; add #%in annotations to decompiler output
svn: r11329

original commit: ebab4270bf
2008-08-19 15:18:09 +00:00
Matthew Flatt
ba41523036 document 'mzc --decompile'
svn: r11317

original commit: 76cf25fc12
2008-08-19 00:50:52 +00:00
Matthew Flatt
436c1a119a add --decompile blade to mzc and refine decompiler output
svn: r11310

original commit: 64c655a516
2008-08-19 00:04:20 +00:00
Matthew Flatt
19a098a7fa expose safe-for-space clearing in decompilation
svn: r11307

original commit: e611829b76
2008-08-18 22:34:38 +00:00
Matthew Flatt
da32616652 add with-cont-mark decompilation
svn: r11306

original commit: 6a0a40773b
2008-08-18 22:28:08 +00:00
Matthew Flatt
a290d88c64 initial version of decompiler
svn: r11305

original commit: 1d754e8f66
2008-08-18 22:19:52 +00:00