Merge "Revert "Disable 626-const-class-linking for JIT.""

Merge "Fix incorrect string hash value extension during cross-compilation."

Merge "Limit Jack threads during tests"

Limit Jack threads during tests

In default mode, run Jack with 4 threads to help reduce memory
footprint and thread contention. These are the same settings than
the Android build.

For the buildbot (where the Jack server is disabled), run Jack in
single-threaded mode to reduce the global memory consumption.

Bug: 31737153
Test: make -j32 test-art-host
Change-Id: I6a14efce92ea18dba008e6daa26cd6403e5eb503

Merge "ART: Remove dequicken map from VerifiedMethod"

ART: Remove dequicken map from VerifiedMethod

Remove now unused VerifiedMethod's dequicken map. Follow-up to
c51c7ca7a779563d153c137c6bf01c3ea532a6c9.

Results on a large well-known app in speed compile with -j4:

Before:
 dex2oat took [...] native alloc=84MB [...] swap=208MB [...]
After:
 dex2oat took [...] native alloc=76MB [...] swap=208MB [...]

Bug: 34053922
Test: m clean-oat-host && m test-art-host
Change-Id: Ie95fd297299a0f5fac0c8c702773ee8372f662b6

Merge "Revert "Revert "Avoid scratch register exhaustion during ARM64 stack slot moves."""

Revert "Revert "Avoid scratch register exhaustion during ARM64 stack slot moves.""

This reverts commit 122ceb492f37e97d022cba2221a87368f1847f5f.

Test: m test-art-target on ARM64, with and without read barriers/heap poisoning.
Bug: 32545705
Change-Id: I4b447d762082eea8edfabeb070317d274e2f5bd0

Merge "Support non-exact upper bound of HBoundType."

Merge "Do not record dependencies on arrays."

Merge "MIPS64: Drop redundant sign-extensions in integer conversions"

Merge "MIPS32: Don't always do a null test in MarkGCCard"

Merge "MIPS64: Improve integer comparison with constants"

Merge changes from topic 'VIXLUpdate'

* changes:
  ARM: VIXL32: Use a default code buffer capacity of 1Kb.
  ART: VIXL32: Fix assembler test after VIXL update.

Merge "MIPS64: Implement branchless HCondition for floats"

Merge "Disable libcore test that requires IPv6"

Disable libcore test that requires IPv6

Test: N/A
Bug: 25178637
Bug: 34038136
Change-Id: I14c7451d269ee8f1163369d8c0d2209498466b66

Merge "Clean up VerifiedMethod."

Clean up VerifiedMethod.

Remove unused methods, and devirt map.

Results on a large well-known app in speed compile with -j4:

Before:
 dex2oat took [...] native alloc=149MB [...] swap=208MB (218103808B)
After:
 dex2oat took [...] native alloc=84MB [...] swap=208MB (218103808B)

Bug: 34053922
Test: m clean-oat-host && m test-art-host
Change-Id: I0791c1e4ec7a98ae3c98321c582974db8e26617d

Merge "Revert "Avoid scratch register exhaustion during ARM64 stack slot moves.""

Revert "Avoid scratch register exhaustion during ARM64 stack slot moves."

Checker test fails.
Bug: 32545705

This reverts commit 4ec76d28f0f808117272134347abf828eea80b91.

Change-Id: Ief14978596341399404c504ec4ca6b68c54fd63c

Merge "MIPS64: Align register spills on 8-byte boundaries in slow paths"

Merge "Avoid scratch register exhaustion during ARM64 stack slot moves."

Avoid scratch register exhaustion during ARM64 stack slot moves.

On ARM64, do not limit the selection of a scratch register
used in a move between two stack slots (or between two
double stack slots) to VIXL's floating-point register pool,
as it contains only one register (D31) and can be exhausted
in some rare cases. Instead, query both the core and the FP
register pools.

Add a regression run-test (626-checker-arm64-scratch-register).

Test: m test-art-target (on ARM64)
Bug: 32545705
Change-Id: I6203a4340e3c8b4f4879c07ed1be4c433c311c0f

Merge "MIPS64: java.lang.String.getChars"

MIPS64: Implement branchless HCondition for floats

Test: mma test-art-target-run-test64 in QEMU

Change-Id: I595b5b7ddf9ebb19e872ed85f2e4098a835d9214

