src/jdk.internal.vm.compiler/share/classes/org.graalvm.compiler.core.test/src/org/graalvm/compiler/core/test/NewInstanceTest.java
author dlong
Tue, 24 Sep 2019 12:47:15 -0400
changeset 58299 6df94ce3ab2f
parent 54328 37648a9c4a6a
permissions -rw-r--r--
8229201: Update Graal Reviewed-by: kvn
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
51736
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
     1
/*
58299
6df94ce3ab2f 8229201: Update Graal
dlong
parents: 54328
diff changeset
     2
 * Copyright (c) 2018, 2019, Oracle and/or its affiliates. All rights reserved.
51736
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
     3
 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
     4
 *
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
     5
 * This code is free software; you can redistribute it and/or modify it
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
     6
 * under the terms of the GNU General Public License version 2 only, as
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
     7
 * published by the Free Software Foundation.
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
     8
 *
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
     9
 * This code is distributed in the hope that it will be useful, but WITHOUT
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
    10
 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
    11
 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
    12
 * version 2 for more details (a copy is included in the LICENSE file that
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
    13
 * accompanied this code).
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
    14
 *
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
    15
 * You should have received a copy of the GNU General Public License version
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
    16
 * 2 along with this work; if not, write to the Free Software Foundation,
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
    17
 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
    18
 *
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
    19
 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
    20
 * or visit www.oracle.com if you need additional information or have any
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
    21
 * questions.
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
    22
 */
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
    23
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
    24
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
    25
package org.graalvm.compiler.core.test;
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
    26
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
    27
import java.io.ByteArrayOutputStream;
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
    28
import java.io.IOException;
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
    29
import java.io.InputStream;
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
    30
import java.lang.reflect.Constructor;
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
    31
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
    32
import org.graalvm.compiler.java.GraphBuilderPhase;
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
    33
import org.graalvm.compiler.nodes.DeoptimizeNode;
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
    34
import org.graalvm.compiler.nodes.StructuredGraph;
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
    35
import org.graalvm.compiler.nodes.StructuredGraph.AllowAssumptions;
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
    36
import org.graalvm.compiler.nodes.graphbuilderconf.GraphBuilderConfiguration;
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
    37
import org.graalvm.compiler.nodes.java.NewInstanceNode;
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
    38
import org.graalvm.compiler.options.OptionValues;
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
    39
import org.graalvm.compiler.phases.OptimisticOptimizations;
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
    40
import org.junit.Assert;
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
    41
import org.junit.Test;
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
    42
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
    43
import jdk.vm.ci.meta.ResolvedJavaMethod;
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
    44
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
    45
