am 9e80e7fa: Merge "ART: Allow the execution to stop if the compilation fails via an option"

* commit '9e80e7fa5ef60f02f35823bc58969c3d5a03453e':
  ART: Allow the execution to stop if the compilation fails via an option

Merge "ART: Allow the execution to stop if the compilation fails via an option"

ART: Allow the execution to stop if the compilation fails via an option

The current implementation continues the execution of the application if
dex2oat fails by relying on the interpreter.

This patch adds a -Xno-dex-file-fallback option to stop the default behavior.
This can be used two-fold.

First, one can enforce that a runtime only starts with a boot image. A
follow-up patch will ensure that dex2oat (for apps) and patchoat in general
request that mode and close gracefully otherwise.

Second, this can be used for testing and debugging purposes, as it ensures
that compiler failures & aborts are not silently ignored.

Add testing.

Bug: 19100590
Change-Id: Iaf07b5ccf00942ca8a8ec8687599320a3ddbc089
Signed-off-by: Jean Christophe Beyler <jean.christophe.beyler@intel.com>

am 84fbead4: Merge "Optimizing: Remove redundant hash set copy in GVN"

* commit '84fbead44b77c5f9f9458d88b42c8925a002dfd4':
  Optimizing: Remove redundant hash set copy in GVN

Merge "Optimizing: Remove redundant hash set copy in GVN"

am 38fee8ef: Merge "Avoid unaligned accesses (SIGBUG/BUS_ADRALN) in IRT."

* commit '38fee8ef4bc0f4dbe2c6d1f5585895f0c4d16984':
  Avoid unaligned accesses (SIGBUG/BUS_ADRALN) in IRT.

Merge "Avoid unaligned accesses (SIGBUG/BUS_ADRALN) in IRT."

am bad712e2: Merge "More checker tests for BCE."

* commit 'bad712e2576631529381280e52e36905dda5f048':
  More checker tests for BCE.

Avoid unaligned accesses (SIGBUG/BUS_ADRALN) in IRT.

Pointers in IrtEntry aren't currently aligned under 64 bit builds. But
unaligned atomic stores (store exclusive) do not work on arm64 (causes
SIGBUG/BUS_ADRALN). Fix CC collector crashes caused by this.

Bug: 12687968
Change-Id: I1d2f5376778a9a1e5cfea876f1f57d7a88ad5445

Merge "More checker tests for BCE."

More checker tests for BCE.

Also make sure the check on MonotonicValueRange narrow is more strict.
Plus some handling on array length division such as array.length/2.
Added checker tests for each case.

Change-Id: I9f32fc5f6ca1f3da8edec576de66b44d85a50bc6

am 96ac49a2: Merge "ART: Introduce NO_RETURN, Mark DoLongJump noreturn"

* commit '96ac49a260223dc00291116daa63d7489c52bb0f':
  ART: Introduce NO_RETURN, Mark DoLongJump noreturn

Merge "ART: Introduce NO_RETURN, Mark DoLongJump noreturn"

ART: Introduce NO_RETURN, Mark DoLongJump noreturn

Add NO_RETURN macro that adds C++11 noreturn attribute. Mark
DoLongJump methods as noreturn.

Change-Id: Ifde4318e370493237050d4c1349285a0382df23f

Optimizing: Remove redundant hash set copy in GVN

During the GVN analysis, a basic block inherits the set of movable
instructions from its dominator. If the block is the only successor
of the dominating block, there is no need for cloning of the parent
set (a very expensive operation).

Change-Id: I59e033b9e9e093984dc8e903e3a7be1cb3645cc2

am 304e4746: Merge "[optimizing] Fix float addition on x86."

* commit '304e47467579c909a6312ef3cca5cdad1433de9c':
  [optimizing] Fix float addition on x86.

Merge "[optimizing] Fix float addition on x86."

[optimizing] Fix float addition on x86.

Change-Id: Ic39aaae89b8e5184b98001ea67221a3564e9334a

am f9fe845f: Merge "Each primitive kind now spills to different locations."

* commit 'f9fe845f587e856acf4b3f1b19e4b7bab828b142':
  Each primitive kind now spills to different locations.

am 762374d0: Merge "Optimizing: Speed up HInstruction use removal"

* commit '762374d084cd2d0a564a4bd410b91794af6853a4':
  Optimizing: Speed up HInstruction use removal

Merge "Each primitive kind now spills to different locations."

Merge "Optimizing: Speed up HInstruction use removal"

Optimizing: Speed up HInstruction use removal

