am acee1524: Merge "Fix clean-oat"

* commit 'acee152464725efac3dd74c9ac3acf2afa73f0e9':
  Fix clean-oat

Merge "Fix clean-oat"

Fix clean-oat

Change to use adb shell sh -c <cmd>.

Also fixed other phony targets, deleted smart mode and added
verify-at-runtime mode.

Change-Id: I562117774eaa153e66b46d6f173fe993931018b7

am 2d01066d: Merge "Dissociate uses with environment uses."

* commit '2d01066db24c19f9384f50ff71806cbb4835c7f9':
  Dissociate uses with environment uses.

Merge "Dissociate uses with environment uses."

am 295dda50: Merge "Quick: Rely on inferred types in GVN/LVN/DCE."

* commit '295dda5066dfeb5bed88a4a484268f94b060c7fb':
  Quick: Rely on inferred types in GVN/LVN/DCE.

Merge "Quick: Rely on inferred types in GVN/LVN/DCE."

Dissociate uses with environment uses.

They are most of the times in the way when iterating. They
also complicate the logic of (future) back edge uses.

Change-Id: I152595d9913073fe901b267ca623fa0fe7432484

am d14438f0: Merge "ART: Simplify Ifs with BooleanNot condition"

* commit 'd14438f0c5071962be7fab572b54687d32d9d087':
  ART: Simplify Ifs with BooleanNot condition

Merge "ART: Simplify Ifs with BooleanNot condition"

ART: Simplify Ifs with BooleanNot condition

If statements with negated condition can be simplified by removing the
negation and swapping the true and false branches.

Change-Id: I197afbc79fb7344d73b7b85d3611e7ca2519717f

am a0ee8622: Merge "Add support for caching float and double constants."

* commit 'a0ee862288b702468f8c2b6d0ad0f1c61be0b483':
  Add support for caching float and double constants.

Merge "Add support for caching float and double constants."

Add support for caching float and double constants.

Change-Id: Ib5205bad1006bc5e3c9cc86bc82a6b4b1ce9bef9

am 0fbfe6f9: Merge "ART: Fix removing a Phi with RemoveInstruction"

* commit '0fbfe6f92a2481daf914043262b5854e65d8c3cc':
  ART: Fix removing a Phi with RemoveInstruction

Merge "ART: Fix removing a Phi with RemoveInstruction"

ART: Fix removing a Phi with RemoveInstruction

Boolean simplifier might attempt to remove a Phi from the Instruction
list.

Change-Id: I698cc616549bd88dac96395cb2e5d09b5433d157

Quick: Rely on inferred types in GVN/LVN/DCE.

Fix LVN::GetEndingVregValueNumberImpl() to check whether
the requested wideness matches the SSA register type as
recorded in MIRGraph::reg_location_.

Add DCHECKs that the wideness matches when getting/setting
sreg values, update Phi handling in LVN/DCE to use the type
from MIRGraph::reg_location_ instead of determining it from
the sreg value maps which would now trigger the DCHECKs.
Update tests to initialize MIRGraph::reg_location_.

Reenable DCE.

Bug: 20572509
Change-Id: I1a4d4e32cd57807ca8b56d2f3ed5e1288660b82e

am 76bf84a1: Merge "BCE: don\'t add deoptimization if the loop has early exit."

* commit '76bf84a196576f902a76a1165516a49dac15856f':
  BCE: don't add deoptimization if the loop has early exit.

am f382eff1: Merge "Deoptimization-based BCE for unknown loop bounds."

* commit 'f382eff130a5d90c34b3f09c4c61cb50cacd4c54':
  Deoptimization-based BCE for unknown loop bounds.

am adf15974: Merge "Revert "[optimizing] Replace FP divide by power of 2""

* commit 'adf15974e0a0a2b0e6dc311ff5701b87ca15964a':
  Revert "[optimizing] Replace FP divide by power of 2"

am 5ff903a5: Merge "[optimizing] Replace FP divide by power of 2"

* commit '5ff903a589af282f516bbcf6844ff2656ce76b02':
  [optimizing] Replace FP divide by power of 2

Merge "BCE: don't add deoptimization if the loop has early exit."

BCE: don't add deoptimization if the loop has early exit.

Also make the way to detect loop_body_successor to be
more accurate.

Change-Id: I29680f93396383c478a8f40ad28735e4f3f07c1b

Merge "Deoptimization-based BCE for unknown loop bounds."

Deoptimization-based BCE for unknown loop bounds.

For loop like:
  for (int i = start; i < end; i++) {
    array[i] = 1;
  }
We add the following to the loop pre-header:
  if (start < 0) deoptimize();
  if (end > array.length) deoptimize();
Then we can eliminate bounds-check of array[i] inside the loop.

