/*
* Copyright (C) 2014 The Android Open Source Project
*
* Licensed under the Apache License, Version 2.0 (the "License");
* you may not use this file except in compliance with the License.
* You may obtain a copy of the License at
*
* http://www.apache.org/licenses/LICENSE-2.0
*
* Unless required by applicable law or agreed to in writing, software
* distributed under the License is distributed on an "AS IS" BASIS,
* WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
* See the License for the specific language governing permissions and
* limitations under the License.
*/
import java.lang.reflect.InvocationTargetException;
import java.lang.reflect.Method;
import java.lang.reflect.Modifier;
import java.util.LinkedList;
import java.util.List;
/**
* Smali excercise.
*/
public class Main {
private static class TestCase {
public TestCase(String testName, String testClass, String testMethodName, Object[] values,
Throwable expectedException, Object expectedReturn,
boolean checkCompiled) {
this.testName = testName;
this.testClass = testClass;
this.testMethodName = testMethodName;
this.values = values;
this.expectedException = expectedException;
this.expectedReturn = expectedReturn;
this.checkCompiled = checkCompiled;
}
public TestCase(String testName, String testClass, String testMethodName, Object[] values,
Throwable expectedException, Object expectedReturn) {
this(testName, testClass, testMethodName, values, expectedException,
expectedReturn, false);
}
String testName;
String testClass;
String testMethodName;
Object[] values;
Throwable expectedException;
Object expectedReturn;
boolean checkCompiled;
}
private List<TestCase> testCases;
public Main() {
// Create the test cases.
testCases = new LinkedList<TestCase>();
testCases.add(new TestCase("PackedSwitch", "PackedSwitch", "packedSwitch",
new Object[]{123}, null, 123));
testCases.add(new TestCase("PackedSwitch key INT_MAX", "PackedSwitch",
"packedSwitch_INT_MAX", new Object[]{123}, null, 123));
testCases.add(new TestCase("PackedSwitch key overflow", "b_24399945",
"packedSwitch_overflow", new Object[]{123}, new VerifyError(), null));
testCases.add(new TestCase("b/17790197", "B17790197", "getInt", null, null, 100));
testCases.add(new TestCase("FloatBadArgReg", "FloatBadArgReg", "getInt",
new Object[]{100}, null, 100));
testCases.add(new TestCase("negLong", "negLong", "negLong", null, null, 122142L));
testCases.add(new TestCase("sameFieldNames", "sameFieldNames", "getInt", null, null, 7));
testCases.add(new TestCase("b/18380491", "B18380491ConcreteClass", "foo",
new Object[]{42}, null, 42));
testCases.add(new TestCase("invoke-super abstract", "B18380491ConcreteClass", "foo",
new Object[]{0}, new AbstractMethodError(), null));
testCases.add(new TestCase("BadCaseInOpRegRegReg", "BadCaseInOpRegRegReg", "getInt", null,
null, 2));
testCases.add(new TestCase("CmpLong", "CmpLong", "run", null, null, 0));
testCases.add(new TestCase("FloatIntConstPassing", "FloatIntConstPassing", "run", null,
null, 2));
testCases.add(new TestCase("b/18718277", "B18718277", "getInt", null, null, 0));
testCases.add(new TestCase("b/18800943 (1)", "B18800943_1", "n_a", null, new VerifyError(),
0));
testCases.add(new TestCase("b/18800943 (2)", "B18800943_2", "n_a", null, new VerifyError(),
0));
testCases.add(new TestCase("MoveExc", "MoveExc", "run", null, new ArithmeticException(),
null));
testCases.add(new TestCase("MoveExceptionOnEntry", "MoveExceptionOnEntry",
"moveExceptionOnEntry", new Object[]{0}, new VerifyError(), null));
testCases.add(new TestCase("EmptySparseSwitch", "EmptySparseSwitch", "run", null, null,
null));
testCases.add(new TestCase("b/20224106", "B20224106", "run", null, new VerifyError(),
0));
testCases.add(new TestCase("b/17410612", "B17410612", "run", null, new VerifyError(),
0));
testCases.add(new TestCase("b/21863767", "B21863767", "run", null, null,
null));
testCases.add(new TestCase("b/21873167", "B21873167", "test", null, null, null));
testCases.add(new TestCase("b/21614284", "B21614284", "test", new Object[] { null },
new NullPointerException(), null));
testCases.add(new TestCase("b/21902684", "B21902684", "test", null, null, null));
testCases.add(new TestCase("b/22045582", "B22045582", "run", null, new VerifyError(),
0));
testCases.add(new TestCase("b/22045582 (int)", "B22045582Int", "run", null,
new VerifyError(), 0));
testCases.add(new TestCase("b/22045582 (wide)", "B22045582Wide", "run", null,
new VerifyError(), 0));
testCases.add(new TestCase("b/21886894", "B21886894", "test", null, new VerifyError(),
null));
testCases.add(new TestCase("b/22080519", "B22080519", "run", null,
new NullPointerException(), null));
testCases.add(new TestCase("b/21645819", "B21645819", "run", new Object[] { null },
null, null));
testCases.add(new TestCase("b/22244733", "B22244733", "run", new Object[] { "abc" },
null, "abc"));
testCases.add(new TestCase("b/22331663", "B22331663", "run", new Object[] { false },
null, null));
testCases.add(new TestCase("b/22331663 (pass)", "B22331663Pass", "run",
new Object[] { false }, null, null));
testCases.add(new TestCase("b/22331663 (fail)", "B22331663Fail", "run",
new Object[] { false }, new VerifyError(), null));
testCases.add(new TestCase("b/22411633 (1)", "B22411633_1", "run", new Object[] { false },
null, null));
testCases.add(new TestCase("b/22411633 (2)", "B22411633_2", "run", new Object[] { false },
new VerifyError(), null));
testCases.add(new TestCase("b/22411633 (3)", "B22411633_3", "run", new Object[] { false },
null, null));
testCases.add(new TestCase("b/22411633 (4)", "B22411633_4", "run", new Object[] { false },
new VerifyError(), null));
testCases.add(new TestCase("b/22411633 (5)", "B22411633_5", "run", new Object[] { false },
null, null));
testCases.add(new TestCase("b/22777307", "B22777307", "run", null, new InstantiationError(),
null));
testCases.add(new TestCase("b/22881413", "B22881413", "run", null, null, null));
testCases.add(new TestCase("b/20843113", "B20843113", "run", null, null, null));
testCases.add(new TestCase("b/23201502 (float)", "B23201502", "runFloat", null,
new NullPointerException(), null));
testCases.add(new TestCase("b/23201502 (double)", "B23201502", "runDouble", null,
new NullPointerException(), null));
testCases.add(new TestCase("b/23300986", "B23300986", "runAliasAfterEnter",
new Object[] { new Object() }, null, null));
testCases.add(new TestCase("b/23300986 (2)", "B23300986", "runAliasBeforeEnter",
new Object[] { new Object() }, null, null));
testCases.add(new TestCase("b/23502994 (if-eqz)", "B23502994", "runIF_EQZ",
new Object[] { new Object() }, null, null));
testCases.add(new TestCase("b/23502994 (check-cast)", "B23502994", "runCHECKCAST",
new Object[] { "abc" }, null, null));
testCases.add(new TestCase("b/25494456", "B25494456", "run", null, new VerifyError(),
null));
testCases.add(new TestCase("b/21869691", "B21869691A", "run", null,
new IncompatibleClassChangeError(), null));
testCases.add(new TestCase("b/26143249", "B26143249", "run", null,
new AbstractMethodError(), null));
testCases.add(new TestCase("b/26579108", "B26579108", "run", null, new VerifyError(),
null));
testCases.add(new TestCase("b/26594149 (1)", "B26594149_1", "run", null, new VerifyError(),
null));
testCases.add(new TestCase("b/26594149 (2)", "B26594149_2", "run", null, new VerifyError(),
null));
testCases.add(new TestCase("b/26594149 (3)", "B26594149_3", "run", null, new VerifyError(),
null));
testCases.add(new TestCase("b/26594149 (4)", "B26594149_4", "run", null, new VerifyError(),
null));
testCases.add(new TestCase("b/26594149 (5)", "B26594149_5", "run", null, null, null));
testCases.add(new TestCase("b/26594149 (6)", "B26594149_6", "run", null, new VerifyError(),
null));
testCases.add(new TestCase("b/26594149 (7)", "B26594149_7", "run", null, new VerifyError(),
null));
testCases.add(new TestCase("b/26594149 (8)", "B26594149_8", "run", null, new VerifyError(),
null));
testCases.add(new TestCase("b/27148248", "B27148248", "run", null, new VerifyError(),
null));
testCases.add(new TestCase("b/26965384", "B26965384", "run", null, new VerifyError(),
null));
testCases.add(new TestCase("b/27799205 (1)", "B27799205Helper", "run1", null, null, null));
testCases.add(new TestCase("b/27799205 (2)", "B27799205Helper", "run2", null,
new VerifyError(), null));
testCases.add(new TestCase("b/27799205 (3)", "B27799205Helper", "run3", null,
new VerifyError(), null));
testCases.add(new TestCase("b/27799205 (4)", "B27799205Helper", "run4", null,
new VerifyError(), null));
testCases.add(new TestCase("b/27799205 (5)", "B27799205Helper", "run5", null,
new VerifyError(), null));
testCases.add(new TestCase("b/27799205 (6)", "B27799205Helper", "run6", null, null, null));
testCases.add(new TestCase("b/28187158", "B28187158", "run", new Object[] { null },
new VerifyError(), null));
testCases.add(new TestCase("b/29778499 (1)", "B29778499_1", "run", null,
new IncompatibleClassChangeError(), null));
testCases.add(new TestCase("b/29778499 (2)", "B29778499_2", "run", null,
new IncompatibleClassChangeError(), null));
testCases.add(new TestCase("b/30458218", "B30458218", "run", null, null, null));
testCases.add(new TestCase("b/31313170", "B31313170", "run", null, null, 0));
testCases.add(new TestCase("ConstClassAliasing", "ConstClassAliasing", "run", null, null,
null, true));
testCases.add(new TestCase("b/121191566", "B121191566", "run", new Object[] { "a" }, null,
true, false));
}
public void runTests() {
for (TestCase tc : testCases) {
System.out.println(tc.testName);
try {
runTest(tc);
} catch (Exception exc) {
exc.printStackTrace(System.out);
}
}
}
private void runTest(TestCase tc) throws Exception {
Exception errorReturn = null;
try {
Class<?> c = Class.forName(tc.testClass);
Method[] methods = c.getDeclaredMethods();
// For simplicity we assume that test methods are not overloaded. So searching by name
// will give us the method we need to run.
Method method = null;
for (Method m : methods) {
if (m.getName().equals(tc.testMethodName)) {
method = m;
break;
}
}
if (method == null) {
errorReturn = new IllegalArgumentException("Could not find test method " +
tc.testMethodName + " in class " +
tc.testClass + " for test " +
tc.testName);
} else {
Object retValue;
if (Modifier.isStatic(method.getModifiers())) {
retValue = method.invoke(null, tc.values);
} else {
retValue = method.invoke(method.getDeclaringClass().newInstance(), tc.values);
}
if (tc.expectedException != null) {
errorReturn = new IllegalStateException("Expected an exception in test " +
tc.testName);
} else if (tc.expectedReturn == null && retValue != null) {
errorReturn = new IllegalStateException("Expected a null result in test " +
tc.testName + " got " + retValue);
} else if (tc.expectedReturn != null &&
(retValue == null || !tc.expectedReturn.equals(retValue))) {
errorReturn = new IllegalStateException("Expected return " +
tc.expectedReturn +
", but got " + retValue);
} else if (tc.checkCompiled && compiledWithOptimizing() && !isAotVerified(c)) {
errorReturn = new IllegalStateException("Expected method " + method.getName() +
" of class " + c.getName() +
" be verified in compile-time in test " + tc.testName);
} else {
// Expected result, do nothing.
}
}
} catch (Throwable exc) {
if (tc.expectedException == null) {
errorReturn = new IllegalStateException("Did not expect exception", exc);
} else if (exc instanceof InvocationTargetException && exc.getCause() != null &&
exc.getCause().getClass().equals(tc.expectedException.getClass())) {
// Expected exception is wrapped in InvocationTargetException.
} else if (!tc.expectedException.getClass().equals(exc.getClass())) {
errorReturn = new IllegalStateException("Expected " +
tc.expectedException.getClass().getName() +
", but got " + exc.getClass(), exc);
} else {
// Expected exception, do nothing.
}
} finally {
if (errorReturn != null) {
throw errorReturn;
}
}
}
public static void main(String[] args) throws Exception {
System.loadLibrary(args[0]);
Main main = new Main();
main.runTests();
System.out.println("Done!");
}
private native static boolean isAotVerified(Class<?> cls);
private native static boolean compiledWithOptimizing();
}