about summary refs log tree commit diff
path: root/compiler/rustc_smir/src/stable_mir/mod.rs
AgeCommit message (Expand)AuthorLines
2025-07-06move `stable_mir` back to its own crate and move `rustc_internal` to the`stab...Makai-304/+0
2025-07-04refactor: implement a new bridge trait `Allocation`Makai-1/+26
2025-07-04refactor: move `convert` to `unstable`Makai-40/+2
2025-07-04refactor: unify `Tables` implementation with bridge types and re-export `Inde...Makai-0/+37
2025-07-04refactor: move `convert` module to `stable_mir`Makai-0/+1
2025-07-04refactor: split `rustc_smir::alloc` into two partsMakai-0/+1
2025-07-04refactor: move `IndexedVal` from `stable_mir` to `rustc_smir`Makai-2/+3
2025-07-04refactor: make `SmirInterface` a trait and impl it for `SmirContainer`Makai-0/+38
2025-04-05let `rustc_smir` host `stable_mir` for refactoringMakai-0/+239
2023-09-25Split out the stable part of smir into its own crate to prevent accidental us...Oli Scherer-230/+0
2023-09-25Move `Opaque` to `stable_mir`Oli Scherer-2/+20
2023-09-25Fix test by adding a stable way to get an opaque DefKindOli Scherer-0/+10
2023-09-25Eliminate escape hatchOli Scherer-5/+5
2023-09-14Rollup merge of #115772 - ouz-a:smir_span2, r=oli-obkMatthias Krüger-1/+1
2023-09-14span is indexouz-a-1/+1
2023-09-12Add explicit_predicates_of to SMIRSantiago Pastorino-0/+1
2023-09-09add function that returns span of an itemouz-a-0/+7
2023-09-06Allow fetching the SMIR body of FnDefsOli Scherer-2/+2
2023-09-06Add type folder to SMIROli Scherer-0/+4
2023-09-05Add tests and use ControlFlowCelina G. Val-1/+6
2023-09-05Diferentiate between ICE and compilation errorCelina G. Val-1/+6
2023-09-05Adjust StableMIR interface to return and not crashCelina G. Val-0/+4
2023-09-04provide more useful info for DefId Debugouz-a-1/+15
2023-09-03Auto merge of #115470 - ericmarkmartin:stable-prov, r=oli-obkbors-0/+4
2023-09-02add stable provenanceEric Mark Martin-0/+4
2023-09-01Create a SMIR visitorOli Scherer-0/+1
2023-08-29Rollup merge of #115300 - spastorino:smir-tweaks, r=oli-obkMatthias Krüger-18/+5
2023-08-29Create StableMir replacer for SMirCallsouz-a-2/+1
2023-08-29Deduplicate GenericPredicatesSantiago Pastorino-7/+1
2023-08-29Add stable_mir::DefId as new type wrapperSantiago Pastorino-1/+2
2023-08-28Context::generics _of/predicates_of should receive stable_mir::DefIdSantiago Pastorino-3/+3
2023-08-28Remove stable_mir::generics_of/predicates_of those shouldn't be exposedSantiago Pastorino-8/+0
2023-08-25Add missing high-level stable_mir::generics_of fnSantiago Pastorino-0/+4
2023-08-23predicates ofEric Mark Martin-1/+14
2023-08-22add generics_of to smirouz-a-1/+2
2023-08-21stable_mir: docs clarificationRalf Jung-1/+1
2023-08-15Add trait related queries to SMIR's rustc_internalSantiago Pastorino-0/+16
2023-08-10Add impl trait declarations to SMIRSantiago Pastorino-1/+6
2023-08-10Fix copy & paste doc errorSantiago Pastorino-1/+1
2023-08-07Add all_trait_decls to SMIRSantiago Pastorino-0/+4
2023-08-07Convert trait declaration to SMIRSantiago Pastorino-1/+2
2023-07-02Use scoped-tls for SMIR to map between TyCtxt and SMIR datastructuresyukang-14/+14
2023-05-08Create a trait to abstract over the smir APIOli Scherer-6/+60
2023-04-14Add a stable MIR way to get the main functionOli Scherer-0/+7
2023-03-16Implement a minimal subset of MIR statements and terminators for smirOli Scherer-0/+8
2023-03-16Remove `DefId` from `CrateItem` in favor of a lookup tableOli Scherer-3/+1
2023-03-07Change item collection to be on demandCelina G. Val-2/+10
2023-03-06Create new rustc_smir struct to map future cratesCelina G. Val-0/+52