Merge "ART: Added Checker, a pattern matching test engine"

ART: Added Checker, a pattern matching test engine

This patch adds a Python script which implements a domain-specific
mini-language similar to that of LLVM's FileCheck. It is primarily
intended for writing tests for the optimizing compiler but could be
configured for other use cases too. It is implemented from scratch in
order to avoid dependency on LLVM.

Checker tests are written in Java and dex2oat is invoked with a flag
which dumps the CFG before and after each pass of the optimizing
compiler. The output is then compared against assertions in the
test's comments parsed by Checker. See comments in tools/checker.py
for more details about the currently supported language features.

This initial CL implements only one type of assertion - whether the
output contains lines matching a desired pattern in the given order -
but supports both plain text and regex matching and allows for
equivalency testing by matching for the outcome of a previous match.
See the tests in compiler/optimizing/test/ConstantFolding.java for
examples.

Change-Id: I1ad7431b399c38dc0391ccee74d2c643ba0b0675

Merge "Test sometimes timeouts with vogar."

Test sometimes timeouts with vogar.

Change-Id: I9091a2a86c82173fa45ff9e3d1770d3891375546

Merge "Revert "Small optimization for recursive calls: avoid dex cache.""

Revert "Small optimization for recursive calls: avoid dex cache."

Fails on target.

This reverts commit 390f59f9bec64fd81b05e796dfaeb03ab6d4cc81.

Change-Id: Ic3865b8897068ba20df0fbc2bcf561faf6c290c1

Merge "Small optimization for recursive calls: avoid dex cache."

Small optimization for recursive calls: avoid dex cache.

Change-Id: Ic4054b6c38f0a2a530ba6ef747647f86cee0b1b8

Merge "Fix typo bug for Mips32."

Fix typo bug for Mips32.

Change-Id: I429038ee6748d538fa03da819777f3456a4fd9a5

Merge "Delete gc request lock"

Delete gc request lock

Fixes valgrind tests.

Change-Id: I763e5709fffb002b14615ed5d08236970643e520

Merge "Revert "Fix VM-less builds.""

Merge "Remove obsolete PRODUCT_DEX_PREOPT_.*_IN_DATA"

Merge "Fix crash in x86 disassembler."

Merge "[MIPSR6] Adjust assembly routines for MIPS R6 isa"

[MIPSR6] Adjust assembly routines for MIPS R6 isa

Change-Id: I771b58b9e8054bb99cd01a7f713ff8e29a9ae5d3

Remove obsolete PRODUCT_DEX_PREOPT_.*_IN_DATA

Bug: 18673991
Change-Id: I8be2f997005611b791755c8d7fa44974f1816d6b

Fix crash in x86 disassembler.

Probably a typo from last refactoring.

Change-Id: I086a87120ca0f0dfddbe803573b0e0f79cc6d945

Merge "Don't add or remove verifiers if aborting"

Don't add or remove verifiers if aborting

Prevents deadlock if marking verifier roots fails when we attempt to
dump the stack traces. The deadlock occurs from FindLocksAtDexPC
since this allocates a new verifier then adds / removes it from the
method_verifiers_ array.

Bug: 18651054
Change-Id: Ia9b9470ce5e4ac20bfbb39bef0283974cf487765

Merge "Add more logging to Mutex::ExclusiveUnlock"

Add more logging to Mutex::ExclusiveUnlock

Bug: 18713034
Change-Id: I9db5ca0a25592714ac9e292a2b8d46ef73779c8b

Merge "Decrement suspend count if thread is shutting down"

Decrement suspend count if thread is shutting down

Prevents deadlock caused by incrementing suspend count in
SuspendThreadByPeer, then getting a cleared nativePeer field. This
resulted in us not decrementing the suspend count which caused a
deadlock in WaitForOtherNonDaemonThreadsToExit.

Bug: 18739541
Change-Id: I4a63f1823993a0f99f32025cd479072be49ba8d5

Merge "Move GC daemon locking logic into heap"

Move GC daemon locking logic into heap

