The Rust Abstract Machine is full of [wonderful oddities]({% post_url 2020-12-14-provenance %}) that do not exist on the [actual hardware]({% post_url 2019-07-14-uninit %}).
---
The Rust Abstract Machine is full of [wonderful oddities]({% post_url 2020-12-14-provenance %}) that do not exist on the [actual hardware]({% post_url 2019-07-14-uninit %}).
@@ -290,6+291,6 @@ but as the `innocent` example at the top of the post shows, we cannot leave inli
The storytelling approach is my proposal for filling that gap.
I plan to eventually suggest it as the official rules for inline assembly.
But before I do that, I'd like to be more confident that this approach really can handle most real-world scenarios.
The storytelling approach is my proposal for filling that gap.
I plan to eventually suggest it as the official rules for inline assembly.
But before I do that, I'd like to be more confident that this approach really can handle most real-world scenarios.
-If you have examples of assembly blocks that cannot be explained with storytelling, but that you are convinced are correct and hence should be supported, please let us know, either in the immediate discussion for this blog post or (if you are reading this later) in the [t-opsem Zulip channel](https://rust-lang.zulipchat.com/#narrow/channel/136281-t-opsem).
+If you have examples of assembly blocks that cannot be explained with storytelling, but that you are convinced are correct and hence should be supported, please let us know, either in the immediate [discussion](https://www.reddit.com/r/rust/comments/1rshm93/how_to_use_storytelling_to_fit_inline_assembly/) for this blog post or (if you are reading this later) in the [t-opsem Zulip channel](https://rust-lang.zulipchat.com/#narrow/channel/136281-t-opsem).