1 /*
   2  * Copyright (c) 2015, Oracle and/or its affiliates. All rights reserved.
   3  * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
   4  *
   5  * This code is free software; you can redistribute it and/or modify it
   6  * under the terms of the GNU General Public License version 2 only, as
   7  * published by the Free Software Foundation.
   8  *
   9  * This code is distributed in the hope that it will be useful, but WITHOUT
  10  * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
  11  * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
  12  * version 2 for more details (a copy is included in the LICENSE file that
  13  * accompanied this code).
  14  *
  15  * You should have received a copy of the GNU General Public License version
  16  * 2 along with this work; if not, write to the Free Software Foundation,
  17  * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
  18  *
  19  * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
  20  * or visit www.oracle.com if you need additional information or have any
  21  * questions.
  22  */
  23 
  24 package jdk.test.lib.jittester.factories;
  25 
  26 import jdk.test.lib.Pair;
  27 import jdk.test.lib.jittester.BinaryOperator;
  28 import jdk.test.lib.jittester.IRNode;
  29 import jdk.test.lib.jittester.OperatorKind;
  30 import jdk.test.lib.jittester.ProductionFailedException;
  31 import jdk.test.lib.jittester.Rule;
  32 import jdk.test.lib.jittester.Type;
  33 import jdk.test.lib.jittester.TypeList;
  34 import jdk.test.lib.jittester.utils.TypeUtil;
  35 import jdk.test.lib.jittester.VariableBase;
  36 import jdk.test.lib.jittester.VariableInfo;
  37 import jdk.test.lib.jittester.types.TypeKlass;
  38 import jdk.test.lib.jittester.utils.PseudoRandom;
  39 
  40 class AssignmentOperatorImplFactory extends BinaryOperatorFactory {
  41     AssignmentOperatorImplFactory(long complexityLimit, int operatorLimit, TypeKlass ownerClass,
  42             Type resultType, boolean exceptionSafe, boolean noconsts) {
  43         super(OperatorKind.ASSIGN, complexityLimit, operatorLimit, ownerClass, resultType, exceptionSafe, noconsts);
  44     }
  45 
  46     @Override
  47     protected boolean isApplicable(Type resultType) {
  48         return true;
  49     }
  50 
  51     @Override
  52     protected Pair<Type, Type> generateTypes() throws ProductionFailedException {
  53         return new Pair<>(resultType, PseudoRandom.randomElement(
  54                 TypeUtil.getImplicitlyCastable(TypeList.getAll(), resultType)));
  55     }
  56 
  57     @Override
  58     protected BinaryOperator generateProduction(Type leftOperandType, Type rightOperandType)
  59             throws ProductionFailedException {
  60         long leftComplexityLimit = (long) (PseudoRandom.random() * complexityLimit);
  61         long rightComplexityLimit = complexityLimit - leftComplexityLimit;
  62         int leftOperatorLimit = (int) (PseudoRandom.random() * operatorLimit);
  63         int rightOperatorLimit = operatorLimit = leftOperatorLimit;
  64         IRNodeBuilder builder = new IRNodeBuilder().setOwnerKlass((TypeKlass) ownerClass)
  65                 .setExceptionSafe(exceptionSafe)
  66                 .setNoConsts(noconsts)
  67                 .setComplexityLimit(leftComplexityLimit)
  68                 .setOperatorLimit(leftOperatorLimit)
  69                 .setResultType(leftOperandType)
  70                 .setIsConstant(false);
  71         Rule rule = new Rule("assignment");
  72         rule.add("initialized_nonconst_var", builder.setIsInitialized(true).getVariableFactory());
  73         rule.add("uninitialized_nonconst_var", builder.setIsInitialized(false).getVariableFactory());
  74         IRNode leftOperandValue = rule.produce();
  75         IRNode rightOperandValue = builder.setComplexityLimit(rightComplexityLimit)
  76                 .setOperatorLimit(rightOperatorLimit)
  77                 .setResultType(rightOperandType)
  78                 .getExpressionFactory()
  79                 .produce();
  80         try {
  81             VariableBase v = (VariableBase) leftOperandValue;
  82             if ((v.get().flags & VariableInfo.INITIALIZED) == 0) {
  83                 v.get().flags |= VariableInfo.INITIALIZED;
  84             }
  85         } catch (Exception e) {
  86             throw new ProductionFailedException(e.getMessage());
  87         }
  88         return new BinaryOperator(opKind, leftOperandValue, rightOperandValue);
  89     }
  90 }