Similarly to a previous commit on HEnvironment use removal, this patch
adds links from instructions to their respective inputs' use lists for
contant-time removal at the cost of doubling the size of input lists
(from one pointer per entry to two). Manual testing shows that this
significantly reduces the time required to transform HGraph to SSA
form for some huge methods.

Change-Id: I8dc3e4b0c48a50ac1481eb55c31093b99f4dc29f

Each primitive kind now spills to different locations.

Having different slots depending on the types greatly simplifies
the parallel move resolver. It also avoids doing FPU <-> Core
register swaps, and force backends to implement such a swap.

Change-Id: Ide9f0452e7ccf9efb8adddbcc246d44b937b253c

am 73596913: Merge "Implement a simple count based boot marker."

* commit '735969139b162f9d45a3c0e47dc24a8aec63c736':
  Implement a simple count based boot marker.

Merge "Implement a simple count based boot marker."

Implement a simple count based boot marker.

We write the number of failed boots to the marker and only
prune the dalvik cache if the number of consecutive failed
boots is higher than a predefined threshold.

Note that the code is forgiving of errors related to boot
markers; we continue the boot process even if we're unable
to create / write or flush the boot marker.

bug: 19360096
Change-Id: Ia17c3b783318ddf43c9199d0f7f09c54a4176667

am d98ff789: Merge "ART: Add VALGRIND_LIB for gtests"

* commit 'd98ff78976696fdde1e7868d4687719a0439544b':
  ART: Add VALGRIND_LIB for gtests

Merge "ART: Add VALGRIND_LIB for gtests"

ART: Add VALGRIND_LIB for gtests

Ensure that tests can be run without lunch-ing a target.

Change-Id: If9b4a6c56952418fde703145600717c84e11ef99

am a53cfc8d: Merge "Make UseTLAB a bool flag."

* commit 'a53cfc8d2e8fd61cea630f3a5f1dab701edcb53c':
  Make UseTLAB a bool flag.

Merge "Make UseTLAB a bool flag."

Make UseTLAB a bool flag.

This would make it easier to override its default value at build time.

Change-Id: I643fe1afaf492f0443dc01df0c9a62bb3fa025d9

am 146a13d7: Merge "ART: Fix RosAlloc Valgrind code"

* commit '146a13d789af7246328c7af838e2ba52a7cd7bdd':
  ART: Fix RosAlloc Valgrind code

am a5a3f034: Merge "Revert "Do GC for alloc for unstarted runtimes""

* commit 'a5a3f03405e33edb5c73cb4aa58fb09fb46318f3':
  Revert "Do GC for alloc for unstarted runtimes"

Merge "ART: Fix RosAlloc Valgrind code"

Merge "Revert "Do GC for alloc for unstarted runtimes""

Revert "Do GC for alloc for unstarted runtimes"

Bug: 19451379

This reverts commit c0a7e2bb1609da40ec67cb7e00c918637c610897.

Change-Id: Ib079e5ce1647fd44239f7f2f658b2c50d619fece

ART: Fix RosAlloc Valgrind code

Large object verification needs to take the redzones into account
when checking the page size.

Change-Id: I0529e21d085e82f2c8a6d8552de1e7c1df3956bc

am 4ba40548: Merge "ART: Some conditions should be stricter in GenInlinedMinMax()"

* commit '4ba405483177cf346211d43d97892bae6ff14119':
  ART: Some conditions should be stricter in GenInlinedMinMax()

Merge "ART: Some conditions should be stricter in GenInlinedMinMax()"

ART: Some conditions should be stricter in GenInlinedMinMax()

When we inline Min or Max intrinsics of long data type in 32-bit
mode we should care about register overlap cases. I.e. when
result and operands share partially or entirely same registers.
We consider three cases:
a) If result is between two operands, then we fail to inline
because implementation tends to be overcomplicated.
b) Since we always copy the first operand into result, we
should check whether result and the second operand share
same registers. If so, we swap the second with the first one.
c) If operands share same registers then we just copy the
first operand into result and stop.
The algorithm requires many registers. Therefore, we try to
reuse some of them. This also needs check for overlap.

Change-Id: I1e327acedfdc63d9b434b21b41d75bb86c41f1d0

am 9ba69ece: Merge "ART: Use Valgrind from tree"

* commit '9ba69ece769ae8deab2e40d3a5ee0dce208a82c2':
  ART: Use Valgrind from tree

am 5ea203d8: Merge "ART: Silence some run-test configurations"

* commit '5ea203d88f5415aaeab345f967f206eea448d74e':
  ART: Silence some run-test configurations

Merge "ART: Use Valgrind from tree"

Merge "ART: Silence some run-test configurations"

ART: Silence some run-test configurations

