about summary refs log tree commit diff
path: root/compiler/rustc_smir/src/stable_mir
AgeCommit message (Expand)AuthorLines
2023-09-12Add explicit_predicates_of to SMIRSantiago Pastorino-0/+5
2023-09-09add function that returns span of an itemouz-a-0/+7
2023-09-06Rollup merge of #115605 - ouz-a:smir_better_debug, r=oli-obkMatthias Krüger-1/+8
2023-09-06Ty Debug now prints id and kindouz-a-1/+8
2023-09-06Implement and test monomorphizationOli Scherer-2/+63
2023-09-06Allow fetching the SMIR body of FnDefsOli Scherer-3/+13
2023-09-06Deopaquify `ParamConst`Oli Scherer-10/+17
2023-09-06Add types to all constantsOli Scherer-6/+6
2023-09-06Also use `Const` in `SMIR` instead of just `ConstantKind`Oli Scherer-2/+2
2023-09-06Add type folder to SMIROli Scherer-1/+218
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-2/+8
2023-09-02add stable provenanceEric Mark Martin-2/+8
2023-09-01Create a SMIR visitorOli Scherer-0/+187
2023-08-30Move some logic using rustc datastructures to the `rustc_smir` moduleOli Scherer-124/+1
2023-08-30Move around constants' `Stable` impls a bitOli Scherer-12/+8
2023-08-29Rollup merge of #115300 - spastorino:smir-tweaks, r=oli-obkMatthias Krüger-38/+17
2023-08-29Create StableMir replacer for SMirCallsouz-a-2/+1
2023-08-29Call these methods from high level stable_mir::trait_decl(trait_def) and so onSantiago Pastorino-12/+0
2023-08-29Implement generics_of and predicates_of only for TraitDecl for nowSantiago Pastorino-6/+10
2023-08-29Deduplicate GenericPredicatesSantiago Pastorino-9/+3
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-4/+4
2023-08-28Remove stable_mir::generics_of/predicates_of those shouldn't be exposedSantiago Pastorino-8/+0
2023-08-26Auto merge of #115211 - spastorino:add-missing-smir-generics-of, r=compiler-e...bors-0/+4
2023-08-25Auto merge of #115202 - ouz-a:more_smir, r=spastorinobors-3/+10
2023-08-25Add missing high-level stable_mir::generics_of fnSantiago Pastorino-0/+4
2023-08-25Auto merge of #115093 - Zalathar:smir-coverage, r=cjgillot,oli-obkbors-39/+4
2023-08-25Add stable for Constant in smirouz-a-3/+10
2023-08-23predicates ofEric Mark Martin-2/+15
2023-08-23stable types for predicatesEric Mark Martin-0/+78
2023-08-22add generics_of to smirouz-a-12/+49
2023-08-22Treat `StatementKind::Coverage` as completely opaque for SMIR purposesZalathar-39/+4
2023-08-21stable_mir: docs clarificationRalf Jung-1/+1
2023-08-16Add missing Clone/Debug impls to SMIR Trait related tysSantiago Pastorino-0/+3
2023-08-16Rollup merge of #114859 - spastorino:add-smir-cx-trait-fns, r=compiler-errorsMatthias Krüger-0/+16
2023-08-15Add trait related queries to SMIR's rustc_internalSantiago Pastorino-0/+16
2023-08-14Rollup merge of #114745 - ouz-a:smir_const, r=spastorinoMatthias Krüger-1/+5
2023-08-12Rollup merge of #114703 - ouz-a:smir_allocation, r=oli-obkMatthias Krüger-0/+1
2023-08-11Make Const more useful in smirouz-a-1/+5
2023-08-10cover ParamConstouz-a-0/+1
2023-08-10Add impl trait declarations to SMIRSantiago Pastorino-1/+27
2023-08-10Fix copy & paste doc errorSantiago Pastorino-1/+1
2023-08-09Rollup merge of #114587 - ouz-a:smir_allocation, r=oli-obkMatthias Krüger-1/+146
2023-08-09only allocate bytes within AllocRangeouz-a-9/+42
2023-08-09Convert Const to Allocation in smirouz-a-1/+113
2023-08-08fix: add RiscvInterrupt* cconv to smirSeth Pellegrino-0/+2