summaryrefslogtreecommitdiff
path: root/src/mir
AgeCommit message (Collapse)AuthorFilesLines
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
2016-10-07MIR Gen Match - Only sort patterns when there's multipleJohn Hodge1-20/+29
2016-10-07MIR Gen Match - Struct patternsJohn Hodge1-3/+22
2016-10-07MIR Gen - Handle no-op castsJohn Hodge1-2/+7
2016-10-07MIR Gen Match - Signed integer branch generationJohn Hodge1-0/+62
2016-10-07MIR Gen Match - Signed integer valuesJohn Hodge1-46/+65
2016-10-07MIR From HIR Match - Array patternsJohn Hodge1-2/+35
2016-10-07MIR From HIR - Enum variant _PathValue support hacked inJohn Hodge1-0/+18
2016-10-03HIR+AST - Handle bytestring patternsJohn Hodge1-0/+1
2016-10-01(minor) Add TODO regarding by-borrow closure capturesJohn Hodge1-0/+1
2016-09-27HIR Typecheck - Support casting all integers to pointersJohn Hodge1-1/+13
2016-09-25MIR Gen - Fix bad monomorph callJohn Hodge1-2/+23
2016-09-25MIR Gen Match - Support floating point matchesJohn Hodge1-68/+257
2016-09-25MIR - (minor) commentingJohn Hodge1-0/+2
2016-09-24MIR Gen - Support zero-arm matches - Since they can never be reached, emit a ↵John Hodge3-1/+24
Diverge
2016-09-24MIR Gen Match - Refactor decision tree code to support sorted rulesetsJohn Hodge1-204/+376
2016-09-24MIR Gen Match - Any over tuple structsJohn Hodge1-7/+29
2016-09-24MIR Gen Match - Fix edge case where DTN simplify didn't workJohn Hodge1-0/+8
2016-09-18HIR - Rework to include a node for in/box (for better type inferrence)John Hodge2-0/+131
2016-09-08MIR Gen Match - Support char ranges in SimpleJohn Hodge1-1/+16
2016-09-07MIR Gen - Hacky shallow drop support (doesn't support being conditional)John Hodge2-6/+58
2016-09-07MIR Gen - Cleaner Box support, start on move-out structureJohn Hodge3-23/+79
2016-09-06MIR Gen - Rough support for BoxJohn Hodge3-3/+49
2016-09-04HIR - Restructure _Unsize handling to operate on pointersJohn Hodge1-41/+53
2016-08-27HIR (De)serialise - Working deserialiseJohn Hodge2-0/+44
2016-08-26HIR - Remove None variant for TraitValueItem, add literal for Enum ValueJohn Hodge2-5/+2
2016-08-26HIR Serialise - Only serialise MIR if presentJohn Hodge1-0/+2
2016-08-26HIR Serialise - MIR serialisation in progressJohn Hodge1-0/+2
2016-08-24MIR Gen - Handle StructConstant and StructConstructor itemsJohn Hodge1-2/+9
2016-08-24MIR Gen - Use argument typesJohn Hodge3-5/+8
2016-08-24MIR Gen - Move variable states to function state (instead of scope)John Hodge3-28/+23
2016-08-24MIR Gen - Further span propagationJohn Hodge3-29/+32
2016-08-24MIR Gen - Trait methods in PathValueJohn Hodge1-1/+20
2016-08-24MIR Gen - Expand associated after monomorphisationJohn Hodge1-3/+5
2016-08-23MIR Gen - More span propagationJohn Hodge2-14/+11
2016-08-23MIR Gen - Emit code for PathValue pointing to a UfcsInherentJohn Hodge1-1/+19
2016-08-23MIR Gen - Span information in assign/dropJohn Hodge4-102/+131
2016-08-23HIR Typecheck - Require span for type_is_copyJohn Hodge3-41/+44