about summary refs log tree commit diff
path: root/src/boot/me
AgeCommit message (Collapse)AuthorLines
2010-08-24Remove obsolete TODO about checking for return statementsPatrick Walton-2/+0
2010-08-24Elide preempt check on thunk and ctor frames. Wins 8kb on rustc.Graydon Hoare-6/+11
2010-08-24Avoid emitting unnecessary frame glue. Wins a couple hundred kb of rustc.Graydon Hoare-33/+74
2010-08-24Avoid iterating ty parts on drop when there are no heap pointers in ty. Wins ↵Graydon Hoare-5/+31
several tens of kb on rustc.
2010-08-24Shrink size of glue calls. Wins a few tens of kb on rustc.Graydon Hoare-6/+2
2010-08-23Merge remote branch 'tohava/master'Graydon Hoare-1/+1
Conflicts: src/boot/fe/ast.ml
2010-08-21Modified parser to handle alt type andadded a few testsOr Brostovski-1/+1
ast.ml - modified arm types for easier polymorphism - fixed a bug in fmt_type_arm dead.ml - modified arm types for easier polymorphism common.ml - added 'either' - added some useful auxiliary functions item.ml - modified arm code to be more polymorphic and handle both alt-tag and alt-type, also fixed the problematic case in bad-alt.rs Makefile - added XFAIL for new alt-type test bad-alt.rs - added test for invalid alt syntax alt-type-simple.rs - added simple test for alt type
2010-08-20Support single-element append on vec, str. Closes #44.Graydon Hoare-8/+74
2010-08-19Fix a bunch of typestate bugs in handling if and while statement wirings.Graydon Hoare-19/+46
2010-08-18Add support for casting native types.Graydon Hoare-7/+10
2010-08-13Evil solution to the problem of importing the same opaque from two different ↵Patrick Walton-1/+1
files. Closes #145.
2010-08-11Increment ref counts of objects sent along channels.Michael Bebenita-2/+11
2010-08-11Change dwarf output on linux to switch from relative to absolute addresses ↵Graydon Hoare-7/+1
based on library-mode-ness, might help fight ASLR-induced confusion.
2010-08-10Always bounce mul/div/mod ops. Closes #131 harder.Graydon Hoare-1/+1
2010-08-10Merge commit 'jyasskin/work'Graydon Hoare-11/+14
Conflicts: src/rt/rust_dom.cpp src/rt/rust_upcall.cpp
2010-08-09Get object's captured typarams when querying for an object method's typarams ↵Roy Frostig-33/+61
in Trans. Together with commit 982dcc29bf6cd41e967a0befe0c6195811cd6a55 this... Closes #138.
2010-08-09Get object's captured typarams when calculating sizes in the backend's ↵Roy Frostig-72/+76
fn-prologue-generation for object methods.
2010-08-09Synthesize a flush_chan upcall right before a channel's ref_count drops to ↵Michael Bebenita-0/+20
zero. This should only happen in the Rust code and not in the drop glue, or on the unwind path. This change allows the task owning the channel to block on a flush and delete its own channel. This change also cleans up some code around rust_port and rust_chan.
2010-08-09Add names to tasks and domains. These can either be an explicit literal stringJeffrey Yasskin-11/+14
after the "spawn" keyword, or implicitly the call expression used to start the spawn.
2010-08-06Added AST logging, and modified AST for consistent handling of alt stmts.Or Brostovski-1/+2
- 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
2010-08-05Degrade emitter size cache to just a flat hashtable with regular flushes ↵Graydon Hoare-25/+35
(sigh) and re-introduce horrible bounce-off-spill hack for DIV, MUL, etc.
2010-08-05Something is wrong with the emitter size cache; disable for now, possibly ↵Graydon Hoare-1/+3
put out flaming tinderboxes.
2010-08-05Move 'as' precedence up to just above relational; support indexing str and ↵Graydon Hoare-5/+7
vec by all integral types. Closes #94.
2010-08-04Thread argument-types down to internal_check_outer_lval in type.ml, in ↵Graydon Hoare-9/+16
preparation for trying to infer type params from call args.
2010-08-04Kill the preallocator, install a sane replacement. Closes #131. And probably ↵Graydon Hoare-2/+1
a lot of others.
2010-08-03Avoid mem cmp mem in trans even though it's an X86ism becase we don't always ↵Roy Frostig-1/+11
catch it later on.
2010-07-28Get slots in trans_tag using Semant tables. Closes #133.Roy Frostig-5/+10
2010-07-28Test the deque a bit. Give it a get-by-index method. Fix two uncovered ↵Roy Frostig-6/+32
state-calculation bugs --- one decently, the other with an ugly hack. Bug on the latter coming right up.
2010-07-27Switch machine-type lexemes to use suffixes. Remove support for foo(bar) as ↵Graydon Hoare-5/+5
a cast notation. Closes #129.
2010-07-27Distill semantics of use-def maps to fewer and more-obvious words.Graydon Hoare-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.
2010-07-26Fix numerous non-linearities and O(sizeof(crate)) issues in typestate ↵Graydon Hoare-126/+340
system's dataflow algorithm. No longer substantial in profile.
2010-07-26Note the typestate dataflow timing. The culprit is revealed.Graydon Hoare-1/+2
2010-07-26Change ctxt_crate_main to an Ast.name.Graydon Hoare-8/+7
2010-07-26Do some more iflog-guarding.Graydon Hoare-23/+51
2010-07-25Don't write to NULL after calling C natives returning void.Roy Frostig-2/+6
2010-07-23Another quick fix from jmuizelaar for that "some ocaml versions dont't ↵Graydon Hoare-1/+1
notice wrong wildcard count in patterns" bug.
2010-07-23Improve mutability checking. Closes #118.Graydon Hoare-12/+33
2010-07-23Add test for writing-through-uninit bug (reported on IRC by jrmuizel), plus ↵Graydon Hoare-1/+20
fix in typestate system.
2010-07-23Stop using project_lval_ty_from_slot for lval_ty; cover residual un-caught ↵Graydon Hoare-15/+19
cases in type.ml.
2010-07-23Widen write mutability check to cover all writing stmts.Graydon Hoare-10/+22
2010-07-23Include all lval-writing statements in stmt_is_init calculation, not just ↵Graydon Hoare-15/+15
"copy-like". Un-XFAIL generic-tag-alt.rs
2010-07-23Rename STMT_init_* to STMT_new_*; former name was confusing.Graydon Hoare-94/+82
2010-07-22Notify copy glue of dst-initialization and fix _vec.alloc issues in lib and ↵Roy Frostig-6/+25
runtime. Closes #109.
2010-07-22A certain incomplete quantity of wrestling with "INIT" statements that don't ↵Graydon Hoare-28/+76
actually initialize. Should probably rename them to MAKE. Anyway, WIP, but two steps forward (and one back). More later.
2010-07-22Re-classify some err / bug cases as unimpl. Ideally rustboot should never ↵Graydon Hoare-6/+7
produce a backtrace.
2010-07-22Source FIXME annotations for issue #81 and a correction to STMT_bind fmt.Roy Frostig-1/+4
2010-07-22Add XFAIL'ed test for return-in-iter, call unimpl when we find it. Closes #100.Graydon Hoare-0/+2
2010-07-22Fix mem op= mem bug in trans.ml (via not terribly good fix). Closes #111.Graydon Hoare-1/+8
2010-07-20Make bound functions have the right typesPatrick Walton-1/+21
2010-07-20Tidy up handling of unimplemented features. These are expected (if ↵Graydon Hoare-24/+11
undesirable) sorts of error, we should handle better than "backtrace and exit 2".
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-07-02 15:55:42 +0000