[turbofan] Print graph after SimplifiedLowering retyping

Bug: v8:12619
Change-Id: Idcad21d03081e6f012656d36d99ce465158f84eb
Reviewed-on: https://chromium-review.googlesource.com/c/v8/v8/+/3634958Reviewed-by: Maya Lekova <mslekova@chromium.org>
Commit-Queue: Nico Hartmann <nicohartmann@chromium.org>
Auto-Submit: Nico Hartmann <nicohartmann@chromium.org>
Cr-Commit-Position: refs/heads/main@{#80466}

src/compiler/simplified-lowering.cc

@@ -759,6 +759,17 @@ class RepresentationSelector {
       }
     }
 
+    // Print graph.
+    if (info != nullptr && info->trace_turbo_json()) {
+      UnparkedScopeIfNeeded scope(broker_);
+      AllowHandleDereference allow_deref;
+
+      TurboJsonFile json_of(info, std::ios_base::app);
+      JSONGraphWriter writer(json_of, graph(), source_positions_,
+                             node_origins_);
+      writer.PrintPhase("V8.TFSimplifiedLowering [after retype]");
+    }
+
     // Verify all nodes.
     for (Node* node : traversal_nodes_) verifier_->VisitNode(node, op_typer_);
 
@@ -770,7 +781,7 @@ class RepresentationSelector {
       TurboJsonFile json_of(info, std::ios_base::app);
       JSONGraphWriterWithVerifierTypes writer(
           json_of, graph(), source_positions_, node_origins_, verifier_);
-      writer.PrintPhase("V8.TFSimplifiedLoweringVerifier");
+      writer.PrintPhase("V8.TFSimplifiedLowering [after verify]");
     }
 
     // Eliminate all introduced hints.