Add a few more pending exception checks

Bug: 28371539

Change-Id: Ibd2f7ccf7bd8cf7ef6c24534be1efbcc9b30014a

Merge "Use sleep instead of sched_yield."

Use sleep instead of sched_yield.

The compiler thread has a different priority than the main thread,
so there's no guarantee sched_yield will actually pass the CPU to
the compiler thread.

Change-Id: I7e8d3cbf478c482a9ba9502f7bba7fb1397cd28e

Merge "Be pro-active into ensuring a method is JITted in test."

Be pro-active into ensuring a method is JITted in test.

Change-Id: I27d7bb76178478e6153e87a076bb39a4dc61f50b

Merge "Wrap certain exception types when loading an erroneous class."

Wrap certain exception types when loading an erroneous class.

Bug: 28787733

(cherry-picked from commit 7c8aa8357196781c811a73d2eb66aaaa1681ce36)

Change-Id: Iea55486c4b95ee16e1f19c8ba2d24c18b9100c97

Merge "Enable profman pretty printing"

Enable profman pretty printing

Bug: 28748264
Change-Id: I4dc366aa710c9ef05aa5d1b164d558232fe57a3d
(cherry picked from commit 45968e76fffdde6a99a462056a52e91c12f4172a)

Merge "Initial profman support for verbose dump"

Merge "Do not hide instance field hard failure with soft failure"

Initial profman support for verbose dump

Bug: 28748264
Change-Id: Ibc59e7f31afa4646fcf048eececb87437dd83de9
(cherry picked from commit 07f468f117c4c30a032b7884c08cb1dd2964444e)

Do not hide instance field hard failure with soft failure

Rationale:
Yet another verifier inaccuracy found with fuzz testing.
Instance field verification should proceed testing instance
field access after soft failures in cases where hard failures
could still follow. Failure to do so resulted in a compiler
crash (now made bit friendly with DCHECK as well).

With crash-before/pass-after test.

BUG=29126870

Change-Id: I8674d6171158eaa2aeb0492b35dfafea76416cac

Merge "Revert "Revert "Fix ArtMethod::GetInvokeType for static methods on interfaces."""

Merge "ART: Remove redundant MoveInstructionBefore method"

Revert "Revert "Fix ArtMethod::GetInvokeType for static methods on interfaces.""

bug:29089267
bug:27521545

We were hitting a compiler DCHECK that a class would never require to
do access checks on itself. The reason was that the compiler driver
was not trying to resolve a type, but instead relied on the verifier
for pre-populating the dex cache. However, the verifier doesn't
necessarily run in JIT mode.

This reverts commit 12abcbd950bd0ff4528e2e0d27ca5e881c7b0467.

Change-Id: I59204c16927084f6605a2a3f999ca529f949e1ad

ART: Remove redundant MoveInstructionBefore method

Change-Id: If53d7011197cc6b9c1702a3d98ef11b59eb76f0c

Merge "MIPS32: Improve method entry/exit code"

Merge "Revert "Revert "Revert some flaky unloading"""

Revert "Revert "Revert some flaky unloading""

Still some issues with 136-daemon-jni-shutdown

bug:28406866

This reverts commit 9e726e874580f1e8b2e0bfa63d2e9a3ac911cd1c.

Change-Id: I76e7ba47e30cf97ecd074d5c2aff41cda8edac59

Merge "ART: ArrayGet hoisting restriction added."

Merge changes Iba55937d,Ib5d82bde,Id0c921bd

* changes:
  Revert "Revert "Revert "Temporarily disable dex cache array emptyness DCHECK"""
  Revert "Revert "Hold dex caches live in class table""
  Revert "Hold dex caches live in class table"

Revert "Revert "Revert "Temporarily disable dex cache array emptyness DCHECK"""

Bug: 29083330

This reverts commit 46d46993cc0f11c2ac1b7ac8ffd55d78111faf48.

Change-Id: Iba55937de9c4f963ed084093c047d1550f994742

Revert "Revert "Hold dex caches live in class table""

Bug: 29083330

