[maglev, non-eager inlining] Only change the CheckType of CheckMaps if the new type is better [v8/v8 : main]

0 views
Skip to first unread message

Marja Hölttä (Gerrit)

unread,
Jan 7, 2026, 1:41:34 PM (4 days ago) Jan 7
to Victor Gomes, chrom...@appspot.gserviceaccount.com, V8 LUCI CQ, leszek...@chromium.org, v8-re...@googlegroups.com, verwaes...@chromium.org, victorgo...@chromium.org
Attention needed from Victor Gomes

Marja Hölttä added 1 comment

Patchset-level comments
File-level comment, Patchset 1 (Latest):
Marja Hölttä . resolved

ptal

Open in Gerrit

Related details

Attention is currently required from:
  • Victor Gomes
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: Id994b073698185405e0f7d30901736c5d470f7fe
Gerrit-Change-Number: 7409665
Gerrit-PatchSet: 1
Gerrit-Owner: Marja Hölttä <ma...@chromium.org>
Gerrit-Reviewer: Marja Hölttä <ma...@chromium.org>
Gerrit-Reviewer: Victor Gomes <victo...@chromium.org>
Gerrit-Attention: Victor Gomes <victo...@chromium.org>
Gerrit-Comment-Date: Wed, 07 Jan 2026 18:41:28 +0000
Gerrit-HasComments: Yes
Gerrit-Has-Labels: No
unsatisfied_requirement
open
diffy

Victor Gomes (Gerrit)

unread,
Jan 8, 2026, 3:41:02 AM (3 days ago) Jan 8
to Marja Hölttä, chrom...@appspot.gserviceaccount.com, V8 LUCI CQ, leszek...@chromium.org, v8-re...@googlegroups.com, verwaes...@chromium.org, victorgo...@chromium.org
Attention needed from Marja Hölttä

Victor Gomes added 1 comment

File src/maglev/maglev-graph-optimizer.cc
Line 582, Patchset 1 (Latest): if (node->check_type() == CheckType::kCheckHeapObject &&
reducer_.GetCheckType(known_info->type()) ==
CheckType::kOmitHeapObjectCheck) {
node->set_check_type(CheckType::kOmitHeapObjectCheck);
}
}
Victor Gomes . unresolved

Interesting, I think this should always be better. If you have a counterexample, then the problem must be somewhere else I think. We probably not replicating/propagating something from the graph builder.

Open in Gerrit

Related details

Attention is currently required from:
  • Marja Hölttä
Submit Requirements:
    • requirement is not satisfiedCode-Owners
    • requirement is not satisfiedCode-Review
    • requirement is not satisfiedNo-Unresolved-Comments
    • 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: Id994b073698185405e0f7d30901736c5d470f7fe
    Gerrit-Change-Number: 7409665
    Gerrit-PatchSet: 1
    Gerrit-Owner: Marja Hölttä <ma...@chromium.org>
    Gerrit-Reviewer: Marja Hölttä <ma...@chromium.org>
    Gerrit-Reviewer: Victor Gomes <victo...@chromium.org>
    Gerrit-Attention: Marja Hölttä <ma...@chromium.org>
    Gerrit-Comment-Date: Thu, 08 Jan 2026 08:40:58 +0000
    Gerrit-HasComments: Yes
    Gerrit-Has-Labels: No
    unsatisfied_requirement
    open
    diffy

    Marja Hölttä (Gerrit)

    unread,
    Jan 9, 2026, 6:04:08 AM (2 days ago) Jan 9
    to Victor Gomes, chrom...@appspot.gserviceaccount.com, V8 LUCI CQ, leszek...@chromium.org, v8-re...@googlegroups.com, verwaes...@chromium.org, victorgo...@chromium.org
    Attention needed from Victor Gomes

    Marja Hölttä added 1 comment

    File src/maglev/maglev-graph-optimizer.cc
    Line 582, Patchset 1 (Latest): if (node->check_type() == CheckType::kCheckHeapObject &&
    reducer_.GetCheckType(known_info->type()) ==
    CheckType::kOmitHeapObjectCheck) {
    node->set_check_type(CheckType::kOmitHeapObjectCheck);
    }
    }
    Victor Gomes . unresolved

    Interesting, I think this should always be better. If you have a counterexample, then the problem must be somewhere else I think. We probably not replicating/propagating something from the graph builder.

    Marja Hölttä

    That was my intuition too, that's why the first version was like that. But this case indeed does occur. I'll investigate this further.

    Open in Gerrit

    Related details

    Attention is currently required from:
    • Victor Gomes
    Submit Requirements:
    • requirement is not satisfiedCode-Owners
    • requirement is not satisfiedCode-Review
    • requirement is not satisfiedNo-Unresolved-Comments
    • 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: Id994b073698185405e0f7d30901736c5d470f7fe
    Gerrit-Change-Number: 7409665
    Gerrit-PatchSet: 1
    Gerrit-Owner: Marja Hölttä <ma...@chromium.org>
    Gerrit-Reviewer: Marja Hölttä <ma...@chromium.org>
    Gerrit-Reviewer: Victor Gomes <victo...@chromium.org>
    Gerrit-Attention: Victor Gomes <victo...@chromium.org>
    Gerrit-Comment-Date: Fri, 09 Jan 2026 11:04:04 +0000
    Gerrit-HasComments: Yes
    Gerrit-Has-Labels: No
    Comment-In-Reply-To: Victor Gomes <victo...@chromium.org>
    unsatisfied_requirement
    open
    diffy
    Reply all
    Reply to author
    Forward
    0 new messages