aboutsummaryrefslogtreecommitdiff
path: root/src/boot
Commit message (Collapse)AuthorAgeFilesLines
* Changed seemingly incorrect stk_field_valgrind_id.Michael Bebenita2010-08-091-1/+1
|
* Added forgotten handling for alt_type_else, and also for stmt_noteOr Brostovski2010-08-061-10/+26
|
* Added AST pretty printing for slice expressionOr Brostovski2010-08-061-1/+28
|
* Added AST logging, and modified AST for consistent handling of alt stmts.Or Brostovski2010-08-062-19/+59
| | | | | | | - Modified the arm types, instead of a single arm type, there are now 2 (soon to be 3) arm types, one for each type of alt statement - Added AST logging for constrained type (see fmt_constrained) - Added AST logging for STMT_alt_type - Created a generic fmt_arm for use with all alt statements
* Fix LLVM translation of modules.Jeffrey Yasskin2010-08-061-10/+29
|
* Accept uint literals as literal patterns.Roy Frostig2010-08-061-1/+4
|
* Degrade emitter size cache to just a flat hashtable with regular flushes ↵Graydon Hoare2010-08-053-33/+73
| | | | (sigh) and re-introduce horrible bounce-off-spill hack for DIV, MUL, etc.
* Something is wrong with the emitter size cache; disable for now, possibly ↵Graydon Hoare2010-08-051-1/+3
| | | | put out flaming tinderboxes.
* Move 'as' precedence up to just above relational; support indexing str and ↵Graydon Hoare2010-08-054-37/+44
| | | | vec by all integral types. Closes #94.
* Thread argument-types down to internal_check_outer_lval in type.ml, in ↵Graydon Hoare2010-08-041-9/+16
| | | | preparation for trying to infer type params from call args.
* Fix pexp parser to do left-associativity, not right. Closes #130.Graydon Hoare2010-08-041-36/+86
|
* Kill the preallocator, install a sane replacement. Closes #131. And probably ↵Graydon Hoare2010-08-044-263/+116
| | | | a lot of others.
* Factor append_quad out of IL.emit_full, for use elsewhere.Graydon Hoare2010-08-031-4/+12
|
* Remove dead implicit-destinations logic from IL.Graydon Hoare2010-08-035-20/+11
|
* Avoid mem cmp mem in trans even though it's an X86ism becase we don't always ↵Roy Frostig2010-08-031-1/+11
| | | | catch it later on.
* Fix some naughtiness of handling newlines in bracequotes and multi-line ↵Graydon Hoare2010-08-031-7/+13
| | | | comments. Closes #142.
* Add tests and fix pexp bug. Closes #141.Graydon Hoare2010-08-031-1/+1
|
* Use a better heuristic to determine whether we're on a Mac, issue 69Patrick Walton2010-08-021-5/+3
|
* Patch up another place where the newly-expanded 'closure-ptr' implicit arg ↵Graydon Hoare2010-07-301-1/+2
| | | | needs to be passed. Amazingly, it mostly-worked without this. On some platforms.
* Get slots in trans_tag using Semant tables. Closes #133.Roy Frostig2010-07-281-5/+10
|
* Test the deque a bit. Give it a get-by-index method. Fix two uncovered ↵Roy Frostig2010-07-282-6/+32
| | | | state-calculation bugs --- one decently, the other with an ugly hack. Bug on the latter coming right up.
* Switch machine-type lexemes to use suffixes. Remove support for foo(bar) as ↵Graydon Hoare2010-07-2711-132/+79
| | | | a cast notation. Closes #129.
* Calm some LLVM indigestion of last change.Graydon Hoare2010-07-271-6/+6
|
* Distill semantics of use-def maps to fewer and more-obvious words.Graydon Hoare2010-07-279-180/+207
| | | | | | | - Remove redundant uses of 'resolve' and 'referent' in semant. - Use defn, defn_id, lval, lval_base more consistently. - Make associated query functions more consistent. - Closes #127.
* Slight shaving on RA, no more optimizing today. It's fast enough for now.Graydon Hoare2010-07-261-8/+9
|
* Fix numerous non-linearities and O(sizeof(crate)) issues in typestate ↵Graydon Hoare2010-07-262-126/+340
| | | | system's dataflow algorithm. No longer substantial in profile.
* Note the typestate dataflow timing. The culprit is revealed.Graydon Hoare2010-07-261-1/+2
|
* Add a cumulative timer count to be sure we're getting everything.Graydon Hoare2010-07-261-3/+6
|
* Change ctxt_crate_main to an Ast.name.Graydon Hoare2010-07-262-8/+7
|
* Do some more iflog-guarding.Graydon Hoare2010-07-262-84/+94
|
* Don't write to NULL after calling C natives returning void.Roy Frostig2010-07-253-6/+13
|
* Another quick fix from jmuizelaar for that "some ocaml versions dont't ↵Graydon Hoare2010-07-231-1/+1
| | | | notice wrong wildcard count in patterns" bug.
* Improve mutability checking. Closes #118.Graydon Hoare2010-07-232-12/+33
|
* Add test for writing-through-uninit bug (reported on IRC by jrmuizel), plus ↵Graydon Hoare2010-07-231-1/+20
| | | | fix in typestate system.
* Stop using project_lval_ty_from_slot for lval_ty; cover residual un-caught ↵Graydon Hoare2010-07-232-15/+19
| | | | cases in type.ml.
* Widen write mutability check to cover all writing stmts.Graydon Hoare2010-07-231-10/+22
|
* Include all lval-writing statements in stmt_is_init calculation, not just ↵Graydon Hoare2010-07-234-15/+15
| | | | "copy-like". Un-XFAIL generic-tag-alt.rs
* Add pretty-printing for alt-tag statements.Graydon Hoare2010-07-231-1/+32
|
* Rename STMT_init_* to STMT_new_*; former name was confusing.Graydon Hoare2010-07-238-120/+108
|
* Notify copy glue of dst-initialization and fix _vec.alloc issues in lib and ↵Roy Frostig2010-07-222-8/+28
| | | | runtime. Closes #109.
* A certain incomplete quantity of wrestling with "INIT" statements that don't ↵Graydon Hoare2010-07-221-28/+76
| | | | actually initialize. Should probably rename them to MAKE. Anyway, WIP, but two steps forward (and one back). More later.
* Re-classify some err / bug cases as unimpl. Ideally rustboot should never ↵Graydon Hoare2010-07-226-11/+14
| | | | produce a backtrace.
* Source FIXME annotations for issue #81 and a correction to STMT_bind fmt.Roy Frostig2010-07-222-2/+5
|
* Add XFAIL'ed test for return-in-iter, call unimpl when we find it. Closes #100.Graydon Hoare2010-07-221-0/+2
|
* Fix mem op= mem bug in trans.ml (via not terribly good fix). Closes #111.Graydon Hoare2010-07-221-1/+8
|
* Fix simple generic type parameters in LLVM.Jeffrey Yasskin2010-07-232-3/+28
|
* Implement tuple access for LLVM.Jeffrey Yasskin2010-07-231-20/+77
| | | | | | | This involved adding an Ast.ty return to trans_lval. I also included the code for record and box access, but their tests don't completely pass yet.
* Make sure debug locations are propagated to every new block created by makingJeffrey Yasskin2010-07-221-19/+47
| | | | | them an argument to new_block. gdb should do a good job of single-stepping LLVM-compiled rust programs by rust line number now.
* Make bound functions have the right typesPatrick Walton2010-07-201-1/+21
|
* Pick off the last LLVM-crasher from mbx's change.Graydon Hoare2010-07-201-1/+4
|
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-05 14:53:19 +0000