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.SymbolTable;
  32 import jdk.test.lib.jittester.Type;
  33 import jdk.test.lib.jittester.TypeList;
  34 import jdk.test.lib.jittester.types.TypeKlass;
  35 import jdk.test.lib.jittester.utils.PseudoRandom;
  36 
  37 public class BinaryLogicOperatorFactory extends BinaryOperatorFactory {
  38     BinaryLogicOperatorFactory(OperatorKind opKind, long complexityLimit, int operatorLimit,
  39             TypeKlass ownerClass, Type resultType, boolean exceptionSafe, boolean noconsts) {
  40         super(opKind, complexityLimit, operatorLimit, ownerClass, resultType, exceptionSafe, noconsts);
  41     }
  42 
  43     @Override
  44     protected boolean isApplicable(Type resultType) {
  45         return resultType.equals(TypeList.BOOLEAN);
  46     }
  47 
  48     @Override
  49     protected Pair<Type, Type> generateTypes() {
  50         return new Pair<>(resultType, resultType);
  51     }
  52 
  53     @Override
  54     protected BinaryOperator generateProduction(Type leftType, Type rightType) throws ProductionFailedException {
  55         int leftOpLimit = (int) (PseudoRandom.random() * (operatorLimit - 1));
  56         int rightOpLimit = operatorLimit - 1 - leftOpLimit;
  57         long leftComplLimit = (long) (PseudoRandom.random() * (complexityLimit - 1));
  58         long rightComplLimit = complexityLimit - 1 - leftComplLimit;
  59         if (leftOpLimit == 0 || rightOpLimit == 0 || leftComplLimit == 0 || rightComplLimit == 0) {
  60             throw new ProductionFailedException();
  61         }
  62         boolean swap = PseudoRandom.randomBoolean();
  63         IRNodeBuilder builder = new IRNodeBuilder().setOwnerKlass((TypeKlass) ownerClass)
  64                 .setExceptionSafe(exceptionSafe);
  65         IRNode leftOperand = builder.setComplexityLimit(leftComplLimit)
  66                 .setOperatorLimit(leftOpLimit)
  67                 .setResultType(leftType)
  68                 .setNoConsts(swap && noconsts)
  69                 .getExpressionFactory()
  70                 .produce();
  71         // Right branch won't necessarily execute. Ignore initalization performed in it.
  72         SymbolTable.push();
  73         IRNode rightOperand;
  74         try {
  75             rightOperand = builder.setComplexityLimit(rightComplLimit)
  76                     .setOperatorLimit(rightOpLimit)
  77                     .setResultType(rightType)
  78                     .setNoConsts(!swap && noconsts)
  79                     .getExpressionFactory()
  80                     .produce();
  81         } finally {
  82             SymbolTable.pop();
  83         }
  84         return new BinaryOperator(opKind, resultType, leftOperand, rightOperand);
  85     }
  86 }