about summary refs log tree commit diff
path: root/compiler/rustc_smir/src
AgeCommit message (Expand)AuthorLines
2025-02-03Contracts core intrinsics.Felix S. Klock II-0/+1
2025-02-01Rollup merge of #130514 - compiler-errors:unsafe-binders, r=oli-obkMatthias Krüger-0/+2
2025-01-31Implement MIR, CTFE, and codegen for unsafe bindersMichael Goulet-0/+2
2025-01-31Auto merge of #134424 - 1c3t3a:null-checks, r=saethlinbors-0/+3
2025-01-31Insert null checks for pointer dereferences when debug assertions are enabledBastian Kersting-0/+3
2025-01-31Auto merge of #135318 - compiler-errors:vtable-fixes, r=lcnrbors-1/+3
2025-01-30introduce `ty::Value`Lukas Markeffsky-17/+11
2025-01-30Do not treat vtable supertraits as distinct when bound with different bound varsMichael Goulet-1/+3
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-6/+5
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