couchemar/wa_parser - Change RK6LXJ7TTIYORA27DBXLYAYYUJBIKXFWDZLXEBJBGQWMIYGDTFCQC

Factorial again

Created by couchemar on February 10, 2022

RK6LXJ7TTIYORA27DBXLYAYYUJBIKXFWDZLXEBJBGQWMIYGDTFCQC

Dependencies

In channels

main

Change contents

File addition: 5_int_factorial.c (----------)

[3.12]

int factorial(int n) {
    int result = 1;
    for (int i = 1; i <= n; ++i) {
        result *= i;
    }
    return result;
}

Insertion in test/wa_parser_test.exs at line 253 [4.21]

[2.2489]

  test "5_int_factorial" do
    assert parse_file("test_data/5_int_factorial.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}},
                  {"factorial", {:func, 0}}
                ]},
               {:section_type, :code},
               {:section_body,
                [
                  %{
                    code: %{
                      expr: [
                        {:"i32.const", 1},
                        {:"local.set", 1},
                        {:"local.get", 0},
                        {:"i32.const", 1},
                        :"i32.ge_s",
                        {:if,
                         %{
                           blocktype: :empty,
                           instr: [
                             loop: %{
                               blocktype: :empty,
                               instr: [
                                 {:"local.get", 2},
                                 {:"i32.const", 1},
                                 :"i32.add",
                                 {:"local.tee", 2},
                                 {:"local.get", 1},
                                 :"i32.mul",
                                 {:"local.set", 1},
                                 {:"local.get", 0},
                                 {:"local.get", 2},
                                 :"i32.ne",
                                 {:br_if, 0}
                               ]
                             }
                           ]
                         }},
                        {:"local.get", 1}
                      ],
                      locals: [%{num: 2, type: :i32}]
                    },
                    size: 40
                  }
                ]}
             ]
  end

Replacement in test/wa_parser_test.exs at line 324 [4.21]

B:BD[5.400] → [2.2790:2863]

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

[5.400]

[5.440]

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

Replacement in test/wa_parser_test.exs at line 348 [4.21]

B:BD[2.3101] → [2.3101:3139]

                  {"ge", {:func, 12}}

[2.3101]

[5.1010]

                  {"ge", {:func, 12}},
                  {"factorial", {:func, 13}}

Insertion in test/wa_parser_test.exs at line 440 [4.21]

[2.4222]

[6.2000]

                  },
                  %{
                    code: %{
                      expr: [
                        {:"i32.const", 1},
                        {:"local.set", 1},
                        {:"local.get", 0},
                        {:"i32.const", 1},
                        :"i32.ge_s",
                        {:if,
                         %{
                           blocktype: :empty,
                           instr: [
                             loop: %{
                               blocktype: :empty,
                               instr: [
                                 {:"local.get", 2},
                                 {:"i32.const", 1},
                                 :"i32.add",
                                 {:"local.tee", 2},
                                 {:"local.get", 1},
                                 :"i32.mul",
                                 {:"local.set", 1},
                                 {:"local.get", 0},
                                 {:"local.get", 2},
                                 :"i32.ne",
                                 {:br_if, 0}
                               ]
                             }
                           ]
                         }},
                        {:"local.get", 1}
                      ],
                      locals: [%{num: 2, type: :i32}]
                    },
                    size: 40