PPC/s390: [wasmfx] Implement resume_throw [v8/v8 : main]

0 views
Skip to first unread message

AI TestBot (Gerrit)

unread,
Jan 7, 2026, 4:11:06 PM (2 days ago) Jan 7
to Milad Farazmand, V8 LUCI CQ, John, Thibaud Michaud, v8-re...@googlegroups.com
Attention needed from John, Milad Farazmand and Thibaud Michaud

Message from AI TestBot

Port LGTM

Open in Gerrit

Related details

Attention is currently required from:
  • John
  • Milad Farazmand
  • Thibaud Michaud
Submit Requirements:
  • requirement 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: I23c87f15e567bb611a8799090c0201cf44a2dd54
Gerrit-Change-Number: 7411322
Gerrit-PatchSet: 1
Gerrit-Owner: Milad Farazmand <mfar...@ibm.com>
Gerrit-Reviewer: John <jun...@ibm.com>
Gerrit-Reviewer: Milad Farazmand <mfar...@ibm.com>
Gerrit-Reviewer: Thibaud Michaud <thib...@chromium.org>
Gerrit-CC: AI TestBot <ai.code.revi...@gmail.com>
Gerrit-Attention: John <jun...@ibm.com>
Gerrit-Attention: Milad Farazmand <mfar...@ibm.com>
Gerrit-Attention: Thibaud Michaud <thib...@chromium.org>
Gerrit-Comment-Date: Wed, 07 Jan 2026 21:11:03 +0000
Gerrit-HasComments: No
Gerrit-Has-Labels: No
satisfied_requirement
unsatisfied_requirement
open
diffy

John (Gerrit)

unread,
Jan 7, 2026, 4:12:25 PM (2 days ago) Jan 7
to Milad Farazmand, AI TestBot, V8 LUCI CQ, Thibaud Michaud, v8-re...@googlegroups.com
Attention needed from Milad Farazmand and Thibaud Michaud

John voted Code-Review+1

Code-Review+1
Open in Gerrit

Related details

Attention is currently required from:
  • Milad Farazmand
  • Thibaud Michaud
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: I23c87f15e567bb611a8799090c0201cf44a2dd54
Gerrit-Change-Number: 7411322
Gerrit-PatchSet: 1
Gerrit-Owner: Milad Farazmand <mfar...@ibm.com>
Gerrit-Reviewer: John <jun...@ibm.com>
Gerrit-Reviewer: Milad Farazmand <mfar...@ibm.com>
Gerrit-Reviewer: Thibaud Michaud <thib...@chromium.org>
Gerrit-CC: AI TestBot <ai.code.revi...@gmail.com>
Gerrit-Attention: Milad Farazmand <mfar...@ibm.com>
Gerrit-Attention: Thibaud Michaud <thib...@chromium.org>
Gerrit-Comment-Date: Wed, 07 Jan 2026 21:12:22 +0000
Gerrit-HasComments: No
Gerrit-Has-Labels: Yes
satisfied_requirement
open
diffy

Milad Farazmand (Gerrit)

unread,
Jan 7, 2026, 4:15:59 PM (2 days ago) Jan 7
to John, AI TestBot, V8 LUCI CQ, Thibaud Michaud, v8-re...@googlegroups.com
Attention needed from Thibaud Michaud

Milad Farazmand voted Commit-Queue+2

Commit-Queue+2
Open in Gerrit

Related details

Attention is currently required from:
  • Thibaud Michaud
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: I23c87f15e567bb611a8799090c0201cf44a2dd54
Gerrit-Change-Number: 7411322
Gerrit-PatchSet: 1
Gerrit-Owner: Milad Farazmand <mfar...@ibm.com>
Gerrit-Reviewer: John <jun...@ibm.com>
Gerrit-Reviewer: Milad Farazmand <mfar...@ibm.com>
Gerrit-Reviewer: Thibaud Michaud <thib...@chromium.org>
Gerrit-CC: AI TestBot <ai.code.revi...@gmail.com>
Gerrit-Attention: Thibaud Michaud <thib...@chromium.org>
Gerrit-Comment-Date: Wed, 07 Jan 2026 21:15:55 +0000
Gerrit-HasComments: No
Gerrit-Has-Labels: Yes
satisfied_requirement
open
diffy

