ART: Allow array-ness for unresolved merge types

In case component types aren't resolvable, array types won't be
either. They then may be merged. The merge is still potentially
an array type.

Ensure that merging an unresolved array type with a primitive
array type or a non-array type will be resolved to java.lang.Object.

Added tests.

Bug: 27799205
Change-Id: I9beff75318814dddd842abd64ef9a5d2644d801e

Merge "ART: Ignore hotness updates if jit inactive"

ART: Ignore hotness updates if jit inactive

The interpreters are hard-wired to collect hotness data for the
jit.  If the jit is in the process of shutting down, discard the
updates.

Change-Id: I0baf73bb2c591e9571964435f6cc45c062b85911

Merge "Load jit compiler pre zygote fork"

Load jit compiler pre zygote fork

Reduces PSS for libart-compiler.so from 115KB to 2KB per app.

Also some clean-up.

Bug: 27810774

(cherry picked from commit ff2376770c1c6d301778c41e5c27c808a38e6968)

Change-Id: Ic0077a07c21ed9f1952a6c29863a5c0e5bacc01a

Merge "ART: Improve JitProfile perf in arm/arm64 mterp"

Merge "ART: Fix order of operations in HBasicBlock::DisconnectAndDelete"

ART: Fix order of operations in HBasicBlock::DisconnectAndDelete

The method would remove predecessors before successors. As a result,
instructions used by dead loop phis would see dangling uses, causing
a DCHECK to fail.

Steps were reordered to remove dependencies in post order.

Bug: 27683071
Change-Id: I8e0e976443fb410908321a065276f1340b757c41

Merge "ART: Fix run-test"

ART: Fix run-test

Follow-up to Ic61ea2193765b4578550538e965ca4f80fa4b287

Bug: 27625564
Change-Id: Ia8b128a05b473896ba9a55df0d2aaf34ae6d06f3

Merge "Fix stub_test after semantic conflicting merge."

Fix stub_test after semantic conflicting merge.

https://android-review.googlesource.com/#/c/209881/ does
not set the ImtConflictTable when we're a AOT runtime, which the
stub test pretends to be.

Change-Id: I70e00b265e982b46b577ff19ac9272cfee45940d

Merge "ART: Loosen a GraphChecker rule on Boolean inputs"

ART: Loosen a GraphChecker rule on Boolean inputs

GraphChecker tries to verify that Boolean inputs are properly typed.
This is non-trivial in the presence of simplifying optimizations
which capitalize on the fact that a Boolean value is internally
represented as an integer.

This patch removes the test from GraphChecker.

Bug: 27625564
Change-Id: Ic61ea2193765b4578550538e965ca4f80fa4b287

Merge "Post-Quick cleanup: Remove CompilationUnit."

Merge "Re-enable IMT stub test."

Merge "Clean up art::HConstant predicates."

Merge "Do a null check on the sibling in the register allocator."

Do a null check on the sibling in the register allocator.

There may be a lifetime hole between the intervals, which means there is
no interval for the given position.

Litle sister of https://android-review.googlesource.com/#/c/209336/.

bug:27626705
Change-Id: I8082aa5ae2dc37d8fa5d4c430b69e6defa495439

Merge "Disable test on arm due to timeouts."

Merge "Optimizing: Do not insert suspend checks on back-edges."

Post-Quick cleanup: Remove CompilationUnit.

Change-Id: I309411b0fffaaed1e218e2c34394bdf6e2f75b48

Disable test on arm due to timeouts.

bug:27824283
Change-Id: I0e4d9b37dd3ac2d2390456a791ff28d9ea0b3510

Merge "Fix potential race condition with threads array."

Merge "Add RosAlloc stats dump."

Add RosAlloc stats dump.

For better understanding of the RosAlloc space.

(cherrypick commit 565c2d9bce43c430d4267c82f5702160d971e712)

Bug: 27744947
Bug: 9986565

Change-Id: I8309761a68fbc143bbcd8458a9194085aace7c3e

Merge "Use smaller rosalloc run sizes."

Use smaller rosalloc run sizes.

Use 1/1/1/2/4 instead of 1/4/8/16/32 to save memory footprint.

No regressions in BinaryTrees, Ritz MemAlocTest, Ritz EAAC.

(cherrypick commit c867a275aa7a132ec1fd4f3b8c27812bda61ea73)

Bug: 27744947
Bug: 9986565
Change-Id: I8ac3fd23719e5cfcce7e5715a03f40701f3ff339

