mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
1,029 Commits 2 Branches 0 Tags
Commit Graph

114 Commits

Author SHA1 Message Date
Graydon Hoare
264de9c7fc Fix structure-returns. 2010-12-08 15:52:01 -08:00
Graydon Hoare
2b36a8eab4 Fix log upcall translation bug. Un-XFAIL rec-auto.rs. 2010-12-08 15:29:09 -08:00
Graydon Hoare
68af077e81 Implement binop= forms. Un-XFAIL bitwise.rs. 2010-12-08 14:50:47 -08:00
Patrick Walton
e558ff907f rustc: Allow callees to use alias args 2010-12-07 12:34:10 -08:00
Patrick Walton
7f85945b05 rustc: Translate function calls with alias parameters (though the callee can't use them yet) 2010-12-07 11:57:19 -08:00
Graydon Hoare
a059b4720c Null slots on missing init, null-check box ptrs on drop. Works around missing typestate pass. Un-XFAIL box-in-tup.rs. 2010-12-06 17:46:44 -08:00
Patrick Walton
3f9d5dab5b rustc: Run the verifier over LLVM modules before writing them out 2010-12-06 17:17:49 -08:00
Patrick Walton
a1c7d19836 rustc: Translate tag constructors. Can't call them at the moment due to lack of alias args, though. 2010-12-06 16:50:24 -08:00
Patrick Walton
fb05d9184b rustc: Make copy_args_to_allocas not insist on a function type so it's easier to make it work with tag constructors 2010-12-06 11:22:08 -08:00
Graydon Hoare
9f6a630519 Drop rec and tup alloca temporariles on block exit. 2010-12-03 18:43:40 -08:00
Patrick Walton
b4d9754347 rustc: Make new_fn_ctxt and copy_args_to_allocas receive a list of args rather than an AST fn, so we can use it for tag constructors 2010-12-03 18:20:41 -08:00
Patrick Walton
2e119698b7 rustc: Add def ids to variant arguments so we can turn them into function arguments later 2010-12-03 18:13:15 -08:00
Patrick Walton
afd3af9bb5 rustc: Remove LLVM unions and represent tags as (discriminant, byte blob) pairs 2010-12-03 16:55:59 -08:00
Patrick Walton
f371dc613a rustc: Set data layout and target triple 2010-12-03 13:52:54 -08:00
Graydon Hoare
aeef8cee29 Add load_non_structural and use it. 2010-12-03 13:03:07 -08:00
Patrick Walton
5347cac92d rustc: Handle n-ary tag constructors in iter_structural_ty (which lets us process their refcounts correctly) 2010-12-03 12:35:49 -08:00
Graydon Hoare
4316df6323 Trim whitespace. 2010-12-03 12:26:27 -08:00
Graydon Hoare
a98b2ebb4a Change 'stratum' to the friendlier term 'layer'. 2010-12-03 12:15:32 -08:00
Patrick Walton
7bdb93266d rustc: Translate nullary tag constructors 2010-12-03 10:24:55 -08:00
Graydon Hoare
d922b0ad9c Drop slots on the way out of scopes. Un-XFAIL box.rs. 2010-12-02 19:44:24 -08:00
Graydon Hoare
966cfed07c Modify block ctxt / cleanup handling to only occur on scope blocks. 2010-12-02 19:12:34 -08:00
Graydon Hoare
1e9c8b923d Implement translation for deref unop. 2010-12-02 19:12:09 -08:00
Graydon Hoare
97247bbb53 Change order of basic blocks in copy_ty, makes nicer disassembly. 2010-12-02 18:33:11 -08:00
Graydon Hoare
f69b4417e6 Don't drop context returned from decl-init call to copy_ty. 2010-12-02 18:32:43 -08:00
Graydon Hoare
0f41f5a8f9 Improve translations of unary box operator and drop_ty on boxes. 2010-12-02 17:43:24 -08:00
Patrick Walton
e233978891 rustc: Change fn_names and fn_ids to item_names and item_ids in trans, since we're soon to be storing tags in there too 2010-12-02 17:30:07 -08:00
Patrick Walton
49b3cd700e rustc: Remove the premature optimization for nullary tag constructors, since it'll be no longer necessary once LLVM gets a unit type 2010-12-02 17:18:06 -08:00
Patrick Walton
376b35e618 rustc: Remove the overly complex variant_indices and n_ary_variant_indices tables 2010-12-02 11:00:10 -08:00
Patrick Walton
eeecc8d061 rustc: Add stub support for tag constructors in trans 2010-12-01 19:03:47 -08:00
Graydon Hoare
98a63bd1f9 Add code to fail on non-exhaustive alt matching. Fix all cases this picked up in rustc. 2010-12-01 17:09:02 -08:00
Graydon Hoare
45043374ff Tidy up structural types for rec, tup AST and typeck nodes. 2010-11-30 16:32:00 -08:00
Graydon Hoare
25b973df1b Finish support for typechecking and translating records. Un-XFAIL rec.rs. 2010-11-30 10:39:35 -08:00
Patrick Walton
6c5a05b819 rustc: Implement the block syntax discussed on the mailing list 2010-11-29 17:11:41 -08:00
Graydon Hoare
3e08171fc2 Change mutability into a type constructor. 2010-11-29 15:29:55 -08:00
Graydon Hoare
386f363cfe Change from bool to tag ast.mutability. 2010-11-29 14:18:26 -08:00
Graydon Hoare
7be7c23b6b Copy args to allocas, change llargs lookups to 'in mem'. Un-XFAIL tup.rs. 2010-11-26 17:47:27 -08:00
Graydon Hoare
d7ce2425c9 Load structural values through pointer before passing structs as args. 2010-11-26 16:08:10 -08:00
Graydon Hoare
9f56b0061c Pass exprs by @, always treat structural types by pointer, move path and name into trans_lval. 2010-11-26 15:54:04 -08:00
Graydon Hoare
1600974a3a Avoid segfault due to fallthrough in base case of incr_all_refcounts. We could use a typestate checker in rustc, any time now. 2010-11-26 13:03:56 -08:00
Graydon Hoare
7e01aba12d Declare the memcpy intrinsics properly. 2010-11-26 13:02:48 -08:00
Graydon Hoare
3fd3270845 Return memcpy src rather than falling through and failing. 2010-11-25 18:28:15 -08:00
Graydon Hoare
a95dbdef70 Cast memcpy args to correct types. 2010-11-25 18:13:20 -08:00
Graydon Hoare
9b3182a99d Add lookup checks and intrinsics table to trans. 2010-11-25 17:45:26 -08:00
Graydon Hoare
f0abe8f568 Translate field expressions. 2010-11-25 16:40:24 -08:00
Graydon Hoare
cffdb66aa4 Translate tuple-expressions. 2010-11-24 18:11:11 -08:00
Graydon Hoare
f809375b16 Sketch out type-directed structural drop and copy, including vector types. 2010-11-24 16:56:01 -08:00
Graydon Hoare
96540ef0bb move expr_call translation into helper function. 2010-11-24 16:56:01 -08:00
Graydon Hoare
e2f9f746ea Move expr_cast translation into helper function. 2010-11-24 16:56:01 -08:00
Patrick Walton
c1916adc7e rustc: Parse type-parametric functions 2010-11-24 16:52:49 -08:00
Graydon Hoare
e05d7c3ac1 Support mach types in rustc, enable 5 more tests. 2010-11-22 17:41:32 -08:00