Mercurial > hg > graal-compiler
view graal/com.oracle.graal.replacements.amd64/src/com/oracle/graal/replacements/amd64/AMD64MathSubstitutions.java @ 20984:6361fa2e3321
Truffle-DSL: further fixes for polymorphic execute signatures.
author | Christian Humer <christian.humer@oracle.com> |
---|---|
date | Wed, 15 Apr 2015 21:13:43 +0200 |
parents | 3081a57f95fd |
children | 66d45b977e44 |
line wrap: on
line source
/* * Copyright (c) 2011, 2014, Oracle and/or its affiliates. All rights reserved. * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. * * This code is free software; you can redistribute it and/or modify it * under the terms of the GNU General Public License version 2 only, as * published by the Free Software Foundation. * * This code is distributed in the hope that it will be useful, but WITHOUT * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License * version 2 for more details (a copy is included in the LICENSE file that * accompanied this code). * * You should have received a copy of the GNU General Public License version * 2 along with this work; if not, write to the Free Software Foundation, * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. * * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA * or visit www.oracle.com if you need additional information or have any * questions. */ package com.oracle.graal.replacements.amd64; import static com.oracle.graal.compiler.target.Backend.*; import com.oracle.graal.api.meta.*; import com.oracle.graal.graph.Node.ConstantNodeParameter; import com.oracle.graal.graph.Node.NodeIntrinsic; import com.oracle.graal.nodes.extended.*; import com.oracle.graal.replacements.amd64.AMD64MathIntrinsicNode.Operation; /** * Substitutions for some {@link java.lang.Math} methods that leverage AMD64 instructions for * selected input values. */ public class AMD64MathSubstitutions { private static final double PI_4 = Math.PI / 4; /** * Special cases from {@link Math#pow} and __ieee754_pow (in sharedRuntimeTrans.cpp). */ public static double pow(double x, double y) { // If the second argument is positive or negative zero, then the result is 1.0. if (y == 0.0D) { return 1; } // If the second argument is 1.0, then the result is the same as the first argument. if (y == 1.0D) { return x; } // If the second argument is NaN, then the result is NaN. if (Double.isNaN(y)) { return Double.NaN; } // If the first argument is NaN and the second argument is nonzero, then the result is NaN. if (Double.isNaN(x) && y != 0.0D) { return Double.NaN; } // x**-1 = 1/x if (y == -1.0D) { return 1 / x; } // x**2 = x*x if (y == 2.0D) { return x * x; } // x**0.5 = sqrt(x) if (y == 0.5D && x >= 0.0D) { return Math.sqrt(x); } return callDouble2(ARITHMETIC_POW, x, y); } // NOTE on snippets below: // Math.sin(), .cos() and .tan() guarantee a value within 1 ULP of the // exact result, but x87 trigonometric FPU instructions are only that // accurate within [-pi/4, pi/4]. Examine the passed value and provide // a slow path for inputs outside of that interval. public static double sin(double x) { if (Math.abs(x) < PI_4) { return AMD64MathIntrinsicNode.compute(x, Operation.SIN); } else { return callDouble1(ARITHMETIC_SIN, x); } } public static double cos(double x) { if (Math.abs(x) < PI_4) { return AMD64MathIntrinsicNode.compute(x, Operation.COS); } else { return callDouble1(ARITHMETIC_COS, x); } } public static double tan(double x) { if (Math.abs(x) < PI_4) { return AMD64MathIntrinsicNode.compute(x, Operation.TAN); } else { return callDouble1(ARITHMETIC_TAN, x); } } @NodeIntrinsic(value = ForeignCallNode.class, setStampFromReturnType = true) private static native double callDouble1(@ConstantNodeParameter ForeignCallDescriptor descriptor, double value); @NodeIntrinsic(value = ForeignCallNode.class, setStampFromReturnType = true) private static native double callDouble2(@ConstantNodeParameter ForeignCallDescriptor descriptor, double a, double b); }