We also take care of indexing with induction variable plus some offsets,
like array[i - 1]/array[i + 1] inside the loop, and adjust the condition
for deoptimization accordingly.

Change-Id: I9e24c6b5e134ff95eff5b5605ff8f95d6546616f

Merge "Revert "[optimizing] Replace FP divide by power of 2""

Revert "[optimizing] Replace FP divide by power of 2"

Fails compiling docs.

This reverts commit b0bd8915cb257cdaf46ba663c450a6543bca75af.

Change-Id: I47d32525c83a73118e2163eb58c68bbb7a28bb38

Merge "[optimizing] Replace FP divide by power of 2"

am 2c31b5ac: Merge "ART: Fix Trace types, check minimum buf size"

* commit '2c31b5ac1d45f2f96932c8ff0d299abb2dbde862':
  ART: Fix Trace types, check minimum buf size

am 711d8400: Merge "ART: Fix addpd opcode, add Quick x86 assembler test"

* commit '711d84008f5b3cda849611102118316c29a75b16':
  ART: Fix addpd opcode, add Quick x86 assembler test

Merge "ART: Fix Trace types, check minimum buf size"

Merge "ART: Fix addpd opcode, add Quick x86 assembler test"

ART: Fix Trace types, check minimum buf size

Also make streaming mode adhere to the given buffer (and fix the
case where the buffer is too small for a packet). This is important
to not lose too much tracing information when the runtime is destroyed
with an unflushed buffer.

Change-Id: I6525fe4326ac5c3d7c9cda41c54a2a911ca889b7

ART: Fix addpd opcode, add Quick x86 assembler test

This patch fixes the addpd opcode that may be used by vectorizations,
and adds an assembler test for the Quick x86 assembler, currently
lightly testing addpd, subpd and mulpd.

Change-Id: I29455a86212829c75fd75737679280f167da7b5b
Signed-off-by: Chao-ying Fu <chao-ying.fu@intel.com>

am 3f4fa70a: Merge "ART: Test for GVN skipping"

* commit '3f4fa70a251443b7e35ee0464120e53daf4ae9c1':
  ART: Test for GVN skipping

Merge "ART: Test for GVN skipping"

ART: Test for GVN skipping

Add a deeply nested loop to test 090 that will make the GVN skip.

Change-Id: I7c160293e76fd858c550f792b357eaaccdde77a9

am 0cd91f05: Merge "Move Class.newInstance to native"

* commit '0cd91f05f11ccf7d55bf744053b0aae5e0e7aa36':
  Move Class.newInstance to native

Merge "Move Class.newInstance to native"

am 18772f08: Merge "ART: Fix missing dependency between GVN and other passes"

* commit '18772f087eb0eb14ba816ed088107c43958eb8c3':
  ART: Fix missing dependency between GVN and other passes

Merge "ART: Fix missing dependency between GVN and other passes"

ART: Fix missing dependency between GVN and other passes

The GVN may be turned off completely, or skip running when the
method is too complex. Turn off DCE in that case.

The dependent cleanup pass is not an optimization pass, so can't be
turned off that way. Check whether the GVN skipped in the gate function.

A possible follow-up is proper dependencies between passes.

Change-Id: I5b7951ecd6c74ebbfa5b23726a3d2f3ea1a23a47

Move Class.newInstance to native

Avoids 1 allocation and several JNI transitions.

Before:
Class_classNewInstance: 4462.39 ns; σ=39.42 ns @ 3 trials

After:
Class_classNewInstance: 1073.39 ns; σ=24.14 ns @ 10 trials

Bug: 20269715
Bug: 20566996
Change-Id: Icd52155ce79a978a4d869855bfdfd7735abd8187

am 3d58dea2: Merge "ART: Refactor utils/assembler test"

* commit '3d58dea2a9d82aed045908fd9ea68c41f3d1f63d':
  ART: Refactor utils/assembler test

Merge "ART: Refactor utils/assembler test"

am 4a35e768: Merge "Disable Quick\'s GVN-based dead code elimination."

* commit '4a35e768dcb12ffecfed07e0417610afcb9472eb':
  Disable Quick's GVN-based dead code elimination.

Merge "Disable Quick's GVN-based dead code elimination."

Disable Quick's GVN-based dead code elimination.

Quick's GVN/DCE seems to trouble the builds.

Bug: 20572509
Change-Id: I1e315b4eee4443f04c7cb2cef953d8e4eff619ce

am 948dfff2: Merge "Mark the test as failing while investigating."

* commit '948dfff2ee9c3411088a89e1a8664652f46fbf35':
  Mark the test as failing while investigating.

Merge "Mark the test as failing while investigating."

Mark the test as failing while investigating.

Recent linker changes required to increase the scope
of our chroot-like environment on devices. There is however just this
test failing.

