Merge "ART: Faster implementation of GVN's hash table"

ART: Faster implementation of GVN's hash table

The basic hash table in Optimizing's GVN pass does not scale for
larger methods and quickly becomes a bottleneck. This patch provides
a different implementation, focusing on the following:
(1) Proper buckets with chaining for near constant-time lookup.
(2) Bucket inheritance for faster cloning. A clone does not actually
    copy the entries until a first change is made.
(3) Table resizing for better load management. Done during cloning.
(4) Kill() and IntersectWith() applied only on impure instructions.
    This is achieved by splitting (im)pure entries between even- and
    odd-indexed buckets.

Benchmarks show that this optimization speeds up GVN by ~10%, which
translates to a rougly 2% change in the overall compilation time.

Change-Id: Ib4058359701d990194cfd49c6ee46ac2372f090c

Merge "Fixed maybe used uninitialized"

Merge "[optimizing] Use baseline when debuggable is set."

[optimizing] Use baseline when debuggable is set.

SSA form conflicts with JDWP's SetValue functionality. Because
we do not deopt all the call stack, we may call SetValue on a
compiled frame, which doesn't work with optimizing. Simplest
solution for now is to just use baseline.

Change-Id: I91738b363eec8fef145486bd96681aea73a1baa8

Merge "ART: Change logging strategy in run-tests"

Merge "Update test expections after network changes in kernel/libcore."

Update test expections after network changes in kernel/libcore.

Change-Id: I1cdb55b2320a451d82b24a1f497930c12dd506cb

Merge "Update locations of registers after slow paths spilling."

Update locations of registers after slow paths spilling.

Change-Id: Id9aafcc13c1a085c17ce65d704c67b73f9de695d

Fixed maybe used uninitialized

GCC 4.9 found that ops[1].op maybe uninitialized in
ArmMir2Lir::GetEasyMultiplyTwoOps, but used unconditionally
in ArmMir2Lir::GenEasyMultiplyTwoOps

Change-Id: Icf8fdf3b888bd54ccb252e95637774889c7a0f9d

Merge "Add more info to GetSFields DCHECK"

Add more info to GetSFields DCHECK

Some hprof test 64 bit failures had this DCHECK failing.

Change-Id: Iede7432056f99aa2773ddfd098b359fca5f4371e

Merge "ART: Fix missing Erase() in error case"

ART: Change logging strategy in run-tests

For host tests, do not silence warnings for the prebuild stage.

Bug: 19687013
Change-Id: Idd8f61a05d548da1679fddbd9ef5d216397b4fe7

Merge "Revert "Disable jit for ARM 64 bit""

Revert "Disable jit for ARM 64 bit"

Bug: 17950037

This reverts commit bf9026d3e09b5b92b1d94a8e1e3953bf13127bef.

Merge "Fix 32 bit loads of 64 bit direct code pointers"

Fix 32 bit loads of 64 bit direct code pointers

Fixes 64 bit problems for JIT since the JIT code cache isn't always
in the low 2GB.

(cherry picked from commit 0d2ac187be10838c008e6aaa03e5e55014e9087e)

Change-Id: Ifd37d6a86166a91be1b258da7329c888fd82e4b9

Merge "Add more info to who called SuspendAll"

Add more info to who called SuspendAll

Helps diagnose related jank.

Change-Id: I38191cdda723c6f0355d0197c494a3dff2b6653c

Merge "Fix valgrind heap_test."

ART: Fix missing Erase() in error case

Fixes an abort for unclosed file.

Change-Id: Iae46fd89724f6f77a2b0a8c40293532e56153c2e

Fix valgrind heap_test.

Copy the exact object size rather than the aligned size to avoid
valgrind errors in the zygote compact collector.

Change-Id: I260b8901f96fb4c0937a1a5237120b56f6858b7a

Merge "Change method verifiers to be thread local roots"

Change method verifiers to be thread local roots

Bug: 10921004

Change-Id: I3a1425d76cd380587ba67ef6d5ec1227564e55bf

Merge "[optimizing] Don't record None locations in the stack maps."

Merge "Disable jit for ARM 64 bit"

Disable jit for ARM 64 bit

Until issues are fixed.

