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