This reverts commit f102faf1bcbdb2149e3e7bf27b1819f621b7894b.

(cherry picked from commit c9dbb1df3b5c06ba122cacaf35b17cb53c6be3c6)

Change-Id: Ib5d82bde2e4a031c1cab0ea6116925ef99d9f07f

Revert "Hold dex caches live in class table"

This reverts commit d6d49e56c2b7b11f474acb80cb02bb1fe9b7861e.

Bug: 29083330

(cherry picked from commit f102faf1bcbdb2149e3e7bf27b1819f621b7894b)

Change-Id: Id0c921bd6fe422159f8daa598dc8e7c9ed6eca47

Merge "Revert "Revert some flaky unloading""

ART: ArrayGet hoisting restriction added.

Currently if we hoist ArrayGet from loop there is no guarantee
that insn will be executed at runtime. Because of that we could
face issues like crashes in generated code.

This patch introduces restriction for ArrayGet hoisting. We say
that ArrayGet execution is guaranteed at least one time if its bb
dominates all exit blocks.

Change-Id: I9f72c0f4c33b358341109238bea46cb5a82f490f
Signed-off-by: Anton Shamin <anton.shamin@intel.com>

Revert "Revert some flaky unloading"

This reverts commit 73ad16e0193866d36dbd4088ac77fa5d4ceec334.

With this code it is possible that during testing we will race the
final shutdown of some threads (i.e. returning to thread_start after
signaling thread has been finished) with the unloading of libart.so by
libnativehelper. This could cause crashes. By ensuring that libart.so
code is not unloaded in libnativehelper we fix the issue with this
patch.

Bug: 28406866

Change-Id: Ic67118c2a4e743941402b17b6bbfe4cce441f68f

Merge "ART: Improve JitProfiling perf in mips/mips64 mterp."

Merge "Revert "Fix ArtMethod::GetInvokeType for static methods on interfaces.""

Revert "Fix ArtMethod::GetInvokeType for static methods on interfaces."

bug:29089267
bug:27521545

Fails some DHECKs.

This reverts commit 808067335b228d7b50ad84123d3c8ecb7aeeb200.

Change-Id: I0e768ce85be593e3f50fd02abc29aa34f2be3562

Merge "Fix ArtMethod::GetInvokeType for static methods on interfaces."

Fix ArtMethod::GetInvokeType for static methods on interfaces.

And avoid calling ResolveMethod in the JIT, since it already
knows that method.

bug:29089267
bug:27521545

(cherry picked from commit 2dc77ecf375882f51ff7c09712c05b80e58abb6b)

Change-Id: I36084b1f207317452c42fdfc8ffa4d8c721d2f76

Merge "Revert "Revert "Temporarily disable dex cache array emptyness DCHECK"""

Revert "Revert "Temporarily disable dex cache array emptyness DCHECK""

This fix has been reverted.

Bug: 29083330

This reverts commit 06cd763b7d2a7511ea4a54b52b2931e57f3522d3.

Change-Id: I5382c872caeb7e699de41acaa54ac3ee9f0543e0

MIPS32: Improve method entry/exit code

Improvements:
- the stack frame is (de)allocated in one step instead of two
- callee-saved FPU registers are 8-byte aligned within the frame,
  allowing a single ldc1/sdc1 instruction to load/store an FPU
  register without causing exceptions due to misaligned accesses
- the return address register, RA, is restored early for better
  instruction scheduling

Change-Id: I556b139c62839490a9fdbce8c5e6e3e2d1cc7bb7

ART: Improve JitProfiling perf in mips/mips64 mterp.

Change-Id: I4e1a214d92bd17ebd0a9b595e2eca2d7dcc13758

Merge "Do not place null check from unresolved field access."

Do not place null check from unresolved field access.

Rationale:
These accesses go though the runtime anyway where various
checks are done, including null check. Since particular
checks, like access checks, need to occur prior to the
null check (to ensure link errors are not masked by
a null reference), the explicit null check should not
occur in the HIR.

BUG=29068831

Change-Id: I30fc9cb8cf4993e4176e235ceba3a38aef98d503

