couchemar/wa_embedder - Change BYQMDP2IKXLPX4G3AXE26QVFRRKFU665REQCT7L2P37B4DLGI2TAC

Support (int) identity function

Created by couchemar on September 4, 2021

BYQMDP2IKXLPX4G3AXE26QVFRRKFU665REQCT7L2P37B4DLGI2TAC

Dependencies

In channels

main

Change contents

File addition: 1_int_identity.c (----------)
[4.12]
```
int identity(int a) {
    return a;
}
```

Insertion in test/wa_embedder_test.exs at line 8 [3.62]

[3.318]

  end
  test "compile int_identity" do
    assert {:module, :"1_int_identity.opt"} =
             WaEmbedder.compile("test_data/1_int_identity.opt.wasm")
    assert :erlang.apply(:"1_int_identity.opt", :identity, [42]) == 42

Insertion in test/wa_embedder_test.exs at line 20 [3.62]
[3.484]
[3.484]
```
    assert :erlang.apply(:"9_all.opt", :identity, [42]) == 42
```

Replacement in mix.exs at line 17 [4.717]

B:BD[4.1031] → [4.1031:1067]

      extra_applications: [:logger]

[4.1031]

[4.1067]

      extra_applications: [:logger, :crypto]

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

B:BD[2.1089] → [2.1089:1148]

  defp compile_functions(%{code: code, export: export}) do

[2.1089]

[2.1148]

  defp compile_functions(%{code: code, export: export, type: type}) do

Deletion in lib/wa_embedder.ex at line 62 [4.1322]
B:BD[2.1346] → [2.1346:1385]
```
    |> Stream.map(&compile_function/1)
```

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

[2.1412]

    |> Stream.map(fn {fd, idx} ->
      f_type = Enum.at(type, idx)
      {compile_function(fd, f_type), idx}
    end)

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

B:BD[4.1491] → [2.1641:1690]

  defp compile_function(%{code: %{expr: []}}) do

[4.1491]

[2.1690]

  defp compile_function(%{code: %{expr: []}}, _) do

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

B:BD[2.1705] → [2.1705:1876]

  defp compile_function(%{code: %{expr: exprs, locals: []}}) do
    function_body = compile_function_body(exprs)
    function_desc = [{:clause, 4, [], [], function_body}]

[2.1705]

[2.1876]

  defp compile_function(%{code: %{expr: exprs, locals: []}}, {params, _} = _type) do
    function_params = compile_function_params(params)
    function_body = compile_function_body(exprs, function_params)
    function_desc = [{:clause, 4, function_params, [], function_body}]

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

B:BD[2.1877] → [2.1877:1919]

    {:function, 4, nil, 0, function_desc}

[2.1877]

[2.1919]

    {:function, 4, nil, length(params), function_desc}

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

B:BD[2.1926] → [2.1926:2002]

  defp compile_function_body(exprs) do
    compile_function_body(exprs, [])

[2.1926]

[4.1523]

  defp compile_function_params(params) do
    compile_function_params(params, [])

Replacement in lib/wa_embedder.ex at line 94 [4.1322]
B:BD[2.2004] → [2.2004:2045]
```
  defp compile_function_body([], acc) do
```
[2.2004]
[2.2045]
```
  defp compile_function_params([], acc) do
```

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

B:BD[2.2074] → [2.2074:2223]

  defp compile_function_body([instr | rest], acc) do
    beam_instr = compile_instruction(instr)
    compile_function_body(rest, [beam_instr | acc])

[2.2074]

[2.2223]

  defp compile_function_params([param | rest], acc) do
    compile_function_params(rest, [compile_function_param(param) | acc])
  end
  defp compile_function_param(:i32) do
    suf = :crypto.strong_rand_bytes(2) |> Base.encode16()
    var_name = "V_#{suf}" |> String.to_atom()
    {:var, 4, var_name}

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

B:BD[2.2230] → [2.2230:2281]

  defp compile_instruction({:"i32.const", val}) do

[2.2230]

[2.2281]

  defp compile_function_body(exprs, params) do
    compile_function_body(exprs, params, [])
  end
  defp compile_function_body([], _, acc) do
    Enum.reverse(acc)
  end
  defp compile_function_body([instr | rest], params, acc) do
    beam_instr = compile_instruction(instr, params)
    compile_function_body(rest, params, [beam_instr | acc])
  end
  defp compile_instruction({:"i32.const", val}, _) do

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

[2.2304]

  end
  defp compile_instruction({:"local.get", idx}, params) do
    Enum.at(params, idx)