summary refs log tree commit diff
path: root/compiler/rustc_middle/src/mir/syntax.rs
AgeCommit message (Expand)AuthorLines
2023-02-18Update compiler/rustc_middle/src/mir/syntax.rsCamille Gillot-1/+2
2023-02-18Remove exception from MIR doc.Camille GILLOT-4/+0
2023-02-18Correct comment.Camille GILLOT-2/+4
2023-02-18Add comment.Camille GILLOT-0/+3
2023-02-02Put a DefId in AggregateKind.Camille GILLOT-4/+2
2023-01-23Add comments and remove unnecessary codeBryan Garza-4/+5
2023-01-23Create stable metric to measure long computation in Const EvalBryan Garza-1/+6
2023-01-16Add cycle checking to cleanup control flow validationJakob Degen-4/+7
2023-01-16Document wf constraints on control flow in cleanup blocksJakob Degen-0/+7
2022-12-22Auto merge of #103957 - JakobDegen:drop-retag, r=RalfJungbors-8/+7
2022-12-21Don't run `Drop` terminators on types that do not have drop glue in const evalJakob Degen-8/+7
2022-12-21Forbid `RetagKind::TwoPhase` as wellJakob Degen-2/+1
2022-12-21Clarify that raw retags are not permitted in MirJakob Degen-2/+5
2022-12-19Revert "Auto merge of #103880 - b-naber:field-ty-mir, r=lcnr"Rémy Rakic-35/+4
2022-12-16Auto merge of #103880 - b-naber:field-ty-mir, r=lcnrbors-4/+35
2022-12-14address reviewb-naber-1/+8
2022-12-09Remove unneeded field from `SwitchTargets`Jakob Degen-6/+0
2022-12-09Rollup merge of #105455 - lcnr:correct-reveal-in-validate, r=jackh726Matthias Krüger-0/+8
2022-12-08validate: use the correct reveal during optslcnr-0/+8
2022-12-06make retagging work even with 'unstable' placesRalf Jung-1/+1
2022-12-01Don't go through the formatting infrastructure just to get the name of a phaseOli Scherer-0/+13
2022-11-25Add empty ConstKind::Abstractkadmin-2/+4
2022-11-23use no type in ProjectionElem::Field for PlaceBuilder::UpVarb-naber-4/+28
2022-11-13fix some typos in commentscui fliter-1/+1
2022-10-12Use `tidy-alphabetical` in the compilerNilstrieb-1/+2
2022-10-06Remove `mir::CastKind::Misc`ouz-a-2/+6
2022-09-26remove cfg(bootstrap)Pietro Albini-1/+0
2022-09-20Rollup merge of #101976 - RalfJung:mir-semantic-phases, r=oli-obkMichael Howell-3/+4
2022-09-18clarify that linting is not a semantic changeRalf Jung-3/+4
2022-09-16Revert "Revert "Rollup merge of #98582 - oli-obk:unconstrained_opaque_type, r...Oli Scherer-0/+7
2022-09-15derive TypeVisitable and TypeFoldable for mir typesOli Scherer-5/+6
2022-09-15Derive TypeFoldable and TypeVisitable for mir::PlaceElementOli Scherer-1/+1
2022-09-12dyn* through more typechecking and MIREric Holk-0/+2
2022-09-08Rollup merge of #101545 - TaKO8Ki:remove-unnecessary-partialord-ord, r=oli-obkDylan DPC-1/+1
2022-09-08remove unnecessary `PartialOrd` and `Ord`Takayuki Maeda-1/+1
2022-09-07Use niche-filling optimization even when multiple variants have data.Michael Benfield-1/+2
2022-09-06Update docsOli Scherer-2/+2
2022-09-06Generalize the Assume intrinsic statement to a general Intrinsic statementOli Scherer-11/+39
2022-09-06Lower the assume intrinsic to a MIR statementOli Scherer-0/+8
2022-08-31Fix a bunch of typoDezhi Wu-2/+2
2022-08-30Refactor MIR phasesJakob Degen-54/+89
2022-08-01Rollup merge of #100003 - nnethercote:improve-size-assertions, r=lqdMatthias Krüger-17/+12
2022-08-01Improve size assertions.Nicholas Nethercote-17/+12
2022-07-30Use LocalDefId for closures moreCameron Steffen-5/+11
2022-07-20Revert "Rollup merge of #98582 - oli-obk:unconstrained_opaque_type, r=estebank"Oli Scherer-7/+0
2022-07-15Introduce opaque type to hidden type projectionOli Scherer-0/+7
2022-07-12add new rval, pull deref earlyouz-a-3/+13
2022-07-08Clarify MIR semantics of storage statementsJakob Degen-13/+13
2022-07-06Rollup merge of #98984 - pierwill:patch-4, r=RalfJungGuillaume Gomez-1/+1
2022-07-06Remove erroneous doc commentpierwill-1/+1