Toby Hutton

Refactor the `sway-core/src/asm_generation` directory.

1

When switching from AST -> ASM to AST -> IR -> ASM all the new IR -> ASM code went in `from_ir.rs` to keep it simple and contained. But the...

When reviewing #2472 I noticed it's possible to accidentally make an invalid `CompileResult`, where the author intended to return an 'ok' but set value to `None`. We should make it...

Refactor IR memory management and pointers.

3

As of #2363 we have explicit reference semantics for mutable args including copy-type args. ## Problem This is a bit of a stop-gap measure though as memory management in the...

Create an IR optimisation pass manager.

1

As we add new optimisation passes we need a structured way to call them. Some potential features: - Levels of optimisation mimicking `-O0`, `-Os`, `-O3`, etc. - Pass categories and...

We could either find a tool or write our own Sway source code fuzzer. In the past I've used [AFL](https://en.wikipedia.org/wiki/American_fuzzy_lop_(fuzzer)) to generate files as input to algorithm tests and it...

`$hp` is initialised to incorrect value.

2

At [VM initialization](https://github.com/FuelLabs/fuel-specs/blob/master/specs/vm/main.md#vm-initialization) it says: > `$hp = VM_MAX_RAM - 1`: the heap area begins at the top and is empty to start. It makes more sense for `$hp` to...

First draft. To do: * [x] Unit test failures. * [ ] Fix storage stack use in stdlib. * [ ] Add a couple more ir_generation tests. * [ ]...

Aggregates and memory management in the IR is generally broken.

2

Although the distinction between copy and reference types is more explicit within the compiler now, it wasn't always the case and this is apparent in the IR design. E.g., *...

As noted in https://github.com/FuelLabs/sway/issues/2674#issuecomment-1233636209 when compiling large libraries with several `dep`s in `lib.sw` we can use a metric tonne of RAM. I have a feeling we're just leaking a whole...

When reading the printed IR it can get a bit verbose, as constants are always assigned to values. E.g., ``` v54 = const u64 3, !62 v55 = const u64...