swam to souper IR

[bbaudry]

use SWAM to develop our own bi-directional translator from wasm to souper IR

[Jacarte]

@satabin , we are affording this as an extra module in SWAM. The big picture is to provide both, randomization and optimization to SWAM.

[satabin]

:+1:

[satabin]

To transform wasm programs in Swam, you can use the traversal api in the swam.traversal package.

[Jacarte]

To transform wasm programs in Swam, you can use the traversal api in the swam.traversal package.

Good to have such good technical support 💪 thanks !

[satabin]

You're welcome, an example use for this framework (the Traverser in that case) is the validator: https://github.com/satabin/swam/blob/master/core/src/swam/validation/SpecValidator.scala#L72.

[jianguda]

I found homeworks of ETHZ's Advanced Compiler Design course are helpful. I will start from there.

[Jacarte]

I found homeworks of ETHZ's Advanced Compiler Design course are helpful. I will start from there.

Add the link :)

[jianguda]

I found homeworks of ETHZ's Advanced Compiler Design course are helpful. I will start from there.

Add the link :)

hw0.pdf hw1.pdf hw2.pdf

slides_hw0.pdf slides_hw1.pdf slides_hw2.pdf

skeleton code & solutions

[jianguda]

I have learned these ideas, but the course code seems not so close to our aim (semifinished repo). Hey @Jacarte, is it better for us to hack this repo? My plan is to mix Java with Scala.

[satabin]

Hi, I always wanted to have a CFG framework within Swam, I might start working on it if it helps for your project.

[jianguda]

Hey @satabin We feel your plan is very great!

We are checking maple-ir because it may help our work. Does it help the CFG framwork? WDYT?

[satabin]

I was looking into it for inspiration, however a more idiomatic Scala framework could be more helpful than wrapping this library. I am on a PoC currently, and will push it soon I hope.

[Jacarte]

Simple and Efficient Construction of Static Single Assignment Form