Run-tests running with a failing dex2oat or patchoat are expected
to print error lines of the failure. In this case set the log-level
to FATAL-only, as stripping those errors is overly complicated.

Bug: 18713034
Change-Id: If9c5f50b517b5e906dd0be841ebc1e7987cac928

am ba6d9438: Merge "Fix core spill mask for x86 special suspend."

* commit 'ba6d943827e6df52316a843468691de264ab4aa5':
  Fix core spill mask for x86 special suspend.

Merge "Fix core spill mask for x86 special suspend."

Fix core spill mask for x86 special suspend.

Bug: 19445246
Change-Id: I7dd734e64a4bfa5980fa1be9903e3fd0c2be3749

am 36fb59b1: Merge "Improve type propagation with if-contexts"

* commit '36fb59b15fbca20c22e9daf2943fcfeebc97848f':
  Improve type propagation with if-contexts

Merge "Improve type propagation with if-contexts"

Improve type propagation with if-contexts

This works by adding a new instruction (HBoundType) after each `if (a
instanceof ClassA) {}` to bound the type that `a` can take in the True-
dominated blocks.

Change-Id: Iae6a150b353486d4509b0d9b092164675732b90c

am 1382e569: Merge "Opt compiler: ARM64: Optimise floating-point comparison with 0.0."

* commit '1382e569b31f4fab61fcfca5aa93275a2a3cb757':
  Opt compiler: ARM64: Optimise floating-point comparison with 0.0.

Merge "Opt compiler: ARM64: Optimise floating-point comparison with 0.0."

am 4fe292e2: Merge "Reference type propagation"

* commit '4fe292e2b6ba3980605373f183055a374084c65b':
  Reference type propagation

Merge "Reference type propagation"

am 76f82fc7: Merge "Display optimizing compiler\'s CodeInfo objects in oatdump."

* commit '76f82fc75f245101828e2fdbbdec676af1717f0b':
  Display optimizing compiler's CodeInfo objects in oatdump.

Merge "Display optimizing compiler's CodeInfo objects in oatdump."

ART: Use Valgrind from tree

Change-Id: I3e70c37cc04e0a2286e6fece898fcf887273b28c

am e90ccca8: Merge "ART: Do not read from JavaVMExt* after DestroyJavaVM"

* commit 'e90ccca801a3b7bda094ee0cc145fc62afd8d718':
  ART: Do not read from JavaVMExt* after DestroyJavaVM

Merge "ART: Do not read from JavaVMExt* after DestroyJavaVM"

ART: Do not read from JavaVMExt* after DestroyJavaVM

DestroyJavaVM deletes the structure.

Change-Id: Ida5fb98a47b1ebf0df7d54506e2fec8958fc105b

am 42ad4902: Merge "Do GC for alloc for unstarted runtimes"

* commit '42ad490249be898efa1b1196d4ecdbe2cfc3e77b':
  Do GC for alloc for unstarted runtimes

am 71885932: Merge "ART: Check image size when opening"

* commit '718859325c773e144bddac4281a1cc63c5e9fcde':
  ART: Check image size when opening

Merge "Do GC for alloc for unstarted runtimes"

Merge commit 'dbbc5d92db2cd795439bb4a08aaa2b123da430c6' into HEAD

Merge "ART: Check image size when opening"

ART: Check image size when opening

The image file might have been truncated. In that case, reject
loading the image space.

Bug: 19398702
Change-Id: I8e46340fe1e05629704d6e3bae84caf8b0435125

Do GC for alloc for unstarted runtimes

Currently, concurrent GC requests are ignored for unstarted runtimes.
The new logic is to do a GC for alloc in RequestConcurrentGC if the
runtime is not started. This reduces the java heap size in dex2oat.

Change-Id: I8d4364a4e3537013b27390bb22a6f64aab58c924

am 6aa7fe62: Merge "Replace a few std::vector with ArenaVector in Mir2Lir."

* commit '6aa7fe620a95b4404a4fed451e46ebf0cdd66204':
  Replace a few std::vector with ArenaVector in Mir2Lir.

am 04c1acf4: Merge "ART: Make error messages for StackOverflow WARNINGs"

* commit '04c1acf428d5a35948be06a6ae857abb7b32dc6f':
  ART: Make error messages for StackOverflow WARNINGs

Merge "Replace a few std::vector with ArenaVector in Mir2Lir."

Merge "ART: Make error messages for StackOverflow WARNINGs"

ART: Make error messages for StackOverflow WARNINGs

Log error messages as LOG(WARNING). We'll throw either a (partial)
StackOverflow or OutOfMemoryError anyways.

Bug: 18713034
Change-Id: If51c0d6745b02f5ecb98b1387f8bde1e2e57e0c0