Change-Id: I496be04693b6cebefe68a0ac04947ed238b53e0d

ART: Refactor utils/assembler test

Split out the part that compares a buffer with the product of a
host assembler. That will allow to reuse this for the Quick
assemblers.

Change-Id: Ie15777cb0a22f7532d8a8ea35403db0f229cd26f

am 1e3ab9ad: Merge "ART: Fix DBG_START_LOCAL verification."

* commit '1e3ab9ad421d471ca8eadac03084ce19fd06d4eb':
  ART: Fix DBG_START_LOCAL verification.

Merge "ART: Fix DBG_START_LOCAL verification."

am 940c65d6: Merge "[optimizing] Rename HasArrayAccesses and check it"

* commit '940c65d6757130d2e9f864d4c2220838f0312bea':
  [optimizing] Rename HasArrayAccesses and check it

ART: Fix DBG_START_LOCAL verification.

The third ULEB128 of DBG_START_LOCAL and DBG_START_LOCAL_EXTENDED
entries should be interpreted as type_idx instead.

see also. dalvik/dx/src/com/android/dx/dex/file/DebugInfoEncoder.java

Change-Id: Ic0d52ed20cc2614acb9fa54b61095d1bd64f73fe

Merge "[optimizing] Rename HasArrayAccesses and check it"

am 808db527: Merge "[optimizing] Handle x86 const length BoundsCheck"

* commit '808db5276827c909818d5595a5600e64b97f66e0':
  [optimizing] Handle x86 const length BoundsCheck

am c435e014: Merge "ART: Duplicate-classes cleanup"

* commit 'c435e014f7c0c93b0459a0d04e3f7e893d6ce9c6':
  ART: Duplicate-classes cleanup

Merge "[optimizing] Handle x86 const length BoundsCheck"

Merge "ART: Duplicate-classes cleanup"

ART: Duplicate-classes cleanup

Disable old test. Improve collision warning message. Add a comment
about the algorithm.

Change-Id: Ibd29d79565732162150aebd7fe08d0895ccf3d79

am 6e655afb: Merge "ART: Check for duplicate classes when loading oat files"

* commit '6e655afb37a528cfd90aa702b1600e1eb5d10a58':
  ART: Check for duplicate classes when loading oat files

Merge "ART: Check for duplicate classes when loading oat files"

am b5aad4c5: Merge "ART: Add GENERATE_CFI to the ZygoteHooks debug flags"

* commit 'b5aad4c54e0bf1aff6a0c49cb682defaafb81e1e':
  ART: Add GENERATE_CFI to the ZygoteHooks debug flags

Merge "ART: Add GENERATE_CFI to the ZygoteHooks debug flags"

[optimizing] Handle x86 const length BoundsCheck

Allow a constant length for BoundsCheck.

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

am 33984b4d: Merge "ART: Do not log non-swap usage"

* commit '33984b4d6b79b2d65258e69506e5669be704db82':
  ART: Do not log non-swap usage

ART: Add GENERATE_CFI to the ZygoteHooks debug flags

Add code to understand the implications of the debug.gencfi system
property that forces generation of CFI data.

Change-Id: Ida66f8c1567634d05cfdbba1a982be3684e94369

Merge "ART: Do not log non-swap usage"

[optimizing] Rename HasArrayAccesses and check it

Since the flag is only used to see if there is a HBoundsCheck, rename
HasArrayAccesses() to HasBoundsChecks().

Add a check in graph_checker to see that the flag is set if we see a
HBoundsCheck instruction.

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

ART: Do not log non-swap usage

Reduce logcat noise.

Bug: 20501758
Change-Id: I5cbc28614d4be9e7fd120b7ccb97ca489e341f54

am 16b5d29f: Merge "Guard against name == null in ShortDump"

* commit '16b5d29f1755e50ab92a3bee0b85b26460e69cf8':
  Guard against name == null in ShortDump

Merge "Guard against name == null in ShortDump"

am 93cf23f9: Merge "Fix DCHECKs about clinit checks in Optimizing\'s code generators."

* commit '93cf23f9966cdbe88650b822ad8471284a21bacb':
  Fix DCHECKs about clinit checks in Optimizing's code generators.

Merge "Fix DCHECKs about clinit checks in Optimizing's code generators."

Fix DCHECKs about clinit checks in Optimizing's code generators.

These assertions are not true for the baseline compiler.  As
a temporary workaround, remove a clinit check as last input
of a static invoke if it is still present at the stage of
code generation.

Change-Id: I5655f4a0873e2e7ee7790b6a341c18b4b7b52af1

Guard against name == null in ShortDump

Bug: 20561804
Change-Id: If1e4adb74d5b936cf171f2402bf4525bf8c2d209

