summaryrefslogtreecommitdiff
path: root/src/mir
AgeCommit message (Collapse)AuthorFilesLines
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
2016-08-23MIR - Add a `Const` entry to the MIR::Constant to refer to a named constantJohn Hodge7-13/+110
2016-08-23MIR Gen - Field access with_val_typeJohn Hodge1-2/+31
2016-08-22HIR Typecheck - Split monomorphise_* into a separate headerJohn Hodge2-2/+2
2016-08-22MIR Gen - (minor) Log failing lvalue when &move requiredJohn Hodge1-1/+1
2016-08-22MIR Gen - (minor) Print type of defined variableJohn Hodge1-1/+1
2016-08-22MIR Gen - Move and drop detection improvedJohn Hodge2-32/+166
2016-08-21MIR Gen Match - (minor) Note a TODOJohn Hodge1-0/+1
2016-08-21MIR Gen Match - Fix bug where a block would get magled by condition code ↵John Hodge3-14/+21
(defended against)
2016-08-21MIR Gen Match - Fix un-terminated blocks in DecisionTreeJohn Hodge1-1/+11
2016-08-21MIR Check - Check for `Invalid` terminatorsJohn Hodge2-11/+77
- `Invalid` indicates the block wasn't ended during generation
2016-08-21MIR Dump - Remove arg patterns from argumentsJohn Hodge1-2/+5
2016-08-21MIR Gen - Fix incorrect argument LValuesJohn Hodge1-0/+1
2016-08-21MIR Validate - Stub MIR validation passJohn Hodge3-6/+105