aboutsummaryrefslogtreecommitdiff
path: root/src/comp/middle/trans.rs
Commit message (Collapse)AuthorAgeFilesLines
...
* Tidy up structural types for rec, tup AST and typeck nodes.Graydon Hoare2010-11-301-11/+11
|
* Finish support for typechecking and translating records. Un-XFAIL rec.rs.Graydon Hoare2010-11-301-0/+34
|
* rustc: Implement the block syntax discussed on the mailing listPatrick Walton2010-11-291-0/+13
|
* Change mutability into a type constructor.Graydon Hoare2010-11-291-4/+4
|
* Change from bool to tag ast.mutability.Graydon Hoare2010-11-291-4/+4
|
* Copy args to allocas, change llargs lookups to 'in mem'. Un-XFAIL tup.rs.Graydon Hoare2010-11-261-4/+35
|
* Load structural values through pointer before passing structs as args.Graydon Hoare2010-11-261-18/+22
|
* Pass exprs by @, always treat structural types by pointer, move path and ↵Graydon Hoare2010-11-261-88/+98
| | | | name into trans_lval.
* Avoid segfault due to fallthrough in base case of incr_all_refcounts. We ↵Graydon Hoare2010-11-261-0/+1
| | | | could use a typestate checker in rustc, any time now.
* Declare the memcpy intrinsics properly.Graydon Hoare2010-11-261-13/+19
|
* Return memcpy src rather than falling through and failing.Graydon Hoare2010-11-251-0/+1
|
* Cast memcpy args to correct types.Graydon Hoare2010-11-251-3/+7
|
* Add lookup checks and intrinsics table to trans.Graydon Hoare2010-11-251-5/+22
|
* Translate field expressions.Graydon Hoare2010-11-251-0/+21
|
* Translate tuple-expressions.Graydon Hoare2010-11-241-0/+23
|
* Sketch out type-directed structural drop and copy, including vector types.Graydon Hoare2010-11-241-28/+196
|
* move expr_call translation into helper function.Graydon Hoare2010-11-241-8/+12
|
* Move expr_cast translation into helper function.Graydon Hoare2010-11-241-28/+32
|
* rustc: Parse type-parametric functionsPatrick Walton2010-11-241-2/+3
|
* Support mach types in rustc, enable 5 more tests.Graydon Hoare2010-11-221-0/+21
|
* Check and translate 'as' cast-operator, lower target-specific types, ↵Graydon Hoare2010-11-221-2/+50
| | | | 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.
* More typeck hacking, check if and call exprs, enable fact and deep tests.Graydon Hoare2010-11-211-38/+38
|
* 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
|
* 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-191-48/+48
|
* 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-101-3/+3
| | | | 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
|
* Move the option type to its own modulePatrick Walton2010-11-051-5/+5
|
* Revert "Move the option type to its own module"Patrick Walton2010-11-051-2/+2
|
* Move the option type to its own modulePatrick Walton2010-11-051-2/+2
|
* Fix buggy while and do-while translation in rustc. Add test.Graydon Hoare2010-11-041-11/+18
|
* Support while and do-while loops in rustc.Graydon Hoare2010-11-031-0/+36
|
* 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
|