| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2023-01-16 | Add cycle checking to cleanup control flow validation | Jakob Degen | -4/+7 | |
| 2023-01-16 | Document wf constraints on control flow in cleanup blocks | Jakob Degen | -0/+7 | |
| Also fixes a bug in dominator computation | ||||
| 2022-12-22 | Auto merge of #103957 - JakobDegen:drop-retag, r=RalfJung | bors | -8/+7 | |
| Retag as FnEntry on `drop_in_place` This commit changes the mir drop shim to always retag its argument as if it were a `&mut`. cc rust-lang/unsafe-code-guidelines#373 | ||||
| 2022-12-21 | Don't run `Drop` terminators on types that do not have drop glue in const eval | Jakob Degen | -8/+7 | |
| 2022-12-21 | Forbid `RetagKind::TwoPhase` as well | Jakob Degen | -2/+1 | |
| 2022-12-21 | Clarify that raw retags are not permitted in Mir | Jakob Degen | -2/+5 | |
| 2022-12-19 | Revert "Auto merge of #103880 - b-naber:field-ty-mir, r=lcnr" | Rémy Rakic | -35/+4 | |
| This reverts commit 03770f0e2b60c02db8fcf52fed5fb36aac70cedc, reversing changes made to 01ef4b21dc5251b58bd9c6fd6face2ae95d56da1. | ||||
| 2022-12-16 | Auto merge of #103880 - b-naber:field-ty-mir, r=lcnr | bors | -4/+35 | |
| Use non-ascribed type as field's type in mir Fixes https://github.com/rust-lang/rust/issues/96514 r? `@lcnr` | ||||
| 2022-12-14 | address review | b-naber | -1/+8 | |
| 2022-12-09 | Remove unneeded field from `SwitchTargets` | Jakob Degen | -6/+0 | |
| 2022-12-09 | Rollup merge of #105455 - lcnr:correct-reveal-in-validate, r=jackh726 | Matthias Krüger | -0/+8 | |
| use the correct `Reveal` during validation supersedes #105454. Deals with https://github.com/rust-lang/rust/issues/105009#issuecomment-1342395333, not closing #105009 as the ICE may leak into beta The issue was the following: - we optimize the mir, using `Reveal::All` - some optimization relies on the hidden type of an opaque type - we then validate using `Reveal::UserFacing` again which is not able to observe the hidden type r? `@jackh726` | ||||
| 2022-12-08 | validate: use the correct reveal during opts | lcnr | -0/+8 | |
| 2022-12-06 | make retagging work even with 'unstable' places | Ralf Jung | -1/+1 | |
| 2022-12-01 | Don't go through the formatting infrastructure just to get the name of a phase | Oli Scherer | -0/+13 | |
| 2022-11-25 | Add empty ConstKind::Abstract | kadmin | -2/+4 | |
| Initial pass at expr/abstract const/s Address comments Switch to using a list instead of &[ty::Const], rm `AbstractConst` Remove try_unify_abstract_consts Update comments Add edits Recurse more More edits Prevent equating associated consts Move failing test to ui Changes this test from incremental to ui, and mark it as failing and a known bug. Does not cause the compiler to ICE, so should be ok. | ||||
| 2022-11-23 | use no type in ProjectionElem::Field for PlaceBuilder::UpVar | b-naber | -4/+28 | |
| 2022-11-13 | fix some typos in comments | cui fliter | -1/+1 | |
| Signed-off-by: cui fliter <imcusg@gmail.com> | ||||
| 2022-10-12 | Use `tidy-alphabetical` in the compiler | Nilstrieb | -1/+2 | |
| 2022-10-06 | Remove `mir::CastKind::Misc` | ouz-a | -2/+6 | |
| 2022-09-26 | remove cfg(bootstrap) | Pietro Albini | -1/+0 | |
| 2022-09-20 | Rollup merge of #101976 - RalfJung:mir-semantic-phases, r=oli-obk | Michael Howell | -3/+4 | |
| MirPhase: clarify that linting is not a semantic change r? ```@JakobDegen``` | ||||
| 2022-09-18 | clarify that linting is not a semantic change | Ralf Jung | -3/+4 | |
| 2022-09-16 | Revert "Revert "Rollup merge of #98582 - oli-obk:unconstrained_opaque_type, ↵ | Oli Scherer | -0/+7 | |
| r=estebank"" This reverts commit 4a742a691e7dd2522bad68b86fe2fd5a199d5561. | ||||
| 2022-09-15 | derive TypeVisitable and TypeFoldable for mir types | Oli Scherer | -5/+6 | |
| 2022-09-15 | Derive TypeFoldable and TypeVisitable for mir::PlaceElement | Oli Scherer | -1/+1 | |
| 2022-09-12 | dyn* through more typechecking and MIR | Eric Holk | -0/+2 | |
| 2022-09-08 | Rollup merge of #101545 - TaKO8Ki:remove-unnecessary-partialord-ord, r=oli-obk | Dylan DPC | -1/+1 | |
| Remove unnecessary `PartialOrd` and `Ord` | ||||
| 2022-09-08 | remove unnecessary `PartialOrd` and `Ord` | Takayuki Maeda | -1/+1 | |
| 2022-09-07 | Use niche-filling optimization even when multiple variants have data. | Michael Benfield | -1/+2 | |
| Fixes #46213 | ||||
| 2022-09-06 | Update docs | Oli Scherer | -2/+2 | |
| 2022-09-06 | Generalize the Assume intrinsic statement to a general Intrinsic statement | Oli Scherer | -11/+39 | |
| 2022-09-06 | Lower the assume intrinsic to a MIR statement | Oli Scherer | -0/+8 | |
| 2022-08-31 | Fix a bunch of typo | Dezhi Wu | -2/+2 | |
| This PR will fix some typos detected by [typos]. I only picked the ones I was sure were spelling errors to fix, mostly in the comments. [typos]: https://github.com/crate-ci/typos | ||||
| 2022-08-30 | Refactor MIR phases | Jakob Degen | -54/+89 | |
| 2022-08-01 | Rollup merge of #100003 - nnethercote:improve-size-assertions, r=lqd | Matthias Krüger | -17/+12 | |
| Improve size assertions. - For any file with four or more size assertions, move them into a separate module (as is already done for `hir.rs`). - Add some more for AST nodes and THIR nodes. - Put the `hir.rs` ones in alphabetical order. r? `@lqd` | ||||
| 2022-08-01 | Improve size assertions. | Nicholas Nethercote | -17/+12 | |
| - For any file with four or more size assertions, move them into a separate module (as is already done for `hir.rs`). - Add some more for AST nodes and THIR nodes. - Put the `hir.rs` ones in alphabetical order. | ||||
| 2022-07-30 | Use LocalDefId for closures more | Cameron Steffen | -5/+11 | |
| 2022-07-20 | Revert "Rollup merge of #98582 - oli-obk:unconstrained_opaque_type, r=estebank" | Oli Scherer | -7/+0 | |
| This reverts commit 6f8fb911ad504b77549cf3256a09465621beab9d, reversing changes made to 7210e46dc69a4b197a313d093fe145722c248b7d. | ||||
| 2022-07-15 | Introduce opaque type to hidden type projection | Oli Scherer | -0/+7 | |
| 2022-07-12 | add new rval, pull deref early | ouz-a | -3/+13 | |
| 2022-07-08 | Clarify MIR semantics of storage statements | Jakob Degen | -13/+13 | |
| 2022-07-06 | Rollup merge of #98984 - pierwill:patch-4, r=RalfJung | Guillaume Gomez | -1/+1 | |
| Remove erroneous doc comment Fixes the formatting issue shown here: <img width="803" alt="Screen Shot 2022-07-06 at 12 50 56 PM" src="https://user-images.githubusercontent.com/19642016/177612734-2d881c6a-2850-4c1b-8f1a-08339ad5bfbc.png"> | ||||
| 2022-07-06 | Remove erroneous doc comment | pierwill | -1/+1 | |
| 2022-07-06 | docs: Add overview of `rustc_middle::mir::TerminatorKind` | pierwill | -0/+2 | |
| 2022-07-06 | Auto merge of #98206 - eggyal:align-to-chalk-folding-api, r=jackh726 | bors | -4/+8 | |
| Split TypeVisitable from TypeFoldable Impl of rust-lang/compiler-team#520 following MCP approval. r? `@ghost` | ||||
| 2022-07-05 | Add #[derive(TypeVisitable)] | Alan Egerton | -4/+8 | |
| 2022-07-05 | always check overflow in CheckedBinOp in CTFE | Ralf Jung | -2/+3 | |
| 2022-07-04 | Rollup merge of #98878 - lcnr:more-rustc_pass_by_value, r=oli-obk | Matthias Krüger | -0/+1 | |
| add more `rustc_pass_by_value` r? ```@oli-obk``` cc #98766 | ||||
| 2022-07-04 | more `rustc_pass_by_value` | lcnr | -0/+1 | |
| 2022-06-30 | Clarify MIR semantics of checked binary operations | Tomasz Miąsko | -4/+12 | |
 |
index : rust | |
| https://github.com/rust-lang/rust |
| summary refs log tree commit diff |