summaryrefslogtreecommitdiff
path: root/src/mir
AgeCommit message (Collapse)AuthorFilesLines
2016-11-06HIR Typecheck Static - Deeper search for Copy boundsJohn Hodge1-0/+1
2016-11-05MIR Gen - Fix invalidated LValue in box move hackJohn Hodge2-2/+2
2016-11-05MIR Gen Match - Refactor simple match to operate straight off the rulesetJohn Hodge1-369/+268
2016-11-05MIR Gen Match - struct tuples in SimpleJohn Hodge1-1/+17
2016-11-05MIR Gen - Empty match statementsJohn Hodge2-6/+24
2016-11-05MIR Gen - Move Box out of non-variable slots into a temp for inner moveJohn Hodge1-1/+5
2016-11-05MIR Gen Match - Rough handling for matching on !John Hodge1-11/+27
2016-11-05MIR Gen Match - StructTuple patternJohn Hodge1-4/+13
2016-11-05MIR Gen - Drop InnerMoved early for cleaner logicJohn Hodge4-10/+41
2016-11-04MIR Gen - (minor) Split a large TU_MATCH to improve compiler debugJohn Hodge1-3/+11
2016-11-04MIR Gen Match - Fix inifnite recursion in enum handlingJohn Hodge1-1/+6
2016-10-31AST - Delete some dead code, remove some warnings on GCC6John Hodge1-2/+7
2016-10-30MIR Gen - Handle single-variant enumsJohn Hodge1-10/+21
2016-10-30MIR Gen - Allow field accesses on rvaluesJohn Hodge1-3/+1
2016-10-30HIR Typecheck - Rough support for box patternsJohn Hodge1-2/+2
2016-10-29HIR Types - Store array size expr as a shared_ptr to allow cloningJohn Hodge2-3/+3
2016-10-24MIR Pointer - Fix missing move constructorsJohn Hodge3-3/+25
2016-10-24MIR Ptr - Implement destructorJohn Hodge1-0/+9
2016-10-23AST+HIR - Add stubbed support for erased types (`impl Trait`)John Hodge1-0/+22
2016-10-23MIR Validate - (minor) commentingJohn Hodge1-1/+1
2016-10-23MIR Gen Match - Fix a missing field access, and a bad type in slice matchesJohn Hodge1-2/+4
2016-10-23MIR Gen Match - Fix bad type in simple match str/[u8]John Hodge1-1/+2
2016-10-23MIR Gen Match - Fix test value literal type in &strJohn Hodge1-1/+1
2016-10-23MIR Validate - Fix some literal typesJohn Hodge1-2/+7
2016-10-23MIR Validate - Check result type from RValue::ConstantJohn Hodge1-0/+73
2016-10-23MIR Gen - Use the `m_yeild_final` flag in _BlockJohn Hodge1-1/+6
2016-10-23MIR Validate - Extended validation with type checkingJohn Hodge1-8/+400
2016-10-22MIR Gen - Don't emit no-op unsizing castsJohn Hodge1-1/+6
2016-10-22MIR Gen Match - DTN signed integr rangesJohn Hodge1-2/+14
2016-10-22MIR Gen Match - Match literal against enumJohn Hodge1-17/+42
2016-10-21MIR Gen Match - Simplify handling of constantsJohn Hodge1-0/+226
2016-10-21HIR - Associated constant typecheck and MIR supportJohn Hodge1-8/+15
2016-10-20Merge pull request #8 from est31/masterJohn Hodge (Mutabah)1-0/+1
Fix build on gcc 6.2
2016-10-20Fix build on gcc 6.2est311-0/+1
2016-10-20MIR Gen - Associated constantsJohn Hodge1-1/+1
2016-10-13MIR Gen Match - Keep deref for all borrowsJohn Hodge1-6/+8
2016-10-12Make deault ABI a #defineJohn Hodge1-1/+1
2016-10-10MIR Gen Match - Rework _ propagation in DT code (I hope it's still correct)John Hodge1-118/+184
2016-10-08HIR+MIR - Allow unsize between two genericsJohn Hodge1-6/+11
2016-10-08HIR+MIR - Correct handling of diverging loopsJohn Hodge3-11/+38
2016-10-08HIR Closures - Rework to correctly support borrow typesJohn Hodge1-15/+4
2016-10-08MIR Gen - Allow casts to all integer types from pointersJohn Hodge1-1/+2
2016-10-08MIR Gen Match - Slice decision tree codegenJohn Hodge1-9/+90
2016-10-08HIR Gen Match - Structure support for slices in DTJohn Hodge1-10/+97
2016-10-07MIR Gen Match - (minor) Sort code a little bitJohn Hodge1-549/+552
2016-10-07MIR Gen Match - Slice matchingJohn Hodge2-81/+81
2016-10-07MIR Gen Match - Rough bytestring supportJohn Hodge2-9/+57
2016-10-07MIR Gen Match - (Simple) support array patternsJohn Hodge1-1/+15
2016-10-07MIR Gen - Destructure array patternsJohn Hodge4-7/+69
2016-10-07MIR Gen Match - (Simple) Handle enum variants with no sub-patternsJohn Hodge1-0/+7