couchemar/wa_embedder - Change BXHW3TLNOYVMEJZTWFCQRS3AWRMT6T74RH3Z7WTTJUMSW6PSKQCAC

Int comparison

Created by couchemar on February 10, 2022

BXHW3TLNOYVMEJZTWFCQRS3AWRMT6T74RH3Z7WTTJUMSW6PSKQCAC

Dependencies

In channels

main

Change contents

File addition: 4_int_comp.c (----------)

[4.12]

int eq(int a, int b) {
    return a == b;
}
int ne(int a, int b) {
    return a != b;
}
int lt(int a, int b) {
    return a < b;
}
int gt(int a, int b) {
    return a > b;
}
int le(int a, int b) {
    return a <= b;
}
int ge(int a, int b) {
    return a >= b;
}

Replacement in test_data/3_int_cond.c at line 1 [2.58]
B:BD[2.58] → [2.59:82]
```
int ge(int a, int b) {
```
[2.58]
[2.82]
```
int ge_select(int a, int b) {
```

Replacement in test/wa_embedder_test.exs at line 27 [5.62]

B:BD[3.146] → [3.146:273]

    assert :erlang.apply(:"3_int_cond.opt", :ge, [1, 2]) == 2
    assert :erlang.apply(:"3_int_cond.opt", :ge, [42, 41]) == 42

[3.146]

[5.318]

    assert :erlang.apply(:"3_int_cond.opt", :ge_select, [1, 2]) == 2
    assert :erlang.apply(:"3_int_cond.opt", :ge_select, [42, 41]) == 42
  end
  test "compile int_comp" do
    assert {:module, :"4_int_comp.opt"} = WaEmbedder.compile("test_data/4_int_comp.opt.wasm")
    assert :erlang.apply(:"4_int_comp.opt", :eq, [1, 2]) == false
    assert :erlang.apply(:"4_int_comp.opt", :eq, [1, 1]) == true
    assert :erlang.apply(:"4_int_comp.opt", :ne, [1, 2]) == true
    assert :erlang.apply(:"4_int_comp.opt", :ne, [1, 1]) == false
    assert :erlang.apply(:"4_int_comp.opt", :lt, [1, 2]) == true
    assert :erlang.apply(:"4_int_comp.opt", :lt, [2, 2]) == false
    assert :erlang.apply(:"4_int_comp.opt", :lt, [2, 1]) == false
    assert :erlang.apply(:"4_int_comp.opt", :gt, [1, 2]) == false
    assert :erlang.apply(:"4_int_comp.opt", :gt, [2, 2]) == false
    assert :erlang.apply(:"4_int_comp.opt", :gt, [2, 1]) == true
    assert :erlang.apply(:"4_int_comp.opt", :le, [1, 2]) == true
    assert :erlang.apply(:"4_int_comp.opt", :le, [2, 2]) == true
    assert :erlang.apply(:"4_int_comp.opt", :le, [2, 1]) == false
    assert :erlang.apply(:"4_int_comp.opt", :ge, [1, 2]) == false
    assert :erlang.apply(:"4_int_comp.opt", :ge, [2, 2]) == true
    assert :erlang.apply(:"4_int_comp.opt", :gt, [2, 1]) == true

Replacement in test/wa_embedder_test.exs at line 64 [5.62]

B:BD[6.749] → [3.274:393]

    assert :erlang.apply(:"9_all.opt", :ge, [2, 1]) == 2
    assert :erlang.apply(:"9_all.opt", :ge, [123, -1]) == 123

[6.749]

[5.484]

    assert :erlang.apply(:"9_all.opt", :ge_select, [2, 1]) == 2
    assert :erlang.apply(:"9_all.opt", :ge_select, [123, -1]) == 123
    assert :erlang.apply(:"9_all.opt", :eq, [1, 2]) == false
    assert :erlang.apply(:"9_all.opt", :eq, [1, 1]) == true
    assert :erlang.apply(:"9_all.opt", :ne, [1, 2]) == true
    assert :erlang.apply(:"9_all.opt", :ne, [1, 1]) == false
    assert :erlang.apply(:"9_all.opt", :lt, [1, 2]) == true
    assert :erlang.apply(:"9_all.opt", :lt, [2, 2]) == false
    assert :erlang.apply(:"9_all.opt", :lt, [2, 1]) == false
    assert :erlang.apply(:"9_all.opt", :gt, [1, 2]) == false
    assert :erlang.apply(:"9_all.opt", :gt, [2, 2]) == false
    assert :erlang.apply(:"9_all.opt", :gt, [2, 1]) == true
    assert :erlang.apply(:"9_all.opt", :le, [1, 2]) == true
    assert :erlang.apply(:"9_all.opt", :le, [2, 2]) == true
    assert :erlang.apply(:"9_all.opt", :le, [2, 1]) == false
    assert :erlang.apply(:"9_all.opt", :ge, [1, 2]) == false
    assert :erlang.apply(:"9_all.opt", :ge, [2, 2]) == true
    assert :erlang.apply(:"9_all.opt", :gt, [2, 1]) == true

Replacement in lib/wa_embedder.ex at line 154 [4.1322]
B:BD[6.794] → [6.794:818]
```
    i32.mul
    i32.sub
```
[6.794]
[3.1723]
```
    i32.eq
```
Insertion in lib/wa_embedder.ex at line 156 [4.1322]
[3.1736]
[3.1736]
```
    i32.ge_s
    i32.gt_s
    i32.le_s
    i32.lt_s
```
Insertion in lib/wa_embedder.ex at line 161 [4.1322]
[3.1749]
[6.818]
```
    i32.mul
    i32.ne
    i32.sub
```
Insertion in lib/wa_embedder.ex at line 183 [4.1322]
[6.1091]
[3.2121]
```
  defp i32_binop(:"i32.eq"), do: :==
```

Insertion in lib/wa_embedder.ex at line 185 [4.1322]

[3.2160]

  defp i32_binop(:"i32.gt_s"), do: :>
  defp i32_binop(:"i32.le_s"), do: :"=<"

Insertion in lib/wa_embedder.ex at line 189 [4.1322]
[6.1128]
[3.2199]
```
  defp i32_binop(:"i32.ne"), do: :"=/="
```

Int comparison

Dependencies

In channels

Change contents

File addition: 4_int_comp.c (----------)

Replacement in test_data/3_int_cond.c at line 1 [2.58]

Replacement in test/wa_embedder_test.exs at line 27 [5.62]

Replacement in test/wa_embedder_test.exs at line 64 [5.62]

Replacement in lib/wa_embedder.ex at line 154 [4.1322]

Insertion in lib/wa_embedder.ex at line 156 [4.1322]

Insertion in lib/wa_embedder.ex at line 161 [4.1322]

Insertion in lib/wa_embedder.ex at line 183 [4.1322]

Insertion in lib/wa_embedder.ex at line 185 [4.1322]

Insertion in lib/wa_embedder.ex at line 189 [4.1322]