Fix potential race condition with threads array.

Rationale:
Array should be filled with threads prior to first fork,
since only in that case does Java memory model ensure
all threads have consistent view of array, which itself is
subject to one test.

BUG=27805463

Change-Id: I28f1eb8461842217ced2255062d2135ef880e7d5

Merge "Revert "Revert "Use compiler filter to determine oat file status."""

Optimizing: Do not insert suspend checks on back-edges.

Rely on HGraph::SimplifyLoop() to insert suspend checks.

CodeGenerator's CheckLoopEntriesCanBeUsedForOsr() checks the
dex pcs of suspend checks against branch targets to verify
that we always have an appropriate point for OSR transition.
However, the HSuspendChecks that were added by HGraphBuilder
to support the recently removed "baseline" interfered with
this in a specific case, namely an infinite loop where the
back-branch jumps to a nop. In that case, the HSuspendCheck
added by HGraphBuilder had a dex pc different from the block
and the branch target but its presence would stop the
HGraph::SimplifyLoop() from adding a new HSuspendCheck with
the correct dex pc.

Bug: 27623547
Change-Id: I83566a260210bc05aea0c44509a39bb490aa7003

Revert "Revert "Use compiler filter to determine oat file status.""

This reverts commit 845e5064580bd37ad5014f7aa0d078be7265464d.

Add an option to change what OatFileManager considers up-to-date.
In our tests we're allowed to write to the dalvik-cache, so it
cannot be kSpeed.

Bug: 27689078
Change-Id: I0c578705a9921114ed1fb00d360cc7448addc93a

ART: Improve JitProfile perf in arm/arm64 mterp

ART currently requires two profiling-related things from the
interpreters: hotness updates and OSR switch checks.  The hotness
updates previously used the existing instrumentation framework - which
is flexible, but quite heavyweight.  For most things, the
instrumentation framework overhead is acceptable, but because we do a
hotness update on every backwards branch the overhead is unacceptable.
Prior to this CL, branch profiling dominates interpreter cost.

Here, we bypass the instrumentation framework for hotness updates
and deliver a significant performance improvement.  Running
interpreter-only (dalvikvm -Xint) on a Nexus 6, we see the logic
subtest of Caffeinemark improving from 2600 to 9200, and the
overall score going from 1979 to over 3000.  Compared to the
C++ switch interpreter, we see a 6x improvement on the branchy logic
subtest and a 2.6x improvement overall.

Compared with the previous mterp which did not have support for
jit profiling, we see a few (1% to 5%) performance loss on the
standard command-line benchmarks.  I consider this acceptable
(we could create an alternate non-profiling mterp which would
have no penalty, but I don't consider this overhead big enough to
justify that).

Change-Id: I50b5b8c5ed8ebda3c8b4e65d27ba7393c3feae04

Merge "Fix dex2oat/oatdump cross-compilation."

Merge "Fix and improve shift and rotate operations."

Merge "Fix some typos in art/compiler/optimizing/nodes.cc."

Fix some typos in art/compiler/optimizing/nodes.cc.

Change-Id: I11be5a9b73da207c9eb497bcaffc49d614c1ca89

Fix dex2oat/oatdump cross-compilation.

Only set the ImtConflictTable when not in AOT, to not mess up
with the image.

Change-Id: I8f2926ad30dc913d61b0c8957affc25fc8056ada

Merge "Ensure object ArraySet with null value does not need a type check."

Merge "Relax too strong DCHECK."

Re-enable IMT stub test.

bug:27794971
Change-Id: Ief5cbb9ca4a07596a2f389e386124f9bb5323073

Ensure object ArraySet with null value does not need a type check.

The art::PrepareForRegisterAllocation visitor can remove an
art::BoundType instruction as value input of an
art::ArraySet instruction, possibly replacing it with an
art::NullConstant.  If this happens, remove the need for a
type check in this art::ArraySet.

Bug: 27638110
Change-Id: I6270f8a8e22822a24d8a5919df427ca9c64d121b

Merge "Revert "ART: Weaken DCHECK""

Revert "ART: Weaken DCHECK"

Change that triggered this got reverted. This "fix" needs more investigation.

This reverts commit 1ee29d3dd3fbbf5df7821b70f45c49275c878e63.

Change-Id: Iee9e88f0e993edc0c7212e36d48ded1d31209156

