about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/mir/syntax.rs
AgeCommit message (Expand)AuthorLines
2023-11-12interpret: simplify handling of shifts by no longer trying to handle signed a...Ralf Jung-4/+4
2023-11-08rename `BorrowKind::Shallow` to `Fake`lcnr-2/+2
2023-10-31Enums in offset_of: update based on est31, scottmcm & llogiq reviewGeorge Bateman-2/+2
2023-10-31Support enum variants in offset_of!George Bateman-2/+2
2023-10-20s/generator/coroutine/Oli Scherer-15/+15
2023-10-20s/Generator/Coroutine/Oli Scherer-12/+12
2023-10-18coverage: Update docs for `StatementKind::Coverage`Zalathar-5/+10
2023-10-18coverage: Store all of a function's mappings in function coverage infoZalathar-2/+1
2023-10-15update MIR place semantics UB commentRalf Jung-12/+9
2023-10-06Rollup merge of #116329 - RalfJung:swap-comments, r=scottmcmGuillaume Gomez-1/+1
2023-10-03Auto merge of #115301 - Zalathar:regions-vec, r=davidtwcobors-1/+1
2023-10-03coverage: Let each coverage statement hold a vector of code regionsZalathar-1/+1
2023-10-02have better explanation for `relate_types`ouz-a-1/+4
2023-10-02Add docs, remove code, change subtyper codeouz-a-0/+7
2023-10-02subtyping_projectionsouz-a-0/+2
2023-10-02MIRI -> MiriRalf Jung-1/+1
2023-09-28Add a mir validation check to prevent OpaqueCast after analysis passes finishOli Scherer-0/+1
2023-09-24Add global value numbering pass.Camille GILLOT-1/+1
2023-09-21rename mir::Constant -> mir::ConstOperand, mir::ConstKind -> mir::ConstRalf Jung-15/+19
2023-09-19organize mir pretty.rs and move more things into it; move statement-related t...Ralf Jung-1/+23
2023-08-24when terminating during unwinding, show the reason whyRalf Jung-3/+14
2023-08-20sync printing of MIR terminators with their new names (and dedup some to-str ...Ralf Jung-2/+24
2023-08-20give some unwind-related terminators a more clear nameRalf Jung-4/+4
2023-07-14refactor(rustc_middle): Substs -> GenericArgMahdi Dibaiee-4/+4
2023-07-11update Operand::Move docsRalf Jung-4/+10
2023-07-07Rename `adjustment::PointerCast` and variants using it to `PointerCoercion`Nilstrieb-3/+3
2023-06-20update comment on `MutBorrowKind::ClosureCapture`Ziru Niu-4/+7
2023-06-20merge `BorrowKind::Unique` into `BorrowKind::Mut`Ziru Niu-13/+11
2023-06-19Rollup merge of #112232 - fee1-dead-contrib:match-eq-const-msg, r=b-naberMichael Goulet-4/+28
2023-06-19Promote unchecked_add/sub/mul/shl/shr to mir::BinOpScott McMurray-0/+13
2023-06-19fix docDeadbeef-1/+1
2023-06-18Better error for non const `PartialEq` call generated by `match`Deadbeef-4/+28
2023-06-02Rollup merge of #112168 - scottmcm:lower-div-rem-unchecked-to-mir, r=oli-obkMichael Goulet-4/+9
2023-06-01Clarify when MIR `Div`/`Rem` trigger UBScott McMurray-4/+9
2023-06-01Use translatable diagnostics in `rustc_const_eval`Deadbeef-1/+2
2023-05-29add FIXMElcnr-0/+5
2023-05-25Remove DesugaringKind::Replace.Camille GILLOT-1/+5
2023-05-17Drive-by cleanup: `debug::term_type` => `TerminatorKind::name`Maybe Waffle-0/+23
2023-05-01Box AssertKindBen Kimock-1/+1
2023-04-24Split `{Idx, IndexVec, IndexSlice}` into their own modulesMaybe Waffle-1/+1
2023-04-22Auto merge of #104844 - cjgillot:mention-eval-place, r=jackh726,RalfJungbors-3/+2
2023-04-21Actually keep `PlaceMention` if requested.Camille GILLOT-2/+0
2023-04-21Evaluate place expression in `PlaceMention`.Camille GILLOT-1/+2
2023-04-21intern offsetof fieldsDrMeepster-4/+4
2023-04-21offset_ofDrMeepster-2/+4
2023-04-17Spelling - compilerJosh Soref-2/+2
2023-04-06Address review feedbackGary Guo-3/+1
2023-04-06Rename `Abort` terminator to `Terminate`Gary Guo-4/+4
2023-04-06Add `UnwindAction::Terminate`Gary Guo-0/+4
2023-04-06Add `UnwindAction::Unreachable`Gary Guo-3/+8