Add bultins: i32/i64/f32/f64.add/sub/mul

[ValeriaVG]

• add

• sub

• mul

• Added i32/i64/f32/f64.add bultins

• Added related types

• Added tests for it to tests/compiler/builtins.ts and rebuilt related fixtures

• Fixed one typo in tests/compiler/builtins.ts

Related issue: #1310

• I've read the contributing guidelines

[MaxGraey]

Overall LGTM. Thanks!

[dcodeIO]

Thanks for looking into these! 👍 LGTM with the comment below resolved.

Do you plan to add sub, mul, div etc. as well?

[ValeriaVG]

@dcodeIO Thank you.
Sure, I don't mind adding those. Would you like me to do it in this PR or a separate one?

[dcodeIO]

I'd be fine with including similar ones in this PR, like the mentioned sub and mul. I think div and rem are a little different due to having both signed and unsigned variants so might make a good follow-up. Also going to update the original issue with a full list :)

[ValeriaVG]

I've added sub and mul in a similar manner, but I'm having an issue.
When I'm trying to assert the result in the tests like that:

i = sub<i32>(2, 1); assert(i == 1);

I'm getting this:

- instantiate untouched
  abort: null in (74:21)
  ---
  RuntimeError: unreachable
      at start:builtins (wasm://wasm/a0b0014e:0:1359)
      at ~start (wasm://wasm/a0b0014e:0:5573)

Any idea where to dig?

[MaxGraey]

try to swap temp1 and temp2 here:

let ret =  module.binary(
   op,
   module.local_get(temp1.index, nativeType), // try temp2.index instead
   module.local_get(temp2.index, nativeType) // try temp1.index instead
);

I guess problem with wrong argument's order somewhere

[github-actions]

🎉 This PR is included in version 0.14.13 🎉

The release is available on:

• npm package (@latest dist-tag)
• GitHub release

Your semantic-release bot 📦🚀