Merge "Revert "ART: Temporarily disable test""

Revert "ART: Temporarily disable test"

Offending change has been reverted.

Bug: 27689078

This reverts commit 51135830a760ff647e5eb164d744abc769b006a7.

Change-Id: I794127eb9f2c0dfb08039eecffd777b7d94f0ed6

Merge "Update run-test 097-duplicate-method"

Merge "Revert "Use compiler filter to determine oat file status.""

Revert "Use compiler filter to determine oat file status."

Bots are red. Tentative reverting as this is likely the offender.

Bug: 27689078

This reverts commit a62d2f04a6ecf804f8a78e722a6ca8ccb2dfa931.

Change-Id: I3ec6947a5a4be878ff81f26f17dc36a209734e2a

Merge "ART: Weaken DCHECK"

ART: Weaken DCHECK

Returns may be either plain or quickened.

Change-Id: Iee343c02fe3e02512c0ed60508525495a7cd5efb

Merge "ART: Temporarily disable test"

ART: Temporarily disable test

For investigation.

Bug: 27689078
Change-Id: Ibcd24f90f68ac64119dfad9b17a42bed252ff009

Merge "Delete too spammy VLOG(heap) in ReleasePrimitiveArray"

Merge "Use compiler filter to determine oat file status."

Use compiler filter to determine oat file status.

Record the compiler filter in the oat header. Use that to determine
when the oat file is up-to-date with respect to a target compiler
filter level.

New xxx-profile filter levels are added to specify if a profile should
be used instead of testing for the presence of a profile file.

This change should allow for different compiler-filters to be set for
different package manager use cases.

Bug: 27689078
Change-Id: Id6706d0ed91b45f307142692ea4316aa9713b023

Merge "Rename test to avoid too long file names."

Rename test to avoid too long file names.

Change-Id: Ife227f73c7baf1d05bcc6949faadf92753332f8d

Delete too spammy VLOG(heap) in ReleasePrimitiveArray

Change-Id: I7a482ba366d7ad3e5d1689ae615dbcacbc7a41a6

Merge "Disable test for now."

Disable test for now.

bug:27794971
Change-Id: I31e1b2472271c6f54c9e0b7bf75fbdf7ebeba73d

Merge "Optimizing: Reduce GraphChecker memory usage."

Merge "ART: Clean up arena allocation memory tracking."

Optimizing: Reduce GraphChecker memory usage.

Bug: 27690481
Change-Id: I15ce5524d94fc1780da02e6471bede66b3a1b82a

Merge "Tighten art::HNeg type constraints on its input."

ART: Clean up arena allocation memory tracking.

Remove unused allocation types, mostly from removed Quick.
Move logging one level up to capture memory used by stack
maps during AOT compilation. Raise the reporting threshold
to 8MiB to limit the output to the worst offenders.

Change-Id: I8c7a01bfa90bc8ec5eab66187eb6850a022f3543

Merge "MIPS32: Implement UnsafeCASInt and UnsafeCASObject intrinsics."

Merge "Fix missing header inclusion in art/runtime/thread.cc."

Fix missing header inclusion in art/runtime/thread.cc.

The file art/runtime/thread.cc was missing an #include of
art/runtime/gc/accounting/heap_bitmap-inl.h, which is
required by art::ReferenceMapVisitor::VisitDeclaringClass to
find the (inlined) implementation of
art::gc::accounting::HeapBitmap::Test.

This fixes the MIPS32 build.

Change-Id: I00a8bc85d8b32cfed02309e13e437f0cfd0d493e

Merge "Rename test to avoid too long filenames."

Rename test to avoid too long filenames.

Change-Id: Ic969c3f303fe7a0c415f670f268421906496ab39

Merge "Add an ImtConflictTable to better resolve IMT conflicts."

Add an ImtConflictTable to better resolve IMT conflicts.

- Attach a ImtConflictTable to conflict runtime ArtMethod.
- Initially 0, a new one will be created at the first hit of
  the conflict method.
- If the assembly code does not find a target method in the table,
  we will create a new one again, copying the data from the previous
  table and adding the new mapping.

Implemented for arm/arm64/x86/x64.

bug:27556801
bug:24769046

Change-Id: Ie74d1c77cf73d451a1142bdc5e3683f9f84bb4e7

Relax too strong DCHECK.

There may be a lifetime hole in the interval, which means the interval
does not cover the given position.

bug:27617589

