summaryrefslogtreecommitdiff
path: root/src/mir/from_hir.cpp
AgeCommit message (Expand)AuthorFilesLines
2016-12-29MIR - Inline assembly in MIRJohn Hodge1-1/+16
2016-12-29HIR - asm! nodeJohn Hodge1-0/+6
2016-12-28MIR Gen - Handle diverging calls fullyJohn Hodge1-0/+6
2016-12-28MIR Gen - Track exit states of loopsJohn Hodge1-4/+2
2016-12-28MIR Gen - Spaces removed, misc thinkingJohn Hodge1-3/+5
2016-12-27MIR - Disable validation so travis build will passJohn Hodge1-0/+2
2016-12-27MIR Gen - Add support for capturing rest of slice patternsJohn Hodge1-2/+46
2016-12-27MIR Gen - Misc fixesJohn Hodge1-1/+13
2016-12-27MIR Gen - Better handling of split scopes (optional init)John Hodge1-4/+4
2016-12-25Merge branch 'master' of https://github.com/thepowersgang/mrustcJohn Hodge1-156/+156
2016-12-25MIR Gen - Misc fixes for drop order quirksJohn Hodge1-1/+5
2016-12-24No more tears!ubsan1-155/+155
2016-12-24MIR Gen - Fix some bugs exposed by extended validationJohn Hodge1-1/+7
2016-12-24MIR Gen - Better scoping for single-arm matchesJohn Hodge1-5/+19
2016-12-23MIR Gen - Shortcut in `let` handling to remove a useless temporaryJohn Hodge1-4/+10
2016-12-23MIR Gen - Track split state for temporaries (incomplete)John Hodge1-16/+11
2016-12-18MIR Gen - Tweak block handling to reduce bugsJohn Hodge1-27/+19
2016-12-18MIR Gen - Prevent returned values from being droppedJohn Hodge1-1/+6
2016-12-18MIR Gen - Ensure that function return values are droppedJohn Hodge1-0/+2
2016-12-17MIR Gen - Unlink return block from diverging functions (enables better optimi...John Hodge1-1/+17
2016-12-17MIR Optimisation and efficiency tweaksJohn Hodge1-2/+18
2016-12-16MIR - Fix unsizing between trait objectsJohn Hodge1-0/+4
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