about summary refs log tree commit diff
path: root/compiler/stable_mir/src/ty.rs
AgeCommit message (Expand)AuthorLines
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
2023-12-13Add spread arg and missing CoroutineKindCelina G. Val-3/+7
2023-12-11Remove scalar fn and tighten the BiOp Ty assertionsCelina G. Val-19/+1
2023-12-11Fix doc commentCelina G. Val-1/+1
2023-12-11Fix BinOp ty assertion and `fn_sig` for closuresCelina G. Val-2/+137
2023-12-07Add tests to allocation methods and fix is_null()Celina G. Val-1/+5
2023-12-07Add instance evaluation and methods to read allocCelina G. Val-4/+96
2023-12-06Add sanity check to `BinOp::ty()`Celina G. Val-0/+13
2023-12-06Add method to get type of an Rvalue in StableMIRCelina G. Val-0/+48
2023-12-05Change ty_with_args to return Ty instead of ResultCelina G. Val-2/+7
2023-12-04Add FieldDef to StableMIR and methods to get typeCelina G. Val-1/+41
2023-12-04Add Variant and a few more APIs to stable_mirCelina G. Val-0/+71
2023-12-01Add more information to stable InstanceCelina G. Val-3/+35
2023-11-24Rollup merge of #118215 - celinval:smir-def-paths, r=ouz-aMichael Goulet-28/+45
2023-11-22Auto merge of #118120 - compiler-errors:closure-kind, r=lcnrbors-1/+0
2023-11-22Add CrateDef trait and methods to get def namesCelina G. Val-28/+45
2023-11-21Add support to global allocation to stable-mirCelina G. Val-1/+2
2023-11-21Fix `clippy::needless_borrow` in the compilerNilstrieb-1/+1
2023-11-21Remove ClosureKind predicate kindMichael Goulet-1/+0