test/hotspot/jtreg/compiler/loopstripmining/UnexpectedNodeInOuterLoopWhenCloning.java
author roland
Mon, 11 Jun 2018 14:16:43 +0200
changeset 50503 f07979db6cb2
permissions -rw-r--r--
8202747: C2: assert(mode == ControlAroundStripMined && use == sfpt) failed: missed a node Reviewed-by: neliasso, kvn
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
50503
f07979db6cb2 8202747: C2: assert(mode == ControlAroundStripMined && use == sfpt) failed: missed a node
roland
parents:
diff changeset
     1
/*
f07979db6cb2 8202747: C2: assert(mode == ControlAroundStripMined && use == sfpt) failed: missed a node
roland
parents:
diff changeset
     2
 * Copyright (c) 2018, Red Hat, Inc. All rights reserved.
f07979db6cb2 8202747: C2: assert(mode == ControlAroundStripMined && use == sfpt) failed: missed a node
roland
parents:
diff changeset
     3
 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
f07979db6cb2 8202747: C2: assert(mode == ControlAroundStripMined && use == sfpt) failed: missed a node
roland
parents:
diff changeset
     4
 *
f07979db6cb2 8202747: C2: assert(mode == ControlAroundStripMined && use == sfpt) failed: missed a node
roland
parents:
diff changeset
     5
 * This code is free software; you can redistribute it and/or modify it
f07979db6cb2 8202747: C2: assert(mode == ControlAroundStripMined && use == sfpt) failed: missed a node
roland
parents:
diff changeset
     6
 * under the terms of the GNU General Public License version 2 only, as
f07979db6cb2 8202747: C2: assert(mode == ControlAroundStripMined && use == sfpt) failed: missed a node
roland
parents:
diff changeset
     7
 * published by the Free Software Foundation.
f07979db6cb2 8202747: C2: assert(mode == ControlAroundStripMined && use == sfpt) failed: missed a node
roland
parents:
diff changeset
     8
 *
f07979db6cb2 8202747: C2: assert(mode == ControlAroundStripMined && use == sfpt) failed: missed a node
roland
parents:
diff changeset
     9
 * This code is distributed in the hope that it will be useful, but WITHOUT
f07979db6cb2 8202747: C2: assert(mode == ControlAroundStripMined && use == sfpt) failed: missed a node
roland
parents:
diff changeset
    10
 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
f07979db6cb2 8202747: C2: assert(mode == ControlAroundStripMined && use == sfpt) failed: missed a node
roland
parents:
diff changeset
    11
 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
f07979db6cb2 8202747: C2: assert(mode == ControlAroundStripMined && use == sfpt) failed: missed a node
roland
parents:
diff changeset
    12
 * version 2 for more details (a copy is included in the LICENSE file that
f07979db6cb2 8202747: C2: assert(mode == ControlAroundStripMined && use == sfpt) failed: missed a node
roland
parents:
diff changeset
    13
 * accompanied this code).
f07979db6cb2 8202747: C2: assert(mode == ControlAroundStripMined && use == sfpt) failed: missed a node
roland
parents:
diff changeset
    14
 *
f07979db6cb2 8202747: C2: assert(mode == ControlAroundStripMined && use == sfpt) failed: missed a node
roland
parents:
diff changeset
    15
 * You should have received a copy of the GNU General Public License version
f07979db6cb2 8202747: C2: assert(mode == ControlAroundStripMined && use == sfpt) failed: missed a node
roland
parents:
diff changeset
    16
 * 2 along with this work; if not, write to the Free Software Foundation,
f07979db6cb2 8202747: C2: assert(mode == ControlAroundStripMined && use == sfpt) failed: missed a node
roland
parents:
diff changeset
    17
 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
f07979db6cb2 8202747: C2: assert(mode == ControlAroundStripMined && use == sfpt) failed: missed a node
roland
parents:
diff changeset
    18
 *
f07979db6cb2 8202747: C2: assert(mode == ControlAroundStripMined && use == sfpt) failed: missed a node
roland
parents:
diff changeset
    19
 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
f07979db6cb2 8202747: C2: assert(mode == ControlAroundStripMined && use == sfpt) failed: missed a node
roland
parents:
diff changeset
    20
 * or visit www.oracle.com if you need additional information or have any
f07979db6cb2 8202747: C2: assert(mode == ControlAroundStripMined && use == sfpt) failed: missed a node
roland
parents:
diff changeset
    21
 * questions.
f07979db6cb2 8202747: C2: assert(mode == ControlAroundStripMined && use == sfpt) failed: missed a node
roland
parents:
diff changeset
    22
 */