MIPS64: Drop redundant sign-extensions in integer conversions

Test: mma test-art-target-run-test64 in QEMU

Change-Id: I1dc7923d89528964771ddca288c5016d729cfb05

MIPS64: Improve integer comparison with constants

Test: mma test-art-target-run-test64 in QEMU

Change-Id: Ib29855a3e268e0333602f47185c520c6cfb16b59

MIPS32: Don't always do a null test in MarkGCCard

Test: mma test-art-target-run-test on CI20

Change-Id: I38fac492bb76b06b9cffc9be16944fb22ed2db70

Merge "Revert "Tests on FP Math.abs()""

MIPS64: Align register spills on 8-byte boundaries in slow paths

64-bit loads/stores would otherwise be split into pairs of
32-bit ones.

Test: booted MIPS64 (with 2nd arch MIPS32R6) in QEMU
Test: test-art-target-run-test-optimizing (MIPS64R6) in QEMU

Change-Id: I4846d11b52b71507dfd5ca2e27b3f2a5befcc58e

Revert "Tests on FP Math.abs()"

This reverts commit b67877704edf8a32e71ce825d7ab4703be39f8ce.

On  art-relocate-no-patchoat (linux)
we saw

#################### info
# Tests on floating-point Math.abs.
#################### diffs
--- expected.txt 2016-12-22 21:33:16.796152568 +0000
+++ output.txt 2016-12-22 21:44:16.685738052 +0000
@@ -1 +1,3 @@
-passed
+Exception in thread "main" java.lang.Error: Expected: 0x7f800001, found: 0x7fc00001
+ at Main.expectEquals32(Main.java:140)
+ at Main.main(Main.java:85)
####################

Change-Id: If8d1bce9d4d20668661af82bbd08940787cd8252

Merge "Tests on FP Math.abs()"

ARM: VIXL32: Use a default code buffer capacity of 1Kb.

Test: mma test-art-host && mma test-art-target

Change-Id: I238c40e775338b63cbdb8868c09d0555b0c3b077

ART: VIXL32: Fix assembler test after VIXL update.

Veneer pool is emitted 4 bytes later, so the expected output for
the test has been adjusted.

Test: test-art-host
Test: test-art-target
Change-Id: I3d656224fd4151904b8096486adecb6ef1eafea6

Merge "Refactored compilation on host to own method. Added dx option."

Do not record dependencies on arrays.

We do not record dependencies on arrays with component types in
the compiled DEX files, as the only thing that might change is their
access flags. If we were to change these flags in a breaking way, we would
need to enforce full verification again anyways.

Saves on doing type resolution during vdex update.

Test: test-art-host
Change-Id: Ib85e172a5cb99c2999eed8b6b37390aa6b5cac37

Support non-exact upper bound of HBoundType.

It used to not affect the analysis, but in order to recognize:
if (foo.getClass() == Foo.class)

We now need to differentiate between an exact and a non-exact
upper bound. Until now the "exact" flag on upper bounds was
there for convenience:
1) re-use of the same data structure
2) we mostly cared about HLoadClass as upper bounds.

Test: test-art-host
Test: master build with prebuilts
Test: apk scanner
Change-Id: I3a1f5e4d489a715a4545becee4c8c80f7d152fc0

Merge "Update vdex in place if input_vdex_fd == output_vdex_fd"

Merge "Point optimizations for vdex."

Merge "Optimize OatWriter when we don't compile any method."

Merge "Remove soon to be obsolete call kinds for direct calls."

Point optimizations for vdex.

- Do not record assignability due to not optimized CHECKCAST.
- Do not record that j.l.Object must not be assignable to other types.
- Chase the super class boundary to avoid recording a dependency
  on a local class. This avoids doing type resolution of that class when
  verifying the VerifierDeps.

Test: test-art-host
bug: 30937355
Change-Id: Ibcee205451f23958c759ddcca7f88fe9003d37a9

Optimize OatWriter when we don't compile any method.

- Don't write any quickening info.
- Don't visit methods.

Saves ~20% of compilation times.

Test: test-art-host

Change-Id: Ib18fd06c0ca42308e1d81401de0ee3e6297de0ce

Update vdex in place if input_vdex_fd == output_vdex_fd

Test: test-art-host
bug: 30937355
Change-Id: Ib8180d67996faec518d9092725b5de00d4dba9f6

