/*
* Copyright (c) 2016, 2016, 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 org.graalvm.compiler.asm.sparc.test;
import static org.graalvm.compiler.asm.sparc.SPARCAssembler.BPCC;
import static org.graalvm.compiler.asm.sparc.SPARCAssembler.BPR;
import static org.graalvm.compiler.asm.sparc.SPARCAssembler.BR;
import static org.graalvm.compiler.asm.sparc.SPARCAssembler.CBCOND;
import static org.graalvm.compiler.asm.sparc.SPARCAssembler.Annul.ANNUL;
import static org.graalvm.compiler.asm.sparc.SPARCAssembler.BranchPredict.PREDICT_NOT_TAKEN;
import static org.graalvm.compiler.asm.sparc.SPARCAssembler.CC.Xcc;
import static org.graalvm.compiler.asm.sparc.SPARCAssembler.ConditionFlag.CarryClear;
import static org.graalvm.compiler.asm.sparc.SPARCAssembler.ConditionFlag.Equal;
import static org.graalvm.compiler.asm.sparc.SPARCAssembler.RCondition.Rc_z;
import static jdk.vm.ci.sparc.SPARC.g0;
import java.util.EnumSet;
import java.util.function.Consumer;
import jdk.vm.ci.code.Architecture;
import jdk.vm.ci.code.BailoutException;
import jdk.vm.ci.code.TargetDescription;
import jdk.vm.ci.sparc.SPARC;
import org.junit.Assert;
import org.junit.Before;
import org.junit.Test;
import org.graalvm.compiler.asm.Label;
import org.graalvm.compiler.asm.sparc.SPARCAssembler;
import org.graalvm.compiler.asm.sparc.SPARCAssembler.ControlTransferOp;
import org.graalvm.compiler.asm.sparc.SPARCAssembler.SPARCOp;
import org.graalvm.compiler.asm.sparc.SPARCMacroAssembler;
import org.graalvm.compiler.test.GraalTest;
public class SPARCAssemblerTest extends GraalTest {
private SPARCMacroAssembler masm;
private static EnumSet<SPARC.CPUFeature> computeFeatures() {
EnumSet<SPARC.CPUFeature> features = EnumSet.noneOf(SPARC.CPUFeature.class);
features.add(SPARC.CPUFeature.CBCOND);
return features;
}
private static TargetDescription createTarget() {
final int stackFrameAlignment = 16;
final int implicitNullCheckLimit = 4096;
final boolean inlineObjects = true;
Architecture arch = new SPARC(computeFeatures());
return new TargetDescription(arch, true, stackFrameAlignment, implicitNullCheckLimit, inlineObjects);
}
@Before
public void setup() {
TargetDescription target = createTarget();
masm = new SPARCMacroAssembler(target);
}
@Test
public void testPatchCbcod() {
testControlTransferOp(l -> CBCOND.emit(masm, CarryClear, false, g0, 3, l), -512, 511);
}
@Test
public void testPatchBpcc() {
int maxDisp = 1 << 18;
testControlTransferOp(l -> BPCC.emit(masm, Xcc, Equal, ANNUL, PREDICT_NOT_TAKEN, l), -maxDisp,
maxDisp - 1);
}
@Test
public void testPatchBpr() {
int maxDisp = 1 << 15;
testControlTransferOp(l -> BPR.emit(masm, Rc_z, ANNUL, PREDICT_NOT_TAKEN, g0, l), -maxDisp,
maxDisp - 1);
}
@Test
public void testPatchBr() {
int maxDisp = 1 << 21;
testControlTransferOp(l -> BR.emit(masm, Equal, ANNUL, l), -maxDisp,
maxDisp - 1);
}
@Test(expected = BailoutException.class)
public void testControlTransferInvalidDisp() {
int cbcondInstruction = 0x12f83f60;
CBCOND.setDisp(cbcondInstruction, 0x2ff);
}
public void testControlTransferOp(Consumer<Label> opCreator, int minDisp, int maxDisp) {
doTestControlTransferOp(opCreator, minDisp, maxDisp);
try {
doTestControlTransferOp(opCreator, minDisp - 1, maxDisp);
fail("minDisp out of bound must not assemble correctly");
} catch (BailoutException e) {
// ignored
}
try {
doTestControlTransferOp(opCreator, minDisp, maxDisp + 1);
fail("maxDisp out of bound must not assemble correctly");
} catch (BailoutException e) {
// ignored
}
}
/**
* Assembles the control transfer op and then verifies the expected disp value against the disp
* field provided by the disassembler.
*/
public void doTestControlTransferOp(Consumer<Label> opCreator, int minDisp, int maxDisp) {
Label lBack = new Label();
Label lForward = new Label();
masm.bind(lBack);
for (int i = 0; i < -minDisp; i++) {
masm.nop();
}
int backPos = masm.position();
opCreator.accept(lBack);
masm.nop(); // Nop required to separate the two control transfer instructions
int forwardPos = masm.position();
opCreator.accept(lForward);
for (int i = 0; i < maxDisp - 1; i++) {
masm.nop();
}
masm.bind(lForward);
int condBack = masm.getInt(backPos);
SPARCOp backOp = SPARCAssembler.getSPARCOp(condBack);
int dispBack = ((ControlTransferOp) backOp).getDisp(condBack);
Assert.assertEquals(minDisp, dispBack);
int condFwd = masm.getInt(forwardPos);
SPARCOp fwdOp = SPARCAssembler.getSPARCOp(condFwd);
int dispFwd = ((ControlTransferOp) fwdOp).getDisp(condFwd);
Assert.assertEquals(maxDisp, dispFwd);
}
}