Bug: 17950037
Change-Id: I4517a1e188adf0a087576423066c348eb6ae81be

[optimizing] Don't record None locations in the stack maps.

- moved environment recording from code generator to stack map stream
- added creation/loading factory methods for the DexRegisterMap (hides
internal details)
- added new tests

Change-Id: Ic8b6d044f0d8255c6759c19a41df332ef37876fe

Merge "Update expectations for libcore bug."

Update expectations for libcore bug.

Change-Id: I88b949956440b8f0bc8f2bfe731fb7a3d18652e6

Merge "Exercise Heap::PreZygoteFork() in a test."

Exercise Heap::PreZygoteFork() in a test.

Change-Id: If41c931ffdbb0310536799b4515557770f2cd4b9

Merge "ART: Add entries_ lock for race condition"

ART: Add entries_ lock for race condition

GCDaemon thread would visit incorrect RegType content when there is
another thread initializing classes.
Add a lock to protect entries_.

https://code.google.com/p/android/issues/detail?id=159849

Change-Id: Iabaa1c7f5cc5106b60a6e3856152e0797e8a5d6d

Merge "Refactor code in preparation of correct stack maps in slow path."

Refactor code in preparation of correct stack maps in slow path.

Move the logic of saving/restoring live registers in slow path
in the SlowPathCode method. Also add a RecordPcInfo helper to
SlowPathCode, that will act as the placeholder of saving correct
stack maps.

Change-Id: I25c2bc7a642ef854bbc8a3eb570e5c8c8d2d030c

Merge "ART: Fix arraycopy in Unstarted Runtime"

ART: Fix arraycopy in Unstarted Runtime

Add null and bounds checks. Add type checks. Implement correct
copy in case of overlap.

The emulation is not complete. Object arrays with different types
are not supported to simplify the implementation.

Change-Id: I107bed1ce884ca632de3fa648fa7a1c5f592e2a4

Merge "Align CodeInfo regions instead of their inner subregions."

Align CodeInfo regions instead of their inner subregions.

Instead of word-aligning every stack map region, as well as
the Dex register maps region of a CodeInfo object, just
align the whole CodeInfo region itself.

Change-Id: Ia35d213d2bd184729aa0d048874c76f7bc6da0f6

Merge "Fix the computation of the size of the stack maps region."

Fix the computation of the size of the stack maps region.

In art::StackMapStream::ComputeStackMapSize, compute the
size of a CodeInfo's stack maps region using the stack
mask size, not the maximum element of the stack mask.
Also, rename this method as
art::StackMapStream::ComputeStackMapsSize to make it clear
it that it covers all the stack maps of the CodeInfo item,
not just one stack map.

Change-Id: Icad21946dbca6e1ade2b82c9c2c535fdfed110a9

Merge "Disable inlining in Optimizing when --debuggable is set."

Merge "API change in StackVisitor::GetVReg*."

API change in StackVisitor::GetVReg*.

- Remove GetVReg() and SetVReg() that were expecting to always succeed.
- Change Quick-only methods to take a FromQuickCode suffix.
- Change deopt to use dead values when GetVReg does not succeed:
  the optimizing compiler will not have a location for uninitialized
  Dex registers and potentially dead registers.

Change-Id: Ida05773a97aff8aa69e0caf42ea961f80f854b77

Disable inlining in Optimizing when --debuggable is set.

Change-Id: I6365269e606e0c176e518c06719ebdaf6a4c4b88

Merge "art/test/100-reflect2: change incorrect expectations."

Merge "Fix build breakage."

Fix build breakage.

Change-Id: I86959eca5d8f5458ff75c78776b0af9db9c26800

Merge "Tweak liveness when instructions are used in environments."

Merge "Fix copy/paste documentation error."

Fix copy/paste documentation error.

Change-Id: I153a8fdb3644c7178895ce0cc6c1c3f6ce3c6876

Merge "ART: More cutouts for unstarted runtime"

ART: More cutouts for unstarted runtime

Dex objects keep byte buffers to mapped dex files. For annotation
access we create them when compiling, but they must be cleared before
writing an image.

Add some Memory functions.

Bug: 19542228
Change-Id: I995791b43f2b09192d88645821d9e55b45f1b606

