summaryrefslogtreecommitdiff
path: root/src/mir/from_hir.cpp
AgeCommit message (Collapse)AuthorFilesLines
2016-12-14Consteval - Re-enabled full first-pass constevalJohn Hodge1-91/+5
2016-12-11Trans - Intrinsics (partially complete)John Hodge1-5/+25
2016-12-11MIR Cleanup - Hackily handle borrowing a DST from within a typeJohn Hodge1-7/+7
2016-12-07MIR - Merge two call types into one with a different targetJohn Hodge1-5/+5
2016-12-04MIR Gen - Fix vtable typesJohn Hodge1-2/+16
2016-12-04MIR - Move vtable conversion to its own passJohn Hodge1-63/+9
2016-12-04MIR - Add a variant index to RValue::StructJohn Hodge1-0/+36
2016-12-03MIR - Create a CallPath terminatorJohn Hodge1-45/+28
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 Hodge1-11/+63
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 - Union support hacked upJohn Hodge1-2/+11
2016-11-20MIR Gen - Roughed union supportJohn Hodge1-3/+18
2016-11-19HIR - Union handlingJohn Hodge1-1/+5
2016-11-19HIR - Add Union type path bindingJohn Hodge1-0/+3
2016-11-19MIR Gen Match - Rough Slice and SplitSlice supportJohn Hodge1-15/+30
2016-11-19MIR Gen Match - Some hackaroundsJohn Hodge1-2/+12
2016-11-16HIR Typecheck Static - Fuzzy matched returned (fixes bad From impl selection)John Hodge1-1/+1
2016-11-05MIR Gen - Empty match statementsJohn Hodge1-2/+20
2016-11-05MIR Gen - Drop InnerMoved early for cleaner logicJohn Hodge1-1/+1
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 Hodge1-2/+2
2016-10-23MIR Gen - Use the `m_yeild_final` flag in _BlockJohn Hodge1-1/+6
2016-10-22MIR Gen - Don't emit no-op unsizing castsJohn Hodge1-1/+6
2016-10-21HIR - Associated constant typecheck and MIR supportJohn Hodge1-8/+15
2016-10-20MIR Gen - Associated constantsJohn Hodge1-1/+1
2016-10-08HIR+MIR - Allow unsize between two genericsJohn Hodge1-6/+11
2016-10-08HIR+MIR - Correct handling of diverging loopsJohn Hodge1-6/+30
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-07MIR Gen Match - Slice matchingJohn Hodge1-1/+7
2016-10-07MIR Gen - Destructure array patternsJohn Hodge1-7/+60
2016-10-07MIR Gen - Handle no-op castsJohn Hodge1-2/+7
2016-10-07MIR From HIR - Enum variant _PathValue support hacked inJohn Hodge1-0/+18
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-24MIR Gen - Support zero-arm matches - Since they can never be reached, emit a ↵John Hodge1-1/+4
Diverge
2016-09-18HIR - Rework to include a node for in/box (for better type inferrence)John Hodge1-0/+130
2016-09-07MIR Gen - Cleaner Box support, start on move-out structureJohn Hodge1-10/+4
2016-09-06MIR Gen - Rough support for BoxJohn Hodge1-3/+21
2016-09-04HIR - Restructure _Unsize handling to operate on pointersJohn Hodge1-41/+53
2016-08-26HIR - Remove None variant for TraitValueItem, add literal for Enum ValueJohn Hodge1-4/+1
2016-08-24MIR Gen - Handle StructConstant and StructConstructor itemsJohn Hodge1-2/+9
2016-08-24MIR Gen - Use argument typesJohn Hodge1-2/+2