Merge "Address some code comments"

Merge "Optimizing: Simplify UShr+And, Shr+And."

Merge "Fix a bug in DeadPhiHandling around conflicting phis."

Fix a bug in DeadPhiHandling around conflicting phis.

Change-Id: I44ec40f71a7e05eb4295bea55f6045cb86017329

Merge "Optimizing: Tag arena allocations in code generators."

Optimizing: Simplify UShr+And, Shr+And.

Eliminate And from UShr+And if the And-mask contains all the
bits that can be non-zero after UShr. Transform Shr+And to
UShr if the And-mask precisely clears the shifted-in sign
bits.

This prepares for detecting the Rotate pattern, i.e.
  (x << N) | (x >>> (SIZE - N))
in code that unnecessarily masks the UShr, for example
  (x << 1) | ((x >>> 31) & 1) ,
or uses Shr, for example
  (x << 8) | ((x >> 24) & 0xff) .

Change-Id: I684c4b752547d9b1057d0d4c4d44550bb1a3ffb4

Merge "Quick: Avoid shifting -1 left (undefined behavior)."

Quick: Avoid shifting -1 left (undefined behavior).

C++11 clarifies that shifting left a negative value is
undefined behavior. Fix legacy code that shifted -1 left.

Bug: 24489455
Change-Id: Iaf4f26c7cde175f039b6a2cad12af6f0b1624fba

Optimizing: Tag arena allocations in code generators.

And completely remove the deprecated GrowableArray.

Replace GrowableArray with ArenaVector in code generators
and related classes and tag arena allocations.

Label arrays use direct allocations from ArenaAllocator
because Label is non-copyable and non-movable and as such
cannot be really held in a container. The GrowableArray
never actually constructed them, instead relying on the
zero-initialized storage from the arena allocator to be
correct. We now actually construct the labels.

Also avoid StackMapStream::ComputeDexRegisterMapSize() being
passed null references, even though unused.

Change-Id: I26a46fdd406b23a3969300a67739d55528df8bf4

Merge "Use dominance information for null optimization in write barrier."

Use dominance information for null optimization in write barrier.

Change-Id: I8b57dafcd321c9afa1bbfc6a0674cbea15cbf10c

Address some code comments

Change-Id: I0a38a387c4328d45bbc04d095bf3388c27495c12

Merge "ART: Single-frame deopt"

ART: Single-frame deopt

Add deoptimization of a single frame. Works by removing the managed
code frame and jumping into the quick-to-interpreter bridge, and
the bridge understanding a stored ShadowFrame.

We need a separate fixup pass. For x86, we leave the return address
on the stack so we don't need to push it there.

Bug: 21611912
Change-Id: I06625685ced8b054244f8685ab50b238a705b9d2

Merge "Don't unload shared libraries for null class loader."

Don't unload shared libraries for null class loader.

If we load a shared library in the boot class loader (null),
then we create the SharedLibrary with a null class loader. We
shouldn't unload this shared library if the class loader decodes to
null since it may still be in use.

Fixes some hangs in gcstress tests.

Bug: 22720414
Change-Id: I52eca4cdba2c5ddd8e3dc7d133d253e5626c5b44

Merge "ART: Run arch specific Checker tests on host"

ART: Run arch specific Checker tests on host

The run-test script would not pass an architecture to Checker when
not in target mode and tests specific to x86(_64) would therefore not
be run.

Change-Id: Ibcbad0135e7a870e6ad3f09ab612fe276c97bcb8

Merge "ART: Use unique_ptr for alloca-ed ShadowFrames"

Merge "Use make TARGET_LINKER= instead of overriding linker flags."

Use make TARGET_LINKER= instead of overriding linker flags.

This solves building mips32 with gcc.

That's a temporary measure until we can set a custom target.

Change-Id: I1e8acfb0f5ca7e28d2ba3fb230b42800d5782973

Merge "ART: Fix DeadPhiHandling creating >2 equivalents"

ART: Fix DeadPhiHandling creating >2 equivalents

