about summary refs log tree commit diff
path: root/compiler/stable_mir/src
AgeCommit message (Collapse)AuthorLines
2023-10-19Add stable Instance::body() and RustcInternal traitCelina G. Val-2/+49
The `Instance::body()` returns a monomorphized body. For that, we had to implement visitor that monomorphize types and constants. We are also introducing the RustcInternal trait that will allow us to convert back from Stable to Internal. Note that this trait is not yet visible for our users as it depends on Tables. We should probably add a new trait that can be exposed.
2023-10-16Add MonoItems and Instance to stable_mirCelina G. Val-15/+187
Also add a few methods to instantiate instances and get an instance definition. We're still missing support to actually monomorphize the instance body.
2023-10-13change fn name, return loc info, local nameOğuz Ağcayazı-5/+6
2023-10-11implement get_filename/lines for spanOğuz Ağcayazı-6/+34
2023-10-10Rollup merge of #116560 - ouz-a:efficient_ids, r=oli-obkGuillaume Gomez-4/+39
In smir use `FxIndexMap` to store indexed ids Previously we used `vec` for storing indexed types, which is fine for small cases but will lead to huge performance issues when we use `smir` for real world cases. Addresses https://github.com/rust-lang/project-stable-mir/issues/35 r? ``@oli-obk``
2023-10-10add new wrapper for FxIndexMapOğuz Ağcayazı-4/+39
2023-10-09return crates instead of a crateOğuz Ağcayazı-4/+4
2023-10-05add span to statementsouz-a-1/+7
2023-09-30add span to terminatorouz-a-1/+7
2023-09-30create localdecl and add span to itouz-a-1/+7
2023-09-29Rollup merge of #116024 - ouz-a:smir_region, r=oli-obkMatthias Krüger-9/+82
Implement Region for smir Adds Region and it's relevant types to smir and covers them with stable implementation r? `@oli-obk`
2023-09-28simplify visitouz-a-28/+2
2023-09-28visit and fold ty::refouz-a-2/+8
2023-09-28simplify foldouz-a-34/+3
2023-09-28change visit to fold for ty and regouz-a-5/+5
2023-09-28add visitor for Regionouz-a-2/+35
2023-09-28add real folder to Regionouz-a-2/+39
2023-09-28remove un-needed variantsouz-a-13/+0
2023-09-28fix importsouz-a-1/+1
2023-09-28make reg public and add visit, foldouz-a-3/+22
2023-09-28add stable for RegionKindouz-a-1/+1
2023-09-28add RegionDefouz-a-3/+6
2023-09-28make region struct and add neccesasry typesouz-a-2/+47
2023-09-28don't clone copy typesMatthias Krüger-2/+2
2023-09-25Split out the stable part of smir into its own crate to prevent accidental ↵Oli Scherer-0/+1633
usage of forever unstable things