src/java.base/share/classes/java/lang/invoke/GenerateJLIClassesHelper.java
author redestad
Thu, 19 Sep 2019 23:38:50 +0200
changeset 58238 3386b9a8ef4d
parent 57939 e8ba7e4f4190
permissions -rw-r--r--
8230768: Arrays of SoftReferences in MethodTypeForm should not be @Stable Reviewed-by: mchung
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
40259
439673b634a9 8163814: JDK build has been failing after 8163373
redestad
parents:
diff changeset
     1
/*
57939
e8ba7e4f4190 8230302: GenerateJLIClassesPlugin can generate invalid DirectMethodHandle methods
redestad
parents: 49240
diff changeset
     2
 * Copyright (c) 2016, 2019, Oracle and/or its affiliates. All rights reserved.
40259
439673b634a9 8163814: JDK build has been failing after 8163373
redestad
parents:
diff changeset
     3
 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
439673b634a9 8163814: JDK build has been failing after 8163373
redestad
parents:
diff changeset
     4
 *
439673b634a9 8163814: JDK build has been failing after 8163373
redestad
parents:
diff changeset
     5
 * This code is free software; you can redistribute it and/or modify it
439673b634a9 8163814: JDK build has been failing after 8163373
redestad
parents:
diff changeset
     6
 * under the terms of the GNU General Public License version 2 only, as
439673b634a9 8163814: JDK build has been failing after 8163373
redestad
parents:
diff changeset
     7
 * published by the Free Software Foundation.  Oracle designates this
439673b634a9 8163814: JDK build has been failing after 8163373
redestad
parents:
diff changeset
     8
 * particular file as subject to the "Classpath" exception as provided
439673b634a9 8163814: JDK build has been failing after 8163373
redestad
parents:
diff changeset
     9
 * by Oracle in the LICENSE file that accompanied this code.
439673b634a9 8163814: JDK build has been failing after 8163373
redestad
parents:
diff changeset
    10
 *
439673b634a9 8163814: JDK build has been failing after 8163373
redestad
parents:
diff changeset
    11
 * This code is distributed in the hope that it will be useful, but WITHOUT
439673b634a9 8163814: JDK build has been failing after 8163373
redestad
parents:
diff changeset
    12
 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
439673b634a9 8163814: JDK build has been failing after 8163373
redestad
parents:
diff changeset
    13
 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
439673b634a9 8163814: JDK build has been failing after 8163373
redestad
parents:
diff changeset
    14
 * version 2 for more details (a copy is included in the LICENSE file that
439673b634a9 8163814: JDK build has been failing after 8163373
redestad
parents:
diff changeset
    15
 * accompanied this code).
439673b634a9 8163814: JDK build has been failing after 8163373
redestad
parents:
diff changeset
    16
 *
439673b634a9 8163814: JDK build has been failing after 8163373
redestad
parents:
diff changeset
    17
 * You should have received a copy of the GNU General Public License version
439673b634a9 8163814: JDK build has been failing after 8163373
redestad
parents:
diff changeset
    18
 * 2 along with this work; if not, write to the Free Software Foundation,
439673b634a9 8163814: JDK build has been failing after 8163373
redestad
parents:
diff changeset
    19
 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
439673b634a9 8163814: JDK build has been failing after 8163373
redestad
parents:
diff changeset
    20
 *
439673b634a9 8163814: JDK build has been failing after 8163373
redestad
parents:
diff changeset
    21
 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
439673b634a9 8163814: JDK build has been failing after 8163373
redestad
parents:
diff changeset
    22
 * or visit www.oracle.com if you need additional information or have any
439673b634a9 8163814: JDK build has been failing after 8163373
redestad
parents:
diff changeset
    23
 * questions.
439673b634a9 8163814: JDK build has been failing after 8163373
redestad
parents:
diff changeset
    24
 */
439673b634a9 8163814: JDK build has been failing after 8163373
redestad
parents:
diff changeset
    25
439673b634a9 8163814: JDK build has been failing after 8163373
redestad
parents:
diff changeset
    26
package java.lang.invoke;
439673b634a9 8163814: JDK build has been failing after 8163373
redestad
parents:
diff changeset
    27
439673b634a9 8163814: JDK build has been failing after 8163373
redestad
parents:
diff changeset
    28
import jdk.internal.org.objectweb.asm.ClassWriter;
439673b634a9 8163814: JDK build has been failing after 8163373
redestad
parents:
diff changeset
    29
import jdk.internal.org.objectweb.asm.Opcodes;
47753
a2008587c13f 8184777: Factor out species generation logic from BoundMethodHandle
redestad
parents: 47216
diff changeset
    30
import sun.invoke.util.Wrapper;
a2008587c13f 8184777: Factor out species generation logic from BoundMethodHandle
redestad
parents: 47216
diff changeset
    31
40408
cf7e826d4d63 8164044: Generate corresponding simple DelegatingMethodHandles when generating a DirectMethodHandle at link time
redestad
parents: 40259
diff changeset
    32
import java.util.ArrayList;
cf7e826d4d63 8164044: Generate corresponding simple DelegatingMethodHandles when generating a DirectMethodHandle at link time
redestad
parents: 40259
diff changeset
    33
import java.util.HashSet;
47753
a2008587c13f 8184777: Factor out species generation logic from BoundMethodHandle
redestad
parents: 47216
diff changeset
    34
import java.util.Map;
40408
cf7e826d4d63 8164044: Generate corresponding simple DelegatingMethodHandles when generating a DirectMethodHandle at link time
redestad
parents: 40259
diff changeset
    35
