@Override
protected void verify() {
super.verify();
assert (name().startsWith("I")
&& x.getKind() == Kind.Int
&& y.getKind().getStackKind() == Kind.Int)
|| (name().startsWith("L") && x.getKind() == Kind.Long && y.getKind() == Kind.Long)
|| (name().startsWith("A") && x.getKind() == Kind.Object && y.getKind() == Kind.Object)
|| (name().startsWith("F") && x.getKind() == Kind.Float && y.getKind() == Kind.Float)
|| (name().startsWith("D") && x.getKind() == Kind.Double && y.getKind() == Kind.Double);
}
public static void emitRem(
CompilationResultBuilder crb,
SPARCMacroAssembler masm,
SPARCArithmetic opcode,
Value dst,
Value src1,
Value src2,
Value scratch1,
Value scratch2,
LIRFrameState info,
SPARCDelayedControlTransfer delaySlotLir) {
int exceptionOffset = -1;
if (!isConstant(src1) && isConstant(src2)) {
assert isSimm13(crb.asIntConst(src2));
assert !src1.equals(scratch1);
assert !src1.equals(scratch2);
assert !src2.equals(scratch1);
switch (opcode) {
case IREM:
new Sra(asIntReg(src1), 0, asIntReg(dst)).emit(masm);
exceptionOffset = masm.position();
new Sdivx(asIntReg(dst), crb.asIntConst(src2), asIntReg(scratch1)).emit(masm);
new Mulx(asIntReg(scratch1), crb.asIntConst(src2), asIntReg(scratch2)).emit(masm);
delaySlotLir.emitControlTransfer(crb, masm);
new Sub(asIntReg(dst), asIntReg(scratch2), asIntReg(dst)).emit(masm);
break;
case LREM:
exceptionOffset = masm.position();
new Sdivx(asLongReg(src1), crb.asIntConst(src2), asLongReg(scratch1)).emit(masm);
new Mulx(asLongReg(scratch1), crb.asIntConst(src2), asLongReg(scratch2)).emit(masm);
delaySlotLir.emitControlTransfer(crb, masm);
new Sub(asLongReg(src1), asLongReg(scratch2), asLongReg(dst)).emit(masm);
break;
case LUREM:
exceptionOffset = masm.position();
new Udivx(asLongReg(src1), crb.asIntConst(src2), asLongReg(scratch1)).emit(masm);
new Mulx(asLongReg(scratch1), crb.asIntConst(src2), asLongReg(scratch2)).emit(masm);
delaySlotLir.emitControlTransfer(crb, masm);
new Sub(asLongReg(src1), asLongReg(scratch2), asLongReg(dst)).emit(masm);
break;
case IUREM:
GraalInternalError.unimplemented();
break;
default:
throw GraalInternalError.shouldNotReachHere();
}
} else if (isRegister(src1) && isRegister(src2)) {
Value srcLeft = src1;
switch (opcode) {
case LREM:
if (isConstant(src1)) {
new Setx(crb.asLongConst(src1), asLongReg(scratch2), false).emit(masm);
srcLeft = scratch2;
}
assert !asLongReg(srcLeft).equals(asLongReg(scratch1));
assert !asLongReg(src2).equals(asLongReg(scratch1));
// But src2 can be scratch2
exceptionOffset = masm.position();
new Sdivx(asLongReg(srcLeft), asLongReg(src2), asLongReg(scratch1)).emit(masm);
new Mulx(asLongReg(scratch1), asLongReg(src2), asLongReg(scratch1)).emit(masm);
delaySlotLir.emitControlTransfer(crb, masm);
new Sub(asLongReg(srcLeft), asLongReg(scratch1), asLongReg(dst)).emit(masm);
break;
case LUREM:
if (isConstant(src1)) {
new Setx(crb.asLongConst(src1), asLongReg(scratch2), false).emit(masm);
srcLeft = scratch2;
}
assert !asLongReg(srcLeft).equals(asLongReg(scratch1));
assert !asLongReg(src2).equals(asLongReg(scratch1));
exceptionOffset = masm.position();
new Udivx(asLongReg(srcLeft), asLongReg(src2), asLongReg(scratch1)).emit(masm);
new Mulx(asLongReg(scratch1), asLongReg(src2), asLongReg(scratch1)).emit(masm);
delaySlotLir.emitControlTransfer(crb, masm);
new Sub(asLongReg(srcLeft), asLongReg(scratch1), asLongReg(dst)).emit(masm);
break;
case IREM:
if (isConstant(src1)) {
new Setx(crb.asIntConst(src1), asIntReg(scratch2), false).emit(masm);
srcLeft = scratch2;
}
assert !asIntReg(srcLeft).equals(asIntReg(scratch1));
assert !asIntReg(src2).equals(asIntReg(scratch1));
new Sra(asIntReg(src1), 0, asIntReg(scratch1)).emit(masm);
new Sra(asIntReg(src2), 0, asIntReg(scratch2)).emit(masm);
exceptionOffset = masm.position();
new Sdivx(asIntReg(scratch1), asIntReg(scratch2), asIntReg(dst)).emit(masm);
new Mulx(asIntReg(dst), asIntReg(scratch2), asIntReg(dst)).emit(masm);
delaySlotLir.emitControlTransfer(crb, masm);
new Sub(asIntReg(scratch1), asIntReg(dst), asIntReg(dst)).emit(masm);
break;
case IUREM:
assert !asIntReg(dst).equals(asIntReg(scratch1));
assert !asIntReg(dst).equals(asIntReg(scratch2));
new Srl(asIntReg(src1), 0, asIntReg(scratch1)).emit(masm);
new Srl(asIntReg(src2), 0, asIntReg(dst)).emit(masm);
exceptionOffset = masm.position();
new Udivx(asIntReg(scratch1), asIntReg(dst), asIntReg(scratch2)).emit(masm);
new Mulx(asIntReg(scratch2), asIntReg(dst), asIntReg(dst)).emit(masm);
delaySlotLir.emitControlTransfer(crb, masm);
new Sub(asIntReg(scratch1), asIntReg(dst), asIntReg(dst)).emit(masm);
break;
default:
throw GraalInternalError.shouldNotReachHere();
}
} else {
throw GraalInternalError.shouldNotReachHere();
}
if (info != null) {
assert exceptionOffset != -1;
crb.recordImplicitException(exceptionOffset, info);
}
}
private static void verifyKind(SPARCArithmetic opcode, Value result, Value x, Value y) {
Kind rk;
Kind xk;
Kind yk;
Kind xsk;
Kind ysk;
switch (opcode) {
case IADD:
case ISUB:
case IMUL:
case IDIV:
case IREM:
case IAND:
case IOR:
case IXOR:
case ISHL:
case ISHR:
case IUSHR:
case IUDIV:
case IUREM:
rk = result.getKind().getStackKind();
xsk = x.getKind().getStackKind();
ysk = y.getKind().getStackKind();
boolean valid = false;
for (Kind k : new Kind[] {Kind.Int, Kind.Short, Kind.Byte, Kind.Char}) {
valid |= rk == k && xsk == k && ysk == k;
}
assert valid : "rk: " + rk + " xsk: " + xsk + " ysk: " + ysk;
break;
case LADD:
case LSUB:
case LMUL:
case LDIV:
case LREM:
case LAND:
case LOR:
case LXOR:
case LUDIV:
case LUREM:
rk = result.getKind();
xk = x.getKind();
yk = y.getKind();
assert rk == Kind.Long && xk == Kind.Long && yk == Kind.Long;
break;
case LSHL:
case LSHR:
case LUSHR:
rk = result.getKind();
xk = x.getKind();
yk = y.getKind();
assert rk == Kind.Long && xk == Kind.Long && (yk == Kind.Int || yk == Kind.Long);
break;
case FADD:
case FSUB:
case FMUL:
case FDIV:
case FREM:
rk = result.getKind();
xk = x.getKind();
yk = y.getKind();
assert (rk == Kind.Float || rk == Kind.Double) && xk == Kind.Float && yk == Kind.Float;
break;
case DAND:
case DADD:
case DSUB:
case DMUL:
case DDIV:
case DREM:
rk = result.getKind();
xk = x.getKind();
yk = y.getKind();
assert rk == Kind.Double && xk == Kind.Double && yk == Kind.Double
: "opcode=" + opcode + ", result kind=" + rk + ", x kind=" + xk + ", y kind=" + yk;
break;
default:
throw GraalInternalError.shouldNotReachHere("missing: " + opcode);
}
}
public static void emitRegReg(
CompilationResultBuilder crb,
SPARCMacroAssembler masm,
SPARCArithmetic opcode,
Value dst,
Value src1,
Value src2,
LIRFrameState info,
SPARCDelayedControlTransfer delaySlotLir) {
int exceptionOffset = -1;
assert !isConstant(src1) : src1;
assert !isConstant(src2) : src2;
switch (opcode) {
case IADD:
delaySlotLir.emitControlTransfer(crb, masm);
new Add(asIntReg(src1), asIntReg(src2), asIntReg(dst)).emit(masm);
break;
case ISUB:
delaySlotLir.emitControlTransfer(crb, masm);
new Sub(asIntReg(src1), asIntReg(src2), asIntReg(dst)).emit(masm);
break;
case IMUL:
delaySlotLir.emitControlTransfer(crb, masm);
new Mulx(asIntReg(src1), asIntReg(src2), asIntReg(dst)).emit(masm);
break;
case IDIV:
new Signx(asIntReg(src1), asIntReg(src1)).emit(masm);
new Signx(asIntReg(src2), asIntReg(src2)).emit(masm);
delaySlotLir.emitControlTransfer(crb, masm);
exceptionOffset = masm.position();
new Sdivx(asIntReg(src1), asIntReg(src2), asIntReg(dst)).emit(masm);
break;
case IUDIV:
new Signx(asIntReg(src1), asIntReg(src1)).emit(masm);
new Signx(asIntReg(src2), asIntReg(src2)).emit(masm);
delaySlotLir.emitControlTransfer(crb, masm);
exceptionOffset = masm.position();
new Udivx(asIntReg(src1), asIntReg(src2), asIntReg(dst)).emit(masm);
break;
case IAND:
delaySlotLir.emitControlTransfer(crb, masm);
new And(asIntReg(src1), asIntReg(src2), asIntReg(dst)).emit(masm);
break;
case IOR:
delaySlotLir.emitControlTransfer(crb, masm);
new Or(asIntReg(src1), asIntReg(src2), asIntReg(dst)).emit(masm);
break;
case IXOR:
delaySlotLir.emitControlTransfer(crb, masm);
new Xor(asIntReg(src1), asIntReg(src2), asIntReg(dst)).emit(masm);
break;
case ISHL:
delaySlotLir.emitControlTransfer(crb, masm);
new Sll(asIntReg(src1), asIntReg(src2), asIntReg(dst)).emit(masm);
break;
case ISHR:
delaySlotLir.emitControlTransfer(crb, masm);
new Sra(asIntReg(src1), asIntReg(src2), asIntReg(dst)).emit(masm);
break;
case IUSHR:
delaySlotLir.emitControlTransfer(crb, masm);
new Srl(asIntReg(src1), asIntReg(src2), asIntReg(dst)).emit(masm);
break;
case IREM:
throw GraalInternalError.unimplemented();
case LADD:
delaySlotLir.emitControlTransfer(crb, masm);
new Add(asLongReg(src1), asLongReg(src2), asLongReg(dst)).emit(masm);
break;
case LSUB:
delaySlotLir.emitControlTransfer(crb, masm);
new Sub(asLongReg(src1), asLongReg(src2), asLongReg(dst)).emit(masm);
break;
case LMUL:
delaySlotLir.emitControlTransfer(crb, masm);
new Mulx(asLongReg(src1), asLongReg(src2), asLongReg(dst)).emit(masm);
break;
case LDIV:
delaySlotLir.emitControlTransfer(crb, masm);
exceptionOffset = masm.position();
new Sdivx(asLongReg(src1), asLongReg(src2), asLongReg(dst)).emit(masm);
break;
case LUDIV:
delaySlotLir.emitControlTransfer(crb, masm);
exceptionOffset = masm.position();
new Udivx(asLongReg(src1), asLongReg(src2), asLongReg(dst)).emit(masm);
break;
case LAND:
delaySlotLir.emitControlTransfer(crb, masm);
new And(asLongReg(src1), asLongReg(src2), asLongReg(dst)).emit(masm);
break;
case LOR:
delaySlotLir.emitControlTransfer(crb, masm);
new Or(asLongReg(src1), asLongReg(src2), asLongReg(dst)).emit(masm);
break;
case LXOR:
delaySlotLir.emitControlTransfer(crb, masm);
new Xor(asLongReg(src1), asLongReg(src2), asLongReg(dst)).emit(masm);
break;
case LSHL:
delaySlotLir.emitControlTransfer(crb, masm);
new Sllx(asLongReg(src1), asIntReg(src2), asLongReg(dst)).emit(masm);
break;
case LSHR:
delaySlotLir.emitControlTransfer(crb, masm);
new Srax(asLongReg(src1), asIntReg(src2), asLongReg(dst)).emit(masm);
break;
case LUSHR:
delaySlotLir.emitControlTransfer(crb, masm);
new Srlx(asLongReg(src1), asIntReg(src2), asLongReg(dst)).emit(masm);
break;
case FADD:
delaySlotLir.emitControlTransfer(crb, masm);
new Fadds(asFloatReg(src1), asFloatReg(src2), asFloatReg(dst)).emit(masm);
break;
case FSUB:
delaySlotLir.emitControlTransfer(crb, masm);
new Fsubs(asFloatReg(src1), asFloatReg(src2), asFloatReg(dst)).emit(masm);
break;
case FMUL:
delaySlotLir.emitControlTransfer(crb, masm);
if (dst.getPlatformKind() == Kind.Double) {
new Fsmuld(asFloatReg(src1), asFloatReg(src2), asDoubleReg(dst)).emit(masm);
} else if (dst.getPlatformKind() == Kind.Float) {
new Fmuls(asFloatReg(src1), asFloatReg(src2), asFloatReg(dst)).emit(masm);
}
break;
case FDIV:
delaySlotLir.emitControlTransfer(crb, masm);
exceptionOffset = masm.position();
new Fdivs(asFloatReg(src1), asFloatReg(src2), asFloatReg(dst)).emit(masm);
break;
case FREM:
throw GraalInternalError.unimplemented();
case DADD:
delaySlotLir.emitControlTransfer(crb, masm);
new Faddd(asDoubleReg(src1), asDoubleReg(src2), asDoubleReg(dst)).emit(masm);
break;
case DSUB:
delaySlotLir.emitControlTransfer(crb, masm);
new Fsubd(asDoubleReg(src1), asDoubleReg(src2), asDoubleReg(dst)).emit(masm);
break;
case DMUL:
delaySlotLir.emitControlTransfer(crb, masm);
new Fmuld(asDoubleReg(src1), asDoubleReg(src2), asDoubleReg(dst)).emit(masm);
break;
case DDIV:
delaySlotLir.emitControlTransfer(crb, masm);
exceptionOffset = masm.position();
new Fdivd(asDoubleReg(src1), asDoubleReg(src2), asDoubleReg(dst)).emit(masm);
break;
case DREM:
throw GraalInternalError.unimplemented();
case DAND:
delaySlotLir.emitControlTransfer(crb, masm);
new Fandd(asDoubleReg(src1), asDoubleReg(src2), asDoubleReg(dst)).emit(masm);
break;
default:
throw GraalInternalError.shouldNotReachHere();
}
if (info != null) {
assert exceptionOffset != -1;
crb.recordImplicitException(exceptionOffset, info);
}
}