Merge "Revert "Temporarily disable dex cache array emptyness DCHECK""

Merge "Fix an issue of partial fragment deoptimization"

Revert "Temporarily disable dex cache array emptyness DCHECK"

Bug: 29083330

This reverts commit 7b1541f4aecdc4c2878437ac3d46f2e74eacf0f1.

Merge "Hold dex caches live in class table"

Merge "Revert "Revert "Make the boot image non-debuggable."""

Revert "Revert "Make the boot image non-debuggable.""

The fix for b/29043547 has been submitted.

Bug: 28769520

This reverts commit cc98f634847914d306d9c1ae16c46b95e0645270.

Change-Id: I6ed511c0024ecaee75740e2847d1be20c4fb07dd

Merge "Delay dex-to-dex compilation until Optimizing is done."

Merge "Refactor handling of input records."

Delay dex-to-dex compilation until Optimizing is done.

This fixes a race between inlining in the Optimizing
backend and dex-to-dex quickening where the Optimizing can
read the non-quickened opcode and then the quickened field
index or vtable index and look up the wrong field or method.
Even if we such tearing of the dex instruction does not
happen, the possible reordering of dex-to-dex and Optimizing
compilation makes the final oat file non-deterministic.

Also, remove VerificationResults::RemoveVerifiedMethod() as
we have only the Optimizing backend now and as such it was
dead code and would have interfered with this change.

Bug: 29043547
Bug: 29089975
Change-Id: I8389927d35dcacaf2f99c2153f055857036c8129

Fix an issue of partial fragment deoptimization

If the interpreter bridge returns to the instrumentation exit stub,
we need to let the stub makes the decision whether the calling code
is deoptimizeable or not since the stub knows the real return pc.

Bug: 28769520
Change-Id: I262d1222e50a1ccbcb3675d05dcab414dc242a28

Hold dex caches live in class table

Prevents temporary dex caches being unloaded for the same dex file.
Usually this is OK, but if someone resolved a string in that dex
cache, it could leave stale pointers in BSS. Also it can use extra
memory in linear alloc if we allocate dex cache arrays multiple
times.

Bug: 29083330
Change-Id: Ia44668f013ceef1f5eb80f653a48d0f8004548c9

Merge "Exit 0 on success even if --never-clean is passed"

Merge "Stop creating $ANDROID_BUILD_TOP/{&&,mkdir} directories."

Refactor handling of input records.

Introduce HInstruction::GetInputRecords(), a new virtual
function that returns an ArrayRef<> to all input records.
Implement all other functions dealing with input records as
wrappers around GetInputRecords(). Rewrite functions that
previously used multiple virtual calls to deal with input
records, especially in loops, to prefetch the ArrayRef<>
only once for each instruction.  Besides avoiding all the
extra calls, this also allows the compiler (clang++) to
perform additional optimizations.

This speeds up the Nexus 5 boot image compilation by ~0.5s
(4% of "Compile Dex File", 2% of dex2oat time) on AOSP ToT.

Change-Id: Id8ebe0fb9405e38d918972a11bd724146e4ca578

Merge "Fix a bug in reference type propagation."

Fix a bug in reference type propagation.

The upper bound of a bound type is always exact, so we should
not use it for setting the type of the bound type.

bug:28730986
Change-Id: I214b8c3493838c22805555f88e8dc87cf9221376

Merge "Temporarily disable dex cache array emptyness DCHECK"

Temporarily disable dex cache array emptyness DCHECK

Will re-enable when the underlying cause is fixed.

Bug: 29083330
Change-Id: Ic1ec9aad2ac0763388ddfa75b73bbedc1dcc5c45

Merge "Fix bug in verifier: hard fail allowed following softfail"

Fix bug in verifier: hard fail allowed following softfail

Rationale:
Dexfuzzing found a situation where a hard fail (not calling
super in constructor) did not immediately bail, allowing
a soft fail to follow, causing a FATAL message later on.

With crash-before/pass after test.

BUG=29070461

Change-Id: I46bd7a7457b9d408b254400aadac122539f2279c