f07979db6cb2 8202747: C2: assert(mode == ControlAroundStripMined && use == sfpt) failed: missed a node
roland
parents:
diff changeset
    23
f07979db6cb2 8202747: C2: assert(mode == ControlAroundStripMined && use == sfpt) failed: missed a node
roland
parents:
diff changeset
    24
/**
f07979db6cb2 8202747: C2: assert(mode == ControlAroundStripMined && use == sfpt) failed: missed a node
roland
parents:
diff changeset
    25
 * @test
f07979db6cb2 8202747: C2: assert(mode == ControlAroundStripMined && use == sfpt) failed: missed a node
roland
parents:
diff changeset
    26
 * @bug 8202747
f07979db6cb2 8202747: C2: assert(mode == ControlAroundStripMined && use == sfpt) failed: missed a node
roland
parents:
diff changeset
    27
 * @summary C2: assert(mode == ControlAroundStripMined && use == sfpt) failed: missed a node
f07979db6cb2 8202747: C2: assert(mode == ControlAroundStripMined && use == sfpt) failed: missed a node
roland
parents:
diff changeset
    28
 *
f07979db6cb2 8202747: C2: assert(mode == ControlAroundStripMined && use == sfpt) failed: missed a node
roland
parents:
diff changeset
    29
 * @run main/othervm -Xcomp -Xbatch -XX:CompileOnly=UnexpectedNodeInOuterLoopWhenCloning -XX:-TieredCompilation UnexpectedNodeInOuterLoopWhenCloning
f07979db6cb2 8202747: C2: assert(mode == ControlAroundStripMined && use == sfpt) failed: missed a node
roland
parents:
diff changeset
    30
 *
f07979db6cb2 8202747: C2: assert(mode == ControlAroundStripMined && use == sfpt) failed: missed a node
roland
parents:
diff changeset
    31
 */
f07979db6cb2 8202747: C2: assert(mode == ControlAroundStripMined && use == sfpt) failed: missed a node
roland
parents:
diff changeset
    32
f07979db6cb2 8202747: C2: assert(mode == ControlAroundStripMined && use == sfpt) failed: missed a node
roland
parents:
diff changeset
    33