am 3f43b5f4: Merge "ART: Ensure order of field gaps"

* commit '3f43b5f4881db5a1f7bd13a095f720b7c1ddba6a':
  ART: Ensure order of field gaps

Merge "ART: Ensure order of field gaps"

ART: Ensure order of field gaps

Disambiguate field gaps of same size by starting offset. That will
make the priority queue stable.

Bug: 19413180
Change-Id: I6302a8bbdc590af7e9ec4f332c386c375fa8d8cd

am 6561551f: Merge "Move arenas into runtime"

* commit '6561551f094f79ce569160b29131b07be7aa3363':
  Move arenas into runtime

Replace a few std::vector with ArenaVector in Mir2Lir.

Change-Id: I7867d60afc60f57cdbbfd312f02883854d65c805

Merge "Move arenas into runtime"

Move arenas into runtime

Moved arena pool into the runtime.

Motivation:
Allow GC to use arena allocators, recycle arena pool for linear alloc.

Bug: 19264997
Change-Id: I8ddbb6d55ee923a980b28fb656c758c5d7697c2f

am 8fb13085: Merge "Add suspend checks to special methods."

* commit '8fb1308578cfea07ebe6c55312821480c9cc1e80':
  Add suspend checks to special methods.

Merge "Add suspend checks to special methods."

Add suspend checks to special methods.

Generate suspend checks at the beginning of special methods.
If we need to call to runtime, go to the slow path where we
create a simplified but valid frame, spill all arguments,
call art_quick_test_suspend, restore necessary arguments and
return back to the fast path. This keeps the fast path
overhead to a minimum.

Bug: 19245639
Change-Id: I3de5aee783943941322a49c4cf2c4c94411dbaa2

Reference type propagation

- propagate reference types between instructions
- remove checked casts when possible
- add StackHandleScopeCollection to manage an arbitrary number of stack
handles (see comments)

Change-Id: I31200067c5e7375a5ea8e2f873c4374ebdb5ee60

am 39109a06: Merge "Ensure the graph is correctly typed."

* commit '39109a06015c91188232e59fa9e60e0915d24cd7':
  Ensure the graph is correctly typed.

Merge "Ensure the graph is correctly typed."

Ensure the graph is correctly typed.

We used to be forgiving because of HIntConstant(0) also being
used for null. We now create a special HNullConstant for such uses.

Also, we need to run the dead phi elimination twice during ssa
building to ensure the correctness.

Change-Id: If479efa3680d3358800aebb1cca692fa2d94f6e5

am 92095533: Merge "Have the opt. compiler set the size of "empty" frames to zero."

* commit '92095533ac28879ddd8b44b559d700527ca12b8a':
  Have the opt. compiler set the size of "empty" frames to zero.

Merge "Have the opt. compiler set the size of "empty" frames to zero."

Display optimizing compiler's CodeInfo objects in oatdump.

A few elements are not displayed yet (stack mask, inline info) though.

Change-Id: I5e51a801c580169abc5d1ef43ad581aadc110754

Have the opt. compiler set the size of "empty" frames to zero.

This is to mimic Quick's behavior and honor stack frame
alignment constraints after changes introduced by Change-Id
I0fdb31e8c631e99091b818874a558c9aa04b1628.

This issue use to make oatdump crash on oat files produced by
the optimized compiler (e.g.
out/host/linux-x86/framework/x86_64/core-optimizing.oat).

Change-Id: I8ba52601edb0a0993eaf8923eba55aafdce5043e

am cf3fb94a: Merge "Fix art_quick_instrumentation_entry for x86"

* commit 'cf3fb94a90d74361b13e7bae5aa6e0e4ae58479d':
  Fix art_quick_instrumentation_entry for x86

Merge "Fix art_quick_instrumentation_entry for x86"

Fix art_quick_instrumentation_entry for x86

Fixes the stack offset used to restore edx.

Bug: 19402798
Change-Id: Ic3636cd362684564196997c4a3b3bebdc1be9a4e

am 1b472546: Merge "ART: Fix run-test 099-vmdebug for device"

* commit '1b472546657d31d38883373d8340d1441281a6a5':
  ART: Fix run-test 099-vmdebug for device

Merge "ART: Fix run-test 099-vmdebug for device"

ART: Fix run-test 099-vmdebug for device

We can't expect logcat errors on device. So just swallow them whole.

Bug: 18713034
Change-Id: I58d8595e86f112442a5a1c4c6ef0d614871d890f

am 627fbe31: Merge "ART: Blacklist run-test 802 for tracing"

* commit '627fbe3137995904c2d67822d79201e17225e797':
  ART: Blacklist run-test 802 for tracing