about summary refs log tree commit diff
path: root/compiler/rustc_smir/src
AgeCommit message (Collapse)AuthorLines
2023-08-09Convert Const to Allocation in smirouz-a-3/+146
2023-08-08fix: add RiscvInterrupt* cconv to smirSeth Pellegrino-0/+4
These new interrupt calling conventions are not themselves stabilized, but there are other unstable calling conventions present in the SMIR mapping (e.g. AVR interrupts) and the mapping appears to be "complete" so far, with no obvious way to represent unstable conventions separately from the stable ones.
2023-08-07Add TraitDef::trait_decl methodSantiago Pastorino-0/+6
2023-08-07Add all_trait_decls to SMIRSantiago Pastorino-0/+12
2023-08-07Convert trait declaration to SMIRSantiago Pastorino-4/+76
2023-08-07Convert unsafety using the stable method and reuse mir::SafetySantiago Pastorino-13/+4
2023-08-06Add alocation to smirouz-a-0/+53
2023-08-01clean up, use opaque typesouz-a-42/+53
2023-08-01Cover statements for stable_mirouz-a-14/+267
2023-07-31Rollup merge of #114165 - ouz-a:smir1, r=spastorinoMatthias Krüger-7/+85
Add missing rvalues to smir Added few missing rvalues to smir, not entirely confident about changes to `Aggregate` cc https://github.com/rust-lang/project-stable-mir/issues/13 r? `@oli-obk`
2023-07-31add missing rvalues to smirouz-a-7/+85
2023-07-30inline format!() args up to and including rustc_codegen_llvmMatthias Krüger-4/+4
2023-07-27Rollup merge of #114082 - ericmarkmartin:smir-nullary-op, r=spastorinoMatthias Krüger-1/+6
add stable NullaryOp r? `@spastorino`
2023-07-26Add Bound ty to SMIRSantiago Pastorino-1/+18
2023-07-26Add Param ty to SMIRSantiago Pastorino-1/+16
2023-07-26add stable NullaryOpEric Mark Martin-1/+6
2023-07-25factor out more stable implsEric Mark Martin-55/+110
2023-07-24Dynamic for smirEric Mark Martin-1/+120
2023-07-24generic smir stable impl for BinderEric Mark Martin-3/+7
2023-07-22add Alias for smirEric Mark Martin-1/+50
2023-07-21Implement Stable for ty::TySantiago Pastorino-80/+84
2023-07-20Add FnPtr ty to SMIRSantiago Pastorino-1/+191
2023-07-20Implement Stable for ty::GenericArgsSantiago Pastorino-25/+24
2023-07-20Add tables to Stable::stableSantiago Pastorino-97/+111
2023-07-19Remove FIXMEs a lot of things need fixesSantiago Pastorino-2/+0
2023-07-19Extract generic_args functionSantiago Pastorino-67/+26
2023-07-19Add Generator to SMIRSantiago Pastorino-2/+44
2023-07-19Add Closure ty to SMIRSantiago Pastorino-1/+31
2023-07-19Add FnDef ty to SMIRSantiago Pastorino-2/+32
2023-07-19Rename SMIR AdtSubsts to GenericArgsSantiago Pastorino-6/+6
2023-07-18Add Never to SMIRSantiago Pastorino-1/+2
2023-07-18Add Foreign to SMIRSantiago Pastorino-1/+15
2023-07-17conversions to smir RawPtr and RefEric Mark Martin-10/+7
2023-07-17add RawPtrEric Mark Martin-1/+6
2023-07-17move const definitionEric Mark Martin-0/+2
2023-07-14Auto merge of #112982 - lukas-code:bootstrap-alias-default-crates, ↵bors-3/+4
r=albertlarsan68 bootstrap: update defaults for `compiler` and `library` aliases * `x doc compiler` now documents all of compiler, not just `rustc_driver`. * `x doc` with compiler docs enabled now includes `rustc-main` and `rustc_smir`. `rustc_codegen_llvm` is only included if the LLVM backend is enabled, which is the default. * `x doc library` now excludes `sysroot`. * `x check compiler` and `x check library` now properly check tests/benches/examples of all compiler or library crates, respectively. Note that `x check compiler` will check the library artifacts, but not tests. fixes the fallout from https://github.com/rust-lang/rust/pull/111955, cc `@jyn514`
2023-07-14fix docs for `rustc_smir`Lukas Markeffsky-3/+4
2023-07-13add str, slice, and array to smir typesEric Mark Martin-3/+8
2023-07-13Rollup merge of #113629 - spastorino:smir-types-3, r=oli-obkMatthias Krüger-13/+58
Add Adt to SMIR r? ````@oli-obk````
2023-07-13Add Adt to SMIRSantiago Pastorino-5/+55
2023-07-13Rollup merge of #113553 - spastorino:smir-types-2, r=oli-obkMatthias Krüger-5/+7
Make Placeholder, GeneratorWitness*, Infer and Error unreachable on SMIR rustc_ty_to_ty Let's remove these todos to not confuse ``@ericmarkmartin`` if they pick some conversion up. r? ``@oli-obk``
2023-07-12DefIds are not only about CrateItemSantiago Pastorino-8/+3
2023-07-11Make Placeholder, GeneratorWitness*, Infer and Error unreachable on SMIR ↵Santiago Pastorino-5/+7
rustc_ty_to_ty
2023-07-10Implement a few more rvalue translation to smirCelina G. Val-9/+317
- Introduce an Opaque type for adding information that is still internal to the compiler.
2023-07-10Implement Stable for AssertMessageCelina G. Val-30/+37
2023-07-10Fix standalone buildCelina G. Val-0/+10
Add extern declarations and optional dependencies to fix build done directly via `cargo build`.
2023-07-08Rollup merge of #113412 - spastorino:smir-types-1, r=oli-obkMatthias Krüger-9/+63
Add basic types to SMIR Still incomplete but I think this can be merged and we can keep iterating over it. r? ``@oli-obk``
2023-07-07Add Float ty to SMIRSantiago Pastorino-3/+13
2023-07-07Add Uint ty to SMIRSantiago Pastorino-2/+20
2023-07-07Add Int ty to SMIRSantiago Pastorino-2/+20