public class NewInstanceTest extends GraalCompilerTest {
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
    46
    public static class Template {
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
    47
        public Object o = new CCCC();
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
    48
    }
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
    49
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
    50
    /**
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
    51
     * 1. Concrete class, should produce normal {@link NewInstanceNode}
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
    52
     */
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
    53
    public static class CCCC {
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
    54
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
    55
    }
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
    56
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
    57
    /**
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
    58
     * 2. The test will replace references to {@link CCCC} in the {@link Template} to {@link AAAA}
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
    59
     */
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
    60
    public abstract static class AAAA {
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
    61
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
    62
    }
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
    63
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
    64
    /**
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
    65
     * 3. The test will replace references to {@link CCCC} in the {@link Template} to {@link IIII}
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
    66
     */
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
    67
    public interface IIII {
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
    68
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
    69
    }
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
    70
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
    71
    private StructuredGraph parseAndProcess(Class<?> cl) {
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
    72
        Constructor<?>[] constructors = cl.getConstructors();
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
    73
        Assert.assertTrue(constructors.length == 1);
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
    74
        final ResolvedJavaMethod javaMethod = getMetaAccess().lookupJavaMethod(constructors[0]);
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
    75
        OptionValues options = getInitialOptions();
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
    76
        StructuredGraph graph = new StructuredGraph.Builder(options, getDebugContext(options, null, javaMethod), AllowAssumptions.YES).method(javaMethod).build();
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
    77
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
    78
        GraphBuilderConfiguration conf = GraphBuilderConfiguration.getSnippetDefault(getDefaultGraphBuilderPlugins()).withUnresolvedIsError(false);
54328
37648a9c4a6a 8221341: Update Graal
jwilhelm
parents: 51736
diff changeset
    79
        new GraphBuilderPhase.Instance(getProviders(), conf, OptimisticOptimizations.ALL, null).apply(graph);
51736
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
    80
        return graph;
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
    81
    }
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
    82
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
    83
    private void checkGraph(Class<?> cl, int newInstanceNodeCount, int deoptimizeNodeCount) {
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
    84
        StructuredGraph graph = parseAndProcess(cl);
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
    85
        Assert.assertEquals(newInstanceNodeCount, graph.getNodes().filter(NewInstanceNode.class).count());
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
    86
        Assert.assertEquals(deoptimizeNodeCount, graph.getNodes().filter(DeoptimizeNode.class).count());
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
    87
    }
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
    88
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
    89
    /**
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
    90
     * Use a custom class loader to generate classes, substitute class names at the allocation site.
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
    91
     */
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
    92
    @Test
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
    93
    public void test1() throws ClassNotFoundException {
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
    94
        checkGraph(Template.class, 1, 0);
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
    95
        ClassTemplateLoader loader1 = new ClassTemplateLoader("CCCC", "AAAA");
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
    96
        checkGraph(loader1.findClass("Template"), 0, 1);
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
    97
        ClassTemplateLoader loader2 = new ClassTemplateLoader("CCCC", "IIII");
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
    98
        checkGraph(loader2.findClass("Template"), 0, 1);
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
    99
    }
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
   100
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
   101
    private static class ClassTemplateLoader extends ClassLoader {
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
   102
        private final String find;
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
   103
        private final String replace;
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
   104
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
   105
        ClassTemplateLoader(String find, String replace) {
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
   106
            assert find.length() == replace.length();
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
   107
            this.find = find;
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
   108
            this.replace = replace;
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
   109
        }
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
   110
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
   111
        @Override
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
   112
        protected Class<?> findClass(final String name) throws ClassNotFoundException {
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
   113
            // copy classfile to byte array
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
   114
            byte[] classData = null;
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
   115
            try {
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
   116
                InputStream is = NewInstanceTest.class.getResourceAsStream("NewInstanceTest$" + name + ".class");
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
   117
                assert is != null;
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
   118
                ByteArrayOutputStream baos = new ByteArrayOutputStream();
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
   119
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
   120
                byte[] buf = new byte[1024];
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
   121
                int size;
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
   122
                while ((size = is.read(buf, 0, buf.length)) != -1) {
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
   123
                    baos.write(buf, 0, size);
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
   124
                }
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
   125
                baos.flush();
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
   126
                classData = baos.toByteArray();
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
   127
            } catch (IOException e) {
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
   128
                Assert.fail("can't access class: " + name);
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
   129
            }
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
   130
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
   131
            // replace all occurrences of the template in classfile
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
   132
            int index = -1;
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
   133
            while ((index = indexOfTemplate(classData, index + 1, find)) != -1) {
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
   134
                replaceTemplate(classData, index, replace);
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
   135
            }
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
   136
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
   137
            Class<?> c = defineClass(null, classData, 0, classData.length);
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
   138
            return c;
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
   139
        }
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
   140
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
   141
        private static int indexOfTemplate(byte[] b, int index, String find) {
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
   142
            for (int i = index; i < b.length; i++) {
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
   143
                boolean match = true;
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
   144
                for (int j = i; j < i + find.length(); j++) {
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
   145
                    if (b[j] != (byte) find.charAt(j - i)) {
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
   146
                        match = false;
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
   147
                        break;
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
   148
                    }
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
   149
                }
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
   150
                if (match) {
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
   151
                    return i;
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
   152
                }
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
   153
            }
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
   154
            return -1;
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
   155
        }
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
   156
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
   157
        private static void replaceTemplate(byte[] b, int index, String replace) {
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
   158
            for (int i = index; i < index + replace.length(); i++) {
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
   159
                b[i] = (byte) replace.charAt(i - index);
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
   160
            }
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
   161
        }
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
   162
    }
42d99cb7f50f 8210478: Update Graal
iveresov
parents:
diff changeset
   163
}