Fixes deadlock caused by acquirng the mutator lock while
synchronizing on the daemon thread.

Bug: 18739541
Change-Id: I925b8f0f3b58178da6eff17b9c073f655c39597b

Merge "Inlining support in optimizing."

Inlining support in optimizing.

Currently only inlines simple things that don't require an
environment, such as:
- Returning a constant.
- Returning a parameter.
- Returning an arithmetic operation.

Change-Id: Ie844950cb44f69e104774a3cf7a8dea66bc85661

Merge "Clean up debugger"

Clean up debugger

Separated logic for native vs java heap, cleaned up lock annotations.
Added missing end of space marker for bump pointer spaces.

Bug: 18730149

Change-Id: I5bc21f0cee83b9cfa357e8a59658885c12cae09c

Merge "ART: Do not inline elf writer debug symbols"

ART: Do not inline elf writer debug symbols

Using Clang, this pushes the frame size of the caller across our
limit. Thus forbid inlining. The function is only called once per
compile, impact is insignificant.

Bug: 18738594
Change-Id: I19c3f1168a5104ab508a8dbf9f2a8c035cb97e3c

Merge "Use WaitHoldingLocks in ReferenceProcessor::MakeCircularListIfUnenqueued."

Merge "ART: Break up x86 disassembler main function"

ART: Break up x86 disassembler main function

The function leads to large stack frames with Clang. Break out
some parts and use four char* variables for opcode.

Bug: 18733806
Change-Id: I8bf6da6c763175d7081c4231fa5d3b6809316220

Merge "ART: Show invalid oat header cause in error message"

ART: Show invalid oat header cause in error message

Include the IsValid failure cause in the error message of opening
an oat file.

Make oat magic and version constexpr so we can have static_asserts
over the lengths.

Bug: 17187621
Change-Id: I8cef1c6cc9cb2faa052167a3437e81b4c2cbefa7

Merge "Add more compilation stats to optimizing"

Merge "Save all registers in native to Java stubs."

Use WaitHoldingLocks in ReferenceProcessor::MakeCircularListIfUnenqueued.

The caller may be holding mutator_lock_, so we must use WaitHoldingLocks.
Otherwise we get 'bad_mutexes_held' error with debug build.

See also https://android-review.googlesource.com/#/c/93892.

Change-Id: I87b1119e22a9934fdc622c4c4e2690b8b552b539
Signed-off-by: Pavel Vyssotski <pavel.n.vyssotski@intel.com>

Merge "Disable HomogeneousSpaceCompact for GSS collector"

Merge "Add regression test for deadlock caused by Thread.getAllStackTraces"

Add regression test for deadlock caused by Thread.getAllStackTraces

Also added stress test for Thread.getAllStackTraces. The test calls
Thread.getAllStackTraces from multiple threads to stress race
conditions which can cause deadlocks.

Bug: 18661622

Change-Id: Ideee7073fdcce784414808d08eca9ea310240073

Merge "Remove a dependency on AndroidConfig.h."

Remove a dependency on AndroidConfig.h.

Change-Id: I3fad347d49eb51f7a0f6d0ba9223d096a23f74a0

Merge "Add ReferenceQueue test"

Add ReferenceQueue test

Also cleaned up reference queue.
TODO: Add tests for missing functionality.

Bug: 10808403

Change-Id: I182f9cb69022fe542ea9e53d4c6d35cff90af332

Merge "ART: More logging on GetAccessFlags failure"

Merge "Some enhancements on BCE."

ART: More logging on GetAccessFlags failure

Bug: 18732531
Change-Id: I803d0dcd8c5e142b57dbdc40051fecbf71dd351d

Some enhancements on BCE.

1) Better format detection when creating ValueBound.
2) Some code cleanup on returning bool for overflow_or_underflow.

Change-Id: I03e8bd0d756652da021ccb5b2a62075648d39cc2

Merge "Remove portable."

Merge "Remove proxy logic from GetCodeItem"

Remove portable.

Change-Id: I3bf3250fa866fd2265f1b115d52fa5dedc48a7fc