57939
e8ba7e4f4190 8230302: GenerateJLIClassesPlugin can generate invalid DirectMethodHandle methods
redestad
parents: 49240
diff changeset
    36
import static java.lang.invoke.MethodTypeForm.LF_INVINTERFACE;
e8ba7e4f4190 8230302: GenerateJLIClassesPlugin can generate invalid DirectMethodHandle methods
redestad
parents: 49240
diff changeset
    37
import static java.lang.invoke.MethodTypeForm.LF_INVVIRTUAL;
e8ba7e4f4190 8230302: GenerateJLIClassesPlugin can generate invalid DirectMethodHandle methods
redestad
parents: 49240
diff changeset
    38
40259
439673b634a9 8163814: JDK build has been failing after 8163373
redestad
parents:
diff changeset
    39
/**
439673b634a9 8163814: JDK build has been failing after 8163373
redestad
parents:
diff changeset
    40
 * Helper class to assist the GenerateJLIClassesPlugin to get access to
439673b634a9 8163814: JDK build has been failing after 8163373
redestad
parents:
diff changeset
    41
 * generate classes ahead of time.
439673b634a9 8163814: JDK build has been failing after 8163373
redestad
parents:
diff changeset
    42
 */
439673b634a9 8163814: JDK build has been failing after 8163373
redestad
parents:
diff changeset
    43
