New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Jump to bottom

Dead Memory #48

Open

Tracked by

ControlCplusControlV opened this issue Dec 17, 2022 · 1 comment

Open

Tracked by

Dead Memory #48

ControlCplusControlV opened this issue Dec 17, 2022 · 1 comment

Owner

ControlCplusControlV commented Dec 17, 2022

No description provided.

ControlCplusControlV mentioned this issue

Tock : New Features #43

Open

10 tasks

Owner Author

ControlCplusControlV commented Dec 17, 2022

Dead Memory

If a value is stored in memory, once it's location is never read from again the compiler can consider that memory as "free," and overwrite it

Test Cases

Yul Input

{
    let x:u32 := 700
    mstore(0x100, x)

    let z := mload(0x100)
    let y:u32 := 100

    let a := add(z, y)
    mstore(0x200, a)
}

Assembly Output

//Should store `a` at memory slot 0x100

# for free to join this conversation on GitHub. Already have an account? # to comment