[GR-69144] Make FixReads mandatory if FloatingRead was run

PullRequest: graal/21979

Author: gergo-

compiler/src/jdk.graal.compiler/src/jdk/graal/compiler/phases/common/FixReadsPhase.java

@@ -698,6 +698,11 @@ public Optional<NotApplicable> notApplicableTo(GraphState graphState) {
                         NotApplicable.when(graphState.getGuardsStage().areFrameStatesAtSideEffects(), "This phase must run after FSA"));
     }
 
+    @Override
+    public boolean mustApply(GraphState graphState) {
+        return graphState.requiresFutureStage(StageFlag.FIXED_READS);
+    }
+
     @Override
     @SuppressWarnings("try")
     protected void run(StructuredGraph graph, CoreProviders context) {
@@ -764,6 +769,7 @@ private static boolean verifyOnlyFixedGuards(ValueNodeInterface guardingRoot) {
     public void updateGraphState(GraphState graphState) {
         super.updateGraphState(graphState);
         graphState.setAfterStage(StageFlag.FIXED_READS);
+        graphState.removeRequirementToStage(StageFlag.FIXED_READS);
     }
 
     protected ControlFlowGraph.RecursiveVisitor<?> createVisitor(StructuredGraph graph, ScheduleResult schedule, CoreProviders context) {

compiler/src/jdk.graal.compiler/src/jdk/graal/compiler/phases/common/FloatingReadPhase.java

@@ -1,5 +1,5 @@
 /*
- * Copyright (c) 2011, 2023, Oracle and/or its affiliates. All rights reserved.
+ * Copyright (c) 2011, 2025, Oracle and/or its affiliates. All rights reserved.
  * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
  *
  * This code is free software; you can redistribute it and/or modify it
@@ -259,6 +259,7 @@ public void updateGraphState(GraphState graphState) {
         super.updateGraphState(graphState);
         if (createFloatingReads) {
             graphState.setAfterStage(StageFlag.FLOATING_READS);
+            graphState.addFutureStageRequirement(StageFlag.FIXED_READS);
         }
     }