about summary refs log tree commit diff
path: root/compiler/rustc_smir/src
AgeCommit message (Expand)AuthorLines
2024-09-24unify dyn* coercions with other pointer coercionsLukas Markeffsky-1/+3
2024-09-23Check vtable projections for validity in miriMichael Goulet-2/+3
2024-09-22Reformat using the new identifier sorting from rustfmtMichael Goulet-12/+14
2024-09-21add `C-cmse-nonsecure-entry` ABIFolkert de Vries-0/+3
2024-09-03Auto merge of #129777 - nnethercote:unreachable_pub-4, r=Urgaubors-8/+9
2024-09-03Add `warn(unreachable_pub)` to `rustc_smir`.Nicholas Nethercote-8/+9
2024-09-02chore: Fix typos in 'compiler' (batch 2)Alexander Cyon-1/+1
2024-08-26Stop using a special inner body for the coroutine by-move body for async clos...Michael Goulet-2/+3
2024-08-21Simplify some redundant field namesMichael Goulet-1/+1
2024-08-18rename AddressOf -> RawBorrow inside the compilerRalf Jung-1/+1
2024-08-09Shrink `TyKind::FnPtr`.Nicholas Nethercote-2/+7
2024-07-29Reformat `use` declarations.Nicholas Nethercote-22/+27
2024-07-17Avoid comments that describe multiple `use` items.Nicholas Nethercote-0/+1
2024-07-11Remove extern "wasm" ABINikita Popov-2/+0
2024-07-08Auto merge of #113128 - WaffleLapkin:become_trully_unuwuable, r=oli-obk,RalfJungbors-0/+1
2024-07-07Support tail calls in mir via `TerminatorKind::TailCall`Maybe Waffle-0/+1
2024-07-04Auto merge of #123781 - RalfJung:miri-fn-identity, r=oli-obkbors-1/+1
2024-07-02Instance::resolve -> Instance::try_resolve, and other nitsMichael Goulet-1/+1
2024-07-02Miri function identity hack: account for possible inliningRalf Jung-1/+1
2024-06-28implement new effects desugaringDeadbeef-3/+5
2024-06-28Add method to get all attributes on a definitionAdwin White-2/+23
2024-06-28Support fetching `Attribute` of items.Adwin White-0/+19
2024-06-26Remove `f16` and `f128` ICE paths from smirTrevor Gross-2/+4
2024-06-24Split out IntoIterator and non-Iterator constructors for AliasTy/AliasTerm/Tr...Michael Goulet-1/+1
2024-06-21Add method to get `FnAbi` of function pointerAdwin White-0/+7
2024-06-20Add blank lines after module-level `//!` comments.Nicholas Nethercote-0/+2
2024-06-16Rename InstanceDef -> InstanceKindMichael Goulet-21/+21
2024-06-15Rollup merge of #126410 - RalfJung:smir-const-operand, r=oli-obkGuillaume Gomez-5/+9
2024-06-15Auto merge of #126518 - matthiaskrgr:rollup-wb70rzq, r=matthiaskrgrbors-13/+24
2024-06-15Rollup merge of #126361 - celinval:issue-0079-intrinsic, r=oli-obkMatthias Krüger-13/+24
2024-06-15Rollup merge of #126354 - compiler-errors:variance, r=lcnrMatthias Krüger-4/+4
2024-06-14Use is_lang_item more aggressivelyMichael Goulet-1/+2
2024-06-13smir: merge identical Constant and ConstOperand typesRalf Jung-3/+3
2024-06-13MIR visitor: constant -> const_operandRalf Jung-2/+6
2024-06-12Unify intrinsics body handling in StableMIRCelina G. Val-13/+24
2024-06-12Use Variance glob import everywhereMichael Goulet-4/+4
2024-06-12Use `tidy` to sort crate attributes for all compiler crates.Nicholas Nethercote-2/+4
2024-06-06Revert "Rollup merge of #124976 - petrochenkov:usedcrates, r=oli-obk"Rémy Rakic-8/+3
2024-06-05Add `Ty` to `mir::Const::Ty`Boxy-5/+8
2024-06-05Add `Ty` to `ConstKind::Value`Boxy-5/+3
2024-06-05Basic removal of `Ty` from places (boring)Boxy-1/+4
2024-06-04Split smir `Const` into `TyConst` and `MirConst`Boxy-70/+145
2024-05-28Add an intrinsic for `ptr::metadata`Scott McMurray-2/+23
2024-05-27Rollup merge of #125597 - compiler-errors:early-binder, r=jackh726Guillaume Gomez-1/+1
2024-05-26Give EarlyBinder a tcx parameterMichael Goulet-1/+1
2024-05-24Remove `DefId` from `EarlyParamRegion` (clippy/smir)Boxy-1/+0
2024-05-24Remove `DefId` from `EarlyParamRegion` (tedium/diagnostics)Boxy-1/+1
2024-05-23Rollup merge of #125336 - momvart:smir-77-intrinsic, r=celinvalLeón Orell Valerian Liehr-12/+24
2024-05-22rustc: Use `tcx.used_crates(())` moreVadim Petrochenkov-3/+8
2024-05-21Uplift OutlivesPredicate, remove a bunch of unnecessary associated types from...Michael Goulet-4/+3