1 /*
   2  * Copyright (c) 2009, 2016, 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 org.graalvm.compiler.core.amd64;
  25 
  26 import org.graalvm.compiler.core.gen.NodeLIRBuilder;
  27 import org.graalvm.compiler.debug.GraalError;
  28 import org.graalvm.compiler.lir.LIRFrameState;
  29 import org.graalvm.compiler.lir.amd64.AMD64Call;
  30 import org.graalvm.compiler.lir.gen.LIRGeneratorTool;
  31 import org.graalvm.compiler.nodes.DeoptimizingNode;
  32 import org.graalvm.compiler.nodes.FixedNode;
  33 import org.graalvm.compiler.nodes.FixedWithNextNode;
  34 import org.graalvm.compiler.nodes.IfNode;
  35 import org.graalvm.compiler.nodes.IndirectCallTargetNode;
  36 import org.graalvm.compiler.nodes.StructuredGraph;
  37 import org.graalvm.compiler.nodes.ValueNode;
  38 import org.graalvm.compiler.nodes.calc.IntegerDivRemNode;
  39 import org.graalvm.compiler.nodes.calc.IntegerDivRemNode.Op;
  40 
  41 import jdk.vm.ci.amd64.AMD64;
  42 import jdk.vm.ci.meta.AllocatableValue;
  43 import jdk.vm.ci.meta.Value;
  44 
  45 public abstract class AMD64NodeLIRBuilder extends NodeLIRBuilder {
  46 
  47     public AMD64NodeLIRBuilder(StructuredGraph graph, LIRGeneratorTool gen, AMD64NodeMatchRules nodeMatchRules) {
  48         super(graph, gen, nodeMatchRules);
  49     }
  50 
  51     @Override
  52     protected void emitIndirectCall(IndirectCallTargetNode callTarget, Value result, Value[] parameters, Value[] temps, LIRFrameState callState) {
  53         Value targetAddressSrc = operand(callTarget.computedAddress());
  54         AllocatableValue targetAddress = AMD64.rax.asValue(targetAddressSrc.getValueKind());
  55         gen.emitMove(targetAddress, targetAddressSrc);
  56         append(new AMD64Call.IndirectCallOp(callTarget.targetMethod(), result, parameters, temps, targetAddress, callState));
  57     }
  58 
  59     @Override
  60     protected boolean peephole(ValueNode valueNode) {
  61         if (valueNode instanceof IntegerDivRemNode) {
  62             AMD64ArithmeticLIRGenerator arithmeticGen = (AMD64ArithmeticLIRGenerator) gen.getArithmetic();
  63             IntegerDivRemNode divRem = (IntegerDivRemNode) valueNode;
  64             FixedNode node = divRem.next();
  65             while (true) {
  66                 if (node instanceof IfNode) {
  67                     IfNode ifNode = (IfNode) node;
  68                     double probability = ifNode.getTrueSuccessorProbability();
  69                     if (probability == 1.0) {
  70                         node = ifNode.trueSuccessor();
  71                     } else if (probability == 0.0) {
  72                         node = ifNode.falseSuccessor();
  73                     } else {
  74                         break;
  75                     }
  76                 } else if (!(node instanceof FixedWithNextNode)) {
  77                     break;
  78                 }
  79 
  80                 FixedWithNextNode fixedWithNextNode = (FixedWithNextNode) node;
  81                 if (fixedWithNextNode instanceof IntegerDivRemNode) {
  82                     IntegerDivRemNode otherDivRem = (IntegerDivRemNode) fixedWithNextNode;
  83                     if (divRem.getOp() != otherDivRem.getOp() && divRem.getType() == otherDivRem.getType()) {
  84                         if (otherDivRem.getX() == divRem.getX() && otherDivRem.getY() == divRem.getY() && !hasOperand(otherDivRem)) {
  85                             Value[] results;
  86                             switch (divRem.getType()) {
  87                                 case SIGNED:
  88                                     results = arithmeticGen.emitSignedDivRem(operand(divRem.getX()), operand(divRem.getY()), state((DeoptimizingNode) valueNode));
  89                                     break;
  90                                 case UNSIGNED:
  91                                     results = arithmeticGen.emitUnsignedDivRem(operand(divRem.getX()), operand(divRem.getY()), state((DeoptimizingNode) valueNode));
  92                                     break;
  93                                 default:
  94                                     throw GraalError.shouldNotReachHere();
  95                             }
  96                             switch (divRem.getOp()) {
  97                                 case DIV:
  98                                     assert otherDivRem.getOp() == Op.REM;
  99                                     setResult(divRem, results[0]);
 100                                     setResult(otherDivRem, results[1]);
 101                                     break;
 102                                 case REM:
 103                                     assert otherDivRem.getOp() == Op.DIV;
 104                                     setResult(divRem, results[1]);
 105                                     setResult(otherDivRem, results[0]);
 106                                     break;
 107                                 default:
 108                                     throw GraalError.shouldNotReachHere();
 109                             }
 110                             return true;
 111                         }
 112                     }
 113                 }
 114                 node = fixedWithNextNode.next();
 115             }
 116         }
 117         return false;
 118     }
 119 
 120     @Override
 121     public AMD64LIRGenerator getLIRGeneratorTool() {
 122         return (AMD64LIRGenerator) gen;
 123     }
 124 }