Merge "Improve 080-oom-throw-with-finalizer."

Merge "ART: Save work-line for pending runtime failure"

Improve 080-oom-throw-with-finalizer.

Avoid potential OOME that may be thrown during System.out.println or
System.runFinalization.

Bug: 19677738
Change-Id: I60c678000e965899cc876e746e72dc9cc0c6ebf9

Merge "Add missing patchoatd dependency for oat_file_assistant_test."

Merge "ART: Allow multiple invoke-with for art script"

Add missing patchoatd dependency for oat_file_assistant_test.

Change-Id: I11c64401d0b0c75ef4cc7fbdabf3fcc7d6fd048b

Merge "Force word alignment of Dex register maps."

Force word alignment of Dex register maps.

Plus some cosmetic changes.

Change-Id: I45e805aa87c2ef8fe8907eaae726cd2188b54897

Merge "Add way to select arena type at runtime"

ART: Save work-line for pending runtime failure

When we detect a pending runtime failure, we'll handle it as a
generic throw, no matter the instruction type. But we won't have
saved the work-line, which means we'll try to merge garbage into
the handler's line.

Copy the work-line when we set the failure.

Bug: 19634276
Change-Id: I54df9e9492cd48802f93e2f1938adaadc55c9bd5

Add way to select arena type at runtime

We now use MemMap for JIT, and malloc for everything else. This
should help fix the allegedly regressed compile times.

Change-Id: I6a6552738933f9d7ee3bd23f45e310818b19b70d

Tweak liveness when instructions are used in environments.

Instructions remain live when debuggable, but only instructions
with object types remain live when non-debuggable.

Enable StackVisitor::GetThisObject for optimizing.

Change-Id: Id87b2cbf33a02450059acc9993995782e5f28987

Merge "ART: correct native bytes allocated in RegisterNativeAllocation"

Merge "Opt compiler: Basic simplification for arithmetic operations."

ART: Allow multiple invoke-with for art script

Just like run-test, allow multiple invoke-with arguments that are
chained together.

Change-Id: I9f0d2d23fbff1cef32f0bb69e1bb803e157cfb73

Merge "Fix CC collector boot."

Merge "Fix style error in runtime/memory_region_test.cc."

Fix style error in runtime/memory_region_test.cc.

Change-Id: I0a34675c71e3ecb65566aa425ac30f5a52837cbb

Merge "Compress the Dex register maps built by the optimizing compiler."

Compress the Dex register maps built by the optimizing compiler.

- Replace the current list-based (fixed-size) Dex register
  encoding in stack maps emitted by the optimizing compiler
  with another list-based variable-size Dex register
  encoding compressing short locations on 1 byte (3 bits for
  the location kind, 5 bits for the value); other (large)
  values remain encoded on 5 bytes.
- In addition, use slot offsets instead of byte offsets to
  encode the location of Dex registers placed in stack
  slots at small offsets, as it enables more values to use
  the short (1-byte wide) encoding instead of the large
  (5-byte wide) one.
- Rename art::DexRegisterMap::LocationKind as
  art::DexRegisterLocation::Kind, turn it into a
  strongly-typed enum based on a uint8_t, and extend it to
  support new kinds (kInStackLargeOffset and
  kConstantLargeValue).
- Move art::DexRegisterEntry from
  compiler/optimizing/stack_map_stream.h to
  runtime/stack_map.h and rename it as
  art::DexRegisterLocation.
- Adjust art::StackMapStream,
  art::CodeGenerator::RecordPcInfo,
  art::CheckReferenceMapVisitor::CheckOptimizedMethod,
  art::StackVisitor::GetVRegFromOptimizedCode, and
  art::StackVisitor::SetVRegFromOptimizedCode.
- Implement unaligned memory accesses in art::MemoryRegion.
- Use them to manipulate data in Dex register maps.
- Adjust oatdump to support the new Dex register encoding.
- Update compiler/optimizing/stack_map_test.cc.

Change-Id: Icefaa2e2b36b3c80bb1b882fe7ea2f77ba85c505

Merge "Fix art_quick_instrumentation_exit stub for x86_64"

Fix art_quick_instrumentation_exit stub for x86_64

Restores callee-saved registers.

Bug: 19708384
Change-Id: I1cb47b1cc616af613816c4ee041bdfc975bf9f20

Merge "Run the natural loop recognizer before building SSA."

Run the natural loop recognizer before building SSA.

SSA building checks the consistency of the graph when dealing
with dead phis.

Fixes continuous AOSP builds with optimizing.

Change-Id: Ia9a0f0adc24a8e144e54444e090ad828b9b40040

Merge "Revert "Opt Compiler: Materialise constants that cannot be encoded""

Revert "Opt Compiler: Materialise constants that cannot be encoded"

Fails building the core image.

This reverts commit 758c2f65805564e0c51cccaacf8307e52a9e312b.

Change-Id: Ic3ebd8a08a3d17a513d820035b430f6de4125866

Merge "Give an expected type to phis created for multiple returns."

Give an expected type to phis created for multiple returns.

When inlining, we used to take the type of the inlined method
for the phi in case of multiple returns. I recently changed the
logic of phi types to only be of int/float/double/ref, so we
need to call ToPhiType when creating the phi.

Change-Id: I960067ca8a8814509c2a7c52c08387d892ebf4a3

Merge "Opt Compiler: Materialise constants that cannot be encoded"

ART: correct native bytes allocated in RegisterNativeAllocation

Fix the issue that in RegisterNativeAllocation the new_native_bytes_allocated
was not updated after Runfinalization, which may cause unnecessary GC.

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

Fix CC collector boot.

Avoid a DCHECK failure that the semi space collector isn't initialized
at the pre-zygote fork time when the CC collector is used.

Change-Id: If35707b241be05a341abb11ba51fbd0bc222d219

Merge "ART: Check that boot image classes are verified"

Merge "Rosalloc thread local allocation path without a cas."

Rosalloc thread local allocation path without a cas.

Speedup on N4:
MemAllocTest 3044 -> 2396 (~21% reduction)
BinaryTrees  4101 -> 2929 (~26% reduction)

Bug: 9986565
Change-Id: Ia1d1a37b9e001f903c3c056e8ec68fc8c623a78b

Merge "Properly compile multidex for tests when using Jack."

Merge "ART: Fix finalizable class in Unstarted Runtime"

ART: Fix finalizable class in Unstarted Runtime

Add a finalizable check for emulation of Class.newInstance, as this
is not allowed in transactional mode.

Change-Id: I9633929bf484ac8807b97209ab4b422c320b04da

Merge "ART: Fix AbortTransaction in Unstarted Runtime"

ART: Fix AbortTransaction in Unstarted Runtime

Can only call AbortTransaction if in a transaction. Should log
something else otherwise and fail.

Change-Id: I31ea3558c38fb6284ee6cacd1eafe01910e0965e

Merge "Fix incompatible class change error for JIT stress mode"

Fix incompatible class change error for JIT stress mode

There was a problem with miranda methods, when we would dequicken to
one of these, it wouldn't resolve as virtual during the method
lowering resolve. The solution is to try resolving as interface if we
fail to resolve as virtual.

Fixed a bug in dequickening where unreachable register lines with
quick invokes would cause CHECK failuers. In this case we punt to the
interpreter (test 435-try-*).

Added test regression test. Example failure:
java.lang.IncompatibleClassChangeError: The method
'void Main$TheInterface.m()' was expected to be of type virtual but
instead was found to be of type interface (declaration of
'java.lang.reflect.ArtMethod' appears in
out/host/linux-x86/framework/core-libart-hostdex.jar)
  at Main.DoStuff(Main.java:37)
  at Main.main(Main.java:44)

Bug: 17950037

Change-Id: I39c32cc8849bf02032a4f61a7ce57462b7fcac75

Properly compile multidex for tests when using Jack.

Bug: 19687200
Change-Id: I8c5771ccd474aa06001c3a48cc82550589ac7055

Merge "Fix a bug in the SSA builder."

Fix a bug in the SSA builder.

The build would leave behind phis with incompatible input types
(for example float and int). We need another dead phi run after
the type propagation to ensure all such phis are dead.

Change-Id: I6ef1da725c7d4a1ebaf6b52dd7eb0c7bacd261b2