[compiler][arm64] Dot I8x8 [v8/v8 : main]

0 views
Skip to first unread message

Sam Parker-Haynes (Gerrit)

unread,
Jan 8, 2026, 11:15:49 AM (yesterday) Jan 8
to Matthias Liedtke, V8 LUCI CQ, dmercadi...@chromium.org, v8-re...@googlegroups.com
Attention needed from Matthias Liedtke

Sam Parker-Haynes voted Commit-Queue+1

Commit-Queue+1
Open in Gerrit

Related details

Attention is currently required from:
  • Matthias Liedtke
Submit Requirements:
  • requirement is not satisfiedCode-Owners
  • requirement is not satisfiedCode-Review
  • requirement is not satisfiedReview-Enforcement
Inspect html for hidden footers to help with email filtering. To unsubscribe visit settings. DiffyGerrit
Gerrit-MessageType: comment
Gerrit-Project: v8/v8
Gerrit-Branch: main
Gerrit-Change-Id: Ifeb68b4cdc9615d4bc549c68bc930843f7d95e6e
Gerrit-Change-Number: 7415160
Gerrit-PatchSet: 2
Gerrit-Owner: Sam Parker-Haynes <sam.p...@arm.com>
Gerrit-Reviewer: Matthias Liedtke <mlie...@chromium.org>
Gerrit-Reviewer: Sam Parker-Haynes <sam.p...@arm.com>
Gerrit-Attention: Matthias Liedtke <mlie...@chromium.org>
Gerrit-Comment-Date: Thu, 08 Jan 2026 16:15:44 +0000
Gerrit-HasComments: No
Gerrit-Has-Labels: Yes
unsatisfied_requirement
open
diffy

Matthias Liedtke (Gerrit)

unread,
6:11 AM (17 hours ago) 6:11 AM
to Sam Parker-Haynes, V8 LUCI CQ, dmercadi...@chromium.org, v8-re...@googlegroups.com
Attention needed from Sam Parker-Haynes

Matthias Liedtke voted and added 2 comments

Votes added by Matthias Liedtke

Code-Review+1

2 comments

Patchset-level comments
File-level comment, Patchset 2 (Latest):
Matthias Liedtke . resolved

LGTM

File src/compiler/turboshaft/operations.h
Line 8176, Patchset 2 (Latest): return true;

case Kind::kI32x4AddPairwise:
Matthias Liedtke . unresolved
Nit: No need to repeat the `return true;` here.
```suggestion
case Kind::kI32x4AddPairwise:
```
Open in Gerrit

Related details

Attention is currently required from:
  • Sam Parker-Haynes
Submit Requirements:
  • requirement satisfiedCode-Owners
  • requirement satisfiedCode-Review
  • requirement is not satisfiedNo-Unresolved-Comments
  • requirement satisfiedReview-Enforcement
Inspect html for hidden footers to help with email filtering. To unsubscribe visit settings. DiffyGerrit
Gerrit-MessageType: comment
Gerrit-Project: v8/v8
Gerrit-Branch: main
Gerrit-Change-Id: Ifeb68b4cdc9615d4bc549c68bc930843f7d95e6e
Gerrit-Change-Number: 7415160
Gerrit-PatchSet: 2
Gerrit-Owner: Sam Parker-Haynes <sam.p...@arm.com>
Gerrit-Reviewer: Matthias Liedtke <mlie...@chromium.org>
Gerrit-Reviewer: Sam Parker-Haynes <sam.p...@arm.com>
Gerrit-Attention: Sam Parker-Haynes <sam.p...@arm.com>
Gerrit-Comment-Date: Fri, 09 Jan 2026 11:11:20 +0000
Gerrit-HasComments: Yes
Gerrit-Has-Labels: Yes
satisfied_requirement
unsatisfied_requirement
open
diffy

Sam Parker-Haynes (Gerrit)

unread,
6:23 AM (17 hours ago) 6:23 AM
to Matthias Liedtke, V8 LUCI CQ, dmercadi...@chromium.org, v8-re...@googlegroups.com

Sam Parker-Haynes added 1 comment

File src/compiler/turboshaft/operations.h
Line 8176, Patchset 2: return true;

case Kind::kI32x4AddPairwise:
Matthias Liedtke . resolved
Nit: No need to repeat the `return true;` here.
```suggestion
case Kind::kI32x4AddPairwise:
```
Sam Parker-Haynes

Done

Open in Gerrit

Related details

