about summary refs log tree commit diff
path: root/compiler/stable_mir/src/ty.rs
AgeCommit message (Expand)AuthorLines
2025-07-14rename `stable_mir` to `rustc_public`, and `rustc_smir` to `rustc_public_bridge`Makai-1655/+0
2025-07-06move `stable_mir` back to its own crate and move `rustc_internal` to the`stab...Makai-0/+1655
2025-04-05let `rustc_smir` host `stable_mir` for refactoringMakai-1622/+0
2025-04-01Implement `associated_items` api.makai410-1/+66
2025-02-22Greatly simplify lifetime captures in edition 2024Michael Goulet-1/+1
2025-02-10Extend the renaming to coerce_unsafe_ptrBastian Kersting-1/+1
2025-01-16Add gpu-kernel calling conventionFlakebi-0/+1
2024-12-14Encode coroutine-closures in SMIRMichael Goulet-0/+11
2024-11-07[StableMIR] A few fixes to pretty printingCelina G. Val-0/+8
2024-10-24Remove associated type based effects logicMichael Goulet-1/+0
2024-09-25Compiler: Rename "object safe" to "dyn compatible"León Orell Valerian Liehr-1/+1
2024-09-22Reformat using the new identifier sorting from rustfmtMichael Goulet-2/+2
2024-09-21add `C-cmse-nonsecure-entry` ABIFolkert de Vries-0/+1
2024-09-02chore: Fix typos in 'compiler' (batch 3)Alexander Cyon-1/+1
2024-07-29Reformat `use` declarations.Nicholas Nethercote-7/+7
2024-07-25Auto merge of #126963 - runtimeverification:smir_serde_derive, r=celinvalbors-68/+85
2024-07-11Remove extern "wasm" ABINikita Popov-1/+0
2024-06-26add serde derive Serialize to stable_mirStephen Skeirik-68/+85
2024-06-26Remove `f16` and `f128` ICE paths from smirTrevor Gross-0/+2
2024-06-21Add method to get `FnAbi` of function pointerAdwin White-1/+11
2024-06-15Rollup merge of #126361 - celinval:issue-0079-intrinsic, r=oli-obkMatthias Krüger-1/+6
2024-06-13Rollup merge of #126366 - celinval:issue-0080-def-ty, r=oli-obkLeón Orell Valerian Liehr-6/+22
2024-06-12Add a new trait to retrieve StableMir definition TyCelina G. Val-6/+22
2024-06-12Make `try_from_target_usize` method publicArtem Agvanian-1/+1
2024-06-12Unify intrinsics body handling in StableMIRCelina G. Val-1/+6
2024-06-04Split smir `Const` into `TyConst` and `MirConst`Boxy-28/+67
2024-05-30Apply x clippy --fix and x fmtr0cky-3/+3
2024-05-24Remove `DefId` from `EarlyParamRegion` (clippy/smir)Boxy-1/+0
2024-05-23Rollup merge of #125336 - momvart:smir-77-intrinsic, r=celinvalLeón Orell Valerian Liehr-0/+35
2024-05-23Add conversion from IntrinsicDef to FnDefMohammad Omidvar-0/+6
2024-05-20Implement BOXED_SLICE_INTO_ITERMichael Goulet-0/+1
2024-05-20Add intrinsic definition and retrieval APIsMohammad Omidvar-0/+29
2024-05-17Rename Unsafe to SafetySantiago Pastorino-4/+3
2024-05-13split out AliasTy -> AliasTermMichael Goulet-1/+7
2024-04-08Actually create ranged int types in the type system.Oli Scherer-0/+7
2024-03-28Normalize the result of Fields::ty_with_argsCelina G. Val-2/+2
2024-03-22Split out ImplPolarity and PredicatePolarityMichael Goulet-1/+7
2024-03-12Add methods to create constantsCelina G. Val-1/+26
2024-03-01Implement missing ABI structures in StableMIRCelina G. Val-1/+6
2024-02-25remove platform-intrinsics ABI; make SIMD intrinsics be regular intrinsicsRalf Jung-1/+0
2024-02-14Rewrite foreign item kind query using `DefKind`Mohammad Omidvar-1/+1
2024-02-12Add APIs for fetching foreign items including foreign modules, their ABIs, an...Mohammad Omidvar-1/+35
2024-01-30Remove the `abi_amdgpu_kernel` featureclubby789-1/+0
2024-01-19Make the remaining "private" fields actually privateOli Scherer-2/+2
2024-01-09Fix all_trait* methods to return all trait availableCelina G. Val-0/+15
2023-12-28Restore movability to SMIRMichael Goulet-3/+4
2023-12-28Remove movability from TyKind::CoroutineMichael Goulet-3/+3
2023-12-18Add function ABI and type layout to StableMIRCelina G. Val-0/+6
2023-12-15Add a method to check if type is a CStrCelina G. Val-0/+6
2023-12-14Address PR commentsCelina G. Val-4/+8