about summary refs log tree commit diff
path: root/compiler/stable_mir
AgeCommit message (Expand)AuthorLines
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
2023-12-07Rollup merge of #118688 - celinval:smir-rvalue-ty, r=compiler-errorsMatthias Krüger-3/+186
2023-12-06Add sanity check to `BinOp::ty()`Celina G. Val-8/+27
2023-12-06Update compiler/stable_mir/src/mir/body.rsCelina G. Val-1/+1
2023-12-06Simplify StaticDef to Instance conversionCelina G. Val-4/+5
2023-12-06Add method to get type of an Rvalue in StableMIRCelina G. Val-0/+163
2023-12-06Rollup merge of #118681 - celinval:fix-foreign-item, r=ouz-aMatthias Krüger-4/+11
2023-12-06Also add an API to check if an instance has bodyCelina G. Val-0/+8
2023-12-06Fix `is_foreign_item` for StableMIR instanceCelina G. Val-4/+3
2023-12-05Change ty_with_args to return Ty instead of ResultCelina G. Val-5/+10
2023-12-04Add FieldDef to StableMIR and methods to get typeCelina G. Val-3/+47
2023-12-04Finish implementing `RustcInternal` for `TyKind`Celina G. Val-1/+1
2023-12-04Add Variant and a few more APIs to stable_mirCelina G. Val-23/+111
2023-12-01Add more information to stable InstanceCelina G. Val-16/+82
2023-11-30Fix SwitchTarget pretty printCelina G. Val-4/+1
2023-11-30Change SwitchTarget representationCelina G. Val-38/+67
2023-11-27Rollup merge of #118172 - ouz-a:improve_emit_stable1, r=celinvalMichael Goulet-11/+279
2023-11-27add otherwise into targetsouz-a-2/+2
2023-11-26add successors and their formatterouz-a-24/+160
2023-11-25add pretty_terminatorouz-a-2/+134
2023-11-25is_{some,ok}_andMichael Goulet-1/+1
2023-11-25Rollup merge of #118274 - celinval:smir-fix-pretty, r=ouz-aLeón Orell Valerian Liehr-2/+4
2023-11-24Fix smir's `Ty::Ref` pretty printingCelina G. Val-2/+4
2023-11-24Reorder imports and remove re-exportCelina G. Val-10/+12
2023-11-24Move the compiler interface defs to its own moduleCelina G. Val-160/+172
2023-11-24Rollup merge of #118215 - celinval:smir-def-paths, r=ouz-aMichael Goulet-46/+156
2023-11-23Improve documentation and fix the fixme commentCelina G. Val-8/+17
2023-11-22Auto merge of #118120 - compiler-errors:closure-kind, r=lcnrbors-1/+0