Run test 531 failed a DCHECK because the DeadPhiHandling algorithm
would generate three phis of the same type:
  (0) loop phi [#0, ref] with equivalents void & object
  (1) type object equivalent by its first input => int & int
  (2) request object equivalent by a user => int & int & object
  (3) type second => int & object & object (dead)
  (4) type first => object & object & object

This patch fixes the issue by skipping (1) when the phi already has
a type, thus not creating the third equivalent for the phi's user.

Change-Id: I00c990a5982ddc1f7de013f72bbcfb1c649a6e5f

Merge "Address HPackedSwitch issues raised after merge"

Address HPackedSwitch issues raised after merge

There were some stylistic comments about the merged files.  Fix those.

Add a test that PackedSwitch can be removed by DCE.

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

Merge "Revert "Revert "lambda: Experimental support for capture-variable and liberate-variable"""

Revert "Revert "lambda: Experimental support for capture-variable and liberate-variable""

This reverts commit 7bbb80ab52c203e44d2ded2c947b3b03b4b31ec4.

Change-Id: If806ce5c6c5e96fdb2c3761dee096f74e7e5b001

Merge "Revert "lambda: Experimental support for capture-variable and liberate-variable""

Revert "lambda: Experimental support for capture-variable and liberate-variable"

Test fails.

This reverts commit b72123440d8541362ebdb131436f9dbdda5fd329.

Change-Id: Ic9ed92f8c826d8465eb36b746dc44af05caf041c

Merge "MIPS64: Implement intrinsics from java.lang.Math:"

Merge "Disable class unloading test for tracing tests"

Disable class unloading test for tracing tests

Temporary fix.

Bug: 24414774
Change-Id: I6f04d6b3bb7eafa009391f46fe16cf2f363e0d70

Merge "lambda: Experimental support for capture-variable and liberate-variable"

MIPS64: Implement intrinsics from java.lang.Math:

- abs(double)           - abs(float)            - abs(int)
- abs(long)             - ceil(double)          - floor(double)
- max(double, double)   - max(float, float)     - max(int, int)
- max(long, long)       - min(double, double)   - min(float, float)
- min(int, int)         - min(long, long)       - rint(double)
- sqrt(double)

The math intrinsics:

- round(double)         - round(float)

aren't implemented because there is no simple mapping from these Java
functions into MIPS assembly code.

Change-Id: I37ee5224d3d64f7162ed98521ba566fbc58d7905

lambda: Experimental support for capture-variable and liberate-variable

Supports capturing/liberating any primitive variables.
No support for capturing objects/lambdas yet since they would both
need GC changes to track roots through closures.

Change-Id: Ibfb68bfe4c579dbf93823aac4c0e6ac8f6360c5d

Merge "Fix tests 116 and 118 for no-prebuild"

Fix tests 116 and 118 for no-prebuild

Added missing "JNI_OnLoad called" in the expected output.

Change-Id: I619aae215c767bd75494933fd3480ec7e91b0570

Merge "MIPS64: Implement intrinsics from libcore.io.Memory:"

Merge "Fix bug in WaitForCompilationToFinish"

Fix bug in WaitForCompilationToFinish

We now pass the barrier inside of Finalize, previously we did it in
Run. This was buggy since Finalize is called after Run and there was
a race condition where WaitForCompilationToFinish would delete the
task before we called Finalize.

Change-Id: I3f624fa9cdfcf2b266775c6927c336fb987dd58c

Merge "ART: Move code from RA to T9 in Mips64 longjump"

Merge "Fix JIT for class unloading"

Fix JIT for class unloading

Keep declaring class of method live to prevent unloading.
Wait for JIT to finish compiling before calling Runtime.gc(), this
prevents flaky failures due to classes not being unloaded.

Bug: 22720414

Change-Id: I9fe5e5e39d681bcd22acc2d2f34b0dbc9887708d

ART: Move code from RA to T9 in Mips64 longjump

Do not use the return address. It should not be clobbered as we
may need it, e.g., for single-frame deopt.

Change-Id: I401d7b0034bc4e210bda231ec78ee31242053b36

Merge "MIPS64: Implement miscellaneous bit manipulation intrinsics"

Merge "Call JNI_OnUnload when class loaders get collected"

Call JNI_OnUnload when class loaders get collected

Added test case to 141-class-unload.

Bug: 22720414
Change-Id: I0575fae72521520a17587e8b0088bf8112705ad8

MIPS64: Implement intrinsics from libcore.io.Memory:

- peekByte(long address)
- peekShort(long address)
- peekInt(long address)
- peekLong(long address)
- pokeByte(long address, byte value)
- pokeShort(long address, short value)
- pokeInt(long address, int value)
- pokeLong(long address, long value)

Change-Id: Ic5996ea035bf7e622b6fc85b9526ee8318cb6b1f

Merge "ART: Reject PackedSwitch with overflowing keys"

ART: Reject PackedSwitch with overflowing keys

As stated in "Dalvik bytecode" sections on switch payload format,
switch case keys must be stored in ascending order. Verifier enforced
this for sparse-switch but not for packed-switch.

Bug: 24399945
Change-Id: I0802d38e2bfae93c0dffe8ebfce2e9693a63ec02

Merge "Optimizing: Add comment on DCE's packed-switch value check."

Optimizing: Add comment on DCE's packed-switch value check.

Change-Id: I0c264d00b889917f88347c16c53e7647d0d8fd0f

Merge "Enable class unloading"

Merge "ART: Show the previous failure type in init rejection"

Merge "ART: Fix misleading error message in method verifier."

ART: Fix misleading error message in method verifier.

Change-Id: I4805de0060b74168fa36e077a6a7ea59e9d72d46

Merge "Optimizing: Tag more arena allocations."

Merge "Optimizing: Rewrite DCE's MarkReachableBlocks()."

Optimizing: Rewrite DCE's MarkReachableBlocks().

Replace a recursive implementation with a loop using a work
list to avoid stack overflow that we would presumably hit
for 702-LargeBranchOffset in host debug build with -O0, once
the DCE block elimination is enabled for methods containing
try-catch.

Bug: 24133462
Change-Id: I41288ba368722bcb5d68259c7c147552c8928099

Optimizing: Tag more arena allocations.

Replace GrowableArray with ArenaVector and tag arena
allocations with new allocation types.

As part of this, make the register allocator a bit more
efficient, doing bulk insert/erase. Some loops are now
O(n) instead of O(n^2).

Change-Id: Ifac0871ffb34b121cc0447801a2d07eefd308c14

Merge "ART: SsaBuilder clean up"

ART: SsaBuilder clean up

Adds DCHECKs which verify assumptions about catch blocks. Uses HPhi::
IsVRegEquivalentOf instead of a local function.

Change-Id: I1b6db5ff2da5263d61261963308b6d65453a6d56

Merge "ART: Preserve loop headers with try/catch"

ART: Preserve loop headers with try/catch

Algorithm for inserting HTryBoundary instructions would generate a
non-natural loop when a loop header block was covered by a TryItem.
This patch changes the approach to fix the issue.

Bug: 23895756
Change-Id: I0e1ee6cf135cea326a96c97954907d202c9793cc

Enable class unloading

Also added class unloading test. Added a missing write barrier in
the class linker to fix a heap corruption error.

Bug: 22720414
Change-Id: Iff615d69b574a4438e91d4c844279d202f4f2736

Merge "dexdump2 won't be optional when it replaces dexdump."

ART: Use unique_ptr for alloca-ed ShadowFrames

To enable automated calls of the destructor (for extensions of
ShadowFrame), return a unique_ptr with a custom deleter. Use a
macro so that the alloca happens in the caller.

Change-Id: Id28a6ea131f108e4a94ff1699fc22e7b44aec018

dexdump2 won't be optional when it replaces dexdump.

So it should just be in /system/bin, not sad and lonely in /system/xbin.

Change-Id: I2edda827d36486f46fdcfd77f0ee6eec1345974c

Merge "Optimizing: Rewrite HGraph::FindBackEdges()."

Merge "Optimizing: Rewrite HGraph::ComputeDominanceInformation()."

Optimizing: Rewrite HGraph::FindBackEdges().

Replace a recursive implementation with a loop using a work
list to avoid stack overflow for 702-LargeBranchOffset in
host debug build with -O0, 512KiB thread pool worker stack.

Change-Id: Iaa91f006fa1099913aeffc9c764879bd004d56de

Optimizing: Rewrite HGraph::ComputeDominanceInformation().

Replace a recursive implementation with a loop using a work
list to avoid stack overflow for 702-LargeBranchOffset in
host debug build with -O0.

Bug: 24133462
Change-Id: I444cc85733a9212403a071ea98b9ddfb52bfc402

Merge "ART: mprotect() bottom page of ThreadPoolWorker stacks."

Merge "ART: Refactor run-test 482-loop-back-edge-use"

ART: mprotect() bottom page of ThreadPoolWorker stacks.

This will catch stack overflows instead of creating hard
to find issues later on.

Bug: 24133462
Change-Id: I3ae5d5da70b8167867936b2561830f3ff47f14fc

Merge "Minor cleanup in range analysis."

Minor cleanup in range analysis.

(1) replaced min/max macro as previously required.
(2) removed some redundant code by merging min/max into one.

Change-Id: I610879a06d550346bfac7e6e12ec0299ba226a37

Merge "Various improvements in finding induction variables."

Various improvements in finding induction variables.

Rationale:
(1) Analyze multi-way phis (requested by Nicolas, Igor, and Mingyao).
(2) Analyze trip count for restricted != loops
(3) Added unit test for public API of range analysis (static methods
    were already well-tested).

Change-Id: I9285d22d3bb927f141204cc4697ea6fe5120994d

Merge "Replaced INT_MIN/MAX with modern-day limits."

Merge "Add benchmark for jobject functions"

Replaced INT_MIN/MAX with modern-day limits.

Change-Id: Ia6a0df1e8c6a543c338db0acd75437e1d19701e3

Merge "Fix falkiness in 117-nopatchoat"

Fix falkiness in 117-nopatchoat

Previously if the image chose a relocation delta of 0 this test would
fail. Now we check for this state directly.

Bug: 24192015

Change-Id: Ie818701edc5605fed590547f0e8b1e97d1d994e3

ART: Refactor run-test 482-loop-back-edge-use

The test used to rely on absolute liveness positions of instructions.
This was painful but worked on all architectures because all passes
were platform agnostic. This does not apply any more and the test
needed to be rewritten.

Change-Id: I423e61ba64a9522361f8e20c27b1975656419f67

Merge "Don't use ninja to build targets."

Don't use ninja to build targets.

Ninja does not preserve the -e option given to make.

Change-Id: I3b540aa420a57369b67565477a31c6ff2c17afaf

Add benchmark for jobject functions

Measures performance of:
Add/RemoveLocalRef
Add/RemoveGlobalRef
Add/RemoveWeakGlobalRef
Decoding local, weak, global, handle scope jobjects.

N5 results:
benchmark    ns linear runtime
AddRemoveGlobal 476.7 ===========================
AddRemoveLocal  42.0 ==
AddRemoveWeakGlobal 519.7 ==============================
DecodeGlobal  69.9 ====
DecodeHandleScopeRef  38.9 ==
DecodeLocal  70.7 ====
DecodeWeakGlobal 119.7 ======

Change-Id: Iba014a9993909ee45fd52ae48d6dea8428a86bf2

Merge "ART: PathClassLoader test"

ART: PathClassLoader test

Add a test checking that subclassing PathClassLoader works as
expected.

Change-Id: Ic6bb733b748df5e29b21df021f302ed4237b0f99

Merge "Some clean up for mark sweep files"

Merge "[optimizing] Add basic PackedSwitch support"

Merge "Clear allocator in image writer"

Clear allocator in image writer

Doesn't fix any active bugs, just precautionary.

Change-Id: I32a89e00b1d5964ad77fb53eded55263fea5df00

Some clean up for mark sweep files

Bug: 19534862
Change-Id: Ib619e8c4b9d902269d123baa18be56c94114e070

Merge "Fix static build when libbacktrace links llvm libraries."

Merge "Fix CreateLinearAlloc bug"

Merge "Various improvements in range analysis."

Fix CreateLinearAlloc bug

Should have been using IsAotCompiler since the JIT has IsCompiler
as true but no low 4 GB arena pool.

Fixes 64 bit JIT tests.

Change-Id: Idc4d3e66c573eacd31ae85c66f8493b418d221d7

Merge "Revert "Revert "Add one LinearAlloc per ClassLoader"""