aboutsummaryrefslogtreecommitdiff
path: root/src/comp/middle
Commit message (Collapse)AuthorAgeFilesLines
...
* Support mach types in rustc, enable 5 more tests.Graydon Hoare2010-11-222-0/+24
|
* rustc: "Expected" and "actual" were swapped. Also un-XFAIL ↵Patrick Walton2010-11-221-16/+16
| | | | compile-fail/arg-count-mismatch.rs for good measure.
* Remove the global bindings table in the typecheckerPatrick Walton2010-11-221-99/+304
|
* Check and translate 'as' cast-operator, lower target-specific types, ↵Graydon Hoare2010-11-222-2/+105
| | | | reindent rustc.rs, enable uint test.
* Fix type disagreements in lowering typeck.ty to llvm TypeRefs, enable ↵Graydon Hoare2010-11-221-10/+10
| | | | complex.rs test.
* Check for structural equality rather than structural-and-cname equality.Graydon Hoare2010-11-221-1/+1
|
* Resolve the easy case of type paths.Graydon Hoare2010-11-221-0/+35
|
* More typeck hacking, check if and call exprs, enable fact and deep tests.Graydon Hoare2010-11-212-146/+238
|
* Typecheck assignment exprs, redo decl checking, propagate ty_vars. Enable ↵Graydon Hoare2010-11-211-53/+96
| | | | another test.
* Typecheck binary, unary and name expressions. Re-enable 3 more tests.Graydon Hoare2010-11-201-5/+52
|
* Fix bug in llvm type signature of function items; enable three more tests.Graydon Hoare2010-11-201-1/+1
|
* Remove dead code.Graydon Hoare2010-11-201-13/+0
|
* Add helper function to double-check non-null types.Graydon Hoare2010-11-201-0/+6
|
* Clean up typechecker file, disable all tests that fail under typechecker.Graydon Hoare2010-11-191-7/+14
|
* Translate typeck.ty_fn to a TypeRef. Can compile int.rs test now.Graydon Hoare2010-11-191-0/+13
|
* rustc: First stab at a typecheckerPatrick Walton2010-11-192-48/+905
|
* Switch upcall glues to fastcall as well.Graydon Hoare2010-11-141-7/+4
|
* Remove outptr from module-internal calls; use standard ABI returns.Graydon Hoare2010-11-141-37/+24
|
* Switch module-internal calls (i.e. all user code) to fastcall. Still ↵Graydon Hoare2010-11-141-4/+16
| | | | returning via explicit outptr. Activate glue works by accident.
* Support emitting trap instructions for debugging.Graydon Hoare2010-11-141-0/+7
|
* Correct infinite-loop, block-context mismatches in early cleanups.Graydon Hoare2010-11-141-7/+8
|
* Move phi-node generation into a helper that measures the liveness of each ↵Graydon Hoare2010-11-121-43/+64
| | | | incoming edge. Factorial test now succeeds.
* Load outptr alloca as retval; function call/return now works in rustc.Graydon Hoare2010-11-121-1/+5
|
* Stop translating a block when a sub-statement terminates the llvm bb.Graydon Hoare2010-11-121-0/+5
|
* rustc: Add an annotation to function and type items so that the typechecker ↵Patrick Walton2010-11-103-18/+18
| | | | can store types with them
* Redo the scheme for block context chaining and termination, to simplify and ↵Graydon Hoare2010-11-101-69/+87
| | | | support ret better.
* Teach rustc about const tag value, begin work on trans_copy_ty, make uint's ↵Graydon Hoare2010-11-091-6/+72
| | | | to_str routine less clever and thereby resist overflow.
* Translate ast.box unary expressions and support extraction of TypeRefs from ↵Graydon Hoare2010-11-051-3/+25
| | | | AST annotations.
* Emit WinMain@16 entrypoint on windows.Graydon Hoare2010-11-051-1/+8
|
* Fix two incorrect block-context uses in rustc.Graydon Hoare2010-11-051-2/+2
|
* Teach rustc to generate type descriptors.Graydon Hoare2010-11-051-0/+13
|
* rustc: Implement function typesPatrick Walton2010-11-051-1/+16
|
* Move the option type to its own modulePatrick Walton2010-11-053-25/+25
|
* Revert "Move the option type to its own module"Patrick Walton2010-11-053-6/+6
|
* Move the option type to its own modulePatrick Walton2010-11-053-6/+6
|
* Fix buggy while and do-while translation in rustc. Add test.Graydon Hoare2010-11-041-11/+18
|
* rustc: Use an extensible annotation field instead of putting option[@ty] ↵Patrick Walton2010-11-032-50/+49
| | | | everywhere
* Support while and do-while loops in rustc.Graydon Hoare2010-11-032-0/+71
|
* Split out stratum-checking pass, implement more-strict (overly aggressive) ↵Graydon Hoare2010-11-021-16/+16
| | | | impure-effect checking.
* Long line police.Graydon Hoare2010-10-221-3/+5
|
* Pass outptr as in rustboot. Probably need to revisit this ABI. Also ↵Graydon Hoare2010-10-221-5/+18
| | | | disgusting hack employed. Please remove.
* Collect all fns first so decl order doesn't matter to translation.Graydon Hoare2010-10-221-13/+41
|
* Extremely broken hacked-up incorrect attempt at 'ret'.Graydon Hoare2010-10-221-0/+20
|
* Implement check-exprs, un-xfail 5 rustc tests.Graydon Hoare2010-10-223-2/+40
|
* Add makefile bits to run rustc on the testsuite as part of 'make check'. ↵Graydon Hoare2010-10-221-11/+0
| | | | Mostly xfailed.
* Give rustc the beginnings of an option-processing loop (at least -nowarn, -h ↵Graydon Hoare2010-10-221-2/+2
| | | | and -o).
* Add support for passing args to fns in rustc.Graydon Hoare2010-10-211-18/+49
|
* Support basic function calls in rustc.Graydon Hoare2010-10-211-8/+39
|
* Translate lazy && and || operators in rustc.Graydon Hoare2010-10-191-7/+58
|
* Parse and translate assignments.Graydon Hoare2010-10-191-17/+35
|