about summary refs log tree commit diff
path: root/src/comp/middle
AgeCommit message (Collapse)AuthorLines
2011-03-02rustc: Use llsize_of rather than size_of in trans_malloc_without_cleanup(). ↵Patrick Walton-2/+2
Should put out burning tinderbox...
2011-03-02rustc: Have make_generic_glue pass an opaque type instead of an incorrect ↵Patrick Walton-1/+3
type in the case of dynamically sized types
2011-03-02rustc: Remove unused call to type_of() in trans_tup()Patrick Walton-1/+0
2011-03-02rustc: Rework the API for trans_malloc() to be generic-aware and so that ↵Patrick Walton-12/+19
clients don't need to call trans_malloc_inner()
2011-03-02Sketch out some more pieces of vec-append.Graydon Hoare-13/+129
2011-03-02rustc: Teach iter_structural_ty about dynamically-sized tuples and recordsPatrick Walton-4/+8
2011-03-02rustc: For derived tydescs, explicitly store 0 for size and align when the ↵Patrick Walton-3/+15
type in question has a dynamic size
2011-03-02rustc: Don't have type_of_arg() rely on the particular lie told by type_of()Patrick Walton-3/+14
2011-03-02Make the expanded expression in expr_ext not optionalBrian Anderson-9/+7
2011-03-02Parse parameter types for fmt extensionBrian Anderson-4/+0
2011-03-02Add fold, typecheck and trans for expr_extBrian Anderson-0/+47
2011-03-01Parse (and ignore) dtors on objs.Graydon Hoare-5/+14
2011-03-01rustc: Remove the static "size" field from the tag infoPatrick Walton-13/+3
2011-03-01rustc: Add in the size of the discriminant to generic_size_of() for tagsPatrick Walton-1/+3
2011-03-01rustc: Add logic for generic tags to dynamic_size_of().Patrick Walton-3/+32
2011-03-01rustc: Factor out the align-elements logic in dynamic_size_of()Patrick Walton-34/+29
2011-03-01Implement structured compare for rec, tup, tag. Un-XFAIL structured-compare.rs.Graydon Hoare-21/+55
2011-03-01rustc: Switch from storing nullary tags as constants to storing their ↵Patrick Walton-22/+31
discriminants
2011-02-28rustc: Mark tags that have subtypes with dynamic size as dynamicPatrick Walton-0/+7
2011-02-28rustc: Trivial cleanup: Remove unused "arity" tagPatrick Walton-1/+0
2011-02-28More complete sketch of structural compare. Still not quite working.Graydon Hoare-38/+115
2011-02-28Groundwork for structural comparison. Still lacking the actual loop that ↵Graydon Hoare-24/+97
does it.
2011-02-28rustc: Write tag variant discriminants into the crate as integer constantsPatrick Walton-1/+15
2011-02-28Declare wrappers to the native functions and use those to createRafael Ávila de Espíndola-4/+28
the fn/closure pairs. Disable native2.rs for now as we are not yet defining the wrappers and it fails to link.
2011-02-28Update the function declarations with rust abi. A cdeclRafael Ávila de Espíndola-1/+12
fn write(int fd, rustrt.vbuf buf, uint count) -> int; compiles to declare i32 @write(i32, i8*, i32) and a rust fn vec_buf[T](vec[T] v, uint offset) -> vbuf; compiles to declare i8* @vec_buf(%task*, %tydesc*, %"vec[<P0:2>]", i32) which I think is the correct declaration for both :-)
2011-02-25rustc: Make the tag info table keyed by both tag ID and type parameter. Also ↵Patrick Walton-14/+24
fix a bug that was causing all tags to compare equal.
2011-02-25rustc: Eliminate the "ty_params" field from the tag infoPatrick Walton-6/+14
2011-02-25rustc: Eliminate the "variants" field from the tag infoPatrick Walton-37/+22
2011-02-25rustc: Make iter_structural_ty() not use the "variants" field in the tag infoPatrick Walton-62/+42
2011-02-25Add a tag_variant_count() function to trans that doesn't go through the ↵Patrick Walton-1/+14
soon-to-be-deprecated tag info table
2011-02-25rustc: Move all of the logic in type_of() to type_of_inner()Patrick Walton-38/+40
2011-02-25Revert "rustc: Push type parameters down through alt tag patterns; add a ↵Patrick Walton-49/+11
test" due to valgrind failures This reverts commit 7a1d01effcfa5763bc62aefba40f67ad2130d28d.
2011-02-25rustc: Remove FIXME obsoleted by the previous commitPatrick Walton-5/+0
2011-02-25rustc: Push type parameters down through alt tag patterns; add a testPatrick Walton-6/+49
2011-02-25Pass the abi of native functions all the way to codegen.Rafael Ávila de Espíndola-30/+49
2011-02-25There are no native iterators (or at least they are not going to be supportedRafael Ávila de Espíndola-17/+21
soon.).
2011-02-24rustc: Perform type parameter substitutions when emitting glue for generic ↵Patrick Walton-31/+56
tags. Un-XFAIL generic-tag.rs.
2011-02-24Cast more aggressively to the callee type when calling generic functions. ↵Patrick Walton-3/+9
Add a test-case for this, and XFAIL it in rustboot.
2011-02-24Revert "Cast more aggressively to the callee type when calling generic ↵Patrick Walton-3/+3
functions. Add a test-case for this, and XFAIL it in rustboot." due to test failures This reverts commit 0a65283c5eeae0b98fff7d213dbaad59889e677e.
2011-02-24Cast more aggressively to the callee type when calling generic functions. ↵Patrick Walton-3/+3
Add a test-case for this, and XFAIL it in rustboot.
2011-02-23Implement type descriptor binding. Un-XFAIL test/run-pass/generic-bind.rs.Patrick Walton-19/+99
2011-02-23Parse the abi in native modules.Rafael Ávila de Espíndola-0/+1
2011-02-23Handle the new ty_native_fn in type check.Rafael Ávila de Espíndola-25/+96
2011-02-22rustc: Perform explicit type substitution as requested by the programmerPatrick Walton-0/+66
2011-02-22Drop for-loop temporary at end of scope, fixes memory leak.Graydon Hoare-0/+1
2011-02-22Add ABI tagging to crates, adjust rustc output and runtime stack-frame setup ↵Graydon Hoare-4/+9
so access to argv works.
2011-02-22Rework typechecking of bind expressionsPatrick Walton-36/+29
2011-02-22Finish the type of native functions. We now getRafael Ávila de Espíndola-2/+2
declare i32 @write(i32, i8*, i32)
2011-02-21Find main functions buried within modules. Un-XFAIL import.rs.Graydon Hoare-2/+25
2011-02-18Implement expr_put. Un-XFAIL foreach-simple.rs; iters w/o env access work.Graydon Hoare-2/+29