summary refs log tree commit diff
path: root/compiler/stable_mir/src/mir
AgeCommit message (Expand)AuthorLines
2024-12-14Encode coroutine-closures in SMIRMichael Goulet-2/+10
2024-11-07[StableMIR] A few fixes to pretty printingCelina G. Val-25/+76
2024-10-16Rollup merge of #131778 - practicalrs:fix_needless_lifetimes, r=jieyouxuMatthias Krüger-1/+1
2024-10-16Rollup merge of #131777 - practicalrs:fix_trivially_copy_pass_by_ref, r=jieyouxuMatthias Krüger-3/+3
2024-10-16Fix needless_lifetimes in stable_mirMichal Piotrowski-1/+1
2024-10-16Fix trivially_copy_pass_by_ref in stable_mirMichal Piotrowski-3/+3
2024-10-16Rollup merge of #131700 - practicalrs:fix_match_same_arms, r=celinvalUrgau-29/+17
2024-10-15Fix uninlined_format_args in stable_mirMichal Piotrowski-12/+12
2024-10-14Fix match_same_arms in stable_mirMichal Piotrowski-29/+17
2024-10-05clarify semantics of ConstantIndex MIR projectionRalf Jung-2/+4
2024-10-04Rollup merge of #131194 - practicalrs:fix_needless_lifetimes, r=celinvalJubilee-2/+2
2024-10-04Use wide pointers consistenly across the compilerUrgau-3/+3
2024-10-03Fix needless_lifetimes in stable_mirMichal Piotrowski-2/+2
2024-09-24unify dyn* coercions with other pointer coercionsLukas Markeffsky-0/+1
2024-09-22Reformat using the new identifier sorting from rustfmtMichael Goulet-3/+3
2024-08-23Introduce methods for obtaining `Location` for statements and terminatorsArtem Agvanian-4/+14
2024-08-16Add an ability to convert between `Span` and `visit::Location`Artem Agvanian-0/+6
2024-07-29Reformat `use` declarations.Nicholas Nethercote-13/+18
2024-07-25Auto merge of #126963 - runtimeverification:smir_serde_derive, r=celinvalbors-46/+50
2024-07-19Avoid ref when using format! in compilerYuri Astrakhan-5/+5
2024-06-26add serde derive Serialize to stable_mirStephen Skeirik-46/+50
2024-06-20Add blank lines after module-level `//!` comments.Nicholas Nethercote-0/+1
2024-06-13smir: merge identical Constant and ConstOperand typesRalf Jung-24/+17
2024-06-04Split smir `Const` into `TyConst` and `MirConst`Boxy-19/+32
2024-05-30Apply x clippy --fix and x fmtr0cky-2/+2
2024-05-28Add an intrinsic for `ptr::metadata`Scott McMurray-1/+13
2024-05-23Rollup merge of #125336 - momvart:smir-77-intrinsic, r=celinvalLeón Orell Valerian Liehr-1/+3
2024-05-20Add intrinsic definition and retrieval APIsMohammad Omidvar-1/+3
2024-05-17Rename Unsafe to SafetySantiago Pastorino-1/+1
2024-04-23Rollup merge of #122598 - Nadrieril:full-derefpats, r=matthewjasperLeón Orell Valerian Liehr-8/+18
2024-04-23Auto merge of #121801 - zetanumbers:async_drop_glue, r=oli-obkbors-1/+4
2024-04-21Add `AggregateKind::RawPtr` and enough support to compileScott McMurray-0/+2
2024-04-20Add a non-shallow fake borrowNadrieril-8/+18
2024-04-18Fix disabling the export of noop async_drop_in_place_rawDaria Sukhonina-1/+4
2024-04-10Rollup merge of #123659 - celinval:smir-fix-intrinsic, r=oli-obkGuillaume Gomez-1/+10
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