Deoptimization-based bce.

A mechanism is introduced that a runtime method can be called
from code compiled with optimizing compiler to deoptimize into
interpreter. This can be used to establish invariants in the managed code
If the invariant does not hold at runtime, we will deoptimize and continue
execution in the interpreter. This allows to optimize the managed code as
if the invariant was proven during compile time. However, the exception
will be thrown according to the semantics demanded by the spec.

The invariant and optimization included in this patch are based on the
length of an array. Given a set of array accesses with constant indices
{c1, ..., cn}, we can optimize away all bounds checks iff all 0 <= min(ci) and
max(ci) < array-length. The first can be proven statically. The second can be
established with a deoptimization-based invariant. This replaces n bounds
checks with one invariant check (plus slow-path code).

Change-Id: I8c6e34b56c85d25b91074832d13dba1db0a81569

Merge "Inline across dex files."

Inline across dex files.

Change-Id: I5c2c44f5130b50f0bad21a6877a3935dc60b4a85

Merge "Implement a space filter for optimizing."

Merge "Fix a bug in AddToCodeCache"

Fix a bug in AddToCodeCache

Was comparing wrong variable to null.

Bug: 17950037
Change-Id: I32eb209d378c4818c977c4d1cf63603f7269bd9b

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

Merge "[optimizing] Improve x86, x86_64 code"

Merge "Improve dex2oat --dex-file and --dex-location usage info."

Implement a space filter for optimizing.

Heuristic-based. Currently only for enabling fugu user build.

Change-Id: I76e652bd3f00ed84a2a8ad69c7c2c0e24d74cd68

Merge "Update script now that optimizing is default."

Update script now that optimizing is default.

bug:19872972

Change-Id: I648078483af5a0db3a13b0f94c36d083cbc4d2df

Merge "Change "no-","no" test prefix to n"

Merge "Fix interpreter to allow 0 size sparse switches."

Fix interpreter to allow 0 size sparse switches.

Bug: 19827056
Change-Id: I12eaf717f1a4b9bd5e0c8e2a508df9da4e61c4ec

Merge "ART: Add Mips32r6 backend support"

Merge "Fix verifier handling of empty switch as last instruction."

Fix verifier handling of empty switch as last instruction.

Also fixes optimizing compiler's assumption that switch is non-empty and
adds test case.

Bug: 19827056
Change-Id: I5ac891d5062f528ef3be787b1094cba7b4c0fbd0

Merge "Remove some spammy logging"

Remove some spammy logging

Did not provide useful info and or was redundant.

Change-Id: I42da705debc43460cdd3fdf16e9e9ceb2c137001

Merge "Fix the mac build."

Fix the mac build.

Use SYMBOL around a function name in the assembly code.

Change-Id: I624361ff15a00288c834bd90d1b7783138802ea7

Merge "Enable more direct code for JIT"

ART: Add Mips32r6 backend support

Add Mips32r6 compiler support.

Don't use deprecated Mips32r2 instructions if running in Mips32r6
mode.

Change-Id: I54e689aa8c026ccb75c4af515aa2794f471c9f67

Enable more direct code for JIT

Hard to measure the performance impact, but it should be faster.

Bug: 17950037

Change-Id: Ib8d216bb3b305dc390b5df7ee92427fd6bd8aab3

Change "no-","no" test prefix to n

Reduces file names to under 255 characters, for now.

Change-Id: I095da02c1a3fc14fa9022d1a39307845bd870abc

Merge "Quick: Clean up slow paths."

Quick: Clean up slow paths.

Change-Id: I278d42be77b02778c4a419ae9024b37929915b64

Merge "Assembly TLAB allocation fast path for x86_64."

Merge "ART: Fix expectations for instruction-set-features string"

ART: Fix expectations for instruction-set-features string

Only check for an empty features vector if we found "default." The
vector can be empty if this is already handled, e.g., for "smp."

Change-Id: I0d07faf38d0b50f151b5d29e6993d8224034254e

Merge "ART: Change the isa defaults for Mips"

ART: Change the isa defaults for Mips

Select the correct cpu variant for ART and select the default
features based on compile flags for when the variant is not
defined.

Change-Id: I13622db85446ed6fbb467a699d8d3e27833f6f88

