about summary refs log tree commit diff
path: root/src/comp/middle
AgeCommit message (Collapse)AuthorLines
2010-11-26Pass exprs by @, always treat structural types by pointer, move path and ↵Graydon Hoare-88/+98
name into trans_lval.
2010-11-26Avoid segfault due to fallthrough in base case of incr_all_refcounts. We ↵Graydon Hoare-0/+1
could use a typestate checker in rustc, any time now.
2010-11-26Declare the memcpy intrinsics properly.Graydon Hoare-13/+19
2010-11-25Return memcpy src rather than falling through and failing.Graydon Hoare-0/+1
2010-11-25Cast memcpy args to correct types.Graydon Hoare-3/+7
2010-11-25Add lookup checks and intrinsics table to trans.Graydon Hoare-5/+24
2010-11-25Add missed case to typeck.ast_ty_to_ty, plus faux exhaustiveness check.Graydon Hoare-0/+11
2010-11-25Fix typo in numeric-label-parsing loop.Graydon Hoare-4/+11
2010-11-25Translate field expressions.Graydon Hoare-0/+21
2010-11-25Typecheck field expressions.Graydon Hoare-1/+48
2010-11-25Typecheck tup expressions.Graydon Hoare-0/+15
2010-11-24Translate tuple-expressions.Graydon Hoare-0/+23
2010-11-24rustc: Parse type-parametric typedefsPatrick Walton-11/+13
2010-11-24rustc: Parse type-parametric tagsPatrick Walton-4/+7
2010-11-24Sketch out type-directed structural drop and copy, including vector types.Graydon Hoare-28/+227
2010-11-24move expr_call translation into helper function.Graydon Hoare-8/+12
2010-11-24Move expr_cast translation into helper function.Graydon Hoare-28/+32
2010-11-24rustc: Parse type-parametric functionsPatrick Walton-15/+26
2010-11-24rustc: Add patterns to foldPatrick Walton-0/+83
2010-11-24rustc: Parse tag items. Currently segfaults in copy glue.Patrick Walton-0/+23
2010-11-23rustc: Typecheck whiles and do-whiles. Add a workaround to complex.rs ↵Patrick Walton-0/+21
pending a solution to the one-armed-if problem.
2010-11-23rustc: As an experiment, swap the expected/actual types when checking ↵Patrick Walton-2/+2
function arguments. Produces better diagnostics for arg-type-mismatch.rs.
2010-11-22Remove warning about non-void expr stmts.Graydon Hoare-6/+0
2010-11-22Support mach types in rustc, enable 5 more tests.Graydon Hoare-0/+24
2010-11-22rustc: "Expected" and "actual" were swapped. Also un-XFAIL ↵Patrick Walton-16/+16
compile-fail/arg-count-mismatch.rs for good measure.
2010-11-22Remove the global bindings table in the typecheckerPatrick Walton-99/+304
2010-11-22Check and translate 'as' cast-operator, lower target-specific types, ↵Graydon Hoare-2/+105
reindent rustc.rs, enable uint test.
2010-11-22Fix type disagreements in lowering typeck.ty to llvm TypeRefs, enable ↵Graydon Hoare-10/+10
complex.rs test.
2010-11-22Check for structural equality rather than structural-and-cname equality.Graydon Hoare-1/+1
2010-11-22Resolve the easy case of type paths.Graydon Hoare-0/+35
2010-11-21More typeck hacking, check if and call exprs, enable fact and deep tests.Graydon Hoare-146/+238
2010-11-21Typecheck assignment exprs, redo decl checking, propagate ty_vars. Enable ↵Graydon Hoare-53/+96
another test.
2010-11-20Typecheck binary, unary and name expressions. Re-enable 3 more tests.Graydon Hoare-5/+52
2010-11-20Fix bug in llvm type signature of function items; enable three more tests.Graydon Hoare-1/+1
2010-11-20Remove dead code.Graydon Hoare-13/+0
2010-11-20Add helper function to double-check non-null types.Graydon Hoare-0/+6
2010-11-19Clean up typechecker file, disable all tests that fail under typechecker.Graydon Hoare-7/+14
2010-11-19Translate typeck.ty_fn to a TypeRef. Can compile int.rs test now.Graydon Hoare-0/+13
2010-11-19rustc: First stab at a typecheckerPatrick Walton-48/+905
2010-11-14Switch upcall glues to fastcall as well.Graydon Hoare-7/+4
2010-11-14Remove outptr from module-internal calls; use standard ABI returns.Graydon Hoare-37/+24
2010-11-14Switch module-internal calls (i.e. all user code) to fastcall. Still ↵Graydon Hoare-4/+16
returning via explicit outptr. Activate glue works by accident.
2010-11-14Support emitting trap instructions for debugging.Graydon Hoare-0/+7
2010-11-14Correct infinite-loop, block-context mismatches in early cleanups.Graydon Hoare-7/+8
2010-11-12Move phi-node generation into a helper that measures the liveness of each ↵Graydon Hoare-43/+64
incoming edge. Factorial test now succeeds.
2010-11-12Load outptr alloca as retval; function call/return now works in rustc.Graydon Hoare-1/+5
2010-11-12Stop translating a block when a sub-statement terminates the llvm bb.Graydon Hoare-0/+5
2010-11-10rustc: Add an annotation to function and type items so that the typechecker ↵Patrick Walton-18/+18
can store types with them
2010-11-10Redo the scheme for block context chaining and termination, to simplify and ↵Graydon Hoare-69/+87
support ret better.
2010-11-09Teach rustc about const tag value, begin work on trans_copy_ty, make uint's ↵Graydon Hoare-6/+72
to_str routine less clever and thereby resist overflow.
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-11-07 10:48:08 +0000