| Commit message (Collapse) | Author | Age | Files | Lines | ||
|---|---|---|---|---|---|---|
| ... | ||||||
| * | Fix busted texi from last night. | Graydon Hoare | 2011-04-13 | 1 | -0/+2 | |
| | | ||||||
| * | typestate_check can now handle expr_block, expr_if, and expr_binary | Tim Chevalier | 2011-04-12 | 6 | -161/+358 | |
| | | | | | | | | | | | | | | | | | (caveat for the latter: it assumes that binary operations are strict; a TODO is to detect or and and and correctly reflect that they're lazy in the second argument). I had to add an ann field to ast.block, resulting in the usual boilerplate changes. Test cases that currently work (if you uncomment the typestate pass in the driver) (all these are under test/compile-fail): fru-typestate ret-uninit use-uninit use-uninit-2 use-uninit-3 | |||||
| * | Finish the majority of statement -> expression rearrangement in manual. | Graydon Hoare | 2011-04-12 | 1 | -350/+411 | |
| | | ||||||
| * | rustc: Switch to indices for type parameters | Patrick Walton | 2011-04-12 | 9 | -382/+255 | |
| | | ||||||
| * | rustc: Add "float" as a type to the pretty printer | Patrick Walton | 2011-04-12 | 1 | -0/+1 | |
| | | ||||||
| * | Further work on typestate. Handles expr_rec and expr_assign now. | Tim Chevalier | 2011-04-12 | 8 | -252/+548 | |
| | | | | | | | | | | | | | Also changed the ts_ann field on statements to be an ann instead, which explains most of the changes. As well, got rid of the "warning: no type for expression" error by filling in annotations for local decls in typeck (not sure whether this was my fault or not). Finally, in bitv, added a clone() function to copy a bit vector, and fixed is_true, is_false, and to_str to not be nonsense. | |||||
| * | Add LLVMAddLoopIdiomPass. | Rafael Ávila de Espíndola | 2011-04-12 | 1 | -0/+1 | |
| | | ||||||
| * | Add LLVMAddCorrelatedValuePropagationPass. | Rafael Ávila de Espíndola | 2011-04-12 | 1 | -0/+1 | |
| | | ||||||
| * | Add LLVMAddScalarReplAggregatesPassSSA. | Rafael Ávila de Espíndola | 2011-04-12 | 1 | -0/+1 | |
| | | ||||||
| * | Un-XFAIL generic-tag-corruption.rs. | Graydon Hoare | 2011-04-12 | 1 | -2/+0 | |
| | | ||||||
| * | Make glue always pass-by-alias and rename "scalar_or_boxed" concept to ↵ | Graydon Hoare | 2011-04-12 | 1 | -48/+73 | |
| | | | | | "immediate" | |||||
| * | Tighten up condition on use of opaque_tag, remove blunt hammer of alias ↵ | Graydon Hoare | 2011-04-12 | 1 | -5/+20 | |
| | | | | | arg-casting in trans_args. | |||||
| * | Add LLVMAddEarlyCSEPass to the .def file. | Rafael Ávila de Espíndola | 2011-04-12 | 1 | -0/+1 | |
| | | ||||||
| * | Enable more optimizations. | Rafael Ávila de Espíndola | 2011-04-12 | 2 | -9/+10 | |
| | | ||||||
| * | Factor out creation of calls into ExtFmt.RT | Brian Anderson | 2011-04-11 | 2 | -16/+16 | |
| | | ||||||
| * | Add support for bool, char to extfmt. | Brian Anderson | 2011-04-11 | 3 | -3/+32 | |
| | | | | | XFAIL syntax-extension-fmt in rustboot. | |||||
| * | Move ExtFmt compile-time functions into their own module | Brian Anderson | 2011-04-11 | 2 | -171/+174 | |
| | | ||||||
| * | Use correct indentation for ExtFmt.rs | Brian Anderson | 2011-04-11 | 1 | -6/+15 | |
| | | ||||||
| * | Make ExtFmt call its own functions instead of others defined in std | Brian Anderson | 2011-04-11 | 2 | -6/+15 | |
| | | ||||||
| * | Move extfmt parsing into standard library | Brian Anderson | 2011-04-11 | 2 | -210/+214 | |
| | | ||||||
| * | Move the extfmt data model into the standard library. | Brian Anderson | 2011-04-11 | 3 | -48/+78 | |
| | | ||||||
| * | rustc: Add a uint hash function | Patrick Walton | 2011-04-11 | 1 | -0/+8 | |
| | | ||||||
| * | rustc: Factor out expr_ty() into expr_ann() and expr_ty() | Patrick Walton | 2011-04-11 | 1 | -38/+45 | |
| | | ||||||
| * | Add new minimal testcase showing generic tag memory corruption. | Graydon Hoare | 2011-04-11 | 1 | -0/+6 | |
| | | ||||||
| * | Add a hack to force the linker to fetch Object.o | Rafael Ávila de Espíndola | 2011-04-11 | 1 | -0/+2 | |
| | | ||||||
| * | Implement the "attempted dynamic environment-capture" error in rustc. | Rafael Ávila de Espíndola | 2011-04-11 | 5 | -0/+151 | |
| | | ||||||
| * | Try to fix the windows build. | Rafael Ávila de Espíndola | 2011-04-11 | 1 | -0/+3 | |
| | | ||||||
| * | Make sure RustWrapper.cpp is linked in. | Rafael Ávila de Espíndola | 2011-04-11 | 1 | -16/+20 | |
| | | ||||||
| * | Un-XFAIL expr-block-fn.rs | Brian Anderson | 2011-04-10 | 1 | -1/+0 | |
| | | | | | It mysteriously works now. | |||||
| * | rustc: Push down types for all expressions; add logic for recv and send | Patrick Walton | 2011-04-08 | 2 | -2/+26 | |
| | | ||||||
| * | Remove silly legacy glue-offset encoding, predicate runtime adjustments by ↵ | Graydon Hoare | 2011-04-09 | 3 | -54/+38 | |
| | | | | | ABI. LLVM should inline most glue now. | |||||
| * | Actually disable optimize in --disable-optimize case, duh. | Graydon Hoare | 2011-04-08 | 1 | -1/+2 | |
| | | ||||||
| * | Fix codemap.lookup_pos | Marijn Haverbeke | 2011-04-09 | 1 | -15/+12 | |
| | | | | | | Previously, it would place every single location in the first file of the crate that was parsed. | |||||
| * | rustc: Rename "demand" to "pushdown" in the typechecker and explain more ↵ | Patrick Walton | 2011-04-08 | 1 | -376/+409 | |
| | | | | | clearly what it's for | |||||
| * | Move to single-uint file-position representation. | Marijn Haverbeke | 2011-04-09 | 11 | -351/+413 | |
| | | | | | | | | | This makes passing them around cheaper. There is now a table (see front/codemap.rs) that is needed to transform such an uint into an actual filename/line/col location. Also cleans up the span building in the parser a bit. | |||||
| * | Make lexer buffer the whole file | Marijn Haverbeke | 2011-04-09 | 2 | -59/+74 | |
| | | | | | | This way, it won't have to go through a bunch of calls for each byte fetched. | |||||
| * | Add support for --disable-optimize | Graydon Hoare | 2011-04-08 | 2 | -1/+6 | |
| | | ||||||
| * | rustc: Resolve ty_locals | Patrick Walton | 2011-04-08 | 1 | -3/+32 | |
| | | ||||||
| * | rustc: Add the ability to fold over annotations | Patrick Walton | 2011-04-08 | 1 | -36/+83 | |
| | | ||||||
| * | Remove unused function. | Rafael Ávila de Espíndola | 2011-04-08 | 1 | -17/+0 | |
| | | ||||||
| * | Remove unused function. | Rafael Ávila de Espíndola | 2011-04-08 | 1 | -12/+0 | |
| | | ||||||
| * | Link with -lm now that it is not included with --whole-archive when | Rafael Ávila de Espíndola | 2011-04-08 | 1 | -3/+3 | |
| | | | | | building rustllvm. | |||||
| * | Gold is more strict about --whole-archive and will report duplicated | Rafael Ávila de Espíndola | 2011-04-08 | 1 | -4/+13 | |
| | | | | | | | | | symbols because of an Object.o in a .a and one outside. A similar problem happens for the non-shared part of libpthread. This patch moves the -whole-archive/-no-whole-archive to include just the llvm libs. | |||||
| * | fix long lines | Tim Chevalier | 2011-04-08 | 1 | -36/+30 | |
| | | ||||||
| * | Implemented computing prestates and poststates for a few expression forms. | Tim Chevalier | 2011-04-08 | 5 | -64/+268 | |
| | | | | | | The typestate checker (if it's uncommented) now correctly rejects a trivial example program that has an uninitialized variable. | |||||
| * | Disable effect checking in rustboot | Marijn Haverbeke | 2011-04-08 | 7 | -55/+5 | |
| | | ||||||
| * | Avoid some gotchas with logging macros | Brian Anderson | 2011-04-07 | 2 | -15/+25 | |
| | | | | | | I think this is sufficient to eliminate multiple evaluation and the possibility of accidental miscompilation from the logging macros. | |||||
| * | Add a test case for calling generic functions taking alias args with box types | Brian Anderson | 2011-04-07 | 1 | -0/+13 | |
| | | ||||||
| * | Add an XFAILed test for blocks that result in functions | Brian Anderson | 2011-04-07 | 1 | -0/+15 | |
| | | ||||||
| * | Make block results work for generic types | Brian Anderson | 2011-04-07 | 10 | -54/+191 | |
| | | | | | | | | I think just about every type can be used as a block result now. There's quite a proliferation of tests here, but they all test slightly different things and some are split out to remain XFAILed. The tests of generic vectors are still XFAILed because generic aliased boxes still don't work in general. | |||||