Assembly TLAB allocation fast path for x86_64.

TODO: resolved/initialized cases, other architectures.

Bug: 9986565
Change-Id: If6df3449a3b2f5074d11babdda0fd2791fd54946

Merge "Make it possible to enable tlab with a build parameter."

Merge "Add verify-at-runtime compiler filter"

Make it possible to enable tlab with a build parameter.

For testing.

Change-Id: I4d06a4db733b7fa09105f068028483cf88db7925

Add verify-at-runtime compiler filter

Verifies at runtime only, instead of at compilation time.
AOSP HH boot time after clean-oat: ~30s instead of ~35s if enabled.
Also helps install time if enabled there.

TODO: See if there is any possible deadlocks that can result from
this.

Bug: 19762303

Change-Id: Ibfba77148da9039e8d7d7497c05486bc044eefe7

Merge "Revert "Revert "Use optimizing for apps."""

Merge "Compress the StackMaps."

Compress the StackMaps.

First step towards the compression of the StackMap (not
the DexRegisterMap). Next step will be to just use what is
needed (instead of byte -> word).

Change-Id: I4f81b2d05bf5cc508585e16fbbed1bafbc850e2e

Revert "Revert "Use optimizing for apps.""

This reverts commit 706cae36209932f258b2fe2e396f31d2dd7d585e.

Change-Id: I75cc6206ec17ade52a6db0737b62aa37ea2fa300

Merge "Remember whether a method was worth inlining."

Remember whether a method was worth inlining.

Change-Id: I9d8efe312b264739ac6307f966e43c1d7650a3ca

Merge "Change RETURN_VOID_BARRIER to RETURN_VOID_NO_BARRIER"

Change RETURN_VOID_BARRIER to RETURN_VOID_NO_BARRIER

We want to default to having a barrier for the case where we don't
dex to dex.

Bug: 19762303
Change-Id: I60348d89eaf0b9e1e480298afcecbb5f52e8661b

Merge "Revert "Use optimizing for apps.""

Merge "Fix 003-omnibus-opcodes flaky failures with GSS GC."

Revert "Use optimizing for apps."

This reverts commit f3251d12dfa387493dbde4c4148a633802f5f7e3.

Change-Id: I32514e10ece55ee7bd7382ce2e956d57c9b621e5

Fix 003-omnibus-opcodes flaky failures with GSS GC.

Fix a moving GC bug in Class::SetStatus().

Bug: 19828874

Change-Id: I6bef49a7ce964e8a7e316f282aaf1b8544efe76d

Merge "Fix JIT options with late init"

Fix JIT options with late init

Previously we couldn't create the JIT since we didn't have any
JITOptions.

Bug: 19735273

Change-Id: I24b8ed131ed8b18f75ec94291e135d8a1c089ebd

Merge "Remove the Android.mk GCC-only source files hackery"

Remove the Android.mk GCC-only source files hackery

The complexity in Android.mk to deal with GCC-only source files is
unnecessary, use #if !defined(__clang__) around the contents of
interpreter/interpreter_goto_table_impl.cc, the same way
interpreter/interpreter.cc does around references to it.

Bug: 17716550
Change-Id: I775c23b6790d38b0d73a92529c696a31e6a4ae83

Merge "Clean up hash set"

Clean up hash set

Added vertical whitespace, const iterators, made some functions
const.

Change-Id: I188dc0384a98d6dae2822f0ac38b740f2356c23d

Merge "Quick: Eliminate check-cast guaranteed by instance-of."

Improve dex2oat --dex-file and --dex-location usage info.

Change-Id: I8cb2070149ad9fdcf01d773abb1547811999772f

Quick: Eliminate check-cast guaranteed by instance-of.

Eliminate check-cast if the result of an instance-of with
the very same type on the same value is used to branch to
the check-cast's block or a dominator of it.

Note that there already exists a verifier-based elimination
of check-cast but it excludes check-cast on interfaces. This
new optimization works for interface types and, since it's
GVN-based, it can better recognize when the same reference
is used for instance-of and check-cast.

Change-Id: Ib315199805099d1cb0534bb4a90dc51baa409685

Merge "Add a script to be run by test device on buildbot."