Merge "ART: Fix DDM client hang transmitting native heap dump with MALLOC_IMPL=dlmalloc"

Merge "AArch64: Fix incorrect use of preceding LIR."

Disable HomogeneousSpaceCompact for GSS collector

HomogeneousSpaceCompact is not suitable when GSS is forground collector.
This will fix issue that device can not boot with GSS collecor.

Change-Id: Iafdf431c207351571f41bbc9196dff02ba674ab4
Signed-off-by: Lin Zang <lin.zang@intel.com>

Merge "Un-break --perf option to the art art script."

Un-break --perf option to the art art script.

Change-Id: I5446751982cc33f27aa6785359b3eb3ba969f93e

Save all registers in native to Java stubs.

This will make things more friendly when experimenting with the
number of callee saves in optimizing.

Change-Id: Iefd9a2da329a420eb69fc2fa9e91c06bbda30cdb

AArch64: Fix incorrect use of preceding LIR.

In Cortex-A53 erratum 835769 fixup, we should check the LIR for
previous emitted instruction, skipping pseudo LIRs and other
non-emitting LIRs.

Change-Id: I908f4c638650d7ad9c91112b74095bba2d81612e

Merge "Fix alloc-dealloc-mismatch failures in dex2oat."

Remove proxy logic from GetCodeItem

TODO: Fix places where this doesn't work. Seems maybe in debugger,
etc.

Bug: 17939199
Change-Id: I1dd3c1b071dc37aa1d0a6c187848978588248617

Fix alloc-dealloc-mismatch failures in dex2oat.

These errors are for calling `delete` on something allocated with
`new[]`.

Bug: 18202869
Change-Id: I8032664dd0819740e83a04cd5a0d56e2c097aacf

Merge "Increase default allocation stack size"

Increase default allocation stack size

Prevents some GC for alloc which can occur if the allocation stack
overflows.

Bug: 18707404

(cherry picked from commit 4911153db37264de407b2a08c2e4c9bb6aef3545)

Change-Id: I4748485dd495526ab1a313f366d93dbb3ee8112b

Merge "Don't use the version script for executables."

Merge "Revert "Revert "Ensure void type is resolved when running without image"""

Merge "Add verifier support for dequickening"

Merge "ART: More ELF and oat file safety measures"

Add verifier support for dequickening

Also some cleanup.

Bug: 17950037

Change-Id: I1f50fe07f1558e9c4f78953b7afa639d7f310b3c

ART: More ELF and oat file safety measures

In an ELF file, look for a shstrtab section when loading in
program-header-only mode. If the section is outside the file size,
it strongly indicates a broken compile.

When compiling oat files in the class linker, explicitly unlink
on failure. This should catch cases when dex2oat is killed or
crashes and doesn't have a chance to delete its (partial) output.

Bug: 15567083

(cherry picked from commit ad00fed942a9a04cf3f46784bbd04a5f00dd4ab8)

Change-Id: Ia0c75f151d91c6f26a71696967255d6d409ca882

Merge "Add another failing test."

Add another failing test.

Change-Id: I19050efdf57a06d6391be319b96bcf62536dd189

Merge "ARM: Combine multiply accumulate operations."

Merge "Update expectation file from what is runnin on the bot."

Update expectation file from what is runnin on the bot.

The bots are runinng a stock L release, and not latest AOSP.

Change-Id: I48f0dcf2570c0d718e4e725cd48c0d7b33cb3627

Revert "Revert "Ensure void type is resolved when running without image""

Accept the verification status of image classes out of oat files even
when the image could not be loaded. This is necessary as the dex files
might be quickened and the verifier can't work on them when the runtime
is not started.

This reverts commit fe382b5296ef132316d8883a0bdf8cb00d40d16b.

Bug: 18338511
Bug: 18705942
Change-Id: I3516acaaa65f05395c14da0701d1049ba80acb12

ARM: Combine multiply accumulate operations.

Try to combine integer multiply and add(sub) into a MAC operation.
For AArch64, also try to combine long type multiply and add(sub).

