[maglev] Verify the precondition of the free Float64 to HoleyFloat64 widen [v8/v8 : main]

0 views
Skip to first unread message

Victor Gomes (Gerrit)

unread,
Aug 13, 2026, 7:45:40 AM (2 days ago) Aug 13
to Patrick Thier, android-bu...@system.gserviceaccount.com, dmercadi...@chromium.org, leszek...@chromium.org, v8-re...@googlegroups.com, verwaes...@chromium.org, victorgo...@chromium.org
Attention needed from Patrick Thier

Victor Gomes voted and added 1 comment

Votes added by Victor Gomes

Commit-Queue+1

1 comment

Patchset-level comments
File-level comment, Patchset 4 (Latest):
Victor Gomes . resolved

PTAL!

Open in Gerrit

Related details

Attention is currently required from:
  • Patrick Thier
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: I2c6bdf588954a82b919b06af64be7788c2e8326a
Gerrit-Change-Number: 8256829
Gerrit-PatchSet: 4
Gerrit-Owner: Victor Gomes <victo...@chromium.org>
Gerrit-Reviewer: Patrick Thier <pth...@chromium.org>
Gerrit-Reviewer: Victor Gomes <victo...@chromium.org>
Gerrit-Attention: Patrick Thier <pth...@chromium.org>
Gerrit-Comment-Date: Thu, 13 Aug 2026 11:45:36 +0000
Gerrit-HasComments: Yes
Gerrit-Has-Labels: Yes
satisfied_requirement
unsatisfied_requirement
open
diffy

Patrick Thier (Gerrit)

unread,
Aug 13, 2026, 10:48:51 AM (2 days ago) Aug 13
to Victor Gomes, v8-s...@luci-project-accounts.iam.gserviceaccount.com, android-bu...@system.gserviceaccount.com, dmercadi...@chromium.org, leszek...@chromium.org, v8-re...@googlegroups.com, verwaes...@chromium.org, victorgo...@chromium.org
Attention needed from Victor Gomes

Patrick Thier voted and added 2 comments

Votes added by Patrick Thier

Code-Review+1

2 comments

Patchset-level comments
Patrick Thier . resolved

LGTM % comment

File src/maglev/maglev-ir.cc
Line 1063, Patchset 4 (Latest): DCHECK(!input_node(0)->UnwrapIdentities()->MayBeHoleOrUndefinedNan());
Patrick Thier . unresolved

Aren't the `VerifyInputs` usually hard `CHECK`s and not just `DCHECK`s?

Open in Gerrit

Related details

Attention is currently required from:
  • Victor Gomes
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: I2c6bdf588954a82b919b06af64be7788c2e8326a
Gerrit-Change-Number: 8256829
Gerrit-PatchSet: 4
Gerrit-Owner: Victor Gomes <victo...@chromium.org>
Gerrit-Reviewer: Patrick Thier <pth...@chromium.org>
Gerrit-Reviewer: Victor Gomes <victo...@chromium.org>
Gerrit-Attention: Victor Gomes <victo...@chromium.org>
Gerrit-Comment-Date: Thu, 13 Aug 2026 14:48:46 +0000
Gerrit-HasComments: Yes
Gerrit-Has-Labels: Yes
satisfied_requirement
unsatisfied_requirement
open
diffy

Victor Gomes (Gerrit)

unread,
Aug 14, 2026, 5:11:50 AM (yesterday) Aug 14
to Patrick Thier, v8-s...@luci-project-accounts.iam.gserviceaccount.com, android-bu...@system.gserviceaccount.com, dmercadi...@chromium.org, leszek...@chromium.org, v8-re...@googlegroups.com, verwaes...@chromium.org, victorgo...@chromium.org

Victor Gomes added 2 comments

Patchset-level comments
File-level comment, Patchset 5 (Latest):
Victor Gomes . resolved

Thanks!

File src/maglev/maglev-ir.cc
Line 1063, Patchset 4: DCHECK(!input_node(0)->UnwrapIdentities()->MayBeHoleOrUndefinedNan());
Patrick Thier . resolved

Aren't the `VerifyInputs` usually hard `CHECK`s and not just `DCHECK`s?

Victor Gomes

You're right. 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: I2c6bdf588954a82b919b06af64be7788c2e8326a
    Gerrit-Change-Number: 8256829
    Gerrit-PatchSet: 5
    Gerrit-Comment-Date: Fri, 14 Aug 2026 09:11:46 +0000
    Gerrit-HasComments: Yes
    Gerrit-Has-Labels: No
    Comment-In-Reply-To: Patrick Thier <pth...@chromium.org>
    satisfied_requirement
    open
    diffy

    v8-scoped@luci-project-accounts.iam.gserviceaccount.com (Gerrit)

    unread,
    Aug 14, 2026, 6:10:55 AM (yesterday) Aug 14
    to Victor Gomes, Patrick Thier, android-bu...@system.gserviceaccount.com, dmercadi...@chromium.org, leszek...@chromium.org, v8-re...@googlegroups.com, verwaes...@chromium.org, victorgo...@chromium.org

    v8-s...@luci-project-accounts.iam.gserviceaccount.com submitted the change with unreviewed changes

    Unreviewed changes

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

    ```
    The name of the file: src/maglev/maglev-ir.cc
    Insertions: 1, Deletions: 1.

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

    Change information

    Commit message:
    [maglev] Verify the precondition of the free Float64 to HoleyFloat64 widen

    Bug: 545843233
    Change-Id: I2c6bdf588954a82b919b06af64be7788c2e8326a
    Reviewed-by: Patrick Thier <pth...@chromium.org>
    Commit-Queue: Victor Gomes <victo...@chromium.org>
    Cr-Commit-Position: refs/heads/main@{#109253}
    Files:
    • M src/maglev/maglev-ir.cc
    • M src/maglev/maglev-ir.h
    Change size: XS
    Delta: 2 files changed, 6 insertions(+), 0 deletions(-)
    Branch: refs/heads/main
    Submit Requirements:
    • requirement satisfiedCode-Review: +1 by Patrick Thier
    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: I2c6bdf588954a82b919b06af64be7788c2e8326a
    Gerrit-Change-Number: 8256829
    Gerrit-PatchSet: 6
    Gerrit-Owner: Victor Gomes <victo...@chromium.org>
    Gerrit-Reviewer: Patrick Thier <pth...@chromium.org>
    Gerrit-Reviewer: Victor Gomes <victo...@chromium.org>
    open
    diffy
    satisfied_requirement
    Reply all
    Reply to author
    Forward
    0 new messages