[wasm-gc] Remove br_on_func & br_on_non_func op [v8/v8 : main]

31 views
Skip to first unread message

Matthias Liedtke (Gerrit)

unread,
Aug 1, 2022, 10:29:35 AM8/1/22
to was...@google.com, Jakob Kummerow, v8-re...@googlegroups.com

Attention is currently required from: Jakob Kummerow.

Patch set 1:Commit-Queue +1

View Change

1 comment:

To view, visit change 3803226. To unsubscribe, or for help writing mail filters, visit settings.

Gerrit-Project: v8/v8
Gerrit-Branch: main
Gerrit-Change-Id: Ie4b29bfc4b874aaca668082018f5359d1b6e3a2e
Gerrit-Change-Number: 3803226
Gerrit-PatchSet: 1
Gerrit-Owner: Matthias Liedtke <mlie...@chromium.org>
Gerrit-Reviewer: Jakob Kummerow <jkum...@chromium.org>
Gerrit-Reviewer: Matthias Liedtke <mlie...@chromium.org>
Gerrit-Attention: Jakob Kummerow <jkum...@chromium.org>
Gerrit-Comment-Date: Mon, 01 Aug 2022 14:29:27 +0000
Gerrit-HasComments: Yes
Gerrit-Has-Labels: Yes
Gerrit-MessageType: comment

Jakob Kummerow (Gerrit)

unread,
Aug 1, 2022, 11:24:12 AM8/1/22
to Matthias Liedtke, was...@google.com, Jakob Kummerow, V8 LUCI CQ, v8-re...@googlegroups.com

Attention is currently required from: Matthias Liedtke.

Patch set 1:Code-Review +1

View Change

2 comments:

  • Patchset:

  • File test/mjsunit/regress/wasm/regress-crbug-1339321.js:

To view, visit change 3803226. To unsubscribe, or for help writing mail filters, visit settings.

Gerrit-Project: v8/v8
Gerrit-Branch: main
Gerrit-Change-Id: Ie4b29bfc4b874aaca668082018f5359d1b6e3a2e
Gerrit-Change-Number: 3803226
Gerrit-PatchSet: 1
Gerrit-Owner: Matthias Liedtke <mlie...@chromium.org>
Gerrit-Reviewer: Jakob Kummerow <jkum...@chromium.org>
Gerrit-Reviewer: Matthias Liedtke <mlie...@chromium.org>
Gerrit-Attention: Matthias Liedtke <mlie...@chromium.org>
Gerrit-Comment-Date: Mon, 01 Aug 2022 15:24:04 +0000
Gerrit-HasComments: Yes
Gerrit-Has-Labels: Yes
Comment-In-Reply-To: Matthias Liedtke <mlie...@chromium.org>
Gerrit-MessageType: comment

Matthias Liedtke (Gerrit)

unread,
Aug 1, 2022, 11:45:52 AM8/1/22
to was...@google.com, Jakob Kummerow, V8 LUCI CQ, v8-re...@googlegroups.com

View Change

2 comments:

  • File test/mjsunit/regress/wasm/regress-crbug-1339321.js:

    • Yes, please use one of the other `br_on_foo` instructions instead of deleting the test.

      Done

  • File test/mjsunit/regress/wasm/regress-crbug-1339321.js:

    • Patch Set #2, Line 38:

          kExprDrop,
      kExprDrop,

      Why do we have 2 drops here?
      One is for the `ref.func` in line 36 but what is the second drop for?

To view, visit change 3803226. To unsubscribe, or for help writing mail filters, visit settings.

Gerrit-Project: v8/v8
Gerrit-Branch: main
Gerrit-Change-Id: Ie4b29bfc4b874aaca668082018f5359d1b6e3a2e
Gerrit-Change-Number: 3803226
Gerrit-PatchSet: 2
Gerrit-Owner: Matthias Liedtke <mlie...@chromium.org>
Gerrit-Reviewer: Jakob Kummerow <jkum...@chromium.org>
Gerrit-Reviewer: Matthias Liedtke <mlie...@chromium.org>
Gerrit-Comment-Date: Mon, 01 Aug 2022 15:45:43 +0000
Gerrit-HasComments: Yes
Gerrit-Has-Labels: No
Comment-In-Reply-To: Jakob Kummerow <jkum...@chromium.org>

Jakob Kummerow (Gerrit)

unread,
Aug 1, 2022, 11:54:57 AM8/1/22
to Matthias Liedtke, was...@google.com, Jakob Kummerow, V8 LUCI CQ, v8-re...@googlegroups.com

Attention is currently required from: Matthias Liedtke.

Patch set 2:Code-Review +1

View Change

1 comment:

  • File test/mjsunit/regress/wasm/regress-crbug-1339321.js:

    • Why do we have 2 drops here? […]

      the `ref.func` in line 34. Since the loop's type indicates that it consumes a funcref, it's allowed to drop that here.

      That said, please use another type of branch here, such as i31 or array or data (sorry for not being more specific earlier). `br_on_non_null` is already being tested in line 22; I believe this test is meant to provide coverage for the shared implementation of generic br_on_* (where Liftoff uses `AbstractTypeCheck`).

To view, visit change 3803226. To unsubscribe, or for help writing mail filters, visit settings.

Gerrit-Project: v8/v8
Gerrit-Branch: main
Gerrit-Change-Id: Ie4b29bfc4b874aaca668082018f5359d1b6e3a2e
Gerrit-Change-Number: 3803226
Gerrit-PatchSet: 2
Gerrit-Owner: Matthias Liedtke <mlie...@chromium.org>
Gerrit-Reviewer: Jakob Kummerow <jkum...@chromium.org>
Gerrit-Reviewer: Matthias Liedtke <mlie...@chromium.org>
Gerrit-Attention: Matthias Liedtke <mlie...@chromium.org>
Gerrit-Comment-Date: Mon, 01 Aug 2022 15:54:47 +0000
Gerrit-HasComments: Yes
Gerrit-Has-Labels: Yes