am 76f14134: Merge "[optimizing] Ensure FillNewArray sets array access"

* commit '76f1413492c228bfa710e1eaa4c60370eaffbb8a':
  [optimizing] Ensure FillNewArray sets array access

Merge "[optimizing] Ensure FillNewArray sets array access"

[optimizing] Ensure FillNewArray sets array access

A method that only used filled new like 'int[]{0,0}' didn't have the
array access flag set, so BCE didn't remove the checks.

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

am 3507b795: Merge "Reduce the number of explicit clinit checks for static invokes."

* commit '3507b795c034617e1c94fc9544a208d6c6f75735':
  Reduce the number of explicit clinit checks for static invokes.

am eb5459ca: Merge "Ensure inlined static calls perform clinit checks in Optimizing."

* commit 'eb5459ca861b58ee8a9907789f11400dcdddb87b':
  Ensure inlined static calls perform clinit checks in Optimizing.

am ae803f6e: Merge "Quick: Fix and enable DCE and improve GVN/DCE cleanup."

* commit 'ae803f6efbe8378b5423c51ee3c5564cae0e6e59':
  Quick: Fix and enable DCE and improve GVN/DCE cleanup.

Merge "Reduce the number of explicit clinit checks for static invokes."

Reduce the number of explicit clinit checks for static invokes.

Do not generate explicit clinit checks for static invokes
when the class of the called method is a super class of the
caller method's class (referrer class).

Change-Id: I86ba18facef261fbb71f7ed20867756630ed3c53

Merge "Ensure inlined static calls perform clinit checks in Optimizing."

ART: Check for duplicate classes when loading oat files

Oat files are usually produced standalone, and the compilers take
advantage of any information they get. It is thus possible that
when compile-time and runtime class-path are not the same, classes
are resolved differently and optimized code is incorrect.

This is a very conservative check, scanning the complete class tables
of dex files. In case any duplicate class is found, the new oat file
will be rejected and the original dex files will be used in interpreted
mode.

A possible refinement to this is actual tracking of the compile-time
class-path instead. That is however significantly complicated by the
DexFile API and the non-standard uses it allows.

An alternative for both optimized code and correct resolution is
native multidex. Apps should switch to multidex and benefit from
the optimization as well as the shift of all compile time to install
time. Split APKs are currently compiled separately, but it is a goal
to change that install flow to simulated multidex.

Change-Id: Ib9e0db5091e060e3bb2c0e5e6c007430becbfc21

Merge "Quick: Fix and enable DCE and improve GVN/DCE cleanup."

am 83134ec5: Merge "Remove ArtMethod* parameter from dex cache entry points."

* commit '83134ec5f26979cbb9131dccaf849a72cdd752f6':
  Remove ArtMethod* parameter from dex cache entry points.

Merge "Remove ArtMethod* parameter from dex cache entry points."

am 52b63e20: Merge "ART: Fix gtests broken by dead block elimination"

* commit '52b63e20eaef3abfda928833101f67ff581140ad':
  ART: Fix gtests broken by dead block elimination

Merge "ART: Fix gtests broken by dead block elimination"

ART: Fix gtests broken by dead block elimination

Change-Id: If5de97f928f9e214d64871eabfbfb3f2d15451b7

am 7bf9bc78: Merge "Minor improvements to 458-checker-instruction-simplification."

* commit '7bf9bc7854f5c8ccc2cb2ef4be4f728c5fbd3236':
  Minor improvements to 458-checker-instruction-simplification.

Merge "Minor improvements to 458-checker-instruction-simplification."

Ensure inlined static calls perform clinit checks in Optimizing.

Calls to static methods have implicit class initialization
(clinit) checks of the method's declaring class in
Optimizing.  However, when such a static call is inlined,
the implicit clinit check vanishes, possibly leading to an
incorrect behavior.

To ensure that inlining static methods does not change the
behavior of a program, add explicit class initialization
checks (art::HClinitCheck) as well as load class
instructions (art::HLoadClass) as last input of static
calls (art::HInvokeStaticOrDirect) in Optimizing' control
flow graphs, when the declaring class is reachable and not
known to be already initialized.  Then when considering the
inlining of a static method call, proceed only if the method
has no implicit clinit check requirement.

The added explicit clinit checks are already removed by the
art::PrepareForRegisterAllocation visitor.  This CL also
extends this visitor to turn explicit clinit checks from
static invokes into implicit ones after the inlining step,
by removing the added art::HLoadClass nodes mentioned
hereinbefore.

Change-Id: I9ba452b8bd09ae1fdd9a3797ef556e3e7e19c651

am f16d7b38: Merge "ART: Dead block removal"

* commit 'f16d7b3824b2777b95fb509c1d2a95bef89f65a4':
  ART: Dead block removal

Merge "ART: Dead block removal"