Attention set is empty
Submit Requirements:
    • requirement satisfiedCode-Owners
    • requirement satisfiedCode-Review
    • requirement satisfiedReview-Enforcement
    Inspect html for hidden footers to help with email filtering. To unsubscribe visit settings. DiffyGerrit
    Gerrit-MessageType: comment
    Gerrit-Project: v8/v8
    Gerrit-Branch: main
    Gerrit-Change-Id: Ifeb68b4cdc9615d4bc549c68bc930843f7d95e6e
    Gerrit-Change-Number: 7415160
    Gerrit-PatchSet: 2
    Gerrit-Owner: Sam Parker-Haynes <sam.p...@arm.com>
    Gerrit-Reviewer: Matthias Liedtke <mlie...@chromium.org>
    Gerrit-Reviewer: Sam Parker-Haynes <sam.p...@arm.com>
    Gerrit-Comment-Date: Fri, 09 Jan 2026 11:22:58 +0000
    Gerrit-HasComments: Yes
    Gerrit-Has-Labels: No
    Comment-In-Reply-To: Matthias Liedtke <mlie...@chromium.org>
    satisfied_requirement
    open
    diffy

    Sam Parker-Haynes (Gerrit)

    unread,
    6:50 AM (17 hours ago) 6:50 AM
    to Matthias Liedtke, V8 LUCI CQ, dmercadi...@chromium.org, v8-re...@googlegroups.com

    Sam Parker-Haynes voted Commit-Queue+2

    Commit-Queue+2
    Open in Gerrit

    Related details

    Attention set is empty
    Submit Requirements:
    • requirement satisfiedCode-Owners
    • requirement satisfiedCode-Review
    • requirement satisfiedReview-Enforcement
    Inspect html for hidden footers to help with email filtering. To unsubscribe visit settings. DiffyGerrit
    Gerrit-MessageType: comment
    Gerrit-Project: v8/v8
    Gerrit-Branch: main
    Gerrit-Change-Id: Ifeb68b4cdc9615d4bc549c68bc930843f7d95e6e
    Gerrit-Change-Number: 7415160
    Gerrit-PatchSet: 3
    Gerrit-Owner: Sam Parker-Haynes <sam.p...@arm.com>
    Gerrit-Reviewer: Matthias Liedtke <mlie...@chromium.org>
    Gerrit-Reviewer: Sam Parker-Haynes <sam.p...@arm.com>
    Gerrit-Comment-Date: Fri, 09 Jan 2026 11:50:20 +0000
    Gerrit-HasComments: No
    Gerrit-Has-Labels: Yes
    satisfied_requirement
    open
    diffy

    V8 LUCI CQ (Gerrit)

    unread,
    7:25 AM (16 hours ago) 7:25 AM
    to Sam Parker-Haynes, Matthias Liedtke, dmercadi...@chromium.org, v8-re...@googlegroups.com

    V8 LUCI CQ submitted the change with unreviewed changes

    Unreviewed changes

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

    ```
    The name of the file: src/compiler/turboshaft/operations.h
    Insertions: 0, Deletions: 1.

    The diff is too large to show. Please review the diff.
    ```

    Change information

    Commit message:
    [compiler][arm64] Dot I8x8

    When a wasm dot instruction is really operating on i8x8 data, attempt
    to combine it into a single extmul and extadd_pairwise.

    For AArch64, when the above is not possible, we break the dot into
    two extmul and then, a newly added, I32x4AddPairwise op.
    Change-Id: Ifeb68b4cdc9615d4bc549c68bc930843f7d95e6e
    Commit-Queue: Sam Parker-Haynes <sam.p...@arm.com>
    Reviewed-by: Matthias Liedtke <mlie...@chromium.org>
    Cr-Commit-Position: refs/heads/main@{#104592}
    Files:
    • M src/compiler/backend/arm64/code-generator-arm64.cc
    • M src/compiler/backend/arm64/instruction-codes-arm64.h
    • M src/compiler/backend/arm64/instruction-scheduler-arm64.cc
    • M src/compiler/backend/arm64/instruction-selector-arm64.cc
    • M src/compiler/backend/instruction-selector.cc
    • M src/compiler/opcodes.h
    • M src/compiler/turboshaft/machine-optimization-reducer.h
    • M src/compiler/turboshaft/operations.h
    • A test/mjsunit/wasm/simd-dot-i8.js
    • M test/unittests/compiler/arm64/turboshaft-instruction-selector-arm64-unittest.cc
    • M test/unittests/compiler/turboshaft/wasm-simd-unittest.cc
    Change size: L
    Delta: 11 files changed, 286 insertions(+), 1 deletion(-)
    Branch: refs/heads/main
    Submit Requirements:
    • requirement satisfiedCode-Review: +1 by Matthias Liedtke
    Open in Gerrit
    Inspect html for hidden footers to help with email filtering. To unsubscribe visit settings. DiffyGerrit
    Gerrit-MessageType: merged
    Gerrit-Project: v8/v8
    Gerrit-Branch: main
    Gerrit-Change-Id: Ifeb68b4cdc9615d4bc549c68bc930843f7d95e6e
    Gerrit-Change-Number: 7415160
    Gerrit-PatchSet: 4
    Gerrit-Owner: Sam Parker-Haynes <sam.p...@arm.com>
    Gerrit-Reviewer: Matthias Liedtke <mlie...@chromium.org>
    Gerrit-Reviewer: Sam Parker-Haynes <sam.p...@arm.com>
    open
    diffy
    satisfied_requirement
    Reply all
    Reply to author
    Forward
    0 new messages