Refactor StableMIR#140643

Open

makai410 wants to merge 23 commits intorust-lang:masterfrom

makai410:smir-refactor-migrate

Commits on Jun 25, 2025

refactor: add `Tables<'tcx, B: Bridge>` and `SmirContainer`
makai410
committed
refactor: make `SmirInterface` a trait and impl it for `SmirContainer`
makai410
committed
refactor: move `IndexedVal` from `stable_mir` to `rustc_smir`
makai410
committed
refactor: impl `SmirError` for `stable_mir::Error`
makai410
committed
refactor: split `rustc_smir::alloc` into two parts
makai410
committed
refactor: rewrite the whole `rustc_smir::context`
makai410
committed
refactor: move `convert` module to `stable_mir`
makai410
committed
fix: rewrite some parts of `rustc_smir::builder.rs`
makai410
committed
test: fix the usage of `rustc_internal::internal`
makai410
committed
cleanup: delete useless methods in `SmirCtxt`
makai410
committed
refactor: remove the `tcx` field in `Tables`
makai410
committed
refactor: unify `Tables` implementation with bridge types
makai410
committed
refactor: move `IndexMap` to `rustc_smir`
makai410
committed
fix: resolve the unsoundness
makai410
committed
refactor: move `convert` to `unstable`
makai410
committed
cleanup: re-export `IndexedVal` and fix some nits
makai410
committed
test: fix the usage of `rustc_internal::internal()`
makai410
committed
refactor: avoid calling internal functions in `predicates_of()` and `explicit_predicates_of()`
makai410
committed
cleanup: fmt
makai410
committed
cleanup: don't use rustc_type_ir directly
makai410
committed
refactor: rewrite `adt_repr()`, `adt_discr_for_variant()` and `coroutine_discr_for_variant()`
makai410
committed
fix: `PointeeSized` bound for the `Stable` trait
makai410
committed
refactor: implement a new bridge trait `Allocation`
makai410
committed

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

Refactor StableMIR#140643

Refactor StableMIR#140643
makai410 wants to merge 23 commits intorust-lang:masterfrom
makai410:smir-refactor-migrate

Commits on Jun 25, 2025

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

refactor: make `SmirInterface` a trait and impl it for `SmirContainer`

refactor: move `IndexedVal` from `stable_mir` to `rustc_smir`

refactor: impl `SmirError` for `stable_mir::Error`

refactor: split `rustc_smir::alloc` into two parts

refactor: rewrite the whole `rustc_smir::context`

refactor: move `convert` module to `stable_mir`

fix: rewrite some parts of `rustc_smir::builder.rs`

test: fix the usage of `rustc_internal::internal`

cleanup: delete useless methods in `SmirCtxt`

refactor: remove the `tcx` field in `Tables`

refactor: unify `Tables` implementation with bridge types

refactor: move `IndexMap` to `rustc_smir`

fix: resolve the unsoundness

refactor: move `convert` to `unstable`

cleanup: re-export `IndexedVal` and fix some nits

test: fix the usage of `rustc_internal::internal()`

refactor: avoid calling internal functions in `predicates_of()` and `explicit_predicates_of()`

cleanup: fmt

cleanup: don't use rustc_type_ir directly

refactor: rewrite `adt_repr()`, `adt_discr_for_variant()` and `coroutine_discr_for_variant()`

fix: `PointeeSized` bound for the `Stable` trait

refactor: implement a new bridge trait `Allocation`

Refactor StableMIR#140643makai410 wants to merge 23 commits intorust-lang:masterrust-lang/rust:masterfrom makai410:smir-refactor-migratemakai410/rust:smir-refactor-migrateCopy head branch name to clipboard

Commits

Commits on Jun 25, 2025

Refactor StableMIR#140643
makai410 wants to merge 23 commits intorust-lang:masterfrom
makai410:smir-refactor-migrate