about summary refs log tree commit diff
path: root/compiler/stable_mir
AgeCommit message (Expand)AuthorLines
2025-02-10Extend the renaming to coerce_unsafe_ptrBastian Kersting-1/+1
2025-02-08occured -> occurredMichael Goulet-2/+2
2025-02-03Contracts core intrinsics.Felix S. Klock II-1/+4
2025-01-31Insert null checks for pointer dereferences when debug assertions are enabledBastian Kersting-1/+9
2025-01-28Represent the raw pointer for a array length check as a new kind of fake borrowMichael Goulet-5/+33
2025-01-16Add gpu-kernel calling conventionFlakebi-0/+3
2024-12-18make no-variant types a dedicated Variants variantRalf Jung-1/+3
2024-12-18Variants::Single: do not use invalid VariantIdx for uninhabited enumsRalf Jung-0/+1
2024-12-14Encode coroutine-closures in SMIRMichael Goulet-2/+22
2024-11-08Rollup merge of #132161 - celinval:smir-fix-indent, r=compiler-errorsStuart Cook-25/+84
2024-11-07Rollup merge of #132131 - celinval:smir-crate-defs, r=compiler-errorsJubilee-1/+18
2024-11-07[StableMIR] A few fixes to pretty printingCelina G. Val-25/+84
2024-11-07[StableMIR] API to retrieve definitions from cratesCelina G. Val-1/+18
2024-10-24Rollup merge of #132085 - celinval:update-smir-doc, r=compiler-errorsJubilee-88/+22
2024-10-24Update README.mdCelina G. Val-3/+11
2024-10-24Apply suggestions from code reviewCelina G. Val-2/+2
2024-10-24Remove associated type based effects logicMichael Goulet-1/+0
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-38/+24
2024-10-15Fix uninlined_format_args in stable_mirMichal Piotrowski-12/+12
2024-10-14Fix match_same_arms in stable_mirMichal Piotrowski-38/+24
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-27Auto merge of #130946 - matthiaskrgr:rollup-ia4mf0y, r=matthiaskrgrbors-1/+1
2024-09-27Rollup merge of #130826 - fmease:compiler-mv-obj-safe-dyn-compat, r=compiler-...Matthias Krüger-1/+1
2024-09-26Use `&raw` in the compilerJosh Stone-1/+1
2024-09-25Update StableMIR doc to reflect current statusCelina G. Val-88/+14
2024-09-25Compiler: Rename "object safe" to "dyn compatible"León Orell Valerian Liehr-1/+1
2024-09-24unify dyn* coercions with other pointer coercionsLukas Markeffsky-0/+1
2024-09-22Reformat using the new identifier sorting from rustfmtMichael Goulet-10/+10
2024-09-21add `C-cmse-nonsecure-entry` ABIFolkert de Vries-0/+2
2024-09-02chore: Fix typos in 'compiler' (batch 3)Alexander Cyon-2/+2
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-36/+42
2024-07-25Auto merge of #126963 - runtimeverification:smir_serde_derive, r=celinvalbors-139/+166
2024-07-19Avoid ref when using format! in compilerYuri Astrakhan-5/+5
2024-07-11Remove extern "wasm" ABINikita Popov-1/+0
2024-06-28Add method to get all attributes on a definitionAdwin White-25/+41
2024-06-28Support fetching `Attribute` of items.Adwin White-2/+33
2024-06-26add serde derive Serialize to stable_mirStephen Skeirik-139/+166
2024-06-26Remove `f16` and `f128` ICE paths from smirTrevor Gross-0/+2
2024-06-21Add method to get `FnAbi` of function pointerAdwin White-1/+14
2024-06-20Add blank lines after module-level `//!` comments.Nicholas Nethercote-0/+1
2024-06-15Rollup merge of #126410 - RalfJung:smir-const-operand, r=oli-obkGuillaume Gomez-24/+17