Mercurial > hg > truffle
view graal/com.oracle.graal.lir.hsail/src/com/oracle/graal/lir/hsail/HSAILMove.java @ 13891:bc471f405eb8
HSAIL: support for storing immediates
Contributed-by: Eric Caspole <eric.caspole@amd.com>
author | Doug Simon <doug.simon@oracle.com> |
---|---|
date | Thu, 06 Feb 2014 11:24:00 +0100 |
parents | 1a66453f73db |
children | 390c4b742890 |
line wrap: on
line source
/* * Copyright (c) 2013, 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.hsail; import static com.oracle.graal.api.code.ValueUtil.*; import static com.oracle.graal.lir.LIRInstruction.OperandFlag.*; import com.oracle.graal.api.code.*; import com.oracle.graal.api.meta.*; import com.oracle.graal.asm.hsail.*; import com.oracle.graal.debug.*; import com.oracle.graal.graph.*; import com.oracle.graal.lir.*; import com.oracle.graal.lir.StandardOp.MoveOp; import com.oracle.graal.lir.asm.*; /** * Implementation of move instructions. */ public class HSAILMove { // Stack size in bytes (used to keep track of spilling). static int maxDatatypeSize; // Maximum stack offset used by a store operation. static long maxStackOffset = 0; public static long upperBoundStackSize() { return maxStackOffset + maxDatatypeSize; } @Opcode("MOVE") public static class SpillMoveOp extends HSAILLIRInstruction implements MoveOp { @Def({REG, STACK}) protected AllocatableValue result; @Use({REG, STACK, CONST}) protected Value input; public SpillMoveOp(AllocatableValue result, Value input) { this.result = result; this.input = input; } @Override public void emitCode(CompilationResultBuilder crb, HSAILAssembler masm) { move(crb, masm, getResult(), getInput()); } @Override public Value getInput() { return input; } @Override public AllocatableValue getResult() { return result; } } @Opcode("MOVE") public static class MoveToRegOp extends HSAILLIRInstruction implements MoveOp { @Def({REG, HINT}) protected AllocatableValue result; @Use({REG, STACK, CONST}) protected Value input; public MoveToRegOp(AllocatableValue result, Value input) { this.result = result; this.input = input; } @Override public void emitCode(CompilationResultBuilder crb, HSAILAssembler masm) { move(crb, masm, getResult(), getInput()); } @Override public Value getInput() { return input; } @Override public AllocatableValue getResult() { return result; } } @Opcode("MOVE") public static class MoveFromRegOp extends HSAILLIRInstruction implements MoveOp { @Def({REG, STACK}) protected AllocatableValue result; @Use({REG, CONST, HINT}) protected Value input; public MoveFromRegOp(AllocatableValue result, Value input) { this.result = result; this.input = input; } @Override public void emitCode(CompilationResultBuilder crb, HSAILAssembler masm) { move(crb, masm, getResult(), getInput()); } @Override public Value getInput() { return input; } @Override public AllocatableValue getResult() { return result; } } public abstract static class MemOp extends HSAILLIRInstruction { protected final Kind kind; @Use({COMPOSITE}) protected HSAILAddressValue address; @State protected LIRFrameState state; public MemOp(Kind kind, HSAILAddressValue address, LIRFrameState state) { this.kind = kind; this.address = address; this.state = state; } protected abstract void emitMemAccess(HSAILAssembler masm); @Override public void emitCode(CompilationResultBuilder crb, HSAILAssembler masm) { if (state != null) { // crb.recordImplicitException(masm.codeBuffer.position(), state); throw new InternalError("NYI"); } emitMemAccess(masm); } } public static class MembarOp extends HSAILLIRInstruction { private final int barriers; public MembarOp(final int barriers) { this.barriers = barriers; } @Override public void emitCode(CompilationResultBuilder crb, HSAILAssembler masm) { masm.emitMembar(barriers); } } public static class LoadOp extends MemOp { @Def({REG}) protected AllocatableValue result; public LoadOp(Kind kind, AllocatableValue result, HSAILAddressValue address, LIRFrameState state) { super(kind, address, state); this.result = result; } @Override public void emitMemAccess(HSAILAssembler masm) { HSAILAddress addr = address.toAddress(); masm.emitLoad(kind, result, addr); } } public static class StoreOp extends MemOp { @Use({REG}) protected AllocatableValue input; public StoreOp(Kind kind, HSAILAddressValue address, AllocatableValue input, LIRFrameState state) { super(kind, address, state); this.input = input; } @Override public void emitMemAccess(HSAILAssembler masm) { assert isRegister(input); HSAILAddress addr = address.toAddress(); masm.emitStore(kind, input, addr); } } public static class StoreConstantOp extends MemOp { protected final Constant input; public StoreConstantOp(Kind kind, HSAILAddressValue address, Constant input, LIRFrameState state) { super(kind, address, state); this.input = input; } @Override public void emitMemAccess(HSAILAssembler masm) { switch (kind) { case Boolean: case Byte: masm.emitStoreImmediate(kind, input.asLong() & 0xFF, address.toAddress()); break; case Char: case Short: masm.emitStoreImmediate(kind, input.asLong() & 0xFFFF, address.toAddress()); break; case Int: case Long: masm.emitStoreImmediate(kind, input.asLong(), address.toAddress()); break; case Float: masm.emitStoreImmediate(input.asFloat(), address.toAddress()); break; case Double: masm.emitStoreImmediate(input.asDouble(), address.toAddress()); break; case Object: if (input.isNull()) { masm.emitStoreImmediate(kind, 0L, address.toAddress()); } else { throw GraalInternalError.shouldNotReachHere("Cannot store 64-bit constants to object ref"); } break; case NarrowOop: if (input.isNull()) { masm.emitStoreImmediate(kind, 0L, address.toAddress()); } else { throw GraalInternalError.shouldNotReachHere("Cannot store 64-bit constants to object ref"); } break; default: throw GraalInternalError.shouldNotReachHere(); } } } public static class LoadCompressedPointer extends LoadOp { private final long base; private final int shift; private final int alignment; @Temp({REG}) private AllocatableValue scratch; public LoadCompressedPointer(Kind kind, AllocatableValue result, AllocatableValue scratch, HSAILAddressValue address, LIRFrameState state, long base, int shift, int alignment) { super(kind, result, address, state); this.base = base; this.shift = shift; this.alignment = alignment; this.scratch = scratch; assert kind == Kind.Object || kind == Kind.Long; } @Override public void emitMemAccess(HSAILAssembler masm) { // we will do a 32 bit load, zero extending into a 64 bit register masm.emitLoad(result, address.toAddress(), "u32"); boolean testForNull = (kind == Kind.Object); decodePointer(masm, result, base, shift, alignment, testForNull); } } public static class StoreCompressedPointer extends HSAILLIRInstruction { protected final Kind kind; private final long base; private final int shift; private final int alignment; @Temp({REG}) private AllocatableValue scratch; @Alive({REG}) protected AllocatableValue input; @Alive({COMPOSITE}) protected HSAILAddressValue address; @State protected LIRFrameState state; public StoreCompressedPointer(Kind kind, HSAILAddressValue address, AllocatableValue input, AllocatableValue scratch, LIRFrameState state, long base, int shift, int alignment) { this.base = base; this.shift = shift; this.alignment = alignment; this.scratch = scratch; this.kind = kind; this.address = address; this.state = state; this.input = input; assert kind == Kind.Object || kind == Kind.Long; } @Override public void emitCode(CompilationResultBuilder crb, HSAILAssembler masm) { masm.emitMov(scratch, input); boolean testForNull = (kind == Kind.Object); encodePointer(masm, scratch, base, shift, alignment, testForNull); if (state != null) { throw new InternalError("NYI"); // crb.recordImplicitException(masm.codeBuffer.position(), state); } masm.emitStore(scratch, address.toAddress(), "u32"); } } private static void encodePointer(HSAILAssembler masm, Value scratch, long base, int shift, int alignment, boolean testForNull) { if (base == 0 && shift == 0) { return; } if (shift != 0) { assert alignment == shift : "Encode algorithm is wrong"; } masm.emitCompressedOopEncode(scratch, base, shift, testForNull); } private static void decodePointer(HSAILAssembler masm, Value result, long base, int shift, int alignment, boolean testForNull) { if (base == 0 && shift == 0) { return; } if (shift != 0) { assert alignment == shift : "Decode algorithm is wrong"; } masm.emitCompressedOopDecode(result, base, shift, testForNull); } public static class LeaOp extends HSAILLIRInstruction { @Def({REG}) protected AllocatableValue result; @Use({COMPOSITE, UNINITIALIZED}) protected HSAILAddressValue address; public LeaOp(AllocatableValue result, HSAILAddressValue address) { this.result = result; this.address = address; } @Override public void emitCode(CompilationResultBuilder crb, HSAILAssembler masm) { throw new InternalError("NYI"); } } public static class StackLeaOp extends HSAILLIRInstruction { @Def({REG}) protected AllocatableValue result; @Use({STACK, UNINITIALIZED}) protected StackSlot slot; public StackLeaOp(AllocatableValue result, StackSlot slot) { this.result = result; this.slot = slot; } @Override public void emitCode(CompilationResultBuilder crb, HSAILAssembler masm) { throw new InternalError("NYI"); } } @Opcode("CAS") public static class CompareAndSwapOp extends HSAILLIRInstruction { @Def protected AllocatableValue result; @Use({COMPOSITE}) protected HSAILAddressValue address; @Use protected AllocatableValue cmpValue; @Use protected AllocatableValue newValue; public CompareAndSwapOp(AllocatableValue result, HSAILAddressValue address, AllocatableValue cmpValue, AllocatableValue newValue) { this.result = result; this.address = address; this.cmpValue = cmpValue; this.newValue = newValue; } @Override public void emitCode(CompilationResultBuilder crb, HSAILAssembler masm) { masm.emitAtomicCas(result, address.toAddress(), cmpValue, newValue); } } @Opcode("CAS") public static class CompareAndSwapCompressedOp extends CompareAndSwapOp { @Temp({REG}) private AllocatableValue scratchCmpValue64; @Temp({REG}) private AllocatableValue scratchNewValue64; @Temp({REG}) private AllocatableValue scratchCmpValue32; @Temp({REG}) private AllocatableValue scratchNewValue32; @Temp({REG}) private AllocatableValue scratchCasResult32; private final long base; private final int shift; private final int alignment; public CompareAndSwapCompressedOp(AllocatableValue result, HSAILAddressValue address, AllocatableValue cmpValue, AllocatableValue newValue, AllocatableValue scratchCmpValue64, AllocatableValue scratchNewValue64, AllocatableValue scratchCmpValue32, AllocatableValue scratchNewValue32, AllocatableValue scratchCasResult32, long base, int shift, int alignment) { super(result, address, cmpValue, newValue); this.scratchCmpValue64 = scratchCmpValue64; this.scratchNewValue64 = scratchNewValue64; this.scratchCmpValue32 = scratchCmpValue32; this.scratchNewValue32 = scratchNewValue32; this.scratchCasResult32 = scratchCasResult32; this.base = base; this.shift = shift; this.alignment = alignment; } @Override public void emitCode(CompilationResultBuilder crb, HSAILAssembler masm) { // assume any encoded or decoded value could be null boolean testForNull = true; // set up scratch registers to be encoded versions masm.emitMov(scratchCmpValue64, cmpValue); encodePointer(masm, scratchCmpValue64, base, shift, alignment, testForNull); masm.emitMov(scratchNewValue64, newValue); encodePointer(masm, scratchNewValue64, base, shift, alignment, testForNull); // get encoded versions into 32-bit registers masm.emitConvertForceUnsigned(scratchCmpValue32, scratchCmpValue64); masm.emitConvertForceUnsigned(scratchNewValue32, scratchNewValue64); // finally do the cas masm.emitAtomicCas(scratchCasResult32, address.toAddress(), scratchCmpValue32, scratchNewValue32); // and convert the 32-bit CasResult back to 64-bit masm.emitConvertForceUnsigned(result, scratchCasResult32); // and decode/uncompress the 64-bit cas result decodePointer(masm, result, base, shift, alignment, testForNull); } } public static class NullCheckOp extends HSAILLIRInstruction { @Use protected Value input; @State protected LIRFrameState state; public NullCheckOp(Variable input, LIRFrameState state) { this.input = input; this.state = state; } @Override public void emitCode(CompilationResultBuilder crb, HSAILAssembler masm) { Debug.log("NullCheckOp unimplemented"); } } @SuppressWarnings("unused") public static void move(CompilationResultBuilder crb, HSAILAssembler masm, Value result, Value input) { if (isRegister(input)) { if (isRegister(result)) { masm.emitMov(result, input); } else if (isStackSlot(result)) { masm.emitSpillStore(input, result); } else { throw GraalInternalError.shouldNotReachHere(); } } else if (isStackSlot(input)) { if (isRegister(result)) { masm.emitSpillLoad(result, input); } else { throw GraalInternalError.shouldNotReachHere(); } } else if (isConstant(input)) { if (isRegister(result)) { masm.emitMov(result, input); } else { throw GraalInternalError.shouldNotReachHere(); } } else { throw GraalInternalError.shouldNotReachHere(); } } }