summaryrefslogtreecommitdiff
path: root/src/mir/from_hir_match.cpp
AgeCommit message (Expand)AuthorFilesLines
2016-12-28MIR Gen - Spaces removed, misc thinkingJohn Hodge1-4/+4
2016-12-27MIR - Disable validation so travis build will passJohn Hodge1-2/+2
2016-12-27MIR Gen - Misc fixesJohn Hodge1-4/+5
2016-12-27MIR Gen - Better handling of split scopes (optional init)John Hodge1-2/+6
2016-12-25Merge branch 'master' of https://github.com/thepowersgang/mrustcJohn Hodge1-227/+227
2016-12-25MIR Gen - Misc fixes for drop order quirksJohn Hodge1-1/+1
2016-12-24No more tears!ubsan1-227/+227
2016-12-24MIR Gen - Fix some bugs exposed by extended validationJohn Hodge1-0/+3
2016-12-24HIR Expand Closures - Handle closures called from other closuresJohn Hodge1-0/+2
2016-12-23MIR Gen - Track split state for temporaries (incomplete)John Hodge1-2/+119
2016-12-21MIR Gen Match - Drop temporaries from match arms within the armJohn Hodge1-2/+7
2016-12-21MIR Gen Match - Correct types for bytestring comparisonJohn Hodge1-2/+4
2016-12-14Consteval - Re-enabled full first-pass constevalJohn Hodge1-1/+2
2016-12-10MIR Match Gen - Fix incorrect arms chosenJohn Hodge1-1/+3
2016-11-20MIR Gen Match - Box pattern supportJohn Hodge1-1/+32
2016-11-19HIR - Add Union type path bindingJohn Hodge1-0/+29
2016-11-19MIR Gen Match - Fix bad type for string in simpleJohn Hodge1-2/+2
2016-11-19MIR Gen Match - HACK: Allow duplicate terminals (ranges)John Hodge1-3/+2
2016-11-19MIR Gen Match - Rough Slice and SplitSlice supportJohn Hodge1-8/+80
2016-11-19MIR Gen Match - Handle StructValueJohn Hodge1-0/+3
2016-11-19MIR Gen - Expand associated types after monomorphJohn Hodge1-4/+10
2016-11-19MIR Gen Match - Don't unify a node unless the paths matchJohn Hodge1-10/+11
2016-11-19MIR Gen Match - Sanity check in node mergeJohn Hodge1-32/+107
2016-11-19MIR Gen Match - Some hackaroundsJohn Hodge1-7/+30
2016-11-07MIR Gen Match - Fix DTN cloneJohn Hodge1-0/+2
2016-11-07MIR Gen Match - Refactor range insertionJohn Hodge1-40/+52
2016-11-06MIR Gen Match - Handle cases where different-typed nodes are mergedJohn Hodge1-14/+28
2016-11-05MIR Gen - Fix invalidated LValue in box move hackJohn Hodge1-1/+1
2016-11-05MIR Gen Match - Refactor simple match to operate straight off the rulesetJohn Hodge1-369/+268
2016-11-05MIR Gen Match - struct tuples in SimpleJohn Hodge1-1/+17
2016-11-05MIR Gen Match - Rough handling for matching on !John Hodge1-11/+27
2016-11-05MIR Gen Match - StructTuple patternJohn Hodge1-4/+13
2016-11-05MIR Gen - Drop InnerMoved early for cleaner logicJohn Hodge1-2/+2
2016-11-04MIR Gen Match - Fix inifnite recursion in enum handlingJohn Hodge1-1/+6
2016-10-23AST+HIR - Add stubbed support for erased types (`impl Trait`)John Hodge1-0/+22
2016-10-23MIR Gen Match - Fix a missing field access, and a bad type in slice matchesJohn Hodge1-2/+4
2016-10-23MIR Gen Match - Fix bad type in simple match str/[u8]John Hodge1-1/+2
2016-10-23MIR Gen Match - Fix test value literal type in &strJohn Hodge1-1/+1
2016-10-22MIR Gen Match - DTN signed integr rangesJohn Hodge1-2/+14
2016-10-22MIR Gen Match - Match literal against enumJohn Hodge1-17/+42
2016-10-21MIR Gen Match - Simplify handling of constantsJohn Hodge1-0/+226
2016-10-20Fix build on gcc 6.2est311-0/+1
2016-10-13MIR Gen Match - Keep deref for all borrowsJohn Hodge1-6/+8
2016-10-10MIR Gen Match - Rework _ propagation in DT code (I hope it's still correct)John Hodge1-118/+184
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 Hodge1-80/+74
2016-10-07MIR Gen Match - Rough bytestring supportJohn Hodge1-8/+51
2016-10-07MIR Gen Match - (Simple) support array patternsJohn Hodge1-1/+15