Refactor StableMIR - #140643

Merged

bors merged 17 commits into

rust-lang:masterfrom

makai410:smir-refactor-migrate

Jul 4, 2025

Commits on Jul 3, 2025

refactor: add `Tables<'tcx, B: Bridge>` and `SmirContainer`
makai410
committed
d0130ae

Commits on Jul 4, 2025

refactor: make `SmirInterface` a trait and impl it for `SmirContainer`
makai410
committed
7f5e382
refactor: move `IndexedVal` from `stable_mir` to `rustc_smir`
makai410
committed
3a43ed2
refactor: impl `SmirError` for `stable_mir::Error`
makai410
committed
96ad388
refactor: split `rustc_smir::alloc` into two parts
makai410
committed
3b328e1
refactor: rewrite the whole `rustc_smir::context`
makai410
committed
0f6f683
refactor: move `convert` module to `stable_mir`
makai410
committed
663e2b7
fix: rewrite some parts of `rustc_smir::builder.rs`
makai410
committed
6916089
refactor: remove the `tcx` field in `Tables`
makai410
committed
45cf29d
refactor: unify `Tables` implementation with bridge types and re-export `IndexedVal`
makai410
committed
62d6031
refactor: move `IndexMap` to `rustc_smir`
makai410
committed
b5a2e7d
fix: resolve the unsoundness
makai410
committed
efa26e1
refactor: move `convert` to `unstable`
makai410
committed
a61e508
refactor: avoid calling internal functions in `predicates_of()` and `explicit_predicates_of()`
makai410
committed
e3f2096
refactor: don't use rustc_type_ir directly
makai410
committed
b7be9cd
refactor: rewrite `adt_repr()`, `adt_discr_for_variant()` and `coroutine_discr_for_variant()`
makai410
committed
854292d
refactor: implement a new bridge trait `Allocation`
makai410
committed
e26ae60