/*
 * Copyright (c) 2024, 2026, 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
 * under the terms of the GNU General Public License version 2 only, as
 * published by the Free Software Foundation.
 *
 * This code is distributed in the hope that it will be useful, but WITHOUT
 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
 * version 2 for more details (a copy is included in the LICENSE file that
 * accompanied this code).
 *
 * You should have received a copy of the GNU General Public License version
 * 2 along with this work; if not, write to the Free Software Foundation,
 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
 *
 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
 * or visit www.oracle.com if you need additional information or have any
 * questions.
 */
package compiler.c2.irTests;

import jdk.test.lib.Asserts;
import jdk.test.lib.Utils;

import compiler.lib.ir_framework.*;

/*
 * @test
 * @bug 8345766 8378742
 * @key randomness
 * @summary Test that Ideal transformations of ModFNode are being performed as expected.
 * @library /test/lib /
 * @run driver compiler.c2.irTests.ModFNodeTests
 */
public class ModFNodeTests {
    public static final float q = Utils.getRandomInstance().nextFloat() * 100.0f;
    public static volatile int volatileField;

    public static void main(String[] args) {
        TestFramework.run();
    }

    @Run(test = {"constant", "notConstant", "veryNotConstant",
            "unusedResult",
            "repeatedlyUnused",
            "unusedResultAfterLoopOpt1",
            "unusedResultAfterLoopOpt2",
            "unusedResultAfterLoopOpt3",
            "constantFoldInCCP"
    })
    public void runMethod() {
        Asserts.assertEQ(constant(), q % 72.0f % 30.0f);
        Asserts.assertEQ(alsoConstant(), q % 31.432f);
        Asserts.assertTrue(Float.isNaN(nanLeftConstant()));
        Asserts.assertTrue(Float.isNaN(nanRightConstant()));
        Asserts.assertEQ(notConstant(37.5f), 37.5f % 32.0f);
        Asserts.assertEQ(veryNotConstant(531.25f, 14.5f), 531.25f % 32.0f % 14.5f);
        unusedResult(1.1f, 2.2f);
        repeatedlyUnused(1.1f, 2.2f);
        Asserts.assertEQ(unusedResultAfterLoopOpt1(1.1f, 2.2f), 0.f);
        Asserts.assertEQ(unusedResultAfterLoopOpt2(1.1f, 2.2f), 0.f);
        Asserts.assertEQ(unusedResultAfterLoopOpt3(1.1f, 2.2f), 0.f);
        Asserts.assertEQ(constantFoldInCCP(), 4.0f);
    }

    // Note: we used to check for ConF nodes in the IR. But that is a bit brittle:
    // Constant nodes can appear during IR transformations, and then lose their outputs.
    // During IGNV, the constants stay in the graph even if they lose the inputs. But
    // CCP cleans them out because they are not in the useful set. So for now, we do not
    // rely on any constant counting, just on counting the operation nodes.

    @Test
    @IR(counts = {IRNode.MOD_F, "2"},
        phase = CompilePhase.AFTER_PARSING)
    @IR(failOn = {".*CallLeaf.*frem.*"},
        phase = CompilePhase.BEFORE_MATCHING)
    public float constant() {
        // All constants available during parsing
        return q % 72.0f % 30.0f;
    }

    @Test
    @IR(counts = {IRNode.MOD_F, "1"},
        phase = CompilePhase.AFTER_PARSING)
    @IR(counts = {IRNode.MOD_F, "1"},
        phase = CompilePhase.PHASEIDEALLOOP1) // Only constant fold after some loop opts
    @IR(failOn = {".*CallLeaf.*frem.*"},
        phase = CompilePhase.BEFORE_MATCHING)
    public float alsoConstant() {
        // Make sure value is only available after second loop opts round
        float val = 0;
        for (int i = 0; i < 4; i++) {
            if ((i % 2) == 0) {
                val = q;
            }
        }
        return val % 31.432f;
    }

    @Test
    @IR(counts = {IRNode.MOD_F, "2"},
        phase = CompilePhase.AFTER_PARSING)
    @IR(counts = {IRNode.MOD_F, "2"},
        phase = CompilePhase.PHASEIDEALLOOP1) // Only constant fold after some loop opts
    @IR(failOn = {".*CallLeaf.*frem.*"},
        phase = CompilePhase.BEFORE_MATCHING)
    public float nanLeftConstant() {
        // Make sure value is only available after second loop opts round
        float val = 134.18f;
        for (int i = 0; i < 4; i++) {
            if ((i % 2) == 0) {
                val = Float.NaN;
            }
        }
        return 56.234f % (val % 31.432f);
    }

    @Test
    @IR(counts = {IRNode.MOD_F, "2"},
        phase = CompilePhase.AFTER_PARSING)
    @IR(counts = {IRNode.MOD_F, "2"},
        phase = CompilePhase.PHASEIDEALLOOP1) // Only constant fold after some loop opts
    @IR(failOn = {".*CallLeaf.*frem.*"},
        phase = CompilePhase.BEFORE_MATCHING)
    public float nanRightConstant() {
        // Make sure value is only available after second loop opts round
        float val = 134.18f;
        for (int i = 0; i < 4; i++) {
            if ((i % 2) == 0) {
                val = Float.NaN;
            }
        }
        return 56.234f % (31.432f % val);
    }

