summary refs log tree commit diff
path: root/src/librustc_mir/transform
AgeCommit message (Expand)AuthorLines
2018-06-19Thread info about form of variable bindings, including spans of arg types, do...Felix S. Klock II-3/+3
2018-06-14rustc: rename ty::maps to ty::query.Eduard-Mihai Burtescu-6/+5
2018-06-05Add source information the const propagation of placesOliver Schneider-4/+5
2018-06-05Refactor the const eval diagnostic APIOliver Schneider-37/+64
2018-06-05Propagate uses of constants correctly so that array index checks workFabian Zaiser-10/+0
2018-06-04Auto merge of #51307 - oli-obk:miri_fixes, r=eddybbors-19/+5
2018-06-04Simplify value field accessOliver Schneider-3/+3
2018-06-03Do not promote union field accessesOliver Schneider-2/+8
2018-06-02Correctly access ScalarPair fields during const evalOliver Schneider-19/+5
2018-06-02Specify that packed types must derive, not implement, CopyMark Simulacrum-2/+2
2018-05-31Make ctpop, cttz, ctlz and bswap const fnsLinus Färnstrand-1/+9
2018-05-30rustc: rename mir::LocalDecl's syntactic_source_info to source_info.Eduard-Mihai Burtescu-11/+11
2018-05-30rustc: turn mir::LocalDecl's visibility_source_info into a SourceScope.Eduard-Mihai Burtescu-10/+8
2018-05-30rustc: use syntactic (instead of visibility) source info where appropriate.Eduard-Mihai Burtescu-1/+1
2018-05-30rustc: rename mir::LocalDecl's source_info to visibility_source_info.Eduard-Mihai Burtescu-10/+11
2018-05-30rustc: turn mir::LocalDecl's syntactic_scope into a SourceInfo.Eduard-Mihai Burtescu-4/+9
2018-05-30rustc: rename mir::SourceScopeInfo to mir::SourceScopeLocalData.Eduard-Mihai Burtescu-11/+11
2018-05-30rustc: rename mir::VisibilityScope to mir::SourceScope.Eduard-Mihai Burtescu-24/+24
2018-05-29rust-lang/rust#27282: Add `StatementKind::ReadForMatch` to MIR.Felix S. Klock II-0/+4
2018-05-25Auto merge of #50967 - oli-obk:miri_api_refactor, r=eddybbors-20/+29
2018-05-24Get rid of `scalar_size`Oliver Schneider-4/+10
2018-05-24primval -> scalar renameOliver Schneider-3/+3
2018-05-24change `Value::Bytes` to `Value::Bits`Oliver Schneider-7/+10
2018-05-24Rename ByVal(Pair) to Scalar(Pair)Oliver Schneider-9/+9
2018-05-24Rename PrimVal to ScalarOliver Schneider-6/+6
2018-05-24Always mark unstable const fn as not constOliver Schneider-7/+2
2018-05-24Enforce stability of const fn in promotedsOliver Schneider-13/+20
2018-05-22Deduplicate match armsOliver Schneider-7/+4
2018-05-22Report let bindings and statements as unstableOliver Schneider-22/+13
2018-05-22Be more explicit about what's skippedOliver Schneider-33/+32
2018-05-22Allow let bindings in const fn and constantsOliver Schneider-18/+43
2018-05-21rustc: use intern_* instead of mk_* where possible.Eduard-Mihai Burtescu-2/+4
2018-05-19Auto merge of #50603 - eddyb:issue-49955, r=nikomatsakisbors-79/+153
2018-05-17Rename trans to codegen everywhere.Irina Popa-13/+13
2018-05-16rustc_mir: allow promotion of promotable temps indexed at runtime.Eduard-Mihai Burtescu-8/+13
2018-05-16label-break-value: Parsing and AST/HIR changesest31-1/+1
2018-05-16rustc_mir: focus const-checking logic on whether mutation is forbidden.Eduard-Mihai Burtescu-14/+26
2018-05-16rustc_mir: promote borrows' underlying temps, and project at runtime.Eduard-Mihai Burtescu-0/+12
2018-05-16rustc_mir: also promote interior borrows, not just whole temps.Eduard-Mihai Burtescu-2/+13
2018-05-16rustc_mir: generate an extra temporary during borrowed rvalue promotion.Eduard-Mihai Burtescu-58/+92
2018-05-15Rename param_counts to own_countsvarkor-1/+1
2018-05-15Use GenericParamCount instead of FxHashMapvarkor-2/+2
2018-05-15Generalise more cases of explicit iteration of specific kindsvarkor-2/+2
2018-05-15Rename `has_type_parameters` to `requires_monomorphization`varkor-3/+3
2018-05-15Fix generics type parameter handling in mirivarkor-4/+3
2018-05-15Prefer iterator to vecvarkor-1/+1
2018-05-15Consolidate ty::Genericsvarkor-1/+1
2018-05-12Rollup merge of #50550 - llogiq:fmt-result, r=petrochenkovMark Simulacrum-1/+1
2018-05-11Introduce ConstValue and use it instead of miri's Value for constant valuesJohn Kåre Alsaker-80/+99
2018-05-09use fmt::Result where applicableAndre Bogus-1/+1