about summary refs log tree commit diff
path: root/compiler/stable_mir/src/mir
AgeCommit message (Expand)AuthorLines
2023-12-20Add method to get instance instantiation argumentsCelina G. Val-0/+6
2023-12-20Rollup merge of #119094 - celinval:smir-layout, r=compiler-errorsMatthias Krüger-0/+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/+6
2023-12-15Rollup merge of #118927 - celinval:smir-missing-info, r=compiler-errorsAli MJ Al-Nasrawy-13/+74
2023-12-14Revert signature change for AssertMessage descriptionCelina G. Val-34/+21
2023-12-14Address PR commentsCelina G. Val-27/+35
2023-12-14add stable_mir output testouz-a-13/+30
2023-12-13Add spread arg and missing CoroutineKindCelina G. Val-7/+73
2023-12-13Erase late bound regions from instance `fn_sig()`Celina G. Val-1/+1
2023-12-11Remove scalar fn and tighten the BiOp Ty assertionsCelina G. Val-5/+11
2023-12-11Fix BinOp ty assertion and `fn_sig` for closuresCelina G. Val-10/+12
2023-12-07Add tests to allocation methods and fix is_null()Celina G. Val-1/+19
2023-12-07Fix conversion to StaticDef and add testCelina G. Val-1/+1
2023-12-07Add instance evaluation and methods to read allocCelina G. Val-3/+43
2023-12-07Rollup merge of #118688 - celinval:smir-rvalue-ty, r=compiler-errorsMatthias Krüger-2/+118
2023-12-06Add sanity check to `BinOp::ty()`Celina G. Val-8/+14
2023-12-06Update compiler/stable_mir/src/mir/body.rsCelina G. Val-1/+1
2023-12-06Simplify StaticDef to Instance conversionCelina G. Val-3/+4
2023-12-06Add method to get type of an Rvalue in StableMIRCelina G. Val-0/+109
2023-12-06Rollup merge of #118681 - celinval:fix-foreign-item, r=ouz-aMatthias Krüger-2/+9
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-2/+1
2023-12-05Change ty_with_args to return Ty instead of ResultCelina G. Val-1/+1
2023-12-04Add FieldDef to StableMIR and methods to get typeCelina G. Val-1/+1
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-22/+33
2023-12-01Add more information to stable InstanceCelina G. Val-9/+34
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-9/+277
2023-11-27add otherwise into targetsouz-a-2/+2
2023-11-26add successors and their formatterouz-a-23/+159
2023-11-25add pretty_terminatorouz-a-1/+133
2023-11-25is_{some,ok}_andMichael Goulet-1/+1
2023-11-24Fix smir's `Ty::Ref` pretty printingCelina G. Val-2/+4
2023-11-23Improve documentation and fix the fixme commentCelina G. Val-2/+8
2023-11-22Add CrateDef trait and methods to get def namesCelina G. Val-4/+23
2023-11-21Add allocation test and a bit more documentationCelina G. Val-0/+7
2023-11-21Add support to get virtual table allocationCelina G. Val-0/+7
2023-11-21Add support to global allocation to stable-mirCelina G. Val-1/+61
2023-11-22Auto merge of #118152 - matthiaskrgr:rollup-bqcck4w, r=matthiaskrgrbors-4/+74
2023-11-21Fix `clippy::needless_borrow` in the compilerNilstrieb-3/+3
2023-11-21de-structure variable and add stablesouz-a-4/+6
2023-11-21Add VarDebugInfo to Stable MIRouz-a-4/+72
2023-11-20Improve code per PR commentsCelina G. Val-29/+35
2023-11-20Add place.ty() and Ty build from a kind to smirCelina G. Val-17/+73
2023-11-17use new apis and add new functionouz-a-12/+8
2023-11-17move pretty into stable_mirOğuz Ağcayazı-2/+286
2023-11-17better formatting for statementsOğuz Ağcayazı-1/+1