rust/compiler/stable_mir/src, branch masterhttps://github.com/rust-lang/rust
http://git.dreamy.place/mirrors/rust/atom?h=master2025-07-14T09:25:54+00:00rename `stable_mir` to `rustc_public`, and `rustc_smir` to `rustc_public_bridge`2025-07-14T09:25:54+00:00Makaim4kai410@gmail.com2025-07-12T15:28:50+00:00urn:sha1:6598c61725abb0e8179b8a5fab7a0ed1f7fcaf5fAdd opaque TypeId handles for CTFE2025-07-09T16:37:11+00:00Oli Scherergithub333195615777966@oli-obk.de2025-03-12T10:26:37+00:00urn:sha1:486ffda9dcd0d4ef0a09d81e6ce5f241e77526a1move `stable_mir` back to its own crate and move `rustc_internal` to the`stable_mir` crate2025-07-06T12:25:42+00:00Makaim4kai410@gmail.com2025-07-05T15:28:03+00:00urn:sha1:c42a9ac6029e8a2b6b76564240e1f89850992b21
As part of this reorganization, some traits need to be moved from `rustc_smir::context::traits` to `stable_mir::unstable::internal_cx`. These traits are specifically designed for `InternalCx` to clarify the behavior of different functions that share the same name. This move is necessary to avoid orphan rule violations.
Change rustc_driver dependency on stable_mir crate2025-04-30T22:39:52+00:00Celina G. Valcelinval@amazon.com2025-04-30T22:39:52+00:00urn:sha1:0f81fca8ec623e849225a254ef6f639963ff54c0
This fixes issues with RustAnalyzer not finding stable_mir crate.
It is also part of the long term architecture plan for these crates,
since we are moving towards having stable_mir depend on rustc_smir and
not the other way around.
I believe this is an utility function that will come handy eventually
for stable_mir users, but I'm keeping it as part of rustc_internal since
it initializes the StableMir context and requires `TyCtxt`.
Finally, I added the rustc_internal crate under a feature since the APIs
from this module shall not be stabilized.
let `rustc_smir` host `stable_mir` for refactoring2025-04-05T10:23:07+00:00Makaim4kai410@gmail.com2025-04-05T10:23:07+00:00urn:sha1:707d356d004029a7e5300ce51e5aed330aa4a1a7Rollup merge of #138826 - makai410:assoc-items, r=celinval2025-04-05T02:18:15+00:00Stuart CookZalathar@users.noreply.github.com2025-04-05T02:18:15+00:00urn:sha1:93f7583491ff4d8cd0e06486589c279856e0b1e3
StableMIR: Add `associated_items`.
Resolves: https://github.com/rust-lang/project-stable-mir/issues/87
Implement `associated_items` api.2025-04-01T09:11:53+00:00makai410m4kai410@gmail.com2025-04-01T09:11:53+00:00urn:sha1:f9ef4563c23d81dff49a3cc4443202358426e3bduse `try_fold` instead of `fold`2025-03-28T12:14:09+00:00Yotam Ofekyotam.ofek@gmail.com2025-03-28T12:14:09+00:00urn:sha1:827cb1b2a7b4334b38b20c291a95de62894c335cRollup merge of #138536 - makai410:mut-mir-visitor, r=celinval2025-03-22T10:59:17+00:00Matthias Krüger476013+matthiaskrgr@users.noreply.github.com2025-03-22T10:59:17+00:00urn:sha1:1cb17dd6f23c0c5fcaad149ed8cc058ca7cb8abf
stable_mir: Add `MutMirVisitor`
Resolves: [rust-lang/project-stable-mir#81](https://github.com/rust-lang/project-stable-mir/issues/81).
I am unsure if we should add a `MutableBody` like Kani did.
Currently, I use `&mut Body` in `MutMirVisitor::visit_body()`.
r? ``````@celinval``````
Add `MutMirVisitor`2025-03-18T01:48:30+00:00makai410m4kai410@gmail.com2025-03-18T01:48:30+00:00urn:sha1:69a3ad0d0a1da2c1e723cbfe4056b629c10d32b1
Implement `make_mir_visitor` macro to generate `MirVisitor` and `MutMirVisitor`.
Add `ret_local_mut()`, `arg_locals_mut()` and `inner_locals_mut()` to `Body`, specifically for `MutMirVisitor`.