about summary refs log tree commit diff
path: root/src/librustc_mir/transform
AgeCommit message (Expand)AuthorLines
2020-04-23Lazily run dataflow for const qualificationDylan MacKenzie-43/+56
2020-04-23Don't cache result of `in_any_value_of_ty` for localsDylan MacKenzie-53/+51
2020-04-23Make type alias privateDylan MacKenzie-1/+1
2020-04-23Rollup merge of #71198 - oli-obk:const_check_cleanup, r=RalfJungDylan DPC-150/+164
2020-04-23Rollup merge of #71005 - jonas-schievink:no-place-like-return, r=oli-obkDylan DPC-11/+7
2020-04-23Document our sanity assertion around explicit promotionOliver Scherer-0/+4
2020-04-23Catch and fix explicit promotions that fail to actually promoteOliver Scherer-0/+8
2020-04-23Use `ConstCx` for `validate_candidates`Oliver Scherer-9/+7
2020-04-23Use ConstCx in the promoted collectorOliver Scherer-16/+14
2020-04-23Use ConstCx in more placesOliver Scherer-10/+16
2020-04-23Rename `Item` to `ConstCx`.Oliver Scherer-120/+120
2020-04-23Auto merge of #71312 - wesleywiser:const_prop_bitset, r=Mark-Simulacrumbors-5/+4
2020-04-22Auto merge of #71044 - ecstatic-morse:body-predecessor-cache, r=oli-obkbors-167/+121
2020-04-22Use `Body` everywhereDylan MacKenzie-136/+90
2020-04-22Don't use `*` for deref-coercionDylan MacKenzie-31/+31
2020-04-22Rollup merge of #71401 - spastorino:remove-visit-place-base, r=wesleywiserDylan DPC-7/+6
2020-04-22Rollup merge of #71336 - ecstatic-morse:check-consts-asm, r=oli-obkDylan DPC-5/+31
2020-04-22Rollup merge of #70970 - eddyb:trait-vs-impl-mismatch, r=oli-obkDylan DPC-2/+3
2020-04-21visit_place_base is just visit_localSantiago Pastorino-7/+6
2020-04-21Assign correct span to new illegal opsDylan MacKenzie-0/+2
2020-04-21Rollup merge of #71285 - ljedrz:mir_inline_span_for_optimized_mir, r=ecstatic...Dylan DPC-7/+5
2020-04-20const prop: don't special case return placeJonas Schievink-9/+5
2020-04-20Update const propJonas Schievink-5/+5
2020-04-20Remove some `Vec` allocations in an effort to improve perfEsteban Küber-2/+1
2020-04-19[ConstProp] Use a `BitSet<Local>` instead of `IndexVec<Local, bool>`Wesley Wiser-5/+4
2020-04-19Note that some terminators should cause an errorDylan MacKenzie-0/+2
2020-04-19Exhaustively match on `TerminatorKind` during const checkingDylan MacKenzie-1/+11
2020-04-19Exhaustively match on `StatementKind` during const checkingDylan MacKenzie-3/+8
2020-04-19Check for `llvm_asm` in a const contextDylan MacKenzie-1/+8
2020-04-19Auto merge of #70598 - vakaras:add-threads-cr3, r=oli-obk,RalfJungbors-4/+27
2020-04-19MIR: use span instead of NodeId to determine if optimized_mir should be runljedrz-7/+5
2020-04-19Dogfood more or_patterns in the compilerJosh Stone-22/+28
2020-04-18Detect mistyped associated consts in `Instance::resolve`.Eduard-Mihai Burtescu-2/+3
2020-04-18miri-unleashed: test that we detect heap allocationsRalf Jung-2/+0
2020-04-18check_consts: make ops module privateRalf Jung-1/+1
2020-04-16Rollup merge of #71197 - ljedrz:unsafe_unused, r=ecstatic-morseDylan DPC-7/+13
2020-04-16Auto merge of #71201 - Dylan-DPC:rollup-23202uf, r=Dylan-DPCbors-22/+11
2020-04-16comment on the sorting of unused unsafe blocksljedrz-0/+2
2020-04-16Move stack access methods in the Machine implementations out of the enforce_ ...Vytautas Astrauskas-14/+14
2020-04-16Rollup merge of #71179 - matthiaskrgr:cl6ppy, r=Dylan-DPCDylan DPC-1/+1
2020-04-16Rollup merge of #71149 - RalfJung:check-const-call, r=eddybDylan DPC-16/+5
2020-04-16Rollup merge of #70566 - jumbatm:exceeding-bitshifts-constprop, r=RalfJungDylan DPC-5/+5
2020-04-16sort unused unsafe blocks by Span instead of NodeIdljedrz-1/+1
2020-04-16Respond to code review feedbackWesley Wiser-1/+9
2020-04-16simplify unused unsafe block handlingljedrz-7/+11
2020-04-16don't clone types that are copy (clippy::clone_on_copy)Matthias Krüger-1/+1
2020-04-15Directly modify the `used_locals` vecWesley Wiser-14/+12
2020-04-15Run `SimplifyLocals` iteratively until we get to a fixedpointWesley Wiser-27/+131
2020-04-15Remove other RvaluesWesley Wiser-12/+30
2020-04-15Make the necessary changes to support concurrency in Miri.Vytautas Astrauskas-4/+27