Merge "Less redundant verification."

Less redundant verification.

~3 less objects verified per object scanned in the GC. Helps the
irogers dogfood experience.

Change-Id: I6efeab7842a6c702adecef73fb573c19291fecf2

Merge "Relaxed memory barriers for x86"

Merge "Add valgrind support to large object map space."

Relaxed memory barriers for x86

X86 provides stronger memory guarantees and thus the memory barriers can be
optimized. This patch ensures that all memory barriers for x86 are treated
as scheduling barriers. And in cases where a barrier is needed (StoreLoad case),
an mfence is used.

Change-Id: I13d02bf3f152083ba9f358052aedb583b0d48640
Signed-off-by: Razvan A Lupusoru <razvan.a.lupusoru@intel.com>

Add valgrind support to large object map space.

Added valgrind support to large object map space.

Bug: 7392044
Change-Id: I1456f46414e1fa59ebcc2190ec00576dae26d623

Merge "Reuse promoted register temporarily"

Reuse promoted register temporarily

AtomicLong (x86) is implemented as an intrinsic, which uses
the cmpxchng8b instruction.
This instruction requires 4 physical registers plus 2 more used for
the memory operand. On x86 we have only 4 temporaries. The code tried
to solve this by using MarkTemp utility, but this was not meant to be
used with promoted registers. The problem is that MarkTemp does not
spill anything and as a result we can lose VR.

If the registers are promoted this patch just reuses the values pushed
on the stack.

Change-Id: Ifec9183e2483cf704d0d1166a1004a9aa07b4f1d
Signed-off-by: Serguei Katkov <serguei.i.katkov@intel.com>
Signed-off-by: Yevgeny Rouban <yevgeny.y.rouban@intel.com>

Merge "Add GC mode for stressing testing heap transitions."

Merge "x86 GenLongRegOrMemOp should be aware about xmm to core reg conversion"

x86 GenLongRegOrMemOp should be aware about xmm to core reg conversion

GenLongRegOrMemOp function expects arithmetic on core regs but does not
ensure that operand in core reg.

The patch adds the conversion if it is required.

Change-Id: Ibb6928b8cc2c63ede1a20d6ee45d9a64884231b6
Signed-off-by: Serguei Katkov <serguei.i.katkov@intel.com>

Merge "Fix host gtests compiled with gcc"

Fix host gtests compiled with gcc

(cherry picked from commit d016e1fab648093706f85cc78b63da0f3f487733)

Change-Id: I5d2b8061278fd5a477ec87395fca435a3da801a3

Add GC mode for stressing testing heap transitions.

The stress testing mode does repeated heap transitions when the heap
gets a process state update. In between each transition, the heap
waits for a specified number of time.

Change-Id: Ie3f43835e539fa8da147f77b4623a432a0d858c2

Merge "Add missing debugger root visiting."

Add missing debugger root visiting.

Bug: 13634574
Change-Id: I2a76f6c43f1d0ad1922f06deb40a71ff651129fd

Merge "Fix imm5 and shift_type detection"

Merge "Fix missing link line for libgtest_host."

Fix imm5 and shift_type detection

Bug: 13628315
Change-Id: I8ff044cc18721b7ea50c75c796a2fb63a1e189f9

Merge "Trampoline and assembly fixes for ARM64"

Merge "An argument is handled incorrectly for add-int/lit8 during optimization phase"

Merge "Small update to CFG printing using DOT"

An argument is handled incorrectly for add-int/lit8 during optimization phase

Dalvik instruction 'add-int/lit8' stores a constant in the third parameter.
But during optimization phase the compiler reads the constant from the
second parameter. This is incorrect because it leads to wrong decision that
no array bound checks are needed in our test case. As a consequence it
fails with SIGSEGV because of accessing elements which are beyond the bounds.

Change-Id: I653892514934046d31a9e4d206d9d95ebb6267ab
Signed-off-by: nikolay serdjuk <nikolay.y.serdjuk@intel.com>

Merge "Refactor image writer reference visiting logic."

Refactor image writer reference visiting logic.

Now uses Object::VisitReferences.

Change-Id: I5a4557e10796d6f34596f2e8796ad9382121c567

Trampoline and assembly fixes for ARM64

Trampolines need a jump, not a call. Expose br in the ARM64
assembler to allow this.

The resolution trampoline is called with the Quick ABI, and will
continue to a Quick ABI function. Then the method pointer must be
in x0.