Merge "Disable 080-oom-fragmentation."

Merge "Revert "Revert "Revert "Basic obsolete methods support""""

Revert "Revert "Revert "Basic obsolete methods support"""

Fails in tracing mode

Bug: 32369913
Bug: 33630159

This reverts commit ce77fc0e7f60a15354bb20c356537cbf8b53b722.

Change-Id: I1bdcf6ad467f2e31f9c5d0c3c987b90a4f5efc69

Merge "Revert "Create test for field access in obsolete methods.""

Revert "Create test for field access in obsolete methods."

Fails on ndebug.

This reverts commit 322214405bf43684dbbde2fce549b2dad53fb04a.

Change-Id: I6a6c6c4bfb230eef1b7c4cb35f7e8051561d9e78

Disable 080-oom-fragmentation.

bug:33795328
Test: test-art-host
Change-Id: I1aa87d8564c930f5ad5f8d5c4ac75f432cb6e7e7

Merge "Revert "Cleanup jvmti tests""

Revert "Cleanup jvmti tests"

Breaks ndebug.

This reverts commit ca5b9dccced35a2dbf9626d92d3a44886aee097b.

Change-Id: I1f45fa43f554e9796f397b2f9f111689c3845692

Refactored compilation on host to own method. Added dx option.

Test: jfuzzing itself
Bug: 31267855
Change-Id: I9224075ea17b57c8c36b74fa4b9e401e26d3c96e

Merge "Temporarily disable tests 914, 915, 917, & 918 on JIT."

Temporarily disable tests 914, 915, 917, & 918 on JIT.

Since these tests are very sensitive to the positioning of
runtime methods due to bugs we will temporarily disable them.

Bug: 33630159
Bug: 33616143
Test: ART_TEST_JIT=true mma -j40 test-art-host
Change-Id: I38795029eed2ea8416d24a259f3a7925d95684c6

Revert "Disable 626-const-class-linking for JIT."

The failures were presumably fixed by
    https://android-review.googlesource.com/314764

Test: m ART_TEST_JIT=true test-art-host-run-test-626-const-class-linking
Bug: 33567581

This reverts commit 0392920cb9f3dc76cbc9d2339b9ca00ba8a8269c.

Change-Id: I13ab17269f456580d57ca090ff44e8d087d770d4

Tests on FP Math.abs()

Rationale:
As a "quality of implementation" rather than pure "spec compliance"
we require that Math.abs() clears the sign bit (but changes nothing
else) for all numbers, including NaN.

These tests ensure that remains the case.

