#safe #goto #instructions #value #emulating #branch #spirit

macro safe-goto

Emulating a safe goto-like instruction in Rust in the spirit of the "Safe goto with value" pre-RFC from IRLO

2 unstable releases

0.2.0 Dec 4, 2022
0.1.0 Dec 2, 2022

#8 in #emulating

Download history 1/week @ 2024-02-16 11/week @ 2024-02-23 15/week @ 2024-03-01 27/week @ 2024-03-08

54 downloads per month

MIT/Apache

16KB
320 lines

safe-goto

Emulating a safe goto-like instruction in Rust in the spirit of the "Safe goto with value" pre-RFC from IRLO

The crate contains a single macro, safe_goto, which emulates goto with value using a loop wrapping a match on an enum.

Goals

The purpose of this crate is two-fold:

  • Provide a test-bed for experimenting with patterns involving a safe version of goto in Rust
  • Highlight areas where the rust compiler has room to improve its branch related optimizations

Non-goals:

  • The crate does not aim for maximal performance. Doing inline assembly defeats the purpose
  • The crate does not aim to be a stable foundation for others to build upon. The syntax may change to reflect what might eventually be implemented in the stdlib or as part of the language. Also, the macro is very brittle since it has to handle near-arbitrary rust code

Examples

The tests and examples contain some examples of the functionality. You can have a look at the expanded macro using tools like cargo-expand.

Dependencies

~1.5MB
~34K SLoC