Change-Id: I4e383b59d6c40a659d324a7faef3fadf0c890178

Merge "Refactor object reference visiting logic."

Refactor object reference visiting logic.

Refactored the reference visiting logic to be in mirror::Object
instead of MarkSweep.

Change-Id: I773249478dc463d83b465e85c2402320488577c0

Merge "Fixes to mem_map wraparound and ARM64 quick_invoke assembly"

Merge "Avoid strerror until we are sure there is an error"

Avoid strerror until we are sure there is an error

Change-Id: I8f0c5a9cb1b07bfffd5ce9f9ca33f53c8834e9f5

Merge "Refactor and optimize GC code."

Refactor and optimize GC code.

Fixed the reference cache mod union table, and re-enabled it by
default. Added a boolean flag to count how many null objects,
immune, fast path, slow path objects we marked.

Slight speedup in mark stack processing, large speedup in image mod
union table scanning.
EvaluateAndApplyChanges Before:
Process mark stack time for full GC only:
12.464089s, 12.357870s, 12.538028s
Time spent marking mod image union table ~240ms.
After:
Process mark stack time: 12.299375s, 12.217142s, 12.187076s
Time spent marking mod image union table ~40ms.

TODO: Refactor reference visiting logic into mirror::Object.

Change-Id: I91889ded9d3f2bf127bc0051c1b1ff77e792e94f

Fixes to mem_map wraparound and ARM64 quick_invoke assembly

There are only 6 free GPRs for passing in a non-static invoke. This
corrupted one register for long-signature methods.

The wrap-around did not actually wrap around correctly.

Change-Id: I62658dadeb83bb22960b9455e211d26ffaa20f6f

Merge "Deduplicate the code that hardcodes the array header layout."

Deduplicate the code that hardcodes the array header layout.

Get rid of HeaderSize() in array-inl.h and use DataOffset() instead.

Bug: 12687968
Change-Id: Ic81cf3fa6bb9b2440d351a73f5fd6a2d6908d15b

Merge "Revoke rosalloc thread-local buffers at the checkpoint."

Merge "Don't return null for null utf in AllocFromModifiedUtf8."

Don't return null for null utf in AllocFromModifiedUtf8.

If you pass in a null utf string it should not be the same behavior
as out of memory.

This previously caused serious problems in:
https://android-review.googlesource.com/#/c/80768/

Change-Id: I9dfb710b57f6cc91064812f52a3db64254769461

Merge "Fix sign problem, implement low-mem mmap wraparound"

Revoke rosalloc thread-local buffers at the checkpoint.

In the mark sweep collector, rosalloc thread-local buffers were
revoked during the pause. Now, they are revoked at the thread
checkpoint, as opposed to during the pause, which appears to help
reduce the pause time.

In Ritz MemAllocTest, the average sticky pause time went down ~20%
(925 us -> 724 us).

Bug: 13394464
Bug: 9986565
Change-Id: I104992a11b46d59264c0b9aa2db82b1ccf2826bc

Fix sign problem, implement low-mem mmap wraparound

A signed value comparison meant that on 64b systems comparisons
were false when pointers > 2GB were in use (as happens in long-running
tests). Fix this to be uint.

Implement a simple wrap-around in the MAP_32BIT emulation code.

Change-Id: I09870b4755f2dca676e42e701fbb6f6eb4bb95d0

Merge "Improvements to Field.get/set."

Improvements to Field.get/set.

Avoid unnecessary repeated computation in Field.get/set.
Refactor FromReflectedField and FromReflectedMethod into common helpers in
mirror::ArtField and mirror::ArtMethod, and make use of thereby avoiding
transitions through JNI.
Avoid JNI use from within FromReflectedField and FromReflectedMethod.
Tidy up Field.get/set wrt moving collector support.
Bug: 12189533

Change-Id: I643ab3474bade4abac3a3ae2b6e373b2bb0891c8

Merge "Move saved SSA map to ScopedArenaAllocator to save memory."

Merge "Refactor the garbage collector driver (GarbageCollector::Run)."

Move saved SSA map to ScopedArenaAllocator to save memory.

Bug: 13564922
Change-Id: I917d451267ca6fceb2f6b2ff33b872ee8c209893

Merge "Free Arenas from the ArenaStack before running codegen."

Merge "Fix method index for GDB information"

Fix method index for GDB information

This was pointed out to me by Vladimir Marko.  Just use the correct
value.

Change-Id: Ia0948ef9fb313acdd714fc23420328b2e21569eb
Signed-off-by: Mark Mendell <mark.p.mendell@intel.com>

