--- old/src/jdk.scripting.nashorn/share/classes/jdk/nashorn/internal/codegen/FieldObjectCreator.java 2020-04-15 18:47:06.000000000 +0530 +++ /dev/null 2020-04-15 18:47:06.000000000 +0530 @@ -1,254 +0,0 @@ -/* - * Copyright (c) 2010, 2013, 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. Oracle designates this - * particular file as subject to the "Classpath" exception as provided - * by Oracle in the LICENSE file that accompanied this code. - * - * 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 jdk.nashorn.internal.codegen; - -import static jdk.nashorn.internal.codegen.CompilerConstants.ARGUMENTS; -import static jdk.nashorn.internal.codegen.CompilerConstants.constructorNoLookup; -import static jdk.nashorn.internal.codegen.CompilerConstants.typeDescriptor; -import static jdk.nashorn.internal.codegen.ObjectClassGenerator.PRIMITIVE_FIELD_TYPE; -import static jdk.nashorn.internal.codegen.ObjectClassGenerator.getFieldName; -import static jdk.nashorn.internal.codegen.ObjectClassGenerator.getPaddedFieldCount; -import static jdk.nashorn.internal.runtime.arrays.ArrayIndex.getArrayIndex; -import static jdk.nashorn.internal.runtime.arrays.ArrayIndex.isValidArrayIndex; - -import java.util.List; -import jdk.nashorn.internal.codegen.types.Type; -import jdk.nashorn.internal.ir.Symbol; -import jdk.nashorn.internal.runtime.Context; -import jdk.nashorn.internal.runtime.JSType; -import jdk.nashorn.internal.runtime.PropertyMap; -import jdk.nashorn.internal.runtime.ScriptObject; -import jdk.nashorn.internal.runtime.arrays.ArrayIndex; - -/** - * Analyze an object's characteristics for appropriate code generation. This - * is used for functions and for objects. A field object take a set of values which - * to assign to the various fields in the object. This is done by the generated code - * - * @param the value type for the fields being written on object creation, e.g. Node - * @see jdk.nashorn.internal.ir.Node - */ -public abstract class FieldObjectCreator extends ObjectCreator { - - private String fieldObjectClassName; - private Class fieldObjectClass; - private int fieldCount; - private int paddedFieldCount; - private int paramCount; - - /** call site flags to be used for invocations */ - private final int callSiteFlags; - /** are we creating this field object from 'eval' code? */ - private final boolean evalCode; - - /** - * Constructor - * - * @param codegen code generator - * @param tuples tuples for fields in object - */ - FieldObjectCreator(final CodeGenerator codegen, final List> tuples) { - this(codegen, tuples, false, false); - } - - /** - * Constructor - * - * @param codegen code generator - * @param tuples tuples for fields in object - * @param isScope is this a scope object - * @param hasArguments does the created object have an "arguments" property - */ - FieldObjectCreator(final CodeGenerator codegen, final List> tuples, final boolean isScope, final boolean hasArguments) { - super(codegen, tuples, isScope, hasArguments); - this.callSiteFlags = codegen.getCallSiteFlags(); - this.evalCode = codegen.isEvalCode(); - countFields(); - findClass(); - } - - @Override - public void createObject(final MethodEmitter method) { - makeMap(); - final String className = getClassName(); - // NOTE: we must load the actual structure class here, because the API operates with Nashorn Type objects, - // and Type objects need a loaded class, for better or worse. We also have to be specific and use the type - // of the actual structure class, we can't generalize it to e.g. Type.typeFor(ScriptObject.class) as the - // exact type information is needed for generating continuations in rest-of methods. If we didn't do this, - // object initializers like { x: arr[i] } would fail during deoptimizing compilation on arr[i], as the - // values restored from the RewriteException would be cast to "ScriptObject" instead of to e.g. "JO4", and - // subsequently the "PUTFIELD J04.L0" instruction in the continuation code would fail bytecode verification. - assert fieldObjectClass != null; - method._new(fieldObjectClass).dup(); - - loadMap(method); //load the map - - if (isScope()) { - loadScope(method); - - if (hasArguments()) { - method.loadCompilerConstant(ARGUMENTS); - method.invoke(constructorNoLookup(className, PropertyMap.class, ScriptObject.class, ARGUMENTS.type())); - } else { - method.invoke(constructorNoLookup(className, PropertyMap.class, ScriptObject.class)); - } - } else { - method.invoke(constructorNoLookup(className, PropertyMap.class)); - } - } - - /** - * Create a scope for a for-in/of loop as defined in ES6 13.7.5.13 step 5.g.iii - * - * @param method the method emitter - */ - void createForInIterationScope(final MethodEmitter method) { - assert fieldObjectClass != null; - assert isScope(); - assert getMap() != null; - - final String className = getClassName(); - method._new(fieldObjectClass).dup(); - loadMap(method); //load the map - loadScope(method); - // We create a scope identical to the currently active one, so use its parent as our parent - method.invoke(ScriptObject.GET_PROTO); - method.invoke(constructorNoLookup(className, PropertyMap.class, ScriptObject.class)); - } - - @Override - public void populateRange(final MethodEmitter method, final Type objectType, final int objectSlot, final int start, final int end) { - method.load(objectType, objectSlot); - // Set values. - for (int i = start; i < end; i++) { - final MapTuple tuple = tuples.get(i); - //we only load when we have both symbols and values (which can be == the symbol) - //if we didn't load, we need an array property - if (tuple.symbol != null && tuple.value != null) { - final int index = getArrayIndex(tuple.key); - method.dup(); - if (!isValidArrayIndex(index)) { - putField(method, tuple.key, tuple.symbol.getFieldIndex(), tuple); - } else { - putSlot(method, ArrayIndex.toLongIndex(index), tuple); - } - - //this is a nop of tuple.key isn't e.g. "apply" or another special name - method.invalidateSpecialName(tuple.key); - } - } - } - - @Override - protected PropertyMap makeMap() { - assert propertyMap == null : "property map already initialized"; - propertyMap = newMapCreator(fieldObjectClass).makeFieldMap(hasArguments(), codegen.useDualFields(), fieldCount, paddedFieldCount, evalCode); - return propertyMap; - } - - /** - * Store a value in a field of the generated class object. - * - * @param method Script method. - * @param key Property key. - * @param fieldIndex Field number. - * @param tuple Tuple to store. - */ - private void putField(final MethodEmitter method, final String key, final int fieldIndex, final MapTuple tuple) { - final Type fieldType = codegen.useDualFields() && tuple.isPrimitive() ? PRIMITIVE_FIELD_TYPE : Type.OBJECT; - final String fieldClass = getClassName(); - final String fieldName = getFieldName(fieldIndex, fieldType); - final String fieldDesc = typeDescriptor(fieldType.getTypeClass()); - - assert fieldName.equals(getFieldName(fieldIndex, PRIMITIVE_FIELD_TYPE)) || fieldType.isObject() : key + " object keys must store to L*-fields"; - assert fieldName.equals(getFieldName(fieldIndex, Type.OBJECT)) || fieldType.isPrimitive() : key + " primitive keys must store to J*-fields"; - - loadTuple(method, tuple, true); - method.putField(fieldClass, fieldName, fieldDesc); - } - - /** - * Store a value in an indexed slot of a generated class object. - * - * @param method Script method. - * @param index Slot index. - * @param tuple Tuple to store. - */ - private void putSlot(final MethodEmitter method, final long index, final MapTuple tuple) { - loadIndex(method, index); - loadTuple(method, tuple, false); //we don't pack array like objects - method.dynamicSetIndex(callSiteFlags); - } - - /** - * Locate (or indirectly create) the object container class. - */ - private void findClass() { - fieldObjectClassName = isScope() ? - ObjectClassGenerator.getClassName(fieldCount, paramCount, codegen.useDualFields()) : - ObjectClassGenerator.getClassName(paddedFieldCount, codegen.useDualFields()); - - try { - this.fieldObjectClass = Context.forStructureClass(Compiler.binaryName(fieldObjectClassName)); - } catch (final ClassNotFoundException e) { - throw new AssertionError("Nashorn has encountered an internal error. Structure can not be created."); - } - } - - @Override - protected Class getAllocatorClass() { - return fieldObjectClass; - } - - /** - * Get the class name for the object class, - * e.g. {@code com.nashorn.oracle.scripts.JO2P0} - * - * @return script class name - */ - String getClassName() { - return fieldObjectClassName; - } - - /** - * Tally the number of fields and parameters. - */ - private void countFields() { - for (final MapTuple tuple : tuples) { - final Symbol symbol = tuple.symbol; - if (symbol != null) { - if (hasArguments() && symbol.isParam()) { - symbol.setFieldIndex(paramCount++); - } else if (!isValidArrayIndex(getArrayIndex(tuple.key))) { - symbol.setFieldIndex(fieldCount++); - } - } - } - - paddedFieldCount = getPaddedFieldCount(fieldCount); - } - -}