RVSDG (and the like) is needed to cope with shared state like globally addressable memory; plain e-graphs are only suited for pure code. Happy to chat more btw

RVSDG (and the like) is needed to cope with shared state like globally addressable memory; plain e-graphs are only suited for pure code. Happy to chat more btw, feel free to hit me up on discord.