Free Arenas from the ArenaStack before running codegen.

Since the ArenaStack is used only by the MIRGraph and not by
the memory hungry codegen, freeing the ArenaStack's Arenas
just before running the codegen should reduce the compiler's
peak memory usage.

Bug: 13564922
Change-Id: I1cb49d367e4e81d71a03cac89b3739ed61e4f966

Merge "Support inlining detection from debugger."

Support inlining detection from debugger.

In the context of the compiler, every method and field should be resolved. The
InlineMethodAnalyser uses that property so we don't inline unresolved methods
or methods accessing unresolved fields. In the context of the debugger, this is
not true. We may install a breakpoint in a method that's never been resolved
yet for instance.

This CL weaks that property so we can detect getter/setter methods can be
inlined even if they're not resolved yet. To differentiate both contexts, we
pass a null inline method pointer to InlineMethodAnalyser::AnalyseIGetMethod.

Bug: 12187616
Change-Id: I247f315b9abd6b065d5a7ec4116de15a6cce7649

Merge "Fix and clean up intrinsic Math.abs(long)."

Fix and clean up intrinsic Math.abs(long).

On ARM, make sure we don't clobber a register that we still
need for the next insn. On x86, don't free a source register
for temps if it's overlapping a result register as that
would allow the sign_reg temporary to alias with the result.

Change-Id: I785f2f607900ae8ceb2fa0b8f3eefafdf6fab5c7

Merge "Fix issue parsing implicit_checks property"

Fix issue parsing implicit_checks property

It was missing the initial value.

Change-Id: Id7554c9286947791a46358b0c07339e4d0eac1ee

Fix missing link line for libgtest_host.

bug 13435344

Change-Id: If4197ddb97b235c731e4c771968eae46483d55b3

Merge "Fix RecordFree to take signed parameters."

Merge "Add Heap::RunningOnValgrind and call it from the spaces."

Add Heap::RunningOnValgrind and call it from the spaces.

Makes it easier to disable valgrind support.

Change-Id: I1bde792f1b76a2dd968fa03c6142e92fcc3670b0

Fix RecordFree to take signed parameters.

RecordFree can get negative bytes allocated when background
compaction foreground transitions occur. This caused a DCHECK to
fail on debug builds. Also did some refactoring in
PreProcessReferences.

Bug: 13568814
Change-Id: I57543f1c78544a94f1d241459698b736dba8cfa8

Merge "64bit: make runtime offsets more deterministic."

64bit: make runtime offsets more deterministic.

STL implementations vary causing offsets not to be consistent. Place member
variables we care about the offsets of at the start of Runtime.

Change-Id: I3ad7fe606cb99bcdd884a8fdbdd06bd7e047cd84

Merge "Fix a libartd.so boot DCHECK failure with the GSS collector."

Merge "HACK: force target art executables to be compiled for 32-bit"

Fix a libartd.so boot DCHECK failure with the GSS collector.

Bug: 11650816
Change-Id: Ibbdf1e66d2c1afe92351ee7a0ca84702bd07035d

Small update to CFG printing using DOT

-Ensures to print all non-null basic blocks in MIR graph.
-Prints links from exceptions to catch targets.

Change-Id: I98fe46cd1c39cf59c46e6bccf967612defaa4f3b
Signed-off-by: Razvan A Lupusoru <razvan.a.lupusoru@intel.com>

HACK: force target art executables to be compiled for 32-bit

64-bit dex2oat doesn't support 32-bit targets yet, force all
art executables to compile 32-bit for now.

Change-Id: If69f0a45e55104a5e915a9c58afa9009aa68b71c

Refactor the garbage collector driver (GarbageCollector::Run).

Bug: 12687968

Change-Id: Ifc9ee86249f7938f51495ea1498cf0f7853a27e8

Merge "Make all gc maps with 0 entries identical."

Merge "Clean up intrinsic Math.abs(float/double)."

Make all gc maps with 0 entries identical.

Change-Id: Ie4fee22ffed07d23d103f52e4ab39ef083678d85

Merge "Add soft reference pre processing."

Add soft reference pre processing.

Soft reference pre-processing does soft reference preservation with
mutators running. After this is done, it does another pass with
mutators paused in the ProcessReference code. This helps lower pauses
since most preserved soft references have their referents recursive
marked outside the pause.

Changed ergonomics to have non sticky collectors always clear the
soft references.