class GenerateJLIClassesHelper {
439673b634a9 8163814: JDK build has been failing after 8163373
redestad
parents:
diff changeset
    44
40419
20e2e4b25a40 8164451: Generate all zero and identity forms at link time
redestad
parents: 40408
diff changeset
    45
    static byte[] generateBasicFormsClassBytes(String className) {
20e2e4b25a40 8164451: Generate all zero and identity forms at link time
redestad
parents: 40408
diff changeset
    46
        ArrayList<LambdaForm> forms = new ArrayList<>();
20e2e4b25a40 8164451: Generate all zero and identity forms at link time
redestad
parents: 40408
diff changeset
    47
        ArrayList<String> names = new ArrayList<>();
20e2e4b25a40 8164451: Generate all zero and identity forms at link time
redestad
parents: 40408
diff changeset
    48
        HashSet<String> dedupSet = new HashSet<>();
20e2e4b25a40 8164451: Generate all zero and identity forms at link time
redestad
parents: 40408
diff changeset
    49
        for (LambdaForm.BasicType type : LambdaForm.BasicType.values()) {
40461
e372330c0d8c 8164525: Re-examine zero form link time pre-generation
redestad
parents: 40450
diff changeset
    50
            LambdaForm zero = LambdaForm.zeroForm(type);
e372330c0d8c 8164525: Re-examine zero form link time pre-generation
redestad
parents: 40450
diff changeset
    51
            String name = zero.kind.defaultLambdaName
e372330c0d8c 8164525: Re-examine zero form link time pre-generation
redestad
parents: 40450
diff changeset
    52
                   + "_" + zero.returnType().basicTypeChar();
e372330c0d8c 8164525: Re-examine zero form link time pre-generation
redestad
parents: 40450
diff changeset
    53
            if (dedupSet.add(name)) {
e372330c0d8c 8164525: Re-examine zero form link time pre-generation
redestad
parents: 40450
diff changeset
    54
                names.add(name);
e372330c0d8c 8164525: Re-examine zero form link time pre-generation
redestad
parents: 40450
diff changeset
    55
                forms.add(zero);
e372330c0d8c 8164525: Re-examine zero form link time pre-generation
redestad
parents: 40450
diff changeset
    56
            }
e372330c0d8c 8164525: Re-examine zero form link time pre-generation
redestad
parents: 40450
diff changeset
    57
40419
20e2e4b25a40 8164451: Generate all zero and identity forms at link time
redestad
parents: 40408
diff changeset
    58
            LambdaForm identity = LambdaForm.identityForm(type);
40461
e372330c0d8c 8164525: Re-examine zero form link time pre-generation
redestad
parents: 40450
diff changeset
    59
            name = identity.kind.defaultLambdaName
40419
20e2e4b25a40 8164451: Generate all zero and identity forms at link time
redestad
parents: 40408
diff changeset
    60
                   + "_" + identity.returnType().basicTypeChar();
20e2e4b25a40 8164451: Generate all zero and identity forms at link time
redestad
parents: 40408
diff changeset
    61
            if (dedupSet.add(name)) {
20e2e4b25a40 8164451: Generate all zero and identity forms at link time
redestad
parents: 40408
diff changeset
    62
                names.add(name);
20e2e4b25a40 8164451: Generate all zero and identity forms at link time
redestad
parents: 40408
diff changeset
    63
                forms.add(identity);
20e2e4b25a40 8164451: Generate all zero and identity forms at link time
redestad
parents: 40408
diff changeset
    64
            }
20e2e4b25a40 8164451: Generate all zero and identity forms at link time
redestad
parents: 40408
diff changeset
    65
        }
20e2e4b25a40 8164451: Generate all zero and identity forms at link time
redestad
parents: 40408
diff changeset
    66
        return generateCodeBytesForLFs(className,
20e2e4b25a40 8164451: Generate all zero and identity forms at link time
redestad
parents: 40408
diff changeset
    67
                names.toArray(new String[0]),
20e2e4b25a40 8164451: Generate all zero and identity forms at link time
redestad
parents: 40408
diff changeset
    68
                forms.toArray(new LambdaForm[0]));
20e2e4b25a40 8164451: Generate all zero and identity forms at link time
redestad
parents: 40408
diff changeset
    69
    }
20e2e4b25a40 8164451: Generate all zero and identity forms at link time
redestad
parents: 40408
diff changeset
    70
40408
cf7e826d4d63 8164044: Generate corresponding simple DelegatingMethodHandles when generating a DirectMethodHandle at link time
redestad
parents: 40259
diff changeset
    71
    static byte[] generateDirectMethodHandleHolderClassBytes(String className,
40259
439673b634a9 8163814: JDK build has been failing after 8163373
redestad
parents:
diff changeset
    72
            MethodType[] methodTypes, int[] types) {
40542
e7be26f852fa 8164483: Generate field lambda forms at link time
redestad
parents: 40461
diff changeset
    73
        ArrayList<LambdaForm> forms = new ArrayList<>();
e7be26f852fa 8164483: Generate field lambda forms at link time
redestad
parents: 40461
diff changeset
    74
        ArrayList<String> names = new ArrayList<>();
e7be26f852fa 8164483: Generate field lambda forms at link time
redestad
parents: 40461
diff changeset
    75
        for (int i = 0; i < methodTypes.length; i++) {
57939
e8ba7e4f4190 8230302: GenerateJLIClassesPlugin can generate invalid DirectMethodHandle methods
redestad
parents: 49240
diff changeset
    76
            // invokeVirtual and invokeInterface must have a leading Object
e8ba7e4f4190 8230302: GenerateJLIClassesPlugin can generate invalid DirectMethodHandle methods
redestad
parents: 49240
diff changeset
    77
            // parameter, i.e., the receiver
e8ba7e4f4190 8230302: GenerateJLIClassesPlugin can generate invalid DirectMethodHandle methods
redestad
parents: 49240
diff changeset
    78
            if (types[i] == LF_INVVIRTUAL || types[i] == LF_INVINTERFACE) {
e8ba7e4f4190 8230302: GenerateJLIClassesPlugin can generate invalid DirectMethodHandle methods
redestad
parents: 49240
diff changeset
    79
                if (methodTypes[i].parameterCount() < 1 ||
e8ba7e4f4190 8230302: GenerateJLIClassesPlugin can generate invalid DirectMethodHandle methods
redestad
parents: 49240
diff changeset
    80
                        methodTypes[i].parameterType(0) != Object.class) {
e8ba7e4f4190 8230302: GenerateJLIClassesPlugin can generate invalid DirectMethodHandle methods
redestad
parents: 49240
diff changeset
    81
                    throw new InternalError("Invalid method type for " +
e8ba7e4f4190 8230302: GenerateJLIClassesPlugin can generate invalid DirectMethodHandle methods
redestad
parents: 49240
diff changeset
    82
                            (types[i] == LF_INVVIRTUAL ? "invokeVirtual" : "invokeInterface") +
e8ba7e4f4190 8230302: GenerateJLIClassesPlugin can generate invalid DirectMethodHandle methods
redestad
parents: 49240
diff changeset
    83
                            " DMH, needs at least two leading reference arguments: " +
e8ba7e4f4190 8230302: GenerateJLIClassesPlugin can generate invalid DirectMethodHandle methods
redestad
parents: 49240
diff changeset
    84
                            methodTypes[i]);
e8ba7e4f4190 8230302: GenerateJLIClassesPlugin can generate invalid DirectMethodHandle methods
redestad
parents: 49240
diff changeset
    85
                }
e8ba7e4f4190 8230302: GenerateJLIClassesPlugin can generate invalid DirectMethodHandle methods
redestad
parents: 49240
diff changeset
    86
            }
e8ba7e4f4190 8230302: GenerateJLIClassesPlugin can generate invalid DirectMethodHandle methods
redestad
parents: 49240
diff changeset
    87
e8ba7e4f4190 8230302: GenerateJLIClassesPlugin can generate invalid DirectMethodHandle methods
redestad
parents: 49240
diff changeset
    88
            LambdaForm form = DirectMethodHandle.makePreparedLambdaForm(methodTypes[i], types[i]);
40542
e7be26f852fa 8164483: Generate field lambda forms at link time
redestad
parents: 40461
diff changeset
    89
            forms.add(form);
e7be26f852fa 8164483: Generate field lambda forms at link time
redestad
parents: 40461
diff changeset
    90
            names.add(form.kind.defaultLambdaName);
40259
439673b634a9 8163814: JDK build has been failing after 8163373
redestad
parents:
diff changeset
    91
        }
40542
e7be26f852fa 8164483: Generate field lambda forms at link time
redestad
parents: 40461
diff changeset
    92
        for (Wrapper wrapper : Wrapper.values()) {
e7be26f852fa 8164483: Generate field lambda forms at link time
redestad
parents: 40461
diff changeset
    93
            if (wrapper == Wrapper.VOID) {
e7be26f852fa 8164483: Generate field lambda forms at link time
redestad
parents: 40461
diff changeset
    94
                continue;
e7be26f852fa 8164483: Generate field lambda forms at link time
redestad
parents: 40461
diff changeset
    95
            }
e7be26f852fa 8164483: Generate field lambda forms at link time
redestad
parents: 40461
diff changeset
    96
            for (byte b = DirectMethodHandle.AF_GETFIELD; b < DirectMethodHandle.AF_LIMIT; b++) {
e7be26f852fa 8164483: Generate field lambda forms at link time
redestad
parents: 40461
diff changeset
    97
                int ftype = DirectMethodHandle.ftypeKind(wrapper.primitiveType());
e7be26f852fa 8164483: Generate field lambda forms at link time
redestad
parents: 40461
diff changeset
    98
                LambdaForm form = DirectMethodHandle
e7be26f852fa 8164483: Generate field lambda forms at link time
redestad
parents: 40461
diff changeset
    99
                        .makePreparedFieldLambdaForm(b, /*isVolatile*/false, ftype);
e7be26f852fa 8164483: Generate field lambda forms at link time
redestad
parents: 40461
diff changeset
   100
                if (form.kind != LambdaForm.Kind.GENERIC) {
e7be26f852fa 8164483: Generate field lambda forms at link time
redestad
parents: 40461
diff changeset
   101
                    forms.add(form);
e7be26f852fa 8164483: Generate field lambda forms at link time
redestad
parents: 40461
diff changeset
   102
                    names.add(form.kind.defaultLambdaName);
e7be26f852fa 8164483: Generate field lambda forms at link time
redestad
parents: 40461
diff changeset
   103
                }
e7be26f852fa 8164483: Generate field lambda forms at link time
redestad
parents: 40461
diff changeset
   104
                // volatile
e7be26f852fa 8164483: Generate field lambda forms at link time
redestad
parents: 40461
diff changeset
   105
                form = DirectMethodHandle
e7be26f852fa 8164483: Generate field lambda forms at link time
redestad
parents: 40461
diff changeset
   106
                        .makePreparedFieldLambdaForm(b, /*isVolatile*/true, ftype);
e7be26f852fa 8164483: Generate field lambda forms at link time
redestad
parents: 40461
diff changeset
   107
                if (form.kind != LambdaForm.Kind.GENERIC) {
e7be26f852fa 8164483: Generate field lambda forms at link time
redestad
parents: 40461
diff changeset
   108
                    forms.add(form);
e7be26f852fa 8164483: Generate field lambda forms at link time
redestad
parents: 40461
diff changeset
   109
                    names.add(form.kind.defaultLambdaName);
e7be26f852fa 8164483: Generate field lambda forms at link time
redestad
parents: 40461
diff changeset
   110
                }
e7be26f852fa 8164483: Generate field lambda forms at link time
redestad
parents: 40461
diff changeset
   111
            }
e7be26f852fa 8164483: Generate field lambda forms at link time
redestad
parents: 40461
diff changeset
   112
        }
e7be26f852fa 8164483: Generate field lambda forms at link time
redestad
parents: 40461
diff changeset
   113
        return generateCodeBytesForLFs(className,
e7be26f852fa 8164483: Generate field lambda forms at link time
redestad
parents: 40461
diff changeset
   114
                names.toArray(new String[0]),
e7be26f852fa 8164483: Generate field lambda forms at link time
redestad
parents: 40461
diff changeset
   115
                forms.toArray(new LambdaForm[0]));
40408
cf7e826d4d63 8164044: Generate corresponding simple DelegatingMethodHandles when generating a DirectMethodHandle at link time
redestad
parents: 40259
diff changeset
   116
    }
cf7e826d4d63 8164044: Generate corresponding simple DelegatingMethodHandles when generating a DirectMethodHandle at link time
redestad
parents: 40259
diff changeset
   117
cf7e826d4d63 8164044: Generate corresponding simple DelegatingMethodHandles when generating a DirectMethodHandle at link time
redestad
parents: 40259
diff changeset
   118
    static byte[] generateDelegatingMethodHandleHolderClassBytes(String className,
cf7e826d4d63 8164044: Generate corresponding simple DelegatingMethodHandles when generating a DirectMethodHandle at link time
redestad
parents: 40259
diff changeset
   119
            MethodType[] methodTypes) {
cf7e826d4d63 8164044: Generate corresponding simple DelegatingMethodHandles when generating a DirectMethodHandle at link time
redestad
parents: 40259
diff changeset
   120
cf7e826d4d63 8164044: Generate corresponding simple DelegatingMethodHandles when generating a DirectMethodHandle at link time
redestad
parents: 40259
diff changeset
   121
        HashSet<MethodType> dedupSet = new HashSet<>();
cf7e826d4d63 8164044: Generate corresponding simple DelegatingMethodHandles when generating a DirectMethodHandle at link time
redestad
parents: 40259
diff changeset
   122
        ArrayList<LambdaForm> forms = new ArrayList<>();
cf7e826d4d63 8164044: Generate corresponding simple DelegatingMethodHandles when generating a DirectMethodHandle at link time
redestad
parents: 40259
diff changeset
   123
        ArrayList<String> names = new ArrayList<>();
cf7e826d4d63 8164044: Generate corresponding simple DelegatingMethodHandles when generating a DirectMethodHandle at link time
redestad
parents: 40259
diff changeset
   124
        for (int i = 0; i < methodTypes.length; i++) {
cf7e826d4d63 8164044: Generate corresponding simple DelegatingMethodHandles when generating a DirectMethodHandle at link time
redestad
parents: 40259
diff changeset
   125
            // generate methods representing the DelegatingMethodHandle
cf7e826d4d63 8164044: Generate corresponding simple DelegatingMethodHandles when generating a DirectMethodHandle at link time
redestad
parents: 40259
diff changeset
   126
            if (dedupSet.add(methodTypes[i])) {
cf7e826d4d63 8164044: Generate corresponding simple DelegatingMethodHandles when generating a DirectMethodHandle at link time
redestad
parents: 40259
diff changeset
   127
                // reinvokers are variant with the associated SpeciesData
cf7e826d4d63 8164044: Generate corresponding simple DelegatingMethodHandles when generating a DirectMethodHandle at link time
redestad
parents: 40259
diff changeset
   128
                // and shape of the target LF, but we can easily pregenerate
cf7e826d4d63 8164044: Generate corresponding simple DelegatingMethodHandles when generating a DirectMethodHandle at link time
redestad
parents: 40259
diff changeset
   129
                // the basic reinvokers associated with Species_L. Ultimately we
cf7e826d4d63 8164044: Generate corresponding simple DelegatingMethodHandles when generating a DirectMethodHandle at link time
redestad
parents: 40259
diff changeset
   130
                // may want to consider pregenerating more of these, which will
cf7e826d4d63 8164044: Generate corresponding simple DelegatingMethodHandles when generating a DirectMethodHandle at link time
redestad
parents: 40259
diff changeset
   131
                // require an even more complex naming scheme
cf7e826d4d63 8164044: Generate corresponding simple DelegatingMethodHandles when generating a DirectMethodHandle at link time
redestad
parents: 40259
diff changeset
   132
                LambdaForm reinvoker = makeReinvokerFor(methodTypes[i]);
cf7e826d4d63 8164044: Generate corresponding simple DelegatingMethodHandles when generating a DirectMethodHandle at link time
redestad
parents: 40259
diff changeset
   133
                forms.add(reinvoker);
47753
a2008587c13f 8184777: Factor out species generation logic from BoundMethodHandle
redestad
parents: 47216
diff changeset
   134
                String speciesSig = BoundMethodHandle.speciesDataFor(reinvoker).key();
40408
cf7e826d4d63 8164044: Generate corresponding simple DelegatingMethodHandles when generating a DirectMethodHandle at link time
redestad
parents: 40259
diff changeset
   135
                assert(speciesSig.equals("L"));
cf7e826d4d63 8164044: Generate corresponding simple DelegatingMethodHandles when generating a DirectMethodHandle at link time
redestad
parents: 40259
diff changeset
   136
                names.add(reinvoker.kind.defaultLambdaName + "_" + speciesSig);
cf7e826d4d63 8164044: Generate corresponding simple DelegatingMethodHandles when generating a DirectMethodHandle at link time
redestad
parents: 40259
diff changeset
   137
cf7e826d4d63 8164044: Generate corresponding simple DelegatingMethodHandles when generating a DirectMethodHandle at link time
redestad
parents: 40259
diff changeset
   138
                LambdaForm delegate = makeDelegateFor(methodTypes[i]);
cf7e826d4d63 8164044: Generate corresponding simple DelegatingMethodHandles when generating a DirectMethodHandle at link time
redestad
parents: 40259
diff changeset
   139
                forms.add(delegate);
cf7e826d4d63 8164044: Generate corresponding simple DelegatingMethodHandles when generating a DirectMethodHandle at link time
redestad
parents: 40259
diff changeset
   140
                names.add(delegate.kind.defaultLambdaName);
cf7e826d4d63 8164044: Generate corresponding simple DelegatingMethodHandles when generating a DirectMethodHandle at link time
redestad
parents: 40259
diff changeset
   141
            }
cf7e826d4d63 8164044: Generate corresponding simple DelegatingMethodHandles when generating a DirectMethodHandle at link time
redestad
parents: 40259
diff changeset
   142
        }
cf7e826d4d63 8164044: Generate corresponding simple DelegatingMethodHandles when generating a DirectMethodHandle at link time
redestad
parents: 40259
diff changeset
   143
        return generateCodeBytesForLFs(className,
cf7e826d4d63 8164044: Generate corresponding simple DelegatingMethodHandles when generating a DirectMethodHandle at link time
redestad
parents: 40259
diff changeset
   144
                names.toArray(new String[0]),
cf7e826d4d63 8164044: Generate corresponding simple DelegatingMethodHandles when generating a DirectMethodHandle at link time
redestad
parents: 40259
diff changeset
   145
                forms.toArray(new LambdaForm[0]));
40259
439673b634a9 8163814: JDK build has been failing after 8163373
redestad
parents:
diff changeset
   146
    }
439673b634a9 8163814: JDK build has been failing after 8163373
redestad
parents:
diff changeset
   147
40543
629f1f599595 8164569: Generate non-customized invoker forms at link time
redestad
parents: 40542
diff changeset
   148
    static byte[] generateInvokersHolderClassBytes(String className,
49240
5290e816c64c 8199471: Enable generation of callSiteForms at link time
redestad
parents: 47753
diff changeset
   149
            MethodType[] invokerMethodTypes, MethodType[] callSiteMethodTypes) {
40543
629f1f599595 8164569: Generate non-customized invoker forms at link time
redestad
parents: 40542
diff changeset
   150
629f1f599595 8164569: Generate non-customized invoker forms at link time
redestad
parents: 40542
diff changeset
   151
        HashSet<MethodType> dedupSet = new HashSet<>();
629f1f599595 8164569: Generate non-customized invoker forms at link time
redestad
parents: 40542
diff changeset
   152
        ArrayList<LambdaForm> forms = new ArrayList<>();
629f1f599595 8164569: Generate non-customized invoker forms at link time
redestad
parents: 40542
diff changeset
   153
        ArrayList<String> names = new ArrayList<>();
629f1f599595 8164569: Generate non-customized invoker forms at link time
redestad
parents: 40542
diff changeset
   154
        int[] types = {
629f1f599595 8164569: Generate non-customized invoker forms at link time
redestad
parents: 40542
diff changeset
   155
            MethodTypeForm.LF_EX_LINKER,
629f1f599595 8164569: Generate non-customized invoker forms at link time
redestad
parents: 40542
diff changeset
   156
            MethodTypeForm.LF_EX_INVOKER,
629f1f599595 8164569: Generate non-customized invoker forms at link time
redestad
parents: 40542
diff changeset
   157
            MethodTypeForm.LF_GEN_LINKER,
629f1f599595 8164569: Generate non-customized invoker forms at link time
redestad
parents: 40542
diff changeset
   158
            MethodTypeForm.LF_GEN_INVOKER
629f1f599595 8164569: Generate non-customized invoker forms at link time
redestad
parents: 40542
diff changeset
   159
        };
49240
5290e816c64c 8199471: Enable generation of callSiteForms at link time
redestad
parents: 47753
diff changeset
   160
5290e816c64c 8199471: Enable generation of callSiteForms at link time
redestad
parents: 47753
diff changeset
   161
        for (int i = 0; i < invokerMethodTypes.length; i++) {
40543
629f1f599595 8164569: Generate non-customized invoker forms at link time
redestad
parents: 40542
diff changeset
   162
            // generate methods representing invokers of the specified type
49240
5290e816c64c 8199471: Enable generation of callSiteForms at link time
redestad
parents: 47753
diff changeset
   163
            if (dedupSet.add(invokerMethodTypes[i])) {
40543
629f1f599595 8164569: Generate non-customized invoker forms at link time
redestad
parents: 40542
diff changeset
   164
                for (int type : types) {
49240
5290e816c64c 8199471: Enable generation of callSiteForms at link time
redestad
parents: 47753
diff changeset
   165
                    LambdaForm invokerForm = Invokers.invokeHandleForm(invokerMethodTypes[i],
40543
629f1f599595 8164569: Generate non-customized invoker forms at link time
redestad
parents: 40542
diff changeset
   166
                            /*customized*/false, type);
629f1f599595 8164569: Generate non-customized invoker forms at link time
redestad
parents: 40542
diff changeset
   167
                    forms.add(invokerForm);
629f1f599595 8164569: Generate non-customized invoker forms at link time
redestad
parents: 40542
diff changeset
   168
                    names.add(invokerForm.kind.defaultLambdaName);
629f1f599595 8164569: Generate non-customized invoker forms at link time
redestad
parents: 40542
diff changeset
   169
                }
629f1f599595 8164569: Generate non-customized invoker forms at link time
redestad
parents: 40542
diff changeset
   170
            }
629f1f599595 8164569: Generate non-customized invoker forms at link time
redestad
parents: 40542
diff changeset
   171
        }
49240
5290e816c64c 8199471: Enable generation of callSiteForms at link time
redestad
parents: 47753
diff changeset
   172
5290e816c64c 8199471: Enable generation of callSiteForms at link time
redestad
parents: 47753
diff changeset
   173
        dedupSet = new HashSet<>();
5290e816c64c 8199471: Enable generation of callSiteForms at link time
redestad
parents: 47753
diff changeset
   174
        for (int i = 0; i < callSiteMethodTypes.length; i++) {
5290e816c64c 8199471: Enable generation of callSiteForms at link time
redestad
parents: 47753
diff changeset
   175
            // generate methods representing invokers of the specified type
5290e816c64c 8199471: Enable generation of callSiteForms at link time
redestad
parents: 47753
diff changeset
   176
            if (dedupSet.add(callSiteMethodTypes[i])) {
5290e816c64c 8199471: Enable generation of callSiteForms at link time
redestad
parents: 47753
diff changeset
   177
                LambdaForm callSiteForm = Invokers.callSiteForm(callSiteMethodTypes[i], true);
5290e816c64c 8199471: Enable generation of callSiteForms at link time
redestad
parents: 47753
diff changeset
   178
                forms.add(callSiteForm);
5290e816c64c 8199471: Enable generation of callSiteForms at link time
redestad
parents: 47753
diff changeset
   179
                names.add(callSiteForm.kind.defaultLambdaName);
5290e816c64c 8199471: Enable generation of callSiteForms at link time
redestad
parents: 47753
diff changeset
   180
5290e816c64c 8199471: Enable generation of callSiteForms at link time
redestad
parents: 47753
diff changeset
   181
                LambdaForm methodHandleForm = Invokers.callSiteForm(callSiteMethodTypes[i], false);
5290e816c64c 8199471: Enable generation of callSiteForms at link time
redestad
parents: 47753
diff changeset
   182
                forms.add(methodHandleForm);
5290e816c64c 8199471: Enable generation of callSiteForms at link time
redestad
parents: 47753
diff changeset
   183
                names.add(methodHandleForm.kind.defaultLambdaName);
5290e816c64c 8199471: Enable generation of callSiteForms at link time
redestad
parents: 47753
diff changeset
   184
            }
5290e816c64c 8199471: Enable generation of callSiteForms at link time
redestad
parents: 47753
diff changeset
   185
        }
5290e816c64c 8199471: Enable generation of callSiteForms at link time
redestad
parents: 47753
diff changeset
   186
40543
629f1f599595 8164569: Generate non-customized invoker forms at link time
redestad
parents: 40542
diff changeset
   187
        return generateCodeBytesForLFs(className,
629f1f599595 8164569: Generate non-customized invoker forms at link time
redestad
parents: 40542
diff changeset
   188
                names.toArray(new String[0]),
629f1f599595 8164569: Generate non-customized invoker forms at link time
redestad
parents: 40542
diff changeset
   189
                forms.toArray(new LambdaForm[0]));
629f1f599595 8164569: Generate non-customized invoker forms at link time
redestad
parents: 40542
diff changeset
   190
    }
629f1f599595 8164569: Generate non-customized invoker forms at link time
redestad
parents: 40542
diff changeset
   191
40259
439673b634a9 8163814: JDK build has been failing after 8163373
redestad
parents:
diff changeset
   192
    /*
439673b634a9 8163814: JDK build has been failing after 8163373
redestad
parents:
diff changeset
   193
     * Generate customized code for a set of LambdaForms of specified types into
439673b634a9 8163814: JDK build has been failing after 8163373
redestad
parents:
diff changeset
   194
     * a class with a specified name.
439673b634a9 8163814: JDK build has been failing after 8163373
redestad
parents:
diff changeset
   195
     */
439673b634a9 8163814: JDK build has been failing after 8163373
redestad
parents:
diff changeset
   196
    private static byte[] generateCodeBytesForLFs(String className,
40408
cf7e826d4d63 8164044: Generate corresponding simple DelegatingMethodHandles when generating a DirectMethodHandle at link time
redestad
parents: 40259
diff changeset
   197
            String[] names, LambdaForm[] forms) {
40259
439673b634a9 8163814: JDK build has been failing after 8163373
redestad
parents:
diff changeset
   198
439673b634a9 8163814: JDK build has been failing after 8163373
redestad
parents:
diff changeset
   199
        ClassWriter cw = new ClassWriter(ClassWriter.COMPUTE_MAXS + ClassWriter.COMPUTE_FRAMES);
439673b634a9 8163814: JDK build has been failing after 8163373
redestad
parents:
diff changeset
   200
        cw.visit(Opcodes.V1_8, Opcodes.ACC_PRIVATE + Opcodes.ACC_FINAL + Opcodes.ACC_SUPER,
439673b634a9 8163814: JDK build has been failing after 8163373
redestad
parents:
diff changeset
   201
                className, null, InvokerBytecodeGenerator.INVOKER_SUPER_NAME, null);
439673b634a9 8163814: JDK build has been failing after 8163373
redestad
parents:
diff changeset
   202
        cw.visitSource(className.substring(className.lastIndexOf('/') + 1), null);
40408
cf7e826d4d63 8164044: Generate corresponding simple DelegatingMethodHandles when generating a DirectMethodHandle at link time
redestad
parents: 40259
diff changeset
   203
40259
439673b634a9 8163814: JDK build has been failing after 8163373
redestad
parents:
diff changeset
   204
        for (int i = 0; i < forms.length; i++) {
40408
cf7e826d4d63 8164044: Generate corresponding simple DelegatingMethodHandles when generating a DirectMethodHandle at link time
redestad
parents: 40259
diff changeset
   205
            addMethod(className, names[i], forms[i],
cf7e826d4d63 8164044: Generate corresponding simple DelegatingMethodHandles when generating a DirectMethodHandle at link time
redestad
parents: 40259
diff changeset
   206
                    forms[i].methodType(), cw);
40259
439673b634a9 8163814: JDK build has been failing after 8163373
redestad
parents:
diff changeset
   207
        }
439673b634a9 8163814: JDK build has been failing after 8163373
redestad
parents:
diff changeset
   208
        return cw.toByteArray();
439673b634a9 8163814: JDK build has been failing after 8163373
redestad
parents:
diff changeset
   209
    }
439673b634a9 8163814: JDK build has been failing after 8163373
redestad
parents:
diff changeset
   210
40408
cf7e826d4d63 8164044: Generate corresponding simple DelegatingMethodHandles when generating a DirectMethodHandle at link time
redestad
parents: 40259
diff changeset
   211
    private static void addMethod(String className, String methodName, LambdaForm form,
cf7e826d4d63 8164044: Generate corresponding simple DelegatingMethodHandles when generating a DirectMethodHandle at link time
redestad
parents: 40259
diff changeset
   212
            MethodType type, ClassWriter cw) {
cf7e826d4d63 8164044: Generate corresponding simple DelegatingMethodHandles when generating a DirectMethodHandle at link time
redestad
parents: 40259
diff changeset
   213
        InvokerBytecodeGenerator g
cf7e826d4d63 8164044: Generate corresponding simple DelegatingMethodHandles when generating a DirectMethodHandle at link time
redestad
parents: 40259
diff changeset
   214
                = new InvokerBytecodeGenerator(className, methodName, form, type);
cf7e826d4d63 8164044: Generate corresponding simple DelegatingMethodHandles when generating a DirectMethodHandle at link time
redestad
parents: 40259
diff changeset
   215
        g.setClassWriter(cw);
cf7e826d4d63 8164044: Generate corresponding simple DelegatingMethodHandles when generating a DirectMethodHandle at link time
redestad
parents: 40259
diff changeset
   216
        g.addMethod();
cf7e826d4d63 8164044: Generate corresponding simple DelegatingMethodHandles when generating a DirectMethodHandle at link time
redestad
parents: 40259
diff changeset
   217
    }
cf7e826d4d63 8164044: Generate corresponding simple DelegatingMethodHandles when generating a DirectMethodHandle at link time
redestad
parents: 40259
diff changeset
   218
cf7e826d4d63 8164044: Generate corresponding simple DelegatingMethodHandles when generating a DirectMethodHandle at link time
redestad
parents: 40259
diff changeset
   219
    private static LambdaForm makeReinvokerFor(MethodType type) {
cf7e826d4d63 8164044: Generate corresponding simple DelegatingMethodHandles when generating a DirectMethodHandle at link time
redestad
parents: 40259
diff changeset
   220
        MethodHandle emptyHandle = MethodHandles.empty(type);
cf7e826d4d63 8164044: Generate corresponding simple DelegatingMethodHandles when generating a DirectMethodHandle at link time
redestad
parents: 40259
diff changeset
   221
        return DelegatingMethodHandle.makeReinvokerForm(emptyHandle,
cf7e826d4d63 8164044: Generate corresponding simple DelegatingMethodHandles when generating a DirectMethodHandle at link time
redestad
parents: 40259
diff changeset
   222
                MethodTypeForm.LF_REBIND,
cf7e826d4d63 8164044: Generate corresponding simple DelegatingMethodHandles when generating a DirectMethodHandle at link time
redestad
parents: 40259
diff changeset
   223
                BoundMethodHandle.speciesData_L(),
cf7e826d4d63 8164044: Generate corresponding simple DelegatingMethodHandles when generating a DirectMethodHandle at link time
redestad
parents: 40259
diff changeset
   224
                BoundMethodHandle.speciesData_L().getterFunction(0));
cf7e826d4d63 8164044: Generate corresponding simple DelegatingMethodHandles when generating a DirectMethodHandle at link time
redestad
parents: 40259
diff changeset
   225
    }
cf7e826d4d63 8164044: Generate corresponding simple DelegatingMethodHandles when generating a DirectMethodHandle at link time
redestad
parents: 40259
diff changeset
   226
cf7e826d4d63 8164044: Generate corresponding simple DelegatingMethodHandles when generating a DirectMethodHandle at link time
redestad
parents: 40259
diff changeset
   227
    private static LambdaForm makeDelegateFor(MethodType type) {
cf7e826d4d63 8164044: Generate corresponding simple DelegatingMethodHandles when generating a DirectMethodHandle at link time
redestad
parents: 40259
diff changeset
   228
        MethodHandle handle = MethodHandles.empty(type);
cf7e826d4d63 8164044: Generate corresponding simple DelegatingMethodHandles when generating a DirectMethodHandle at link time
redestad
parents: 40259
diff changeset
   229
        return DelegatingMethodHandle.makeReinvokerForm(
cf7e826d4d63 8164044: Generate corresponding simple DelegatingMethodHandles when generating a DirectMethodHandle at link time
redestad
parents: 40259
diff changeset
   230
                handle,
cf7e826d4d63 8164044: Generate corresponding simple DelegatingMethodHandles when generating a DirectMethodHandle at link time
redestad
parents: 40259
diff changeset
   231
                MethodTypeForm.LF_DELEGATE,
cf7e826d4d63 8164044: Generate corresponding simple DelegatingMethodHandles when generating a DirectMethodHandle at link time
redestad
parents: 40259
diff changeset
   232
                DelegatingMethodHandle.class,
cf7e826d4d63 8164044: Generate corresponding simple DelegatingMethodHandles when generating a DirectMethodHandle at link time
redestad
parents: 40259
diff changeset
   233
                DelegatingMethodHandle.NF_getTarget);
cf7e826d4d63 8164044: Generate corresponding simple DelegatingMethodHandles when generating a DirectMethodHandle at link time
redestad
parents: 40259
diff changeset
   234
    }
cf7e826d4d63 8164044: Generate corresponding simple DelegatingMethodHandles when generating a DirectMethodHandle at link time
redestad
parents: 40259
diff changeset
   235
47753
a2008587c13f 8184777: Factor out species generation logic from BoundMethodHandle
redestad
parents: 47216
diff changeset
   236
    @SuppressWarnings({"rawtypes", "unchecked"})
a2008587c13f 8184777: Factor out species generation logic from BoundMethodHandle
redestad
parents: 47216
diff changeset
   237
    static Map.Entry<String, byte[]> generateConcreteBMHClassBytes(final String types) {
40259
439673b634a9 8163814: JDK build has been failing after 8163373
redestad
parents:
diff changeset
   238
        for (char c : types.toCharArray()) {
439673b634a9 8163814: JDK build has been failing after 8163373
redestad
parents:
diff changeset
   239
            if ("LIJFD".indexOf(c) < 0) {
439673b634a9 8163814: JDK build has been failing after 8163373
redestad
parents:
diff changeset
   240
                throw new IllegalArgumentException("All characters must "
439673b634a9 8163814: JDK build has been failing after 8163373
redestad
parents:
diff changeset
   241
                        + "correspond to a basic field type: LIJFD");
439673b634a9 8163814: JDK build has been failing after 8163373
redestad
parents:
diff changeset
   242
            }
439673b634a9 8163814: JDK build has been failing after 8163373
redestad
parents:
diff changeset
   243
        }
47753
a2008587c13f 8184777: Factor out species generation logic from BoundMethodHandle
redestad
parents: 47216
diff changeset
   244
        final BoundMethodHandle.SpeciesData species = BoundMethodHandle.SPECIALIZER.findSpecies(types);
a2008587c13f 8184777: Factor out species generation logic from BoundMethodHandle
redestad
parents: 47216
diff changeset
   245
        final String className = species.speciesCode().getName();
a2008587c13f 8184777: Factor out species generation logic from BoundMethodHandle
redestad
parents: 47216
diff changeset
   246
        final ClassSpecializer.Factory factory = BoundMethodHandle.SPECIALIZER.factory();
a2008587c13f 8184777: Factor out species generation logic from BoundMethodHandle
redestad
parents: 47216
diff changeset
   247
        final byte[] code = factory.generateConcreteSpeciesCodeFile(className, species);
a2008587c13f 8184777: Factor out species generation logic from BoundMethodHandle
redestad
parents: 47216
diff changeset
   248
        return Map.entry(className.replace('.', '/'), code);
40259
439673b634a9 8163814: JDK build has been failing after 8163373
redestad
parents:
diff changeset
   249
    }
40542
e7be26f852fa 8164483: Generate field lambda forms at link time
redestad
parents: 40461
diff changeset
   250
40259
439673b634a9 8163814: JDK build has been failing after 8163373
redestad
parents:
diff changeset
   251
}