Merge "Fix race with host_dlopen_handles_"

Fix race with host_dlopen_handles_

Thread 1 opens an already opened oat file.
Thread 2 dlcloses the oat file and removes it from
host_dlopen_handles_.
Thread 1 checks that it is not already in host_dlopen_handles_ and
proceeds to return the oat file. The problem now is that the BSS is
not cleared since it is the same oat file that was opened earlier.

The fix is to just hold the lock for dlopen / dlclose. This only
affects contention on host.

Bug: 28992179
Bug: 28990799
Bug: 28826195

Change-Id: I126e3d4da69f493b21604205eeea75352a6cf736

Merge "Revert "Make the boot image non-debuggable.""

Revert "Make the boot image non-debuggable."

We're hitting b/29043547.

bug:28769520

This reverts commit 279ee76a8a972741d423f8f340939fb272bb8f0c.

Change-Id: Ic971e3db1048668bb48d47b1efc2977a4fff533c

Merge "Make the boot image non-debuggable."

Make the boot image non-debuggable.

We now support partial fragment deoptimization.

bug:28769520
Change-Id: Ib730f62b6c03882d5e7ae4ce74645eeb7d906ff6

Merge "Add missing calls to `RecordSimplification()`."

Add missing calls to `RecordSimplification()`.

Note that not all transformations in the instruction simplifier call
this helper. It is used to track a loosely defined category of
transformations for which we may benefit from re-running the
simplifier.

Change-Id: I14dd841a30c526065cff337627c9156abe3d7c0a

Exit 0 on success even if --never-clean is passed

Make run-test exit 0 if the test passes regardless of whether or not
the --never-clean flag is passed. Previously it would exit 1
regardless of test outcome with --never-clean.

Change-Id: I9496de4c2245e9833747a090944ad1fba95eb3c9

Merge "Relax annotation visibility so runtime includes build."

Merge "Revert "Blacklist test on host.""

Revert "Blacklist test on host."

This reverts commit b0ba75063008f5896f0616871bd272883bae3083.

Change-Id: I58f7ae208b056279f28ba111f20440de93d13e51

Merge "Blacklist test on host."

Blacklist test on host.

Bug: 28901232
Bug: 28950284
Change-Id: Ia94e5280a92c80b202c98ef074c61c85ffd24d90

Merge "Reduce TLAB size"

Reduce TLAB size

Prevent pathological cases like threads fighting for TLABs and doing
back to back GC for alloc each allocation.

No performance change on angler, before:
EEAC: 1161, 1171, 1211
MemAllocTest: 1005, 971, 1148

After:
EEAC: 1173, 1175, 1163
MemAllocTest: 1003, 908, 803

There is also a mysterious speed up on volantis:
EEAC: 1563, 1553, 1543
MemAllocTest: 1474, 1486, 1485

After:
EEAC: 709, 714, 709
MemAllocTest: 664, 684, 655

Bug: 28976163

Change-Id: I564908badf395b6f948aa2dafcb66fe353fc1eba

Relax annotation visibility so runtime includes build.

Previous behavior in M and earlier would allow annotations marked
VISIBILITY_BUILD to be visible to the runtime when they should not
have been. When targeting older sdks, revert to this behavior.

Bug: 28826610

(cherry-picked from commit 7e50a7a5a1ad947e84c425efb2e97c442f91b155)

Change-Id: I43d2328be41ec9f4e679b3151f586c0b87b38c7c

Merge "Revert "ART: Blacklist a libcore test for investigation""

Merge "Disable stack assertions in non-compiled code."

Disable stack assertions in non-compiled code.

bug:28769520

Change-Id: Ib9e8a1ae1e7c8a4a9e49173cec80466c40b9f472

Merge "Forbid JVM_O_DELETE in JVM_Open"

Merge "Partial fragment deoptimization"

Revert "ART: Blacklist a libcore test for investigation"

This reverts commit fc3bb5c83d92d45011bef71ac62621f9707ee179.

The test is now fixed.

Bug: 28826195
Change-Id: I2fb9bb5250f834f8535ec392a209cbc84de8781c

