Mercurial > hg > graal-compiler
view graal/com.oracle.graal.nodes/src/com/oracle/graal/nodes/calc/FloatConvertNode.java @ 14976:82399ac30721
make implicit null checking optional for Access nodes (fixes CAS crash)
author | Lukas Stadler <lukas.stadler@oracle.com> |
---|---|
date | Fri, 04 Apr 2014 17:06:44 +0200 |
parents | d5a1206e1923 |
children | 22acaa9fb7f8 |
line wrap: on
line source
/* * Copyright (c) 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.nodes.calc; import com.oracle.graal.api.meta.*; import com.oracle.graal.graph.*; import com.oracle.graal.graph.spi.*; import com.oracle.graal.nodes.*; import com.oracle.graal.nodes.extended.*; import com.oracle.graal.nodes.spi.*; import com.oracle.graal.nodes.type.*; /** * A {@code FloatConvert} converts between integers and floating point numbers according to Java * semantics. */ public class FloatConvertNode extends ConvertNode implements Canonicalizable, Lowerable, ArithmeticLIRLowerable, MemoryArithmeticLIRLowerable { public enum FloatConvert { F2I, D2I, F2L, D2L, I2F, L2F, D2F, I2D, L2D, F2D; public FloatConvert reverse() { switch (this) { case D2F: return F2D; case D2I: return I2D; case D2L: return L2D; case F2D: return D2F; case F2I: return I2F; case F2L: return L2F; case I2D: return D2I; case I2F: return F2I; case L2D: return D2L; case L2F: return F2L; default: throw GraalInternalError.shouldNotReachHere(); } } } private final FloatConvert op; public FloatConvertNode(FloatConvert op, ValueNode input) { super(createStamp(op, input), input); this.op = op; } private static Stamp createStamp(FloatConvert op, ValueNode input) { switch (op) { case I2F: case I2D: assert input.stamp() instanceof IntegerStamp && ((IntegerStamp) input.stamp()).getBits() == 32; break; case L2F: case L2D: assert input.stamp() instanceof IntegerStamp && ((IntegerStamp) input.stamp()).getBits() == 64; break; case F2I: case F2L: case F2D: assert input.stamp() instanceof FloatStamp && ((FloatStamp) input.stamp()).getBits() == 32; break; case D2I: case D2L: case D2F: assert input.stamp() instanceof FloatStamp && ((FloatStamp) input.stamp()).getBits() == 64; break; default: throw GraalInternalError.shouldNotReachHere(); } switch (op) { case F2I: case D2I: return StampFactory.forKind(Kind.Int); case F2L: case D2L: return StampFactory.forKind(Kind.Long); case I2F: case L2F: case D2F: return StampFactory.forKind(Kind.Float); case I2D: case L2D: case F2D: return StampFactory.forKind(Kind.Double); default: throw GraalInternalError.shouldNotReachHere(); } } public FloatConvert getOp() { return op; } @Override public boolean inferStamp() { return updateStamp(createStamp(op, getInput())); } private static Constant convert(FloatConvert op, Constant value) { switch (op) { case F2I: return Constant.forInt((int) value.asFloat()); case D2I: return Constant.forInt((int) value.asDouble()); case F2L: return Constant.forLong((long) value.asFloat()); case D2L: return Constant.forLong((long) value.asDouble()); case I2F: return Constant.forFloat(value.asInt()); case L2F: return Constant.forFloat(value.asLong()); case D2F: return Constant.forFloat((float) value.asDouble()); case I2D: return Constant.forDouble(value.asInt()); case L2D: return Constant.forDouble(value.asLong()); case F2D: return Constant.forDouble(value.asFloat()); default: throw GraalInternalError.shouldNotReachHere(); } } @Override public Constant convert(Constant c) { return convert(op, c); } @Override public Constant reverse(Constant c) { return convert(op.reverse(), c); } @Override public boolean isLossless() { switch (op) { case F2D: case I2D: return true; default: return false; } } @Override public Node canonical(CanonicalizerTool tool) { if (getInput().isConstant()) { return ConstantNode.forPrimitive(evalConst(getInput().asConstant()), graph()); } else if (getInput() instanceof FloatConvertNode) { FloatConvertNode other = (FloatConvertNode) getInput(); if (other.isLossless() && other.op == this.op.reverse()) { return other.getInput(); } } return this; } public void lower(LoweringTool tool) { tool.getLowerer().lower(this, tool); } public void generate(NodeLIRBuilderTool gen) { gen.setResult(this, gen.getLIRGeneratorTool().emitFloatConvert(op, gen.operand(getInput()))); } public boolean generate(MemoryArithmeticLIRLowerer gen, Access access) { Kind kind = access.accessLocation().getValueKind(); if (kind != kind.getStackKind()) { // Doesn't work for subword operations return false; } Value result = gen.emitFloatConvertMemory(getOp(), access); if (result != null) { gen.setResult(this, result); } return result != null; } }