about summary refs log tree commit diff
path: root/compiler/stable_mir/src/mir
AgeCommit message (Expand)AuthorLines
2024-04-09Rollup merge of #123655 - celinval:smir-fix-binop-ty, r=compiler-errorsMatthias Krüger-36/+2
2024-04-08Add support to intrinsics fallback bodyCelina G. Val-1/+10
2024-04-08Remove unimplemented!() from BinOp::ty() functionCelina G. Val-36/+2
2024-04-06Put checks that detect UB under their own flag below debug_assertionsBen Kimock-1/+1
2024-04-03rename `expose_addr` to `expose_provenance`joboet-0/+1
2024-04-02Rollup merge of #122935 - RalfJung:with-exposed-provenance, r=AmanieuJacob Pratt-1/+1
2024-04-02Auto merge of #118310 - scottmcm:three-way-compare, r=davidtwcobors-0/+4
2024-03-23Add+Use `mir::BinOp::Cmp`Scott McMurray-0/+4
2024-03-23Rollup merge of #122762 - RoboSchmied:RoboSchmied-typo, r=workingjubileeJubilee-2/+2
2024-03-23refactor check_{lang,library}_ub: use a single intrinsic, put policy into lib...Ralf Jung-8/+2
2024-03-23rename MIR int2ptr casts to match library nameRalf Jung-1/+1
2024-03-21Rollup merge of #122801 - celinval:smir-pretty, r=compiler-errorsMatthias Krüger-335/+222
2024-03-20s/place_debug/place_pretty in SMIRCelina G. Val-1/+1
2024-03-20Enable users to dump the body of an instanceCelina G. Val-1/+8
2024-03-20Improve emit stable mir bodyCelina G. Val-335/+215
2024-03-20Update target.rs alloc.rs event.rs simd.rsRoboSchmied-2/+2
2024-03-20resolve clippy errorsonur-ozkan-4/+4
2024-03-13Rollup merge of #122203 - adpaco-aws:smir-intrinsic-name, r=celinvalMatthias Krüger-0/+11
2024-03-12Add `intrinsic_name` to get plain intrinsic nameAdrian Palacios-0/+11
2024-03-08Distinguish between library and lang UB in assert_unsafe_preconditionBen Kimock-2/+8
2024-02-12Dejargnonize substShoyu Vanilla-1/+1
2024-02-08Add a new debug_assertions instrinsic (compiler)Ben Kimock-0/+3
2024-01-11Add more information to `visit_projection_elem`Celina G. Val-19/+38
2023-12-28Restore movability to SMIRMichael Goulet-4/+8
2023-12-28Remove movability from TyKind::CoroutineMichael Goulet-7/+4
2023-12-25Only regular coroutines have movabilityMichael Goulet-3/+3
2023-12-22Split coroutine desugaring kind from sourceMichael Goulet-21/+34
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