Change-Id: Ic85812e941eb5a66abc355cab81a4dd16de1b66e

Merge "ART: Extend run-test 015"

ART: Extend run-test 015

Add some more tests to 015-switch.

Change-Id: I10bd61d68ce961ae2e2dcf936ed9321014b56d05

Don't use the version script for executables.

The version script was forcing all the ASAN symbols to be hidden,
which caused any ASAN instrumented shared libraries used by these
executables (such as libc++) to be unable to find these symbols.

Bug: 18671691
Change-Id: I7839a10041d5f75ce43b59920675b2eff0837606

Merge "Revert "Ensure void type is resolved when running without image""

Revert "Ensure void type is resolved when running without image"

Reverting to stop tests breakage.

This reverts commit 3138584a720b86f2f542160425d3a922920760c0.

Change-Id: Idd30d458cef67839416ffeae4d558da2affd29d0

Merge "Stop daemon threads in runtime shutdown"

Merge "Ensure void type is resolved when running without image"

Merge "Add missing iget quick for bool, byte, char, short"

Add missing iget quick for bool, byte, char, short

Bug: 17791557
Bug: 17671806
Change-Id: Ifac4fbfba6c3a3f97131e85914b24756fb7f9722

Ensure void type is resolved when running without image

To initialize java.lang.Void correctly, we need to ensure the 'void'
class is initialized in the dex cache of core-libart (because Java
code relies on it). However, if we run without image, the dex cache
may not contain the void class before we initialize java.lang.Void
class.

This CL fixes this by forcing the resolution of 'void' class when
initializing the runtime without image.

We also generalize that to other types by not skipping verification
when running with preopted oat files without image. By verifying
all classes, we ensure all resolved types are in the dex caches.

Bug: 18338511
(cherry picked from commit cad417c72cc879ae8b6a8b2fff26f05a770f2051)

Change-Id: I65e345da47be6eda1ee55897c01a9a4cc1444915

Stop daemon threads in runtime shutdown

Ensure that daemons are stopped and joins before bringing down the
runtime. This fixes bugs related to native code still running when
we shutdown the runtime.

Also changed the mutex destructor to allow contenders if we are
deleting a monitor lock level mutex.

Bug: 18577101
Change-Id: I6457b35fd69c6997b9003b5f15f39861749843a9

Merge "ARM64: Enable Optimizing compiler image generation."

Add more compilation stats to optimizing

Optimizing is getting closer to have full coverage and this provides a
nice overview on why certain methods are not compiled/optimized.

Also, clean up some of the builder methods.

Change-Id: Id2f31441a788b797b0efea7ec78bee27bb654186

ARM64: Enable Optimizing compiler image generation.

Enable Optimizing Compiler image generation for ARM64.

Change-Id: If28426920f8887a3f78cb8c69bc8c1293131b85d
Signed-off-by: Serban Constantinescu <serban.constantinescu@arm.com>

Merge "Opt compiler: Add arm64 support for register allocation."

Opt compiler: Add arm64 support for register allocation.

Change-Id: Idc6e84eee66170de4a9c0a5844c3da038c083aa7

Merge "Ensure stack maps are 4 byte aligned."

Merge "Fix verifier bug caused by confusing ArtMethod::IsDirect vs ArtMethod::IsStatic semantics."

Fix verifier bug caused by confusing ArtMethod::IsDirect vs ArtMethod::IsStatic semantics.

Bug: 18485243
Change-Id: I011872446490628b51fb38a353abd1d499cc1290

Ensure stack maps are 4 byte aligned.

With the recent move to gcc 4.9, we are hitting alignment
SIGBUS on ARM. The reason is that gcc will optimize two consecutive
32bits loads into one 64bits load, and the instruction (ldrd)
will fail if the data is not aligned.

Also removed the emission of mapping table when a method is optimized.
The information can be found in the StackMap itself.

Change-Id: Icf79406c18a3f4db3c05d52fc2c0dd2e35bf0f8f