    @Test
    @IR(counts = {IRNode.MOD_F, "1"},
        phase = CompilePhase.AFTER_PARSING)
    @IR(counts = {".*CallLeaf.*frem.*", "1"},
        phase = CompilePhase.BEFORE_MATCHING) // no constant folding
    public float notConstant(float x) {
        return x % 32.0f;
    }

    @Test
    @IR(counts = {IRNode.MOD_F, "2"},
        phase = CompilePhase.AFTER_PARSING)
    @IR(counts = {".*CallLeaf.*frem.*", "2"},
        phase = CompilePhase.BEFORE_MATCHING) // no constant folding
    public float veryNotConstant(float x, float y) {
        return x % 32.0f % y;
    }

    @Test
    @IR(counts = {IRNode.MOD_F, "1"},
        phase = CompilePhase.AFTER_PARSING)
    @IR(failOn = {IRNode.MOD_F},
        phase = CompilePhase.ITER_GVN1) // IGVN removes unused nodes
    @IR(failOn = {".*CallLeaf.*frem.*"},
        phase = CompilePhase.BEFORE_MATCHING)
    public void unusedResult(float x, float y) {
        float unused = x % y;
    }

    @Test
    @IR(counts = {IRNode.MOD_F, "1"},
        phase = CompilePhase.AFTER_PARSING)
    @IR(failOn = {IRNode.MOD_F},
        phase = CompilePhase.ITER_GVN1) // IGVN removes unused nodes
    @IR(failOn = {".*CallLeaf.*frem.*"},
        phase = CompilePhase.BEFORE_MATCHING)
    public void repeatedlyUnused(float x, float y) {
        float unused = 1.f;
        for (int i = 0; i < 100_000; i++) {
            unused = x % y;
        }
    }

    // The difference between unusedResultAfterLoopOpt1 and unusedResultAfterLoopOpt2
    // is that they exercise a slightly different reason why the node is being removed,
    // and thus a different execution path. In unusedResultAfterLoopOpt1 the modulo is
    // used in the traps of the parse predicates. In unusedResultAfterLoopOpt2, it is not.
    @Test
    @IR(counts = {IRNode.MOD_F, "1"},
        phase = CompilePhase.AFTER_PARSING)
    @IR(counts = {IRNode.MOD_F, "1"},
        phase = CompilePhase.ITER_GVN2)
    @IR(failOn = {IRNode.MOD_F},
        phase = CompilePhase.BEFORE_MACRO_EXPANSION)
    @IR(failOn = {".*CallLeaf.*frem.*"},
        phase = CompilePhase.BEFORE_MATCHING)
    public float unusedResultAfterLoopOpt1(float x, float y) {
        float unused = x % y;

        int a = 77;
        int b = 0;
        do {
            a--;
            b++;
        } while (a > 0);

        if (b == 78) { // dead
            return unused;
        }
        return 0.f;
    }

    @Test
    @IR(counts = {IRNode.MOD_F, "1"},
        phase = CompilePhase.AFTER_PARSING)
    @IR(counts = {IRNode.MOD_F, "1"},
        phase = CompilePhase.AFTER_CLOOPS)
    @IR(failOn = {IRNode.MOD_F},
        phase = CompilePhase.PHASEIDEALLOOP1)
    @IR(failOn = {".*CallLeaf.*frem.*"},
        phase = CompilePhase.BEFORE_MATCHING)
    public float unusedResultAfterLoopOpt2(float x, float y) {
        int a = 77;
        int b = 0;
        do {
            a--;
            b++;
        } while (a > 0);

        float unused = x % y;

        if (b == 78) { // dead
            return unused;
        }
        return 0.f;
    }

    @Test
    @IR(counts = {IRNode.MOD_F, "3"},
        phase = CompilePhase.AFTER_PARSING)
    @IR(counts = {IRNode.MOD_F, "2"},
        phase = CompilePhase.AFTER_CLOOPS) // drop the useless one
    @IR(failOn = {IRNode.MOD_F},
        phase = CompilePhase.PHASEIDEALLOOP1) // drop the rest
    @IR(failOn = {".*CallLeaf.*frem.*"},
        phase = CompilePhase.BEFORE_MATCHING)
    public float unusedResultAfterLoopOpt3(float x, float y) {
        float unused = x % y;

        int a = 77;
        int b = 0;
        do {
            a--;
            b++;
        } while (a > 0);

        int other = (b - 77) * (int)(x % y % 1.f);
        return (float)other;
    }

    @Test
    @IR(failOn = {IRNode.CMP_F},
        phase = CompilePhase.CCP1)
    @IR(failOn = {IRNode.MOD_F},
        phase = CompilePhase.BEFORE_MACRO_EXPANSION)
    public float constantFoldInCCP(){
        int i;
        for (i = 2; i < 4; i *= 2) {
        }
        int j;
        for (j = 2; j < 4; j *= 2) {
        }
        volatileField = 42;
        float v1 = (float) i / 2;
        float v2 = j;
        float v = v1 % v2;
        for (; v < v2; v *= 2) {
        }
        return v;
    }
}