aboutsummaryrefslogtreecommitdiff
path: root/src/boot
Commit message (Collapse)AuthorAgeFilesLines
* Add support for casting native types.Graydon Hoare2010-08-182-7/+10
|
* Add support for a reserved-words list and reserve the various ↵Graydon Hoare2010-08-171-15/+72
| | | | not-supported-but-plausible IEEE datatypes.
* Absent any deep overhauls to syntax or constant-handling, hack in the ↵Graydon Hoare2010-08-163-19/+43
| | | | ability to project a cexp var binding to a token in the parser. Use it in comp/rustc.rc and comp/lib/llvm.rs.
* Evil solution to the problem of importing the same opaque from two different ↵Patrick Walton2010-08-131-1/+1
| | | | files. Closes #145.
* Zero LMA/VMA of debug sections in elf. Closes #148.Graydon Hoare2010-08-121-105/+42
|
* Fix max_sz bug that ended up causing us to index incorrectly into a vec of ↵Roy Frostig2010-08-121-1/+1
| | | | tag types. Add a testcase.
* Kill old parser support for type-parametric modules. We don't support those.Graydon Hoare2010-08-121-2/+2
|
* Some ELF correctness issues, but apparently none enough to placate gdb.Graydon Hoare2010-08-111-25/+50
|
* Increment ref counts of objects sent along channels.Michael Bebenita2010-08-111-2/+11
|
* Change dwarf output on linux to switch from relative to absolute addresses ↵Graydon Hoare2010-08-111-7/+1
| | | | based on library-mode-ness, might help fight ASLR-induced confusion.
* Put out burning tinderbox on OSX.Graydon Hoare2010-08-101-8/+19
|
* Always bounce mul/div/mod ops. Closes #131 harder.Graydon Hoare2010-08-102-24/+7
|
* Merge commit 'tohava/master'Graydon Hoare2010-08-101-20/+56
|\ | | | | | | | | Conflicts: src/boot/fe/ast.ml
| * Added AST pretty printing for communication alt statement, closes issue 19.Or Brostovski2010-08-071-4/+38
| |
| * Added forgotten handling for alt_type_else, and also for stmt_noteTohava2010-08-061-10/+26
| |
| * Added AST pretty printing for slice expressionTohava2010-08-061-1/+28
| |
| * Merge branch 'master' of git://github.com/graydon/rustTohava2010-08-052-45/+102
| |\
| * | Added AST logging, and modified AST for consistent handling of alt stmts.Tohava2010-08-052-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
* | | Merge commit 'jyasskin/work'Graydon Hoare2010-08-109-18/+41
|\ \ \ | | | | | | | | | | | | | | | | | | | | Conflicts: src/rt/rust_dom.cpp src/rt/rust_upcall.cpp
| * | | Add names to tasks and domains. These can either be an explicit literal stringJeffrey Yasskin2010-08-099-18/+41
| | | | | | | | | | | | | | | | | | | | after the "spawn" keyword, or implicitly the call expression used to start the spawn.
* | | | Get object's captured typarams when querying for an object method's typarams ↵Roy Frostig2010-08-091-33/+61
| | | | | | | | | | | | | | | | in Trans. Together with commit 982dcc29bf6cd41e967a0befe0c6195811cd6a55 this... Closes #138.
* | | | Get object's captured typarams when calculating sizes in the backend's ↵Roy Frostig2010-08-097-80/+139
| | | | | | | | | | | | | | | | fn-prologue-generation for object methods.
* | | | Synthesize a flush_chan upcall right before a channel's ref_count drops to ↵Michael Bebenita2010-08-091-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.
* | | | 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
|