about summary refs log tree commit diff
path: root/compiler/rustc_smir/src
AgeCommit message (Expand)AuthorLines
2023-09-06Add types to all constantsOli Scherer-8/+9
2023-09-06Also use `Const` in `SMIR` instead of just `ConstantKind`Oli Scherer-15/+19
2023-09-06Add type folder to SMIROli Scherer-6/+255
2023-09-05Add tests and use ControlFlowCelina G. Val-34/+34
2023-09-05SMIR: Allow users to pick if compilation continuesCelina G. Val-8/+20
2023-09-05Diferentiate between ICE and compilation errorCelina G. Val-8/+15
2023-09-05Adjust StableMIR interface to return and not crashCelina G. Val-11/+37
2023-09-04provide more useful info for DefId Debugouz-a-1/+20
2023-09-03Auto merge of #115470 - ericmarkmartin:stable-prov, r=oli-obkbors-7/+28
2023-09-02add stable provenanceEric Mark Martin-7/+28
2023-09-01Create a SMIR visitorOli Scherer-3/+202
2023-08-30Move some logic using rustc datastructures to the `rustc_smir` moduleOli Scherer-131/+135
2023-08-30Reuse the `ty::Const: Stable` implOli Scherer-5/+3
2023-08-30Exhaustively match on `ty::Const::kind`Oli Scherer-1/+12
2023-08-30Move around constants' `Stable` impls a bitOli Scherer-27/+28
2023-08-29Rollup merge of #115300 - spastorino:smir-tweaks, r=oli-obkMatthias Krüger-71/+41
2023-08-29Create StableMir replacer for SMirCallsouz-a-2/+42
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-11/+5
2023-08-29Index def_ids directlySantiago Pastorino-20/+4
2023-08-29Add stable_mir::DefId as new type wrapperSantiago Pastorino-15/+23
2023-08-28Context::generics _of/predicates_of should receive stable_mir::DefIdSantiago Pastorino-12/+12
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-4/+23
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-94/+5
2023-08-25Auto merge of #115045 - RalfJung:unwind-terminate-reason, r=davidtwcobors-2/+2
2023-08-25Add stable for Constant in smirouz-a-4/+23
2023-08-24when terminating during unwinding, show the reason whyRalf Jung-2/+2
2023-08-23predicates ofEric Mark Martin-12/+43
2023-08-23stable types for predicatesEric Mark Martin-11/+269
2023-08-22add generics_of to smirouz-a-13/+129
2023-08-22Treat `StatementKind::Coverage` as completely opaque for SMIR purposesZalathar-94/+5
2023-08-21stable_mir: docs clarificationRalf Jung-1/+1
2023-08-20give some unwind-related terminators a more clear nameRalf Jung-2/+2
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-16Auto merge of #114689 - m-ou-se:stabilize-thread-local-cell-methods, r=thomccbors-1/+0
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-6/+23
2023-08-12Rollup merge of #114703 - ouz-a:smir_allocation, r=oli-obkMatthias Krüger-1/+4
2023-08-11Make Const more useful in smirouz-a-6/+23
2023-08-10cover ParamConstouz-a-1/+4
2023-08-10Add impl trait declarations to SMIRSantiago Pastorino-1/+75
2023-08-10Fix copy & paste doc errorSantiago Pastorino-1/+1
2023-08-10Stabilize thread local cell methods.Mara Bos-1/+0
2023-08-09Rollup merge of #114587 - ouz-a:smir_allocation, r=oli-obkMatthias Krüger-27/+183
2023-08-09only allocate bytes within AllocRangeouz-a-34/+47