summaryrefslogtreecommitdiff
path: root/src/mir
AgeCommit message (Collapse)AuthorFilesLines
2016-12-10MIR - Add rough optimisationsJohn Hodge5-0/+225
2016-12-10MIR Cleanup - Hacky inner deref of BoxJohn Hodge1-11/+43
2016-12-10MIR - More CoerceUnsized/Unsize hackeryJohn Hodge1-51/+127
2016-12-10MIR Cleanup - Logging and lvalue structureJohn Hodge1-0/+100
2016-12-10MIR - Cast PhandomData fields when doing CoerceUnsizedJohn Hodge1-4/+29
2016-12-10HIR->MIR - Destructuring CoerceUnsizedJohn Hodge2-54/+288
2016-12-08MIR Cleanup - Start on cast conversion, add support for &[T;n] constantsJohn Hodge1-0/+43
2016-12-07MIR - Merge two call types into one with a different targetJohn Hodge6-67/+68
2016-12-07Trans C - Rough Box special-casingJohn Hodge1-22/+1
2016-12-07MIR VTable - Fix incorrect vtable nameJohn Hodge2-3/+3
2016-12-07HIR VTables - Handle traits with duplicate method names form different ↵John Hodge2-48/+76
sub-traits
2016-12-05Trans C - Hacking along, down to under a screenful of errorsJohn Hodge1-1/+0
2016-12-05MIR Cleanup - Replace constantsJohn Hodge1-1/+101
2016-12-04MIR Cleanup - Extract data pointer when calling vtable methodsJohn Hodge1-3/+7
2016-12-04MIR Gen - Fix vtable typesJohn Hodge1-2/+16
2016-12-04MIR - Move vtable conversion to its own passJohn Hodge6-355/+173
2016-12-04MIR - Add a variant index to RValue::StructJohn Hodge2-0/+37
2016-12-04MIR - Escape special characters in debug printJohn Hodge1-1/+8
2016-12-04Trans C - Some special casesJohn Hodge2-0/+285
2016-12-03MIR - Create a CallPath terminatorJohn Hodge5-50/+59
2016-12-03HIR/Trans - Bind items in external MIR, use StaticTraitResolve in transJohn Hodge1-2/+2
2016-12-03MIR Gen - Fix missing type param for Place traitJohn Hodge1-2/+2
2016-12-03HIR/MIR - Vtable generation working wellJohn Hodge1-3/+2
2016-12-03HIR/MIR - VTable workJohn Hodge6-13/+86
2016-11-26HIR Annotate - Fix annotation on CallValue argumentsJohn Hodge1-1/+1
2016-11-23HIR - More complete SplitTuple pattern handlingJohn Hodge1-1/+3
2016-11-22MIR Gen - (minor) Better error message for invalid result type from literalJohn Hodge1-0/+1
2016-11-22HIR Typecheck - Function to *const u8John Hodge1-1/+1
2016-11-20MIR Gen Match - Box pattern supportJohn Hodge1-1/+32
2016-11-20MIR+HIR Validation - Expand associated types in return typeJohn Hodge1-3/+4
2016-11-20MIR Gen - Treat a loop as a split scopeJohn Hodge1-4/+5
2016-11-20MIR - Union support hacked upJohn Hodge6-36/+87
2016-11-20MIR Gen - Roughed union supportJohn Hodge2-3/+23
2016-11-19HIR - Union handlingJohn Hodge1-1/+5
2016-11-19HIR - Add Union type path bindingJohn Hodge2-0/+32
2016-11-19MIR Gen Match - Fix bad type for string in simpleJohn Hodge1-2/+2
2016-11-19MIR Validate - Replace ErasedType instances in checked return typeJohn Hodge1-1/+17
2016-11-19MIR Check - Monomorphise types from enumsJohn Hodge1-0/+2
2016-11-19MIR Gen Match - HACK: Allow duplicate terminals (ranges)John Hodge1-3/+2
2016-11-19MIR Gen Match - Rough Slice and SplitSlice supportJohn Hodge2-23/+110
2016-11-19MIR Gen Match - Handle StructValueJohn Hodge1-0/+3
2016-11-19MIR Gen - Expand associated types after monomorphJohn Hodge2-5/+13
2016-11-19MIR Gen - Bugcheck on Unbound pathsJohn Hodge1-1/+2
2016-11-19MIR Gen Match - Don't unify a node unless the paths matchJohn Hodge1-10/+11
2016-11-19MIR Gen Match - Sanity check in node mergeJohn Hodge1-32/+107
2016-11-19MIR Gen Match - Some hackaroundsJohn Hodge2-9/+42
2016-11-16HIR Typecheck Static - Fuzzy matched returned (fixes bad From impl selection)John Hodge1-1/+1
2016-11-07MIR Gen Match - Fix DTN cloneJohn Hodge1-0/+2
2016-11-07MIR Gen Match - Refactor range insertionJohn Hodge1-40/+52
2016-11-06MIR Gen Match - Handle cases where different-typed nodes are mergedJohn Hodge1-14/+28