arithmetic: Add Ctz function

[vilie]

Signed-off-by: Valentin Ilie valentin.ilie@intel.com

[vilie]

First OCaml code ever written so this needs proper review. I've tested the functionality but I am not sure if this is actually a good patch.

[rossberg]

== is physical equality in OCaml, you want =. Also, could say i = Int.zero instead, which is shorter.

[sunfishcode]

This is cool. Is there a way we can write a test for ctz while adding this code?

[lukewagner]

@sunfishcode I was hoping (myself soon or others if they go first) to add an "assert" command so that scripts could invoke a method and assert an expected result. That should make it easy to throw up unit tests for ops like this.

[jfbastien]

@eminemix can you please join the WebAssembly Community Group? I can't find your name in the list. This is required for significant contributions to WebAssembly.

[vilie]

Sent v2.

@sunfishcode, @lukewagner
I was thinking adding test code after implementing the clz.

@jfbastien
I wall do that asap.

[rossberg]

Thanks for the patch. Please let me know when you have joined the Community Group, and I will merge your PR.

[vilie]

This PR cannot be merged due to the issue pointed out by jfbastien.

This implementation may appear as part of other PRs where the author complies with the repo guidelines.