Matthias Liedtke (Gerrit)

unread,
Aug 1, 2022, 1:50:27 PM8/1/22
to was...@google.com, Jakob Kummerow, V8 LUCI CQ, v8-re...@googlegroups.com

Patch set 3:Commit-Queue +1

View Change

1 comment:

  • File test/mjsunit/regress/wasm/regress-crbug-1339321.js:

    • the `ref.func` in line 34. […]

      Done

To view, visit change 3803226. To unsubscribe, or for help writing mail filters, visit settings.

Gerrit-Project: v8/v8
Gerrit-Branch: main
Gerrit-Change-Id: Ie4b29bfc4b874aaca668082018f5359d1b6e3a2e
Gerrit-Change-Number: 3803226
Gerrit-PatchSet: 3
Gerrit-Owner: Matthias Liedtke <mlie...@chromium.org>
Gerrit-Reviewer: Jakob Kummerow <jkum...@chromium.org>
Gerrit-Reviewer: Matthias Liedtke <mlie...@chromium.org>
Gerrit-Comment-Date: Mon, 01 Aug 2022 17:50:17 +0000
Gerrit-HasComments: Yes
Gerrit-Has-Labels: Yes
Comment-In-Reply-To: Jakob Kummerow <jkum...@chromium.org>

Matthias Liedtke (Gerrit)

unread,
Aug 2, 2022, 3:38:47 AM8/2/22
to was...@google.com, Jakob Kummerow, V8 LUCI CQ, v8-re...@googlegroups.com

Patch set 3:Commit-Queue +2

View Change

    To view, visit change 3803226. To unsubscribe, or for help writing mail filters, visit settings.

    Gerrit-Project: v8/v8
    Gerrit-Branch: main
    Gerrit-Change-Id: Ie4b29bfc4b874aaca668082018f5359d1b6e3a2e
    Gerrit-Change-Number: 3803226
    Gerrit-PatchSet: 3
    Gerrit-Owner: Matthias Liedtke <mlie...@chromium.org>
    Gerrit-Reviewer: Jakob Kummerow <jkum...@chromium.org>
    Gerrit-Reviewer: Matthias Liedtke <mlie...@chromium.org>
    Gerrit-Comment-Date: Tue, 02 Aug 2022 07:38:38 +0000
    Gerrit-HasComments: No
    Gerrit-Has-Labels: Yes
    Gerrit-MessageType: comment

    V8 LUCI CQ (Gerrit)

    unread,
    Aug 2, 2022, 3:41:32 AM8/2/22
    to Matthias Liedtke, was...@google.com, Jakob Kummerow, v8-re...@googlegroups.com

    V8 LUCI CQ submitted this change.

    View Change



    2 is the latest approved patch-set.
    The change was submitted with unreviewed changes in the following files:

    ```
    The name of the file: test/mjsunit/regress/wasm/regress-crbug-1339321.js
    Insertions: 2, Deletions: 1.

    @@ -34,7 +34,8 @@
    kExprRefNull, kAnyRefCode,
    kExprLoop, loop_type,
    kExprRefNull, kAnyRefCode,
    - kExprBrOnNonNull, 0,
    + kGCPrefix, kExprBrOnI31, 0,
    + kExprDrop,
    kExprDrop,
    kExprEnd, // loop
    ]);
    ```

    Approvals: Jakob Kummerow: Looks good to me Matthias Liedtke: Commit
    [wasm-gc] Remove br_on_func & br_on_non_func op

    Preparation step to remove the subtype relationship between funcref and anyref.

    Bug: v8:7748
    Change-Id: Ie4b29bfc4b874aaca668082018f5359d1b6e3a2e
    Reviewed-on: https://chromium-review.googlesource.com/c/v8/v8/+/3803226
    Reviewed-by: Jakob Kummerow <jkum...@chromium.org>
    Commit-Queue: Matthias Liedtke <mlie...@chromium.org>
    Cr-Commit-Position: refs/heads/main@{#82125}
    ---
    M src/compiler/wasm-compiler.cc
    M src/compiler/wasm-compiler.h
    M src/wasm/baseline/liftoff-compiler.cc
    M src/wasm/function-body-decoder-impl.h
    M src/wasm/graph-builder-interface.cc
    M src/wasm/wasm-opcodes.h
    M test/common/wasm/wasm-macro-gen.h
    M test/mjsunit/regress/wasm/regress-crbug-1339321.js
    M test/mjsunit/wasm/wasm-module-builder.js
    M test/unittests/wasm/function-body-decoder-unittest.cc
    10 files changed, 31 insertions(+), 84 deletions(-)


    To view, visit change 3803226. To unsubscribe, or for help writing mail filters, visit settings.

    Gerrit-Project: v8/v8
    Gerrit-Branch: main
    Gerrit-Change-Id: Ie4b29bfc4b874aaca668082018f5359d1b6e3a2e
    Gerrit-Change-Number: 3803226
    Gerrit-PatchSet: 4
    Gerrit-Owner: Matthias Liedtke <mlie...@chromium.org>
    Gerrit-Reviewer: Jakob Kummerow <jkum...@chromium.org>
    Gerrit-Reviewer: Matthias Liedtke <mlie...@chromium.org>
    Gerrit-MessageType: merged
    Reply all
    Reply to author
    Forward
    0 new messages