summary refs log tree commit diff
path: root/compiler/rustc_middle/src/mir/mod.rs
AgeCommit message (Expand)AuthorLines
2022-05-14Auto merge of #96883 - jackh726:early-binder-2, r=oli-obkbors-1/+1
2022-05-13Add bound_type_ofJack Huey-2/+2
2022-05-11Remove `PartialOrd`/`Ord` impl for `PlaceRef`Aaron Hill-1/+7
2022-05-10Introduce EarlyBinderJack Huey-2/+2
2022-05-08Use sparse representation of switch sourcesTomasz Miąsko-2/+2
2022-05-08Avoid constructing switch sources unless necessaryTomasz Miąsko-0/+2
2022-05-07Auto merge of #96094 - Elliot-Roberts:fix_doctests, r=compiler-errorsbors-30/+33
2022-05-03Update `ProjectionElem::Downcast` documentationTomasz Miąsko-3/+1
2022-05-03Rollup merge of #96599 - tmiasko:discriminant-docs, r=estebankYuki Okushi-5/+1
2022-05-02fix most compiler/ doctestsElliot Roberts-30/+33
2022-05-01Auto merge of #96549 - ouz-a:mir-opt, r=oli-obkbors-0/+2
2022-05-01re-name stuffouz-a-1/+1
2022-05-01Update `RValue::Discriminant` documentationTomasz Miąsko-5/+1
2022-04-30Eliminate duplication of RPO calculation for mirSparrowLii-0/+8
2022-04-29remove and blessouz-a-4/+0
2022-04-29exp-stuff-dirtyouz-a-0/+6
2022-04-25Correct documentation for `ShallowInitBox`Jakob Degen-2/+0
2022-04-22Relax restrictions for copy operandsJakob Degen-2/+6
2022-04-17Stop using CRATE_DEF_INDEX.Camille GILLOT-2/+2
2022-04-16Rollup merge of #96004 - JakobDegen:fix-validator-ice, r=petrochenkovDylan DPC-1/+2
2022-04-13Consider lifetimes when comparing types for equality in MIR validatorJakob Degen-1/+2
2022-04-13Auto merge of #94255 - b-naber:use-mir-constant-in-thir, r=oli-obkbors-9/+162
2022-04-11Remove rule that place loads may not happen with variant index setJakob Degen-5/+4
2022-04-11Add more clarifications in response to Ralf's commentsJakob Degen-102/+84
2022-04-11Address various comments and change some details around place to value conver...Jakob Degen-32/+31
2022-04-11Improve MIR phases documentation with summaries of changesJakob Degen-1/+23
2022-04-11Improve documentation for MIR statement kinds.Jakob Degen-16/+76
2022-04-11Add documentation for the semantics of MIR rvaluesJakob Degen-23/+100
2022-04-11Improve documentation of `Place` and `Operand`Jakob Degen-13/+121
2022-04-11Document semantics of `Deinit` and `SetDiscriminant` MIR statementsJakob Degen-0/+7
2022-04-11Add new `Deinit` statement kindJakob Degen-0/+3
2022-04-02rebase and remove dead codeb-naber-107/+1
2022-04-02try to evaluate in from_opt_const_arg_anon_constb-naber-6/+73
2022-04-02rebase and use ty::Const in patterns againb-naber-1/+1
2022-04-02change thir to use mir::ConstantKind instead of ty::Constb-naber-9/+201
2022-03-30Spellchecking compiler commentsYuri Astrakhan-1/+1
2022-03-27Rollup merge of #95120 - smoelius:backward-switch-int, r=ecstatic-morseDylan DPC-0/+13
2022-03-26Address review commentsSamuel E. Moelius III-0/+13
2022-03-23Clarify more MIR docsJakob Degen-0/+15
2022-03-23Clarify which kinds of MIR are allowed during which phases.Jakob Degen-17/+39
2022-03-12Auto merge of #94733 - nnethercote:fix-AdtDef-interning, r=fee1-deadbors-4/+4
2022-03-11Improve `AdtDef` interning.Nicholas Nethercote-4/+4
2022-03-10The `Clone::clone` call is now a `ConstantKind::Val`, not a `ConstantKind::Ty`Scott McMurray-1/+1
2022-03-10mir-opt: Replace clone on primitives with copyScott McMurray-0/+30
2022-03-10Auto merge of #94059 - b-naber:constantkind-val-transformation, r=lcnrbors-1/+29
2022-03-10Auto merge of #94737 - lcnr:pass-stuff-by-value, r=davidtwcobors-1/+4
2022-03-09treat all mir::Constant values as ConstantKind::Valb-naber-1/+29
2022-03-08Auto merge of #94702 - b-naber:static-refs-mir, r=lcnrbors-1/+1
2022-03-08add `#[rustc_pass_by_value]` to more typeslcnr-1/+4
2022-03-08treat literals in ExprKind::StaticRef as mir::ConstantKind::Valb-naber-1/+1