Include some Checker tests in automated executions.
Enable the following tests, now that the ART run-test TradeFed test
runner properly passes the ART test compiler option
(`--compile-art-test`) to ART binaries (see
https://android-review.googlesource.com/1876736):
* `1004-checker-volatile-ref-load`
* `411-checker-hdiv-hrem-const`
* `450-checker-types`
* `476-checker-ctor-fence-redun-elim`
* `478-checker-clinit-check-pruning`
* `482-checker-loop-back-edge-use`
* `526-checker-caller-callee-regs`
* `530-checker-lse2`
* `530-checker-lse`
* `551-checker-shifter-operand`
* `552-checker-sharpening`
* `562-checker-no-intermediate`
* `583-checker-zero`
* `639-checker-code-sinking`
Test: atest -a \
art-run-test-1004-checker-volatile-ref-load \
art-run-test-411-checker-hdiv-hrem-const \
art-run-test-450-checker-types \
art-run-test-476-checker-ctor-fence-redun-elim \
art-run-test-478-checker-clinit-check-pruning \
art-run-test-482-checker-loop-back-edge-use \
art-run-test-526-checker-caller-callee-regs \
art-run-test-530-checker-lse2 \
art-run-test-530-checker-lse \
art-run-test-551-checker-shifter-operand \
art-run-test-552-checker-sharpening \
art-run-test-562-checker-no-intermediate \
art-run-test-583-checker-zero \
art-run-test-639-checker-code-sinking
Bug: 162408889
Change-Id: I8daec137ba2d139544273035bdaf9c067b9f8a6d
diff --git a/test/utils/regen-test-files b/test/utils/regen-test-files
index 92026b2..de63866 100755
--- a/test/utils/regen-test-files
+++ b/test/utils/regen-test-files
@@ -83,7 +83,7 @@
# Known failing ART run-tests.
# TODO(rpl): Investigate and address the causes of failures.
-known_failing_tests = [
+known_failing_tests = frozenset([
"004-SignalTest",
"004-UnsafeTest",
"030-bad-finalizer",
@@ -95,7 +95,6 @@
"086-null-super",
"087-gc-after-link",
"096-array-copy-concurrent-gc",
- "1004-checker-volatile-ref-load",
"115-native-bridge",
"116-nodex2oat",
"1336-short-finalizer-timeout",
@@ -114,7 +113,6 @@
"177-visibly-initialized-deadlock",
"178-app-image-native-method",
"179-nonvirtual-jni",
- "450-checker-types",
"674-HelloWorld-Dm",
"1900-track-alloc",
"1901-get-bytecodes",
@@ -222,6 +220,7 @@
"2037-thread-name-inherit",
"2235-JdkUnsafeTest",
"305-other-fault-handler",
+ # 449-checker-bce: Dependency on `libarttest`.
"449-checker-bce",
"454-get-vreg",
"461-get-reference-vreg",
@@ -242,9 +241,11 @@
"616-cha-native",
"616-cha-regression-proxy-method",
"616-cha",
+ # 623-checker-loop-regressions: Dependency on `libarttest`.
"623-checker-loop-regressions",
"626-set-resolved-string",
"629-vdex-speed",
+ # 638-checker-inline-cache-intrinsic: Custom `run` script + dependency on `libarttest`.
"638-checker-inline-cache-intrinsic",
"642-fp-callees",
"647-jni-get-field-id",
@@ -257,17 +258,21 @@
"667-jit-jni-stub",
"674-hotness-compiled",
"679-locks",
+ # 680-checker-deopt-dex-pc-0: Dependency on `libarttest`.
"680-checker-deopt-dex-pc-0",
"685-deoptimizeable",
"687-deopt",
"689-zygote-jit-deopt",
"693-vdex-inmem-loader-evict",
+ # 707-checker-invalid-profile: Custom `run` script + custom `check` script.
"707-checker-invalid-profile",
"708-jit-cache-churn",
"717-integer-value-of",
"720-thread-priority",
# 728-imt-conflict-zygote: Custom `run` script + dependency on `libarttest`.
"728-imt-conflict-zygote",
+ # 729-checker-polymorphic-intrinsic: Custom `run` script.
+ "729-checker-polymorphic-intrinsic",
# 730-cha-deopt: Fails with:
#
# Test command execution failed with status FAILED: CommandResult: exit code=1, out=, err=Exception in thread "main" java.lang.ArrayIndexOutOfBoundsException: length=0; index=0
@@ -348,124 +353,8 @@
"995-breakpoints-throw",
"996-breakpoint-obsolete",
"997-single-step",
-]
-
-# More known failing tests, related to Checker.
-# TODO(rpl): Investigate and address the causes of failures.
-known_failing_tests.extend([
- # Fails (on flame-userdebug) with:
- #
- # java.lang.RuntimeException: Error running Checker
- # error: Statement could not be matched starting from line 564575
- # RemTest.java:289: lsr x{{\d+}}, x{{\d+}}, #32
- # ISA_FEATURES = {'a53': True, 'crc': True, 'lse': False, 'fp16': False, 'dotprod': False, 'sve': False}
- #
- "411-checker-hdiv-hrem-const",
- # Fails (on aosp_cf_x86_phone-userdebug) with:
- #
- # Error while running Checker: java.lang.RuntimeException: Error running Checker command:
- # error: Statement could not be matched starting from line 317325
- # Main.java:296: InvokeStaticOrDirect
- # ISA_FEATURES = {'ssse3': True, 'sse4': False}
- # NewInstance = l6
- #
- "476-checker-ctor-fence-redun-elim",
- # Fails (on aosp_cf_x86_phone-userdebug) with:
- #
- # Error while running Checker: java.lang.RuntimeException: Error running Checker command:
- # error: Statement could not be matched starting from line 264874
- # Main.java:77: InvokeStaticOrDirect [{{([ij]\d+,)?}}<<ClinitCheck>>]
- # ClinitCheck = l4
- # ISA_FEATURES = {'ssse3': True, 'sse4': False}
- # LoadClass = l3
- #
- "478-checker-clinit-check-pruning",
- # Fails (on aosp_cf_x86_phone-userdebug) with:
- #
- # Error while running Checker: java.lang.RuntimeException: Error running Checker command:
- # error: Statement could not be matched starting from line 124181
- # Main.java:178: <<Arg:z\d+>> StaticFieldGet liveness:<<ArgLiv:\d+>> ranges:{[<<ArgLiv>>,<<ArgUse:\d+>>)} uses:[<<ArgUse>>]
- # ISA_FEATURES = {'ssse3': True, 'sse4': False}
- #
- "482-checker-loop-back-edge-use",
- # Fails (on aosp_cf_x86_phone-userdebug) with:
- #
- # Error while running Checker: java.lang.RuntimeException: Error running Checker command:
- # error: Statement could not be matched starting from line 7333
- # Main.java:66: <<t1:i\d+>> Add [<<Arg>>,<<Const1>>] {{.*->e(bp|si|di)}}
- # Arg = i0
- # Const1 = i3
- # ISA_FEATURES = {'ssse3': True, 'sse4': False}
- #
- "526-checker-caller-callee-regs",
- # Fails (on aosp_cf_x86_phone-userdebug) with:
- #
- # Error while running Checker: java.lang.RuntimeException: Error running Checker command:
- # error: NOT statement matched line 379347
- # Main.java:538: NewInstance
- # ISA_FEATURES = {'ssse3': True, 'sse4': False}
- #
- "530-checker-lse",
- # Fails (on cf_x86_phone-userdebug_coverage) with:
- #
- # error: NOT statement matched line 117078
- # Main.java:108: NewInstance
- # ISA_FEATURES = {'ssse3': True, 'sse4': False}
- #
- "530-checker-lse2",
- # Fails (on aosp_cf_x86_phone-userdebug) with:
- #
- # Error while running Checker: java.lang.RuntimeException: Error running Checker command:
- # error: NOT statement matched line 238857
- # Main.java:650: Shl
- # ISA_FEATURES = {'ssse3': True, 'sse4': False}
- #
- "551-checker-shifter-operand",
- # Fails (on aosp_cf_x86_phone-userdebug) with:
- #
- # Error while running Checker: java.lang.RuntimeException: Error running Checker command:
- # error: Statement could not be matched starting from line 158575
- # Main.java:97: X86ComputeBaseMethodAddress
- # ISA_FEATURES = {'ssse3': True, 'sse4': False}
- #
- "552-checker-sharpening",
- # Fails (on flame-userdebug) with:
- #
- # java.lang.RuntimeException: Error running Checker
- # error: Statement could not be matched starting from line 11964
- # Main.java:59: <<ConstM42:i\d+>> IntConstant -42
- # ISA_FEATURES = {'a53': True, 'crc': True, 'lse': False, 'fp16': False, 'dotprod': False, 'sve': False}
- #
- #
- "562-checker-no-intermediate",
- # Fails (on cf_x86_phone-userdebug_coverage) with:
- #
- # error: Statement could not be matched starting from line 5260
- # Main.java:24: InstanceFieldSet
- # ISA_FEATURES = {'ssse3': True, 'sse4': False}
- #
- "583-checker-zero",
- # Fails (on aosp_cf_x86_phone-userdebug) with:
- #
- # Error while running Checker: java.lang.RuntimeException: Error running Checker command:
- # error: Statement could not be matched starting from line 149082
- # Main.java:312: <<LoadClass:l\d+>> LoadClass class_name:Main
- # ISA_FEATURES = {'ssse3': True, 'sse4': False}
- # Int42 = i8
- # Int43 = i10
- #
- "639-checker-code-sinking",
- # Fails (on aosp_cf_x86_phone-userdebug) with:
- #
- # error: Statement could not be matched starting from line 12527
- # Main.java:24: InvokeVirtual method_name:java.lang.StringBuilder.toString intrinsic:StringBuilderToString
- # ISA_FEATURES = {'ssse3': True, 'sse4': False}
- #
- "729-checker-polymorphic-intrinsic",
])
-known_failing_tests = frozenset(known_failing_tests)
-
# Percentage of ART run-tests (among the ones expected to succeed) to include in
# the `presubmit` test group in `TEST_MAPPING` file -- the rest will be included
# in `postsubmit` test group.