summary refs log tree commit diff
path: root/compiler/stable_mir/src
AgeCommit message (Expand)AuthorLines
2024-03-14Rollup merge of #122405 - celinval:smir-new-const, r=oli-obkMatthias Krüger-5/+39
2024-03-13Rollup merge of #122426 - celinval:smir-fix-full, r=oli-obkMatthias Krüger-1/+1
2024-03-13Fix StableMIR is_full computationCelina G. Val-1/+1
2024-03-13Rollup merge of #122203 - adpaco-aws:smir-intrinsic-name, r=celinvalMatthias Krüger-0/+12
2024-03-12Add `intrinsic_name` to get plain intrinsic nameAdrian Palacios-0/+12
2024-03-12Add methods to create constantsCelina G. Val-5/+39
2024-03-08Distinguish between library and lang UB in assert_unsafe_preconditionBen Kimock-2/+8
2024-03-01Add support to new float typesCelina G. Val-4/+24
2024-03-01Implement missing ABI structures in StableMIRCelina G. Val-10/+177
2024-02-25remove platform-intrinsics ABI; make SIMD intrinsics be regular intrinsicsRalf Jung-1/+0
2024-02-24compiler: use `addr_of!`Pavel Grigorenko-1/+1
2024-02-17Merge `CompilerError::CompilationFailed` and `CompilerError::ICE`.Nicholas Nethercote-8/+4
2024-02-15Rollup merge of #120982 - momvart:smir-61-foreign_kind, r=oli-obkMatthias Krüger-5/+51
2024-02-14Rewrite foreign item kind query using `DefKind`Mohammad Omidvar-2/+2
2024-02-12Add APIs for fetching foreign items including foreign modules, their ABIs, an...Mohammad Omidvar-5/+51
2024-02-12Dejargnonize substShoyu Vanilla-2/+2
2024-02-08Add a new debug_assertions instrinsic (compiler)Ben Kimock-0/+3
2024-01-30Remove the `abi_amdgpu_kernel` featureclubby789-2/+0
2024-01-25Remove unused featuresclubby789-1/+0
2024-01-19Make the remaining "private" fields actually privateOli Scherer-2/+2
2024-01-12Rollup merge of #119877 - celinval:smir-visit-projection, r=oli-obkGuillaume Gomez-19/+38
2024-01-11Add more information to `visit_projection_elem`Celina G. Val-19/+38
2024-01-09Fix all_trait* methods to return all trait availableCelina G. Val-11/+32
2023-12-28Restore movability to SMIRMichael Goulet-8/+13
2023-12-28Remove movability from TyKind::CoroutineMichael Goulet-11/+8
2023-12-25Only regular coroutines have movabilityMichael Goulet-3/+3
2023-12-22Split coroutine desugaring kind from sourceMichael Goulet-21/+34
2023-12-20Rollup merge of #119141 - celinval:smir-instance-args, r=compiler-errorsMatthias Krüger-0/+9
2023-12-20Add method to get instance instantiation argumentsCelina G. Val-0/+9
2023-12-20Add `ItemKind::Ctor` to stable mirCelina G. Val-0/+7
2023-12-20Rollup merge of #119094 - celinval:smir-layout, r=compiler-errorsMatthias Krüger-0/+306
2023-12-19Fix c_variadic flag and add opaque info to PassModeCelina G. Val-9/+6
2023-12-18Add the function body span to StableMIRCelina G. Val-2/+8
2023-12-18Add function ABI and type layout to StableMIRCelina G. Val-0/+309
2023-12-15Add a method to check if type is a CStrCelina G. Val-0/+9
2023-12-15Rollup merge of #118927 - celinval:smir-missing-info, r=compiler-errorsAli MJ Al-Nasrawy-16/+85
2023-12-14Revert signature change for AssertMessage descriptionCelina G. Val-34/+21
2023-12-14Address PR commentsCelina G. Val-37/+46
2023-12-14add stable_mir output testouz-a-13/+30
2023-12-13Add spread arg and missing CoroutineKindCelina G. Val-10/+80
2023-12-13Erase late bound regions from instance `fn_sig()`Celina G. Val-4/+7
2023-12-12Rollup merge of #118846 - celinval:smir-ty-methods, r=compiler-errorsMatthias Krüger-13/+144
2023-12-11Remove scalar fn and tighten the BiOp Ty assertionsCelina G. Val-24/+12
2023-12-11Fix doc commentCelina G. Val-1/+1
2023-12-11Fix BinOp ty assertion and `fn_sig` for closuresCelina G. Val-12/+155
2023-12-11remove some redundant clonesMatthias Krüger-1/+1
2023-12-10remove redundant importssurechen-1/+0
2023-12-07Add tests to allocation methods and fix is_null()Celina G. Val-2/+24
2023-12-07Fix conversion to StaticDef and add testCelina G. Val-2/+2
2023-12-07Add instance evaluation and methods to read allocCelina G. Val-9/+205