about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/mir
AgeCommit message (Expand)AuthorLines
2024-07-14Stop using the gen keyword in the compilerMichael Goulet-3/+3
2024-07-14Add cache for `allocate_str`Adwin White-6/+11
2024-07-12Rollup merge of #126502 - cuviper:dump-mir-exclude-alloc-bytes, r=estebankJubilee-0/+3
2024-07-12rustc_middle: derivative -> derive-wherePavel Grigorenko-9/+4
2024-07-08Auto merge of #113128 - WaffleLapkin:become_trully_unuwuable, r=oli-obk,RalfJungbors-4/+68
2024-07-07Fix conflicts after rebaseMaybe Lapkin-1/+1
2024-07-07Support tail calls in mir via `TerminatorKind::TailCall`Maybe Waffle-4/+68
2024-07-05Tweak how the extra newline is printed after coverage infoZalathar-2/+7
2024-07-05coverage: Rename `mir::coverage::BranchInfo` to `CoverageInfoHi`Zalathar-15/+25
2024-07-04Auto merge of #123781 - RalfJung:miri-fn-identity, r=oli-obkbors-24/+51
2024-07-03Auto merge of #125507 - compiler-errors:type-length-limit, r=lcnrbors-2/+2
2024-07-02Instance::resolve -> Instance::try_resolve, and other nitsMichael Goulet-2/+2
2024-07-02Miri function identity hack: account for possible inliningRalf Jung-24/+51
2024-07-01Handle universe leaks by rewriting the constraint graphAmanda Stjerna-0/+3
2024-06-26Add `-Zdump-mir-exclude-alloc-bytes`Josh Stone-0/+3
2024-06-26Auto merge of #126844 - scottmcm:more-ptr-cast-gvn, r=saethlinbors-13/+1
2024-06-24Auto merge of #126784 - scottmcm:smaller-terminator, r=compiler-errorsbors-6/+6
2024-06-22Add a `pointee_metadata_ty_or_projection` helperScott McMurray-13/+1
2024-06-22don't ICE when encountering an extern type field during validationRalf Jung-0/+2
2024-06-21Save 2 pointers in `TerminatorKind` (96 → 80 bytes)Scott McMurray-6/+6
2024-06-21add as_ptr to trait AllocBytes, fix 2 impls; add pub fn get_bytes_unchecked_r...Strophox-3/+23
2024-06-20More GVN for PtrMetadataScott McMurray-2/+4
2024-06-20Rollup merge of #126717 - nnethercote:rustfmt-use-pre-cleanups, r=jieyouxuMatthias Krüger-2/+4
2024-06-20Convert some module-level `//` and `///` comments to `//!`.Nicholas Nethercote-2/+4
2024-06-19Ban `ArrayToPointer` and `MutToConstPointer` from runtime MIRScott McMurray-2/+11
2024-06-19Rollup merge of #126154 - RalfJung:storage-live, r=compiler-errorsLeón Orell Valerian Liehr-4/+7
2024-06-18Rollup merge of #126583 - RalfJung:interpret-oom, r=saethlinGuillaume Gomez-2/+5
2024-06-17Rollup merge of #126567 - compiler-errors:instance-kind, r=oli-obk,lcnrMatthias Krüger-45/+45
2024-06-17Remove an unused validation error variantOli Scherer-3/+0
2024-06-17interpret: better error when we ran out of memoryRalf Jung-2/+5
2024-06-16Rename InstanceDef -> InstanceKindMichael Goulet-45/+45
2024-06-15Rollup merge of #126410 - RalfJung:smir-const-operand, r=oli-obkGuillaume Gomez-9/+9
2024-06-15Auto merge of #126518 - matthiaskrgr:rollup-wb70rzq, r=matthiaskrgrbors-0/+14
2024-06-14Enable const evaluation for `f16` and `f128`Trevor Gross-0/+14
2024-06-14MIR Shl/Shr: the offset can be computed with rem_euclidRalf Jung-2/+4
2024-06-13MIR visitor: constant -> const_operandRalf Jung-9/+9
2024-06-12Require any function with a tait in its signature to actually constrain a hid...Oli Scherer-70/+81
2024-06-10ScalarInt: size mismatches are a bug, do not delay the panicRalf Jung-31/+16
2024-06-08add missing Scalar::from_i128Ralf Jung-0/+5
2024-06-08StorageLive: refresh storage (instead of UB) when local is already liveRalf Jung-4/+7
2024-06-07Auto merge of #125928 - michaelwoerister:fix-cgu-hashstable, r=oli-obkbors-30/+21
2024-06-06Auto merge of #124482 - spastorino:unsafe-extern-blocks, r=oli-obkbors-2/+2
2024-06-06Auto merge of #125958 - BoxyUwU:remove_const_ty, r=lcnrbors-33/+44
2024-06-05Add `Ty` to `mir::Const::Ty`Boxy-16/+25
2024-06-05Add `Ty` to `ConstKind::Value`Boxy-28/+22
2024-06-05Basic removal of `Ty` from places (boring)Boxy-10/+18
2024-06-05Don't walk the bodies of free constants for reachability.Oli Scherer-3/+23
2024-06-04Add safe/unsafe to static inside extern blocksSantiago Pastorino-2/+2
2024-06-03Stabilize order of MonoItems in CGUs and disallow query_instability lint for ...Michael Woerister-30/+21
2024-06-01Uplift TypeRelation and RelateMichael Goulet-1/+1