Mercurial > hg > truffle
view graal/com.oracle.graal.lir.amd64/src/com/oracle/graal/lir/amd64/AMD64BinaryConsumer.java @ 21654:cd6b1b2189a0
Remove GuardingPiNode and replace with FixedGuardNode + PiNode.
author | Thomas Wuerthinger <thomas.wuerthinger@oracle.com> |
---|---|
date | Tue, 02 Jun 2015 11:45:43 +0200 |
parents | 48c1ebd24120 |
children | 6df25b1418be |
line wrap: on
line source
/* * Copyright (c) 2015, 2015, 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.lir.amd64; import com.oracle.jvmci.meta.Constant; import com.oracle.jvmci.meta.AllocatableValue; import com.oracle.jvmci.meta.Value; import static com.oracle.jvmci.code.ValueUtil.*; import static com.oracle.graal.lir.LIRInstruction.OperandFlag.*; import com.oracle.jvmci.code.CompilationResult.DataSectionReference; import com.oracle.graal.asm.*; import com.oracle.graal.asm.amd64.*; import com.oracle.graal.asm.amd64.AMD64Assembler.AMD64BinaryArithmetic; import com.oracle.graal.asm.amd64.AMD64Assembler.AMD64MIOp; import com.oracle.graal.asm.amd64.AMD64Assembler.AMD64MROp; import com.oracle.graal.asm.amd64.AMD64Assembler.AMD64RMOp; import com.oracle.graal.asm.amd64.AMD64Assembler.OperandSize; import com.oracle.graal.lir.*; import com.oracle.graal.lir.StandardOp.ImplicitNullCheck; import com.oracle.graal.lir.asm.*; /** * AMD64 LIR instructions that have two input operands, but no output operand. */ public class AMD64BinaryConsumer { /** * Instruction that has two {@link AllocatableValue} operands. */ public static class Op extends AMD64LIRInstruction { public static final LIRInstructionClass<Op> TYPE = LIRInstructionClass.create(Op.class); @Opcode private final AMD64RMOp opcode; private final OperandSize size; @Use({REG}) protected AllocatableValue x; @Use({REG, STACK}) protected AllocatableValue y; public Op(AMD64RMOp opcode, OperandSize size, AllocatableValue x, AllocatableValue y) { super(TYPE); this.opcode = opcode; this.size = size; this.x = x; this.y = y; } @Override public void emitCode(CompilationResultBuilder crb, AMD64MacroAssembler masm) { if (isRegister(y)) { opcode.emit(masm, size, asRegister(x), asRegister(y)); } else { assert isStackSlot(y); opcode.emit(masm, size, asRegister(x), (AMD64Address) crb.asAddress(y)); } } } /** * Instruction that has one {@link AllocatableValue} operand and one 32-bit immediate operand. */ public static class ConstOp extends AMD64LIRInstruction { public static final LIRInstructionClass<ConstOp> TYPE = LIRInstructionClass.create(ConstOp.class); @Opcode private final AMD64MIOp opcode; private final OperandSize size; @Use({REG, STACK}) protected AllocatableValue x; private final int y; public ConstOp(AMD64BinaryArithmetic opcode, OperandSize size, AllocatableValue x, int y) { this(opcode.getMIOpcode(size, NumUtil.isByte(y)), size, x, y); } public ConstOp(AMD64MIOp opcode, OperandSize size, AllocatableValue x, int y) { this(TYPE, opcode, size, x, y); } protected ConstOp(LIRInstructionClass<? extends ConstOp> c, AMD64MIOp opcode, OperandSize size, AllocatableValue x, int y) { super(c); this.opcode = opcode; this.size = size; this.x = x; this.y = y; } @Override public void emitCode(CompilationResultBuilder crb, AMD64MacroAssembler masm) { if (isRegister(x)) { opcode.emit(masm, size, asRegister(x), y); } else { assert isStackSlot(x); opcode.emit(masm, size, (AMD64Address) crb.asAddress(x), y); } } } /** * Instruction that has one {@link AllocatableValue} operand and one * {@link DataSectionReference} operand. */ public static class DataOp extends AMD64LIRInstruction { public static final LIRInstructionClass<DataOp> TYPE = LIRInstructionClass.create(DataOp.class); @Opcode private final AMD64RMOp opcode; private final OperandSize size; @Use({REG}) protected AllocatableValue x; private final Constant y; private final int alignment; public DataOp(AMD64RMOp opcode, OperandSize size, AllocatableValue x, Constant y) { this(opcode, size, x, y, size.getBytes()); } public DataOp(AMD64RMOp opcode, OperandSize size, AllocatableValue x, Constant y, int alignment) { super(TYPE); this.opcode = opcode; this.size = size; this.x = x; this.y = y; this.alignment = alignment; } @Override public void emitCode(CompilationResultBuilder crb, AMD64MacroAssembler masm) { opcode.emit(masm, size, asRegister(x), (AMD64Address) crb.recordDataReferenceInCode(y, alignment)); } } /** * Instruction that has an {@link AllocatableValue} as first input and a * {@link AMD64AddressValue memory} operand as second input. */ public static class MemoryRMOp extends AMD64LIRInstruction implements ImplicitNullCheck { public static final LIRInstructionClass<MemoryRMOp> TYPE = LIRInstructionClass.create(MemoryRMOp.class); @Opcode private final AMD64RMOp opcode; private final OperandSize size; @Use({REG}) protected AllocatableValue x; @Use({COMPOSITE}) protected AMD64AddressValue y; @State protected LIRFrameState state; public MemoryRMOp(AMD64RMOp opcode, OperandSize size, AllocatableValue x, AMD64AddressValue y, LIRFrameState state) { super(TYPE); this.opcode = opcode; this.size = size; this.x = x; this.y = y; this.state = state; } @Override public void emitCode(CompilationResultBuilder crb, AMD64MacroAssembler masm) { if (state != null) { crb.recordImplicitException(masm.position(), state); } opcode.emit(masm, size, asRegister(x), y.toAddress()); } @Override public boolean makeNullCheckFor(Value value, LIRFrameState nullCheckState, int implicitNullCheckLimit) { if (state == null && y.isValidImplicitNullCheckFor(value, implicitNullCheckLimit)) { state = nullCheckState; return true; } return false; } } /** * Instruction that has a {@link AMD64AddressValue memory} operand as first input and an * {@link AllocatableValue} as second input. */ public static class MemoryMROp extends AMD64LIRInstruction implements ImplicitNullCheck { public static final LIRInstructionClass<MemoryMROp> TYPE = LIRInstructionClass.create(MemoryMROp.class); @Opcode private final AMD64MROp opcode; private final OperandSize size; @Use({COMPOSITE}) protected AMD64AddressValue x; @Use({REG}) protected AllocatableValue y; @State protected LIRFrameState state; public MemoryMROp(AMD64MROp opcode, OperandSize size, AMD64AddressValue x, AllocatableValue y, LIRFrameState state) { super(TYPE); this.opcode = opcode; this.size = size; this.x = x; this.y = y; this.state = state; } @Override public void emitCode(CompilationResultBuilder crb, AMD64MacroAssembler masm) { if (state != null) { crb.recordImplicitException(masm.position(), state); } opcode.emit(masm, size, x.toAddress(), asRegister(y)); } @Override public boolean makeNullCheckFor(Value value, LIRFrameState nullCheckState, int implicitNullCheckLimit) { if (state == null && x.isValidImplicitNullCheckFor(value, implicitNullCheckLimit)) { state = nullCheckState; return true; } return false; } } /** * Instruction that has one {@link AMD64AddressValue memory} operand and one 32-bit immediate * operand. */ public static class MemoryConstOp extends AMD64LIRInstruction implements ImplicitNullCheck { public static final LIRInstructionClass<MemoryConstOp> TYPE = LIRInstructionClass.create(MemoryConstOp.class); @Opcode private final AMD64MIOp opcode; private final OperandSize size; @Use({COMPOSITE}) protected AMD64AddressValue x; private final int y; @State protected LIRFrameState state; public MemoryConstOp(AMD64BinaryArithmetic opcode, OperandSize size, AMD64AddressValue x, int y, LIRFrameState state) { this(opcode.getMIOpcode(size, NumUtil.isByte(y)), size, x, y, state); } public MemoryConstOp(AMD64MIOp opcode, OperandSize size, AMD64AddressValue x, int y, LIRFrameState state) { this(TYPE, opcode, size, x, y, state); } protected MemoryConstOp(LIRInstructionClass<? extends MemoryConstOp> c, AMD64MIOp opcode, OperandSize size, AMD64AddressValue x, int y, LIRFrameState state) { super(c); this.opcode = opcode; this.size = size; this.x = x; this.y = y; this.state = state; } @Override public void emitCode(CompilationResultBuilder crb, AMD64MacroAssembler masm) { if (state != null) { crb.recordImplicitException(masm.position(), state); } opcode.emit(masm, size, x.toAddress(), y); } @Override public boolean makeNullCheckFor(Value value, LIRFrameState nullCheckState, int implicitNullCheckLimit) { if (state == null && x.isValidImplicitNullCheckFor(value, implicitNullCheckLimit)) { state = nullCheckState; return true; } return false; } } }