**NOTE**
This CL depends on the pending libcore change
(https://android-review.googlesource.com/#/c/316368/).

Test: test-art-host
Bug: 30758343

Change-Id: I01044a73992b2e89d97060ed8bbb76abea0933b9

Merge "Fix transfer over rejected induction."

Fix transfer over rejected induction.

Rationale:
With the more precise rejection of narrowing
linear induction, parent rules should be
prepared to reject failed transfers. Also
added a bit more comments to clarify rules.
With regression tests.

Bug: 33774618
Test: test-art-host
Change-Id: I4a206e51d4359ab383379914dd4697fc81903547

Merge "Handle ART_USE_READ_BARRIER as a product variable."

Merge "Create test for field access in obsolete methods."

Merge changes Ie74f2dbe,I092d2e95,I5a75f5c4

* changes:
  Fix 616-cha assumptions.
  Fix JIT crash due to unverified dead code
  Use interpret-only instead of verify-at-runtime when testing JIT

Create test for field access in obsolete methods.

Test: ./test/run-test --host 918
Change-Id: Idf27a0a713e12876e35de5c24bf5d12984881927

Merge changes I8cc87bac,If1a92e47

* changes:
  Cleanup jvmti tests
  Revert "Revert "Basic obsolete methods support""

Fix 616-cha assumptions.

616-cha relies that some classes are not loaded at startup. Disable the
app image to prevent that.

Test: ART_TEST_JIT=true m test-art-host-run-test-616-cha
Change-Id: Ie74f2dbeae0f898d42051f248492126615ffdad6

Fix JIT crash due to unverified dead code

The JIT compiler assumes that it only gets completely verified code. To
work around potential unverified dead code it uses kAccDontBotherCompile
flag set during runtime verification. However, if a class is verified
during a prior dex2oat the flag is not persisted and JIT happily things
that everything is ok.

The simplest fix is to mark classes with potential unverified dex code
as verify at runtime. We only do this for apps and assume that
everything in the boot image is well formed.

Test: m test-art-host
Bug: 31000839
Change-Id: I092d2e9553cd1c577036d78e8563a7a39d6cb7b9

Use interpret-only instead of verify-at-runtime when testing JIT

That's because we run most of our products with interpret-only and not
verify-at-runtime.

Test: ART_TEST_JIT=true m test-art-host
Change-Id: I5a75f5c47a9e811db3ee7c3475a03fb648dba80d

Fix incorrect string hash value extension during cross-compilation.

Previouly, having a 32-bit Android device and a 64-bit host to compile
boot.oat could lead to an interning table be fulfilled using one hash
function and be worked with using another hash function (which is caused
by sign extension).
Target case is any string with a negative .GetHashCode().

Test: test-art-host-gtest-intern_table_test

Change-Id: I3f417e1ac990ef681f0651160292130e9b3632f0

Merge "ARM: VIXL32: Use 16-bit encoding for B(cond,...) where possible."

Remove soon to be obsolete call kinds for direct calls.

And remove CompilerDriver::GetCodeAndMethodForDirectCall in
preparation of removing non-PIC prebuild and non-PIC on-device
boot image compilation.

Test: test-art-host test-art-target
bug:33192586
Change-Id: Ic48e3e8b9d7605dd0e66f31d458a182198ba9578

Merge "MIPS64: Improve string and class loads."

Merge "Sharpen HLoadClass from inliner."

Merge "Make 141-class-unload more robust under JIT."

Cleanup jvmti tests

Deduplicate the 'run' scripts into the test/etc/run-test-jar file.

Test: mma -j40 test-art-host
Change-Id: I8cc87bacedb393bfa11cdf2345bfd7a4341caa37

Merge "CHA guard optimization (elimination/hoisting)."

MIPS64: Improve string and class loads.

This adds most kinds of string/class loads.
JIT string/class loads are TBD separately.

This also fixes Mips64Assembler::LoadLabelAddress()
(adding a constant to a 64-bit address must be done
using daddiu, not addiu).

Test: test-art-host-gtest
Test: booted MIPS64 (with 2nd arch MIPS32R6) in QEMU
Test: "make -j1 ART_TEST_DEFAULT_COMPILER=false ART_TEST_OPTIMIZING=true
       ART_TEST_INTERPRETER=false ART_TEST_JIT=false
       ART_TEST_PIC_TEST=true test-art-target-run-test64"

Change-Id: I1f94ece4cd202382c11167e1ed958e9d08d92822

Handle ART_USE_READ_BARRIER as a product variable.

Bug: 33492005
Test: top-level angler build.
Change-Id: I4e8a0a0af07fec0a5764692d8340faf4c9bcf2b4

CHA guard optimization (elimination/hoisting).

Test: manual by checking the dump-cfg output.

Change-Id: I254e168b9a85d2d3d23e02eea7e129c1bc9ab920

Revert "Revert "Basic obsolete methods support""

This reverts commit b81a9840b44480bfeacd74b8d9f51e06f295411d.

There were 2 issues with the original CL's test 916-obsolete-jit that
caused it to sporadically fail.

First, when checking if we had jitted the function under test in
916-obsolete-jit we failed to check to see if the function 'doCall',
which is used to work-around bugs in our deoptimization & compilation
systems, had also been jitted.

In the case where the 'sayHi' function had been jitted but the
'doCall' function had not we would (correctly) fail to redefine the
'Transform' class since we would not be able to deoptimize the 'sayHi'
function since it is under a quick_to_interpreter_bridge (runtime)
frame.

Secondly, the function Main.isInterpretedFunction was incorrect and
would always return false, regardless of the actual state of the
function. This would cause the test to fail as the
quick_to_interpreter_bridge frame prevented deoptimization of the
obsoleted function. Usually the warm-up period was enough to make sure
the methods were jitted anyway but this was not guaranteed.

Both of these problems become more likely to occur on systems with
more cpu contention such as the buildbots.

Test: stress --cpu 60 &; while ./test/run-test --host --jit 916; do ; done

Reason for revert: Fixed bug in test that was causing failures.

Original Tests:

Test: ./test/run-test --host 914
Test: ./test/run-test --host 915
Test: ./test/run-test --host 916
Test: mma -j40 test-art-host
Test: ART_TEST_JIT=true \
      ART_TEST_INTERPRETER=true mma -j40 test-art-host
Test: ./art/tools/run-jdwp-tests.sh --mode=host --variant=X64
Test: ./art/tools/run-jdwp-tests.sh --mode=host --variant=X64 --no-jit

Bug: 32369913
Bug: 33630159

Change-Id: If1a92e47b90965a7dc21c5826185debe62bd1554

Merge "Improved induction var and range analysis around types."

Merge "Revert "Revert "Revert "Use interpret-only instead of verify-at-runtime when testing JIT""""

Revert "Revert "Revert "Use interpret-only instead of verify-at-runtime when testing JIT"""

Reverting due to gtest crashes.

This reverts commit 3a3e4c10e4d08c9fa1fbeba6d74933964a3bb47f.

Change-Id: I7e1adf0d886a1cdaf3152469b3c11a33131ee498

Merge "Revert "Fix 616-cha assumptions.""

Revert "Fix 616-cha assumptions."

The change that this depends on has been reverted:
    https://android-review.googlesource.com/316224

This reverts commit 5c77917ca94b33576b4a6bb850bdb578df378292.

Change-Id: I590dabcc7d12e661536b4234e45b7e763c34c35d

Merge "Revert "Fix JIT crash due to unverified dead code""

Revert "Fix JIT crash due to unverified dead code"

Broke method_verifier_test and image_test.

Bug: 31000839

This reverts commit 132eb43396bdb0b9bdacf069289f019d85d358fc.

Change-Id: I85923e6bdb3e76f54978658aad816d4c79fc339e

Improved induction var and range analysis around types.

Rationale:
Lots of code should not depend on int only. This CL generalizes
the kinds of types that can be optimized after analysis. As part
of the CL, however, a minor cleanup regarding type safety of the
stored induction var analysis results is required. This further
improved our int benchmark, and brings the long benchmark up-to-par.

Test: m test-art-host-run-test
Change-Id: I5dfb623dabf9113de90c2f6da99328dda8f8b60b

Merge "Fix 616-cha assumptions."

Merge "Temporarily disable 153-reference-stress."

Merge "Fix arena allocation counting."

Fix 616-cha assumptions.

616-cha relies that some classes are not loaded at startup. Disable the
app image to prevent that.

Test: ART_TEST_JIT=true m test-art-host-run-test-616-cha

Change-Id: I432c300a3cf3de7c0f2f9ab02d7576e92edac844

Merge "Fix JIT crash due to unverified dead code"

Sharpen HLoadClass from inliner.

Also cleanup HLoadClass constructor.

Test: ART_TEST_JIT=true m test-art-host-run-test

Change-Id: I8f803b05fb8a7267d1421ca9c032e624f27efed3

Fix arena allocation counting.

Add the "CHA" allocation kind description. Move the
statistics to the heap to avoid excessively large frames
triggering errors with -Werror, -Wframe-larger-than=.

Test: m test-art-host
Test: m test-art-host with arena allocation counting.
Change-Id: I7947a3a17b4c1ed773742516b1f7ab9a58c92150

Fix JIT crash due to unverified dead code

The JIT compiler assumes that it only gets completely verified code. To
work around potential unverified dead code it uses kAccDontBotherCompile
flag set during runtime verification. However, if a class is verified
during a prior dex2oat the flag is not persisted and JIT happily things
that everything is ok.

The simplest fix is to mark classes with potential unverified dex code
as verify at runtime. We only do this for apps and assume that
everything in the boot image is well formed.

Test: m test-art-host-706-jit-skip-compilation
Bug: 31000839

Change-Id: Ib73de1888581bb7202474cfd7aca70af4cc2cc00

Merge "Revert "Revert "Use interpret-only instead of verify-at-runtime when testing JIT"""

Merge "Don't unquicken RETURN_VOID_NO_BARRIER with vdex."

Make 141-class-unload more robust under JIT.

Make sure jit is stopped before counting maps.

bug: 29712509
test: 141-class-unload
Change-Id: I52c0fed74556fa228cd73c9c0bc6a1d019df0a1c

Merge "Add Thread entry to signal if the thread can call into java"