summaryrefslogtreecommitdiff
path: root/src/mir
AgeCommit message (Collapse)AuthorFilesLines
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
2016-08-21MIR Gen - Mark values used in calls as movedJohn Hodge2-3/+5
2016-08-21MIR Gen - Include Copy checkingJohn Hodge3-19/+138
2016-08-21MIR Gen - Move `MirBuilder` class to its own fileJohn Hodge2-652/+663
2016-08-21MIR Dump - Clean up outputJohn Hodge1-6/+24
2016-08-21MIR Gen - Rework to have proper drop scopes (INCOMPLETE)John Hodge3-133/+587
2016-08-20MIR Gen - Draft drop insertionJohn Hodge3-52/+376
2016-08-20MIR Gen - Emit trailing return valueJohn Hodge1-0/+10
2016-08-20MIR Gen - Fix codegen issue with use of moved LValueJohn Hodge2-6/+35
2016-08-20MIR Gen - Add loggingJohn Hodge3-0/+50
2016-08-20MIR Dump - Rough dump pass, exposes junk data somewhereJohn Hodge3-2/+385
2016-08-20MIR Gen Match - Handle char patterns in simpleJohn Hodge1-2/+24
2016-08-19Patterns - Support tuples with .. (fully)John Hodge2-2/+3
2016-08-18All - Support tuple patterns with .. at the start/end - TODO: Support in the ↵John Hodge2-12/+2
middle
2016-08-17MIR Gen - Planning for inserting dropsJohn Hodge1-1/+9
2016-08-17MIR Gen - Some sanity checks on casts (incomplete)John Hodge1-6/+93
2016-08-17HIR - Correct closure desugaring (leads to two equivalent types)John Hodge1-1/+32
2016-08-14HIR - Move borrow ops to their own node typeJohn Hodge1-6/+12
2016-08-14HIR Typecheck - Move _Unsize back to operating on lvalues (not on &-ptrs)John Hodge1-10/+3
2016-08-14MIR Gen - Defensive checks on _IndexJohn Hodge1-4/+17
2016-08-14MIR Gen - Defensive programming around operatorsJohn Hodge1-15/+73
2016-08-14MIR Gen Match - Enum struct patterns in _SimpleJohn Hodge1-1/+18
2016-08-14HIR Expand Closures - Store local binding typesJohn Hodge1-1/+2
2016-08-14MIR Gen Match - Fixes for a small edge caseJohn Hodge1-0/+8
generated by cgit v1.2.3 (git 2.39.1) at 2025-06-24 06:24:16 +0000