Maps pauses ~10ms -> ~3ms on Nexus 4.

Bug: 13421927

Change-Id: I1370f7bb6934034869aa5afca0c377876267aa8e

Merge "Add FINAL and OVERRIDE to calling conventions of the JNI compiler"

Add FINAL and OVERRIDE to calling conventions of the JNI compiler

Change-Id: I72d75e6eabbef334a9244668a1b20f7113f76c2b

Clean up intrinsic Math.abs(float/double).

Don't load 0x7fffffff into register.

Change-Id: I0197f9f3ad33db1f6eb09a9b4113299c00f500e3

Merge "Fix message in 083-compiler_regressions test"

Fix message in 083-compiler_regressions test

Fix test failure message to reflect expected result.

Change-Id: I75ae3e882671aa429ecb17487188720c19ff4d32

Merge "Fix GenArithOpInt to work with RA correctly"

Merge "ART: API changes"

Fix GenArithOpInt to work with RA correctly

In a case of mul-int/2addr bytecode when source operand is in
memory implementation should first load value of destination
and then evaluate location for destination. Otherwise load will
be skipped because after evaluation of physical register for
destination load will be ignored due to register allocator
thinks that value is already in register.

Change-Id: Iecee5a07d0fba16b421b8c49d42c5d8623794ad7
Signed-off-by: Serguei Katkov <serguei.i.katkov@intel.com>

Merge "Fix JDWP ObjectReference.InvokeMethod for virtual method call."

Merge "Fix thread suspension in ObjectReference.MonitorInfo JDWP command."

Merge "Do not send JDWP data in case of error."

Fix JDWP ObjectReference.InvokeMethod for virtual method call.

Fixes virtual method call by invoking the concrete method in sirt reference
after devirtualization, not the original method.

Bug: 13526099
Change-Id: I2e3548eca2f5434e8cece64c22aaf80d1cd8badf

Merge "Some more ARM64 tests that are invalid at the moment"

Some more ARM64 tests that are invalid at the moment

Change-Id: I7e5a3c093bb0b0fd04ef588946f8b843993f6d4e

Merge "Parts of ARM64 should not be enabled, yet"

Parts of ARM64 should not be enabled, yet

The managed register test exercises tests that are supposed to hold
in the final product, but the infrastructure is not at that point yet.

Change-Id: I32bee942a13819620d9f6b1c0d9a8a14c9951764

Merge "Fix test-art 083-compiler-regressions with work around"

Fix test-art 083-compiler-regressions with work around

(cherry picked from commit cac04f21b35152c3f6e5c09b6699685255491b4a)

Change-Id: I99f66c7531a61f36328db607a961137a6345cbe0

Merge "Make test-art pass with heap reference poisoning enabled."

Merge "AArch64: Add arm64 runtime support."

AArch64: Add arm64 runtime support.

Adds support for arm64 to ART. Assembler stubs are sufficient for
down calls into interpreter. JNI compiler and generics are not finished.

Basic Generic JNI functionality.

Change-Id: I4a07c79d1e037b9f5746673480e32cf456867b82

Merge "Optimize stack overflow handling."

Merge "Fix Quick compiler "out of registers""

Fix Quick compiler "out of registers"

There are a few places in the Arm backend that expect to be
able to survive on a single temp register - in particular
entry code generation and argument passing.  However, in the
case of a very large frame and floating point ld/st, the
existing code could end up using 2 temps.

In short, if there is a displacement overflow we try to use
indexed load/store instructions (slightly more efficient).
However, there are none for floating point - so we ended up
burning yet another register to construct a direct pointer.
This CL detects this case and doesn't try to use the indexed
load/store mechanism for floats.

Fix for https://code.google.com/p/android/issues/detail?id=67349

Change-Id: I1ea596ea660e4add89fd4fddb8cbf99a54fbd343

Optimize stack overflow handling.

We now subtract the frame size from the stack pointer for methods
which have a frame smaller than a certain size. Also changed code to
use slow paths instead of launchpads.

Delete kStackOverflow launchpad since it is no longer needed.

ARM optimizations:
One less move per stack overflow check (without fault handler for
stack overflows). Use ldr pc instead of ldr r12, b r12.
Code size (boot.oat):
Before: 58405348
After: 57803236

TODO: X86 doesn't have the case for large frames. This could case an
incoming signal to go past the end of the stack (unlikely however).

Change-Id: Ie3a5635cd6fb09de27960e1f8cee45bfae38fb33