about summary refs log tree commit diff
path: root/compiler/rustc_smir
AgeCommit message (Expand)AuthorLines
2024-10-29compiler: `rustc_abi::Abi` => `BackendRepr`Jubilee Young-7/+7
2024-10-28stable_mir: Directly use types from rustc_abiJubilee Young-43/+31
2024-10-27compiler: Rename LayoutS to LayoutDataJubilee Young-1/+1
2024-10-26Effects cleanupDeadbeef-4/+2
2024-10-24Implement const effect predicate in new solverMichael Goulet-0/+3
2024-10-24Remove associated type based effects logicMichael Goulet-2/+1
2024-10-22Rollup merge of #131049 - compiler-errors:more-validation, r=spastorinoMatthias Krüger-11/+13
2024-10-19Get rid of const eval_* and try_eval_* helpersMichael Goulet-1/+1
2024-10-06various fixes for `naked_asm!` implementationFolkert de Vries-0/+1
2024-09-30Validate ExistentialPredicate argsMichael Goulet-11/+13
2024-09-27Rollup merge of #130826 - fmease:compiler-mv-obj-safe-dyn-compat, r=compiler-...Matthias Krüger-2/+2
2024-09-25Compiler: Rename "object safe" to "dyn compatible"León Orell Valerian Liehr-2/+2
2024-09-24be even more precise about "cast" vs "coercion"Lukas Markeffsky-2/+2
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/+21
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