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.