about summary refs log tree commit diff
path: root/compiler/rustc_smir
AgeCommit message (Expand)AuthorLines
2025-01-30Auto merge of #136035 - SpecificProtagonist:miri-zeroed-alloc, r=oli-obkbors-4/+8
2025-01-28miri: optimize zeroed allocSpecificProtagonist-4/+8
2025-01-28Represent the raw pointer for a array length check as a new kind of fake borrowMichael Goulet-0/+12
2025-01-26Auto merge of #135753 - compiler-errors:from-ty-const, r=oli-obkbors-54/+5
2025-01-23Remove RunCompilerbjorn3-2/+2
2025-01-20Get rid of mir::Const::from_ty_constMichael Goulet-54/+5
2025-01-18Revert "Auto merge of #134330 - scottmcm:no-more-rvalue-len, r=matthewjasper"Rémy Rakic-0/+1
2025-01-16Add gpu-kernel calling conventionFlakebi-0/+3
2024-12-24Auto merge of #134625 - compiler-errors:unsafe-binders-ty, r=oli-obkbors-0/+2
2024-12-22Begin to implement type system layer of unsafe bindersMichael Goulet-0/+2
2024-12-22Delete `Rvalue::Len`Scott McMurray-1/+0
2024-12-18make no-variant types a dedicated Variants variantRalf Jung-3/+4
2024-12-18Variants::Single: do not use invalid VariantIdx for uninhabited enumsRalf Jung-3/+3
2024-12-18Re-export more `rustc_span::symbol` things from `rustc_span`.Nicholas Nethercote-2/+1
2024-12-17Auto merge of #134302 - bjorn3:remove_driver_queries, r=oli-obk,jieyouxubors-1/+1
2024-12-15Add hir::AttributeJonathan Dönszelmann-7/+6
2024-12-14Fix testsbjorn3-1/+1
2024-12-14Encode coroutine-closures in SMIRMichael Goulet-2/+13
2024-12-06Fix ui-fulldep testsbjorn3-2/+3
2024-11-27Rollup merge of #132410 - bjorn3:yet_another_driver_refactor_round, r=cjgillotMatthias Krüger-14/+13
2024-11-20reduce false positives of tail-expr-drop-order from consumed valuesDing Xiang Fei-0/+4
2024-11-19`InterpCx` store `TypingEnv` instead of a `ParamEnv`lcnr-2/+2
2024-11-18use `TypingEnv` when no `infcx` is availablelcnr-19/+41
2024-11-09Pass TyCtxt instead of Queries to the after_analysis callbacksbjorn3-14/+13
2024-11-07Rollup merge of #132131 - celinval:smir-crate-defs, r=compiler-errorsJubilee-3/+47
2024-11-07[StableMIR] API to retrieve definitions from cratesCelina G. Val-3/+47
2024-11-04ty::BrK -> ty::BoundRegionKind::KMichael Goulet-6/+6
2024-11-04Remove the trivial constkind importsMichael Goulet-16/+16
2024-11-03compiler: Directly use rustc_abi in smir againJubilee Young-58/+58
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