[maglev non-eager inlining] Update phi types after inlining [v8/v8 : main]

0 views
Skip to first unread message

Marja Hölttä (Gerrit)

unread,
Jan 9, 2026, 8:20:17 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

Patchset-level comments
File-level comment, Patchset 2 (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: I14014abf056daaed1641eccc13628113ed56e32a
Gerrit-Change-Number: 7415270
Gerrit-PatchSet: 2
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 13:20:12 +0000
Gerrit-HasComments: Yes
Gerrit-Has-Labels: No
unsatisfied_requirement
open
diffy

chromeperf@appspot.gserviceaccount.com (Gerrit)

unread,
Jan 9, 2026, 9:17:03 AM (2 days ago) Jan 9
to Marja Hölttä, Victor Gomes, V8 LUCI CQ, leszek...@chromium.org, v8-re...@googlegroups.com, verwaes...@chromium.org, victorgo...@chromium.org
Attention needed from Marja Hölttä and Victor Gomes

Message from chrom...@appspot.gserviceaccount.com

📍 Job mac-m1_mini_2020-perf/jetstream-main.crossbench complete.

See results at: https://pinpoint-dot-chromeperf.appspot.com/job/15b56e7db10000

Open in Gerrit

Related details

Attention is currently required from:
  • Marja Hölttä
  • 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: I14014abf056daaed1641eccc13628113ed56e32a
Gerrit-Change-Number: 7415270
Gerrit-PatchSet: 2
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-Attention: Victor Gomes <victo...@chromium.org>
Gerrit-Comment-Date: Fri, 09 Jan 2026 14:16:58 +0000
Gerrit-HasComments: No
Gerrit-Has-Labels: No
unsatisfied_requirement
open
diffy

Victor Gomes (Gerrit)

unread,
Jan 9, 2026, 9:30:44 AM (2 days ago) Jan 9
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 3 comments

File src/maglev/maglev-ir.h
Line 8263, Patchset 2 (Latest): kHeapObject, // Can be a HeapNumber
Victor Gomes . unresolved

Nit: should we follow the same name as NodeType and call it AnyHeapObject?

File src/maglev/maglev-kna-processor.h
Line 196, Patchset 2 (Latest): for (int i = 0; i < phi->input_count(); ++i) {
ValueNode* input = phi->input_node(i)->UnwrapIdentities();
NodeType input_type =
block->state()->known_node_aspects()->GetType(broker(), input);
if (i == 0) {
new_type = input_type;
} else {
new_type = UnionType(new_type, input_type);
}
}
Victor Gomes . unresolved

I am a bit confused. My understand is that we are merging a **single** predecessor here. What I would expect is: getting the predecessor_id from block using current_block_ then you can get a the input and the type in the previous/current block:
```
ValueNode* input = phi->input_node(predecessor_id);
NodeType input_type = known_node_aspects()->GetType(broker(), input);
```

Otherwise this code will run (loop) for all predecessors.

Line 194, Patchset 2 (Latest): for (Phi* phi : *block->state()->phis()) {
Victor Gomes . unresolved

Add a little comment before explaining what this is doing.

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: I14014abf056daaed1641eccc13628113ed56e32a
    Gerrit-Change-Number: 7415270
    Gerrit-PatchSet: 2
    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: Fri, 09 Jan 2026 14:30:40 +0000
    Gerrit-HasComments: Yes
    Gerrit-Has-Labels: No
    unsatisfied_requirement
    open
    diffy
    Reply all
    Reply to author
    Forward
    0 new messages