Merge "Don't use dlopen on host for already loaded oat files."

Merge "Remove SetStateUnsafe in Debugger::Disconnected."

Partial fragment deoptimization

We used to do either single frame deoptimization, or full fragment
deoptimization which deoptimizes all the frames in a fragment.
This change allows some methods to be not deoptimizeable, likely due
to some kind of optimization. So we need another deoptimization mode
that unwinds partial fragment. Deoptimizations are now generalized into
either full or partial fragment. A full fragment deoptimization will
deopt all frames in the fragment, and then returns from the invoke stub
to enter interpreter. A partial fragment deoptimization will deopt a
single frame, or all frames up to the method that's not deoptimizeable,
and then jumps to the interpreter bridge.

Currently code not deoptimizeable is the code in boot image since the
code may not be compiled with debuggable flag.

Bug: 28769520
Change-Id: I875c694791cc8ebd5121abcd92ce7b0db95aca38

Remove SetStateUnsafe in Debugger::Disconnected.

The debugger thread has the exclusive mutator lock and doen't need to
switch to runnable while updating instrumentation.

This avoids a spurious failure of the DCHECK in the jdwp test.

Bug: 25262836

Change-Id: Ibfd0bc3936a877fd264396fcc4cc1af8d19a1645

Forbid JVM_O_DELETE in JVM_Open

Bug: 28901232
Change-Id: Icf1f9b85163f478f380c76042bcc0ff6910cc1ce

Merge "Prune class path classes from profile"

Prune class path classes from profile

Fixes a theoretical case where classes not in the app, but in the in
the class path could have been included in the image. The dex caches
for these classes are not properly handled and need to be pruned.
Not including the classes in the image classes makes sure the that
class linker automatically prunes them and frees the dex cache with
the explicit garbage collection.

Bug: 28452385

(cherry picked from commit 8d26c5967674d2eab21f65eeac9f1adcf88fce38)

Change-Id: Ic33076f0a76cf1ae727c61a340ceaadf9e7e7d08

Merge "Fix OatWriter to update the header checksum correctly."

Fix OatWriter to update the header checksum correctly.

Make sure we update the checksum with dex file data, type
lookup tables and thunks produced by the relative patcher.

Bug: 28874264

(cherry picked from commit 7eef3397eda243186a982737aa79c65d5eb95edc)

Change-Id: I8c5535ab54a625109bddc85bdf84e48c43883a52

Merge "Fix profile saver reference point when calculating the sleep time"

Fix profile saver reference point when calculating the sleep time

It is wrong to use last_time_ns_saver_woke_up_ as a reference. We should
use sleep_start.

Bug: 28953776

(cherry picked from commit dc85bd757e7f27c38143536a9f4fa4c2c7d07272)

Change-Id: I400502c76a0423190826bbf1bd8e552cf591ebc3

Merge "ART: Print jit memory use only if we have samples"

Merge "Fix oat_writer to use WriteData which updates checksum."

Don't use dlopen on host for already loaded oat files.

Because the behavior of dlopen on the host is different then the
target in that case, and it causes tests to fail.

Bug: 28826195

Change-Id: Id202bbac3318bade89a4133a9bcb1ee01e8b6182

Merge changes I5c891dc1,Ie717089d

* changes:
  Base isDexOptNeeded result on OatFileAssistant::IsUpToDate.
  Only compile dex files if they are not up to date.

Fix oat_writer to use WriteData which updates checksum.

OatWriter was using WriteFully in some places instead.

Bug: 28874264

(cherry-picked from commit 5e7cbde3100b0bfb58277accc9d71a94636ea727)

Change-Id: I7dac3ad0597c210ba6e12e0cc1670277d7a28fc7

Merge "Avoid long sleep in ProfileSaver"

Avoid long sleep in ProfileSaver

This was due to subtracting a >20s number of nanos from the constant for 20s.

Bug: 28880120

(cherry picked from commit 8f15335d96eef7a3bcdd4f2b309a727791b67e68)

Change-Id: Ied5f2a4264e4e0035e1ce8719eda9c57c8482443