diff options
author | 2015-05-12 10:37:59 +0100 | |
---|---|---|
committer | 2015-05-12 10:37:59 +0100 | |
commit | dacf601ba2535609625defe8288343ea3b56cc24 (patch) | |
tree | 1ab6ff891cf8ccd59dc0d9dae84bc579c83da8a8 | |
parent | b6c37c99b1f8b4a6b047076d71036af08f5d2fd1 (diff) |
ART: Enable Checker annotations in smali files
Change-Id: I8eeb76154b5aa5506fc477d38cb56cae168cdc90
-rw-r--r-- | test/468-checker-bool-simplifier-regression/smali/TestCase.smali | 13 | ||||
-rw-r--r-- | test/468-checker-bool-simplifier-regression/src/Main.java | 13 | ||||
-rwxr-xr-x | tools/checker.py | 3 |
3 files changed, 15 insertions, 14 deletions
diff --git a/test/468-checker-bool-simplifier-regression/smali/TestCase.smali b/test/468-checker-bool-simplifier-regression/smali/TestCase.smali index f36304d333..6ff43910d5 100644 --- a/test/468-checker-bool-simplifier-regression/smali/TestCase.smali +++ b/test/468-checker-bool-simplifier-regression/smali/TestCase.smali @@ -18,6 +18,19 @@ .field public static value:Z +# CHECK-START: boolean TestCase.testCase() boolean_simplifier (before) +# CHECK-DAG: [[Const0:i\d+]] IntConstant 0 +# CHECK-DAG: [[Const1:i\d+]] IntConstant 1 +# CHECK-DAG: [[Value:z\d+]] StaticFieldGet +# CHECK-DAG: If [ [[Value]] ] +# CHECK-DAG: [[Phi:i\d+]] Phi [ [[Const1]] [[Const0]] ] +# CHECK-DAG: Return [ [[Phi]] ] + +# CHECK-START: boolean TestCase.testCase() boolean_simplifier (after) +# CHECK-DAG: [[Value:z\d+]] StaticFieldGet +# CHECK-DAG: [[Not:z\d+]] BooleanNot [ [[Value]] ] +# CHECK-DAG: Return [ [[Not]] ] + .method public static testCase()Z .registers 2 sget-boolean v0, LTestCase;->value:Z diff --git a/test/468-checker-bool-simplifier-regression/src/Main.java b/test/468-checker-bool-simplifier-regression/src/Main.java index d45f3bfa16..8fe05c7a8a 100644 --- a/test/468-checker-bool-simplifier-regression/src/Main.java +++ b/test/468-checker-bool-simplifier-regression/src/Main.java @@ -18,19 +18,6 @@ import java.lang.reflect.*; public class Main { - // CHECK-START: boolean TestCase.testCase() boolean_simplifier (before) - // CHECK-DAG: [[Const0:i\d+]] IntConstant 0 - // CHECK-DAG: [[Const1:i\d+]] IntConstant 1 - // CHECK-DAG: [[Value:z\d+]] StaticFieldGet - // CHECK-DAG: If [ [[Value]] ] - // CHECK-DAG: [[Phi:i\d+]] Phi [ [[Const1]] [[Const0]] ] - // CHECK-DAG: Return [ [[Phi]] ] - - // CHECK-START: boolean TestCase.testCase() boolean_simplifier (after) - // CHECK-DAG: [[Value:z\d+]] StaticFieldGet - // CHECK-DAG: [[Not:z\d+]] BooleanNot [ [[Value]] ] - // CHECK-DAG: Return [ [[Not]] ] - public static boolean runTest(boolean input) throws Exception { Class<?> c = Class.forName("TestCase"); Method m = c.getMethod("testCase"); diff --git a/tools/checker.py b/tools/checker.py index 0bce236223..08ad57b798 100755 --- a/tools/checker.py +++ b/tools/checker.py @@ -746,7 +746,8 @@ def FindCheckFiles(path): foundFiles = [] for root, dirs, files in os.walk(path): for file in files: - if os.path.splitext(file)[1] == ".java": + extension = os.path.splitext(file)[1] + if extension in [".java", ".smali"]: foundFiles.append(os.path.join(root, file)) return foundFiles else: |