V8 LUCI CQ (Gerrit)

unread,
Jan 7, 2026, 4:23:38 PM (2 days ago) Jan 7
to Milad Farazmand, John, AI TestBot, Thibaud Michaud, v8-re...@googlegroups.com

V8 LUCI CQ submitted the change

Change information

Commit message:
PPC/s390: [wasmfx] Implement resume_throw

Port 4522793ec3278e1af5581adf8f4b8a255ada03ec

Original Commit Message:

The resume_throw instruction creates an exception using the current
stack's operands, resumes the target continuation and immediately throws
the exception from the top of that stack.
Like other stack switching instructions, this is implemented with a
builtin that saves the current register state and restores the target
state. But instead of restoring the saved PC, the builtin throws the
exception.
The builtin also handles the special case where the target continuation
was just created with cont.new and has not been started yet. The
corresponding stack is empty and should only be entered with the stack
entry wrapper. Do not switch in this case, and throw the exception from
the current stack instead which has the same observable behavior.

R=thib...@chromium.org, jun...@ibm.com
BUG=
LOG=N
Change-Id: I23c87f15e567bb611a8799090c0201cf44a2dd54
Reviewed-by: John <jun...@ibm.com>
Commit-Queue: Milad Farazmand <mfar...@ibm.com>
Cr-Commit-Position: refs/heads/main@{#104532}
Files:
  • M src/builtins/ppc/builtins-ppc.cc
  • M src/builtins/s390/builtins-s390.cc
Change size: M
Delta: 2 files changed, 76 insertions(+), 0 deletions(-)
Branch: refs/heads/main
Submit Requirements:
  • requirement satisfiedCode-Review: +1 by John
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: I23c87f15e567bb611a8799090c0201cf44a2dd54
Gerrit-Change-Number: 7411322
Gerrit-PatchSet: 2
Gerrit-Owner: Milad Farazmand <mfar...@ibm.com>
Gerrit-Reviewer: John <jun...@ibm.com>
Gerrit-Reviewer: Milad Farazmand <mfar...@ibm.com>
Gerrit-Reviewer: Thibaud Michaud <thib...@chromium.org>
Gerrit-CC: AI TestBot <ai.code.revi...@gmail.com>
open
diffy
satisfied_requirement

Milad Farazmand (Gerrit)

unread,
Jan 7, 2026, 5:23:53 PM (2 days ago) Jan 7
to V8 LUCI CQ, John, AI TestBot, Thibaud Michaud, v8-re...@googlegroups.com

Milad Farazmand added 1 comment

File src/builtins/ppc/builtins-ppc.cc
Line 3543, Patchset 2 (Latest): __ LoadU64(scratch, MemOperand(target_stack, wasm::kStackFpOffset));
Milad Farazmand . unresolved

Hi Thibaud,
Is it ok if we are doing a 64-bit load here then doing a 32-bit compare with `CmpSmiLiteral` in pointer compressed builds? or Should we do a CmpU64 regardless instead?

arm64 seems to do a 64-bit load and compare regardless and x64 uses cmp_tagged which does a 32 bit direct memory compare on pnt compressed and 64-bit on non pntr compressed builds.

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: I23c87f15e567bb611a8799090c0201cf44a2dd54
Gerrit-Change-Number: 7411322
Gerrit-PatchSet: 2
Gerrit-Owner: Milad Farazmand <mfar...@ibm.com>
Gerrit-Reviewer: John <jun...@ibm.com>
Gerrit-Reviewer: Milad Farazmand <mfar...@ibm.com>
Gerrit-Reviewer: Thibaud Michaud <thib...@chromium.org>
Gerrit-CC: AI TestBot <ai.code.revi...@gmail.com>
Gerrit-Comment-Date: Wed, 07 Jan 2026 22:23:50 +0000
Gerrit-HasComments: Yes
Gerrit-Has-Labels: No
satisfied_requirement
open
diffy

Thibaud Michaud (Gerrit)

unread,
Jan 8, 2026, 9:58:00 AM (20 hours ago) Jan 8
to Milad Farazmand, V8 LUCI CQ, John, AI TestBot, v8-re...@googlegroups.com
Attention needed from Milad Farazmand

Thibaud Michaud added 1 comment

File src/builtins/ppc/builtins-ppc.cc
Line 3543, Patchset 2 (Latest): __ LoadU64(scratch, MemOperand(target_stack, wasm::kStackFpOffset));
Milad Farazmand . unresolved

Hi Thibaud,
Is it ok if we are doing a 64-bit load here then doing a 32-bit compare with `CmpSmiLiteral` in pointer compressed builds? or Should we do a CmpU64 regardless instead?

arm64 seems to do a 64-bit load and compare regardless and x64 uses cmp_tagged which does a 32 bit direct memory compare on pnt compressed and 64-bit on non pntr compressed builds.

Thibaud Michaud

Hi Milad,
This is a raw stack address so this should be a full pointer comparison regardless of pointer compression. It seems that I made a mistake here, and doing a Smi comparison is either misleading or incorrect depending on the platform. I'll upload a fix.
Thanks for pointing that out!

Open in Gerrit

Related details

Attention is currently required from:
  • Milad Farazmand
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: I23c87f15e567bb611a8799090c0201cf44a2dd54
Gerrit-Change-Number: 7411322
Gerrit-PatchSet: 2
Gerrit-Owner: Milad Farazmand <mfar...@ibm.com>
Gerrit-Reviewer: John <jun...@ibm.com>
Gerrit-Reviewer: Milad Farazmand <mfar...@ibm.com>
Gerrit-Reviewer: Thibaud Michaud <thib...@chromium.org>
Gerrit-CC: AI TestBot <ai.code.revi...@gmail.com>
Gerrit-Attention: Milad Farazmand <mfar...@ibm.com>
Gerrit-Comment-Date: Thu, 08 Jan 2026 14:57:55 +0000
Gerrit-HasComments: Yes
Gerrit-Has-Labels: No
Comment-In-Reply-To: Milad Farazmand <mfar...@ibm.com>
satisfied_requirement
open
diffy

Milad Farazmand (Gerrit)

unread,
Jan 8, 2026, 10:22:17 AM (20 hours ago) Jan 8
to V8 LUCI CQ, John, AI TestBot, Thibaud Michaud, v8-re...@googlegroups.com

Milad Farazmand added 1 comment

File src/builtins/ppc/builtins-ppc.cc
Line 3543, Patchset 2 (Latest): __ LoadU64(scratch, MemOperand(target_stack, wasm::kStackFpOffset));
Milad Farazmand . unresolved

Hi Thibaud,
Is it ok if we are doing a 64-bit load here then doing a 32-bit compare with `CmpSmiLiteral` in pointer compressed builds? or Should we do a CmpU64 regardless instead?

arm64 seems to do a 64-bit load and compare regardless and x64 uses cmp_tagged which does a 32 bit direct memory compare on pnt compressed and 64-bit on non pntr compressed builds.

Thibaud Michaud

Hi Milad,
This is a raw stack address so this should be a full pointer comparison regardless of pointer compression. It seems that I made a mistake here, and doing a Smi comparison is either misleading or incorrect depending on the platform. I'll upload a fix.
Thanks for pointing that out!

Milad Farazmand

Thank you for checking and creating a patch, I'll also port http://crrev.com/c/7415121 once it lands.

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: I23c87f15e567bb611a8799090c0201cf44a2dd54
Gerrit-Change-Number: 7411322
Gerrit-PatchSet: 2
Gerrit-Owner: Milad Farazmand <mfar...@ibm.com>
Gerrit-Reviewer: John <jun...@ibm.com>
Gerrit-Reviewer: Milad Farazmand <mfar...@ibm.com>
Gerrit-Reviewer: Thibaud Michaud <thib...@chromium.org>
Gerrit-CC: AI TestBot <ai.code.revi...@gmail.com>
Gerrit-Comment-Date: Thu, 08 Jan 2026 15:22:13 +0000
Gerrit-HasComments: Yes
Gerrit-Has-Labels: No
Comment-In-Reply-To: Milad Farazmand <mfar...@ibm.com>
Comment-In-Reply-To: Thibaud Michaud <thib...@chromium.org>
satisfied_requirement
open
diffy
Reply all
Reply to author
Forward
0 new messages