about summary refs log tree commit diff
path: root/compiler/stable_mir
AgeCommit message (Expand)AuthorLines
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-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
2024-06-15Rollup merge of #126361 - celinval:issue-0079-intrinsic, r=oli-obkMatthias Krüger-5/+6
2024-06-13smir: merge identical Constant and ConstOperand typesRalf Jung-24/+17
2024-06-13Rollup merge of #126366 - celinval:issue-0080-def-ty, r=oli-obkLeón Orell Valerian Liehr-10/+63
2024-06-12Add a new trait to retrieve StableMir definition TyCelina G. Val-10/+63
2024-06-12Make `try_from_target_usize` method publicArtem Agvanian-1/+1
2024-06-12Unify intrinsics body handling in StableMIRCelina G. Val-5/+6
2024-06-10Remove some unused crate dependencies.Nicholas Nethercote-1/+0
2024-06-04Split smir `Const` into `TyConst` and `MirConst`Boxy-61/+137
2024-05-30Apply x clippy --fix and x fmtr0cky-5/+5
2024-05-28Add an intrinsic for `ptr::metadata`Scott McMurray-2/+17
2024-05-24Remove `DefId` from `EarlyParamRegion` (clippy/smir)Boxy-1/+0
2024-05-23Rollup merge of #125336 - momvart:smir-77-intrinsic, r=celinvalLeón Orell Valerian Liehr-4/+50
2024-05-23Add conversion from IntrinsicDef to FnDefMohammad Omidvar-0/+6
2024-05-20Implement BOXED_SLICE_INTO_ITERMichael Goulet-0/+1
2024-05-20Add intrinsic definition and retrieval APIsMohammad Omidvar-4/+44
2024-05-17Rename Unsafe to SafetySantiago Pastorino-5/+4
2024-05-13split out AliasTy -> AliasTermMichael Goulet-1/+7
2024-05-08Use generic `NonZero`.Markus Reiter-2/+2