public class UnexpectedNodeInOuterLoopWhenCloning {
f07979db6cb2 8202747: C2: assert(mode == ControlAroundStripMined && use == sfpt) failed: missed a node
roland
parents:
diff changeset
    34
f07979db6cb2 8202747: C2: assert(mode == ControlAroundStripMined && use == sfpt) failed: missed a node
roland
parents:
diff changeset
    35
    public static final int N = 400;
f07979db6cb2 8202747: C2: assert(mode == ControlAroundStripMined && use == sfpt) failed: missed a node
roland
parents:
diff changeset
    36
f07979db6cb2 8202747: C2: assert(mode == ControlAroundStripMined && use == sfpt) failed: missed a node
roland
parents:
diff changeset
    37
    public static double dFld=0.37026;
f07979db6cb2 8202747: C2: assert(mode == ControlAroundStripMined && use == sfpt) failed: missed a node
roland
parents:
diff changeset
    38
    public static int iArrFld[]=new int[N];
f07979db6cb2 8202747: C2: assert(mode == ControlAroundStripMined && use == sfpt) failed: missed a node
roland
parents:
diff changeset
    39
f07979db6cb2 8202747: C2: assert(mode == ControlAroundStripMined && use == sfpt) failed: missed a node
roland
parents:
diff changeset
    40
    public static void vMeth() {
f07979db6cb2 8202747: C2: assert(mode == ControlAroundStripMined && use == sfpt) failed: missed a node
roland
parents:
diff changeset
    41
f07979db6cb2 8202747: C2: assert(mode == ControlAroundStripMined && use == sfpt) failed: missed a node
roland
parents:
diff changeset
    42
        int i5=6, i6=-42538, i7=-209, i8=163, i10=-4, i11=191;
f07979db6cb2 8202747: C2: assert(mode == ControlAroundStripMined && use == sfpt) failed: missed a node
roland
parents:
diff changeset
    43
        boolean b=true;
f07979db6cb2 8202747: C2: assert(mode == ControlAroundStripMined && use == sfpt) failed: missed a node
roland
parents:
diff changeset
    44
        double dArr[]=new double[N];
f07979db6cb2 8202747: C2: assert(mode == ControlAroundStripMined && use == sfpt) failed: missed a node
roland
parents:
diff changeset
    45
f07979db6cb2 8202747: C2: assert(mode == ControlAroundStripMined && use == sfpt) failed: missed a node
roland
parents:
diff changeset
    46
        for (i5 = 3; i5 < 245; i5++) {
f07979db6cb2 8202747: C2: assert(mode == ControlAroundStripMined && use == sfpt) failed: missed a node
roland
parents:
diff changeset
    47
            i7 = 7;
f07979db6cb2 8202747: C2: assert(mode == ControlAroundStripMined && use == sfpt) failed: missed a node
roland
parents:
diff changeset
    48
            while (--i7 > 0) {
f07979db6cb2 8202747: C2: assert(mode == ControlAroundStripMined && use == sfpt) failed: missed a node
roland
parents:
diff changeset
    49
                iArrFld[i7] = -11995;
f07979db6cb2 8202747: C2: assert(mode == ControlAroundStripMined && use == sfpt) failed: missed a node
roland
parents:
diff changeset
    50
                if (b) continue;
f07979db6cb2 8202747: C2: assert(mode == ControlAroundStripMined && use == sfpt) failed: missed a node
roland
parents:
diff changeset
    51
            }
f07979db6cb2 8202747: C2: assert(mode == ControlAroundStripMined && use == sfpt) failed: missed a node
roland
parents:
diff changeset
    52
            for (i8 = 1; i8 < 7; ++i8) {
f07979db6cb2 8202747: C2: assert(mode == ControlAroundStripMined && use == sfpt) failed: missed a node
roland
parents:
diff changeset
    53
                for (i10 = 1; i10 < 2; i10++) {
f07979db6cb2 8202747: C2: assert(mode == ControlAroundStripMined && use == sfpt) failed: missed a node
roland
parents:
diff changeset
    54
                    dFld -= i6;
f07979db6cb2 8202747: C2: assert(mode == ControlAroundStripMined && use == sfpt) failed: missed a node
roland
parents:
diff changeset
    55
                    i11 += i7;
f07979db6cb2 8202747: C2: assert(mode == ControlAroundStripMined && use == sfpt) failed: missed a node
roland
parents:
diff changeset
    56
                }
f07979db6cb2 8202747: C2: assert(mode == ControlAroundStripMined && use == sfpt) failed: missed a node
roland
parents:
diff changeset
    57
            }
f07979db6cb2 8202747: C2: assert(mode == ControlAroundStripMined && use == sfpt) failed: missed a node
roland
parents:
diff changeset
    58
        }
f07979db6cb2 8202747: C2: assert(mode == ControlAroundStripMined && use == sfpt) failed: missed a node
roland
parents:
diff changeset
    59
    }
f07979db6cb2 8202747: C2: assert(mode == ControlAroundStripMined && use == sfpt) failed: missed a node
roland
parents:
diff changeset
    60
f07979db6cb2 8202747: C2: assert(mode == ControlAroundStripMined && use == sfpt) failed: missed a node
roland
parents:
diff changeset
    61
    public static void main(String[] strArr) {
f07979db6cb2 8202747: C2: assert(mode == ControlAroundStripMined && use == sfpt) failed: missed a node
roland
parents:
diff changeset
    62
        UnexpectedNodeInOuterLoopWhenCloning _instance = new UnexpectedNodeInOuterLoopWhenCloning();
f07979db6cb2 8202747: C2: assert(mode == ControlAroundStripMined && use == sfpt) failed: missed a node
roland
parents:
diff changeset
    63
        _instance.vMeth();
f07979db6cb2 8202747: C2: assert(mode == ControlAroundStripMined && use == sfpt) failed: missed a node
roland
parents:
diff changeset
    64
    }
f07979db6cb2 8202747: C2: assert(mode == ControlAroundStripMined && use == sfpt) failed: missed a node
roland
parents:
diff changeset
    65
}