about summary refs log tree commit diff
path: root/src/comp/middle
AgeCommit message (Expand)AuthorLines
2011-09-26Distinguish #924Jesse Ruderman-1/+6
2011-09-26Prevent copying of uncopyable things via the copy opBrian Anderson-0/+1
2011-09-26Prevent copying of uncopyable things via compound assignment opsBrian Anderson-1/+4
2011-09-26Don't allow vectors of pinned kinds to be copiedBrian Anderson-0/+4
2011-09-26Don't allow copying of unique boxes of pinned kindsBrian Anderson-19/+32
2011-09-26Fix tags of unique boxesBrian Anderson-2/+5
2011-09-26Unique vectors and boxes of pinned are unique kinds. Closes #977Brian Anderson-12/+2
2011-09-26Construct records and tuples in-placeMarijn Haverbeke-58/+53
2011-09-26Convert more expression types to use DPSMarijn Haverbeke-203/+218
2011-09-26Add a workaround hack for issue #913Marijn Haverbeke-1/+3
2011-09-25Refine notes in kind.rs some more. Add a fixme to ty.rs.Graydon Hoare-16/+41
2011-09-26Don't call trans_bind_thunk in an unreachable contextMarijn Haverbeke-0/+4
2011-09-26Make 'fail fail;' compile.Marijn Haverbeke-0/+4
2011-09-26Fix bug in mutability-checking passMarijn Haverbeke-10/+13
2011-09-24Handle ~fail. Closes #968Brian Anderson-0/+7
2011-09-24Support non-immediates in trans_uniq::copy_valBrian Anderson-1/+1
2011-09-24Small refactors.Lindsey Kuper-34/+26
2011-09-24Reduce and clarify abuse of 'pure' in internerJesse Ruderman-8/+3
2011-09-24Mark some fns as pure so type_is_unique_box doesn't need to be uncheckedJesse Ruderman-10/+8
2011-09-24Tweak the type allocated for unique pointersBrian Anderson-2/+4
2011-09-24Support non-immediates in unique-box type glueBrian Anderson-2/+4
2011-09-24Vectors containing pinned kinds become pinnedBrian Anderson-7/+4
2011-09-24Unique pointers containing pinned kinds become pinnedBrian Anderson-1/+8
2011-09-23Add let destructuring for unique boxesBrian Anderson-0/+5
2011-09-23Begin to support pattern matching on unique boxesBrian Anderson-0/+52
2011-09-23Properly mark unreachable alt bodies as unreachableMarijn Haverbeke-0/+2
2011-09-23Make AddIncomingToPhi take single values rather than arraysMarijn Haverbeke-9/+7
2011-09-23Start on a piecemeal conversion to DPSMarijn Haverbeke-126/+177
2011-09-23Don't return unused values from zero_alloca and trans_stmtMarijn Haverbeke-12/+12
2011-09-23Fix bug where the type of a function's top-level block wasn't fixed upMarijn Haverbeke-1/+1
2011-09-23Properly check types of do-while condition exprMarijn Haverbeke-1/+2
2011-09-23Make sure no dynamic allocas are used before they are allocatedMarijn Haverbeke-36/+29
2011-09-23Use a slightly nicer hack to get zero-length strings in trans_buildMarijn Haverbeke-176/+97
2011-09-23Better handling of unreachable code in transMarijn Haverbeke-256/+306
2011-09-22Remove is_stateful flag from tydesc. Closes #136Brian Anderson-1/+1
2011-09-22Fix ty_uniq case in maybe_auto_unboxBrian Anderson-0/+1
2011-09-22Add take glue for unique boxesBrian Anderson-1/+18
2011-09-22Remove nonsensical load and store from trans_uniq::copy_valBrian Anderson-2/+1
2011-09-22Allow vectors to contain unique boxes. Closes #952Brian Anderson-1/+1
2011-09-22rustc: Write raw type parameters instead of linearized type parameters in obj...Patrick Walton-36/+61
2011-09-22Autoderef indexes and fields of unique boxesBrian Anderson-3/+15
2011-09-22Calculate the correct kind for unique boxesBrian Anderson-5/+1
2011-09-22Drop the previous value when copying one unique box local to anotherBrian Anderson-2/+1
2011-09-22Add assignment to unique box localsBrian Anderson-0/+4
2011-09-22Initialize unique box locals from other localsBrian Anderson-6/+20
2011-09-22Convert trans_uniq asserts to preconditionsBrian Anderson-11/+20
2011-09-22Sprinkle some asserts through trans_uniqBrian Anderson-0/+14
2011-09-22Move uniq trans code to trans_uniq moduleBrian Anderson-54/+76
2011-09-22Factor alloc_uniq from trans_uniqBrian Anderson-6/+21
2011-09-22Don't unify unique boxes with different mutabilityBrian Anderson-3/+2