compiler/c2/irTests/TestFloat16ScalarOperations.java failing intermittently because of constant folding

XMLWordPrintable

    • master

        Reproduces on mainline. Issue is unexpected constant folding when special random values are chosen in the test.

        I reproduced the issue by replacing the constant values with special values, see below in comments.

        I could detect one failure with this seed on an aarch64 machine, but the seed does not seem to work via SDE:
        -Djdk.test.lib.random.seed=-8149712388031710130
        (Note: this only triggers a subset of the failures anyway, so precise investigation of all cases is still required to ensure we don't have any other failures in the future)

        Important: Float16 support is required. You can simulate it with SDE, for example.

        --------------------- ORIGINAL REPORT -----------------------

        Failing in fibers branch of loom repo, linux-aarch64-debug only.

        One or more @IR rules failed:

        Failed IR Rules (1) of Methods (1)
        ----------------------------------
        1) Method "public short TestFloat16ScalarOperations.testRandomFP16ConstantPatternSet1()" - [Failed IR rules: 1]:
           * @IR rule 2: "@compiler.lib.ir_framework.IR(phase={DEFAULT}, applyIfPlatformAnd={}, applyIfCPUFeatureOr={}, counts={"_#ADD_HF#_", " >0 ", "_#SUB_HF#_", " >0 ", "_#MUL_HF#_", " >0 ", "_#DIV_HF#_", " >0 "}, failOn={}, applyIfPlatform={}, applyIfPlatformOr={}, applyIfOr={}, applyIfCPUFeatureAnd={"fphp", "true", "asimdhp", "true"}, applyIf={}, applyIfCPUFeature={}, applyIfAnd={}, applyIfNot={})"
             > Phase "PrintIdeal":
               - counts: Graph contains wrong number of nodes:
                 * Constraint 4: "(\\d+(\\s){2}(DivHF.*)+(\\s){2}===.*)"
                   - Failed comparison: [found] 0 > 0 [given]
                   - No nodes matched!

        >>> Check stdout for compilation output of the failed methods

              Assignee:
              Emanuel Peter
              Reporter:
              Alan Bateman
              Votes:
              0 Vote for this issue
              Watchers:
              5 Start watching this issue

                Created:
                Updated:
                Resolved: