couchemar/wa_parser - Change 7LYBCG3UV5RJ46YMJMHRO6QCQDZVCO6WTB3DFGMKLKPZKYXPYMYAC

Support + opcode

Created by couchemar on September 19, 2021

7LYBCG3UV5RJ46YMJMHRO6QCQDZVCO6WTB3DFGMKLKPZKYXPYMYAC

Dependencies

In channels

main

Change contents

Insertion in test/wa_parser_test.exs at line 76 [3.21]

[2.81]

  test "2_int_inc" do
    assert parse_file("test_data/2_int_inc.opt.wasm")
           |> Enum.filter(fn {k, _} -> k == :section_type or k == :section_body end) ==
             [
               {:section_type, :type},
               {:section_body, [{[:i32], [:i32]}]},
               {:section_type, :function},
               {:section_body, [0]},
               {:section_type, :memory},
               {:section_body, [{2, nil}]},
               {:section_type, :global},
               {:section_body,
                [{{:i32, :const}, ["i32.const": 66560]}, {{:i32, :const}, ["i32.const": 1024]}]},
               {:section_type, :export},
               {:section_body,
                [
                  {"memory", {:mem, 0}},
                  {"__heap_base", {:global, 0}},
                  {"__data_end", {:global, 1}},
                  {"inc", {:func, 0}}
                ]},
               {:section_type, :code},
               {:section_body,
                [
                  %{
                    code: %{
                      expr: [
                        {:"local.get", 0},
                        {:"i32.const", 1},
                        :"i32.add"
                      ],
                      locals: []
                    },
                    size: 7
                  }
                ]}
             ]
  end

Replacement in test/wa_parser_test.exs at line 120 [3.21]

B:BD[2.291] → [2.291:357]

               {:section_body, [{[], [:i32]}, {[:i32], [:i32]}]},

[2.291]

[2.357]

               {:section_body,
                [
                  {[:i32], [:i32]},
                  {[], [:i32]}
                ]},

Replacement in test/wa_parser_test.exs at line 126 [3.21]

B:BD[2.400] → [2.400:440]

               {:section_body, [0, 1]},

[2.400]

[2.440]

               {:section_body, [1, 0, 0]},

Replacement in test/wa_parser_test.exs at line 139 [3.21]

B:BD[2.967] → [2.967:1010]

                  {"identity", {:func, 1}}

[2.967]

[2.1010]

                  {"identity", {:func, 1}},
                  {"inc", {:func, 2}}

Replacement in test/wa_parser_test.exs at line 146 [3.21]

B:BD[2.1193] → [2.1193:1267]

                  %{code: %{expr: ["local.get": 0], locals: []}, size: 4}

[2.1193]

[2.1267]

                  %{code: %{expr: ["local.get": 0], locals: []}, size: 4},
                  %{
                    code: %{
                      expr: [
                        {:"local.get", 0},
                        {:"i32.const", 1},
                        :"i32.add"
                      ],
                      locals: []
                    },
                    size: 7
                  }

Insertion in lib/wa_parser.ex at line 193 [5.693]

[4.686]

  end
  defp expr(<<0x6A, rest::binary>>, acc) do
    expr(rest, [:"i32.add" | acc])