about summary refs log tree commit diff
path: root/src/comp
AgeCommit message (Expand)AuthorLines
2011-09-19Register tuple cleanups after the tuple is builtBrian Anderson-1/+3
2011-09-19Break fold's circular reference during unwindingBrian Anderson-9/+7
2011-09-19Build records in two phases to avoid cleanups on partial recordsBrian Anderson-5/+42
2011-09-19Don't register record cleanups until the record is builtBrian Anderson-1/+1
2011-09-18Stop creating function pairs for static functionsMarijn Haverbeke-86/+43
2011-09-17Add a precondition to GEP_tup_likeTim Chevalier-4/+73
2011-09-17Add a type_is_tup_like predicate that takes a block ctxt, and make some fns pureTim Chevalier-15/+18
2011-09-17In trans, replace another impossible case with a preconditionTim Chevalier-11/+8
2011-09-16Make move-mode arguments unwind correctly. Closes #939Brian Anderson-31/+56
2011-09-16Dead code elimTim Chevalier-14/+0
2011-09-16Add a constraint on trans::type_of_fn_from_tyTim Chevalier-23/+49
2011-09-16Add a returns_non_ty_var predicateTim Chevalier-0/+4
2011-09-16Make ty_fn_ret pure and get rid of a duplicate functionTim Chevalier-16/+14
2011-09-16Work around an apparent compiler bug to make my patch runMarijn Haverbeke-5/+6
2011-09-16Saner approach to lvalues and callable values in transMarijn Haverbeke-194/+217
2011-09-16Add non_ty_var precondition for type_of_fn, plus minor cleanupTim Chevalier-10/+17
2011-09-16Revert "Saner approach to lvalues and callable values in trans"Marijn Haverbeke-217/+194
2011-09-16Require body of else-less if expressions to be a value-less blockMarijn Haverbeke-12/+16
2011-09-16Saner approach to lvalues and callable values in transMarijn Haverbeke-194/+217
2011-09-16Move expr_uniq case in trans to a saner placeMarijn Haverbeke-12/+4
2011-09-16Remove autoderef for callsMarijn Haverbeke-24/+12
2011-09-16Remove unused method_ty field from lval_resultMarijn Haverbeke-10/+5
2011-09-16Clean up (and optimize) root-mutability analysis in alias.rsMarijn Haverbeke-70/+64
2011-09-16Change convention for specifying referenced argumentMarijn Haverbeke-20/+32
2011-09-15Actually call unreachable() in impossible case in type_of_innerTim Chevalier-3/+5
2011-09-15Added non_ty_var precondition to trans::type_of_innerTim Chevalier-57/+109
2011-09-15Add parens, as needed, around else-if conditions.Jesse Ruderman-1/+1
2011-09-15Added an extra check in trans_altTim Chevalier-0/+1
2011-09-15Added more predicates in transTim Chevalier-2/+16
2011-09-15Change a few span_fatals to span_errTim Chevalier-5/+5
2011-09-15Update README slightly.Graydon Hoare-2/+3
2011-09-15Prevent binary expressions from parsing when lhs is non-value blockMarijn Haverbeke-0/+1
2011-09-15Generalize expression roots in alias analysisMarijn Haverbeke-35/+40
2011-09-15Require the parameter that will be referenced to be notedMarijn Haverbeke-38/+74
2011-09-15Overhaul alias-checking of blocksMarijn Haverbeke-34/+27
2011-09-15Make storing returned references in a by-reference local workMarijn Haverbeke-39/+47
2011-09-15Forbid assignment to by-reference bindingsMarijn Haverbeke-21/+25
2011-09-15Make trans understand by-ref bindingsMarijn Haverbeke-8/+19
2011-09-15Implement basic checking of by-reference bindingsMarijn Haverbeke-3/+57
2011-09-15Move local numbering into ast_map.rsMarijn Haverbeke-48/+67
2011-09-15Add representation for by-ref let bindingsMarijn Haverbeke-19/+31
2011-09-15Ensure parens are wrapped around composite exprs in call/index/field posMarijn Haverbeke-5/+10
2011-09-15More thorough check for (.. 10).x in pretty-printerMarijn Haverbeke-5/+21
2011-09-15Also handle fail and put in print_maybe_parens_discrimMarijn Haverbeke-2/+5
2011-09-15Remove maybe_protect_block kludge from pretty-printerMarijn Haverbeke-86/+0
2011-09-15Introduce new semicolon rulesMarijn Haverbeke-71/+44
2011-09-15Insert omitted semicolons for statementsMarijn Haverbeke-17/+14
2011-09-14Revert "Try a little harder to avoid creating new landing pads"Brian Anderson-11/+10
2011-09-14Add syntax and representation for return-by-mutably-rooted-refMarijn Haverbeke-34/+55
2011-09-14Prevent memory errors when returning references to temp args.Marijn Haverbeke-14/+18