Change-Id: Iabd2b3d82936bed498f87be1a01760210954f97e

Fix and improve shift and rotate operations.

- Define maximum int and long shift & rotate distances as
  int32_t constants, as shift & rotate distances are 32-bit
  integer values.
- Consider the (long, long) inputs case as invalid for
  static evaluation of shift & rotate rotations.
- Add more checks in shift & rotate operations constructors
  as well as in art::GraphChecker.

Change-Id: I754b326c3a341c9cc567d1720b327dad6fcbf9d6

Merge "Optimizing: Fix a new valgrind error in image_test."

Merge "Disable two tests for no-prebuild."

Disable two tests for no-prebuild.

bug:27784033
Change-Id: Ib4fc86cf970e6f008da006cad1bf18e58fb84346

Merge "Revamp run-test 431-optimizing-arith-shifts."

Optimizing: Fix a new valgrind error in image_test.

Bug: 27651442
Bug: 27151098
Change-Id: I23a428be68ccf9f9557df01ee7e920eeeb8da2ba

Tighten art::HNeg type constraints on its input.

Ensure art::HNeg is only passed a type having the kind of
its input.  For a boolean, byte, short, or char input, it
means HNeg's type should be int.

Bug: 27684275
Change-Id: Ic8442c62090a8ab65590754874a14a0deb7acd8d

Merge "Fix braino in JitCodeCache."

Fix braino in JitCodeCache.

A OatQuickMethodHeader can never have its entry point be the
interpreter entrypoint.

Clear hotness counter of methods in more relevant places.

Change-Id: I0563a57eace2e0e4fe2abc76f5e293ddf47b25e3

Merge "ART: remove nested include in arch_test"

Merge "Revert "Revert "Enable compilation of secondary dex files"""

Merge "Update Makefile and scripts after Quick removal."

Update Makefile and scripts after Quick removal.

Change-Id: I7610b34da337d81d9176ceca74e55ab85642a72b

Merge "Suppress MIPS32 assembler warnings"

Update run-test 097-duplicate-method

Runs the test with a precompiled classes.dex and re-enables it.

We need to build a dex file with duplicate methods. We cannot do that
with Jack (this is invalid) or smali (it does not keep duplicate
methods, only one is in the dex). Therefore, having a precompiled
dex file allows to run the test on whatever toolchain.

In the future, we could update the test if a tool allows to generate
it again.

Change-Id: I3803aa0c2e99ca61d58b36e088d9bbe199e07d3c

Revert "Revert "Enable compilation of secondary dex files""

Bug: 26719109

This reverts commit d98a52f0bc6c58e8e538de8335ab9bcb6ae73aa7.

Change-Id: I523675eb6d647fe773dd57b6e1cc398927bb066e

Merge "Remove Quick from tree."

Merge "Remove bogus DCHECK()."

Merge "Add sanity checking to declaring class visiting"

Add sanity checking to declaring class visiting

When we have an unmarked declaring class in the image, it will
SIGSEGV due to the bitmap being read-only. Print some useful
info to try and debug this.

This probably hurts performance a bit, TODO disable when the bug is
fixed.

Bug: 27493510

(cherry picked from commit b33b1dc78d178060ff0f4327d448fd3a89df51de)

Change-Id: I0c25afd5a6101a71fa1494e12dc019ba64bf43be

Merge "Generalize induction and range analysis across type conversions."

MIPS32: Implement UnsafeCASInt and UnsafeCASObject intrinsics.

Change-Id: Ie871763b9a36075fd3d70ee6e2e241ae1ccc36cf

ART: remove nested include in arch_test

arch_test #includes asm_support.h while inside the art namespace.
We've gotten away with this until now because the files that
asm_support.h includes had already been included earlier (and thus,
were empty via the #ifdef guard).  However, adding new #includes to
asm_support.h results in art::art:: namespace ugliness.

Change-Id: Ie2671c456bb631976b4280f29a5656b086138047

Generalize induction and range analysis across type conversions.

Rationale:
This changelist implements allowing narrowing conversions within
inductions and loop control. More induction and loops recognized,
more bounds eliminated. We all win. The basic idea is pretty simple
(record type with detected induction) but one has to get all the
details right, as illustrated by the many new unit tests.

BUG=27151098

Change-Id: I254020bfa5fa623799b31bbbb5ccc97d4d5a0100

Merge "Move process state into runtime"

Merge "Disable LZ4HC compressed images"