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
24package org.graalvm.compiler.core.amd64;
25
26import org.graalvm.compiler.core.gen.NodeLIRBuilder;
27import org.graalvm.compiler.debug.GraalError;
28import org.graalvm.compiler.lir.LIRFrameState;
29import org.graalvm.compiler.lir.amd64.AMD64Call;
30import org.graalvm.compiler.lir.gen.LIRGeneratorTool;
31import org.graalvm.compiler.nodes.DeoptimizingNode;
32import org.graalvm.compiler.nodes.FixedNode;
33import org.graalvm.compiler.nodes.FixedWithNextNode;
34import org.graalvm.compiler.nodes.IfNode;
35import org.graalvm.compiler.nodes.IndirectCallTargetNode;
36import org.graalvm.compiler.nodes.StructuredGraph;
37import org.graalvm.compiler.nodes.ValueNode;
38import org.graalvm.compiler.nodes.calc.IntegerDivRemNode;
39import org.graalvm.compiler.nodes.calc.IntegerDivRemNode.Op;
40
41import jdk.vm.ci.amd64.AMD64;
42import jdk.vm.ci.meta.AllocatableValue;
43import jdk.vm.ci.meta.Value;
44
45public 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}
125