Add a script to be run by test device on buildbot.

Change-Id: Ifb0f739dfa56bb32b07a47ff48282b2a786009ac

Merge "StackMap: Always load and store unalign."

StackMap: Always load and store unalign.

Now that we can have a mix of Quick and Optimized code in an .oat
file, a CodeInfo object is not necessarily word aligned.

Change-Id: Ic6c5d1a2c6e20363436726a0708b0764b5a76caf

Merge "ART: Fix condition for StoreNeedsWriteBarrier"

Merge "Use optimizing for apps."

Merge "Fix oat_file_assistant_test32 flaky failures with GSS collector."

Fix oat_file_assistant_test32 flaky failures with GSS collector.

Bug: 19800031
Change-Id: I5146fa4e6a79bad94762102a50956c31251dcd2a

Merge "Add JIT zygote hook"

Merge "Revert "Forbid the use of shifts in ShifterOperand in Thumb2""

Merge "Revert "Make subs alter flags when rn is an immediate""

Merge "Revert "Inline long shift code""

Revert "Inline long shift code"

This reverts commit 09895ebf2d98783e65930a820e9288703bb1a50b.

Change-Id: I7544022d896ef4353bc2cdf4b036403ed20c956d

Revert "Make subs alter flags when rn is an immediate"

This reverts commit 8de00e3f5fcb99bfd7e4dc679ab7333549bec2c1.

Change-Id: Ie9da31279f565f165d51d8c0036928377280e3b8

Revert "Forbid the use of shifts in ShifterOperand in Thumb2"

This reverts commit bada8b0f0a10bd32d6cb87ed4e57f2aa3d7c03c2.

Change-Id: Ic89c76367c8ab91cfb5d1510789ac2e352922da8

ART: Fix condition for StoreNeedsWriteBarrier

Codegen's StoreNeedsWriteBarrier assumed nulls are represented as
integer constants and generated a barrier when not needed. This patch
fixes the bug.

Change-Id: I79247f1009b1fe6f24dba0d57e846ecc55806d4d

Merge "Inline long shift code"

Inline long shift code

Change-Id: I96887c295eb9a23dad4c9cc05d0a0e3ba17f674d

Merge "Make subs alter flags when rn is an immediate"

Merge "Forbid the use of shifts in ShifterOperand in Thumb2"

Add JIT zygote hook

Bug: 19735273
Change-Id: I1983852e80010c344b45e0bb459de47c56adfce8

Merge "Unbreak checker."

Unbreak checker.

Change-Id: Idabb8c04c29d265330ef9ae28c1df01129abe9dd

Merge "Fall back to Quick when Optimizing cannot compile."

Fall back to Quick when Optimizing cannot compile.

Currently applies when seeing unresolved types/methods/fields,
and methods with try/catch.

Change-Id: I93b12d440b39f0b9faf98f08f2bfddedfeff7182

Make subs alter flags when rn is an immediate

Change-Id: I7ea84fca5f97713871744b8ac4265a84fd6a5248

Merge "PREOPT compiles using dex2oatd so don't emit debug instructions."

PREOPT compiles using dex2oatd so don't emit debug instructions.

Change-Id: I8d2ab8d956ad0ce313928918c658d49f490ad081

Use optimizing for apps.

Doing it in dex2oat, to avoid messing up with our current testing.

Change-Id: I76c58f11f0d4756b894e797fc52712453e35adb1

Merge "ART: Fix build for counting arena allocations."

ART: Fix build for counting arena allocations.

Change-Id: I1fbb8cc9c4934cc81cb80c5c2107c63fd16a0a05

Opt Compiler: Materialise constants that cannot be encoded

The VIXL MacroAssembler deals gracefully with any immediate. However
when the constant has multiple uses and cannot be encoded in the
instruction's immediate field we are better off using a register for
the constant and thus sharing the constant generation between multiple
uses.

Eg:
  var += #Const;    // #Const cannot be encoded.
  var += #Const;

Before:                 After:
  mov wip0, #Const        mov w4, #Const
  add w0, w0, wip0        add w0, w0, w4
  mov wip0, #Const        add w0, w0, w4
  add w0, w0, wip0

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

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."