about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/mir/syntax.rs
AgeCommit message (Expand)AuthorLines
2023-04-01Use `FieldIdx` in various things related to aggregatesScott McMurray-3/+4
2023-03-31Auto merge of #98112 - saethlin:mir-alignment-checks, r=oli-obkbors-0/+1
2023-03-28Move `mir::Field` → `abi::FieldIdx`Scott McMurray-3/+11
2023-03-23A MIR transform that checks pointers are alignedBen Kimock-0/+1
2023-03-22Add `CastKind::Transmute` to MIRScott McMurray-0/+7
2023-03-21Rollup merge of #109408 - RalfJung:retags, r=compiler-errorsnils-1/+2
2023-03-20not *all* retags might be explicit in Runtime MIRRalf Jung-1/+2
2023-03-20Fix off-by-one in mir syntax docAndy Wang-1/+1
2023-03-16Tweak implementation of overflow checking assertionsTomasz Miąsko-2/+1
2023-03-16Rollup merge of #109180 - gimbles:master, r=compiler-errorsMatthias Krüger-1/+1
2023-03-15Auto merge of #108282 - cjgillot:mir-checked-sh, r=tmiaskobors-4/+0
2023-03-15unequal → not equalgimbles-1/+1
2023-03-09Pacify tidy.Camille GILLOT-2/+2
2023-03-09Introduce a no-op PlaceMention statement for `let _ =`.Camille GILLOT-0/+9
2023-03-07Remove DropAndReplace terminatorGiacomo Pasini-38/+0
2023-02-27Update MIR doc.Camille GILLOT-4/+0
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