am 6a5037eb: Merge "[optimizing] More x86_64 code improvements"

* commit '6a5037eb3340e4c981fd7de3ff45167ee5b7fc82':
  [optimizing] More x86_64 code improvements

Merge "[optimizing] More x86_64 code improvements"

am 2b562f40: Merge "Some heap cleanup"

* commit '2b562f400cf9717f197ae3ae1f9a32c96769ef06':
  Some heap cleanup

Merge "Some heap cleanup"

Some heap cleanup

Bug: 19534862
Change-Id: Ia63f489d26ec8813a263ce877bdbbc8c4e8fe5f4

am 8ee8f322: Merge "Add daemon threads to 004-ThreadStress"

* commit '8ee8f3223bcf1ad5f3ee11d35c7b4105a48847d8':
  Add daemon threads to 004-ThreadStress

Merge "Add daemon threads to 004-ThreadStress"

am 548a3ce2: Merge "[MIPS] Avoid using odd numbered fp registers"

* commit '548a3ce2625bc1da12034411036e5a94da183696':
  [MIPS] Avoid using odd numbered fp registers

Merge "[MIPS] Avoid using odd numbered fp registers"

am 4500fcbe: Merge "Address some comments"

* commit '4500fcbe682d666a24c2e8f6e0cb90cfb35d3fa3':
  Address some comments

Merge "Address some comments"

Address some comments

Change-Id: I0262304cc720a0e93015955d0a7fb05dfebe213e

am ff2ac94e: Merge "Revert "Revert "Pass the verified method to the inlinee DexCompilationUnit."""

* commit 'ff2ac94ebd542c0b3bdb6812a96363ed56df09f0':
  Revert "Revert "Pass the verified method to the inlinee DexCompilationUnit.""

Merge "Revert "Revert "Pass the verified method to the inlinee DexCompilationUnit."""

[optimizing] More x86_64 code improvements

Use the constant area some more, use 32-bit immediates in movq
instructions when possible, and other small tweaks.

Remove the commented out code for Math.Abs(float/double) as it would
fail for baseline compiler due to the output being the same as the
input.

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

am adbd0e5c: Merge "ART: Fix Quick\'s DCE+GVN"

* commit 'adbd0e5c3a9a9fce4ad49c48d7a4212f3d18cfcc':
  ART: Fix Quick's DCE+GVN

am 423f150e: Merge "ART-Optimizing: Fix the type of HDivZeroCheck"

* commit '423f150e5c17b5f4cd16259565b61c57f5f19477':
  ART-Optimizing: Fix the type of HDivZeroCheck

Merge "ART: Fix Quick's DCE+GVN"

Merge "ART-Optimizing: Fix the type of HDivZeroCheck"

ART: Fix Quick's DCE+GVN

DCE_GVN does not take into account the following case:
  mov a, b
  ...
  mov c, b
when optimization tries to replace a with c it must ensure that
for all uses of a there is no new definition of c before use.
Otherwise that use will incorrectly substituted with new c instead
of original b.

Bug: 23102860
Change-Id: I48ee0bd4386419b0f9c814c21b3537a392518cd1
Signed-off-by: Serguei Katkov <serguei.i.katkov@intel.com>

ART-Optimizing: Fix the type of HDivZeroCheck

HDivZeroCheck is created during the building CFG and at this moment
its type is not known completely. So it sets the type to int or long.
However, later SSA builder can insert the type conversion and type
of input of HDivZeroCheck can become byte or short while the type
of HDivZeroCheck remains the same.

In reality the type of HDivZeroCheck should be always equal to
its input parameter.
To fix this inconsistency we return the type of HDivZeroCheck as its
input type. Code generators are updated accordingly.

Change-Id: I6a5aedc8d479cfc6328704e7ddf252bca830076b
Signed-off-by: Serguei Katkov <serguei.i.katkov@intel.com>

Revert "Revert "Pass the verified method to the inlinee DexCompilationUnit.""

bug:22866717

This reverts commit f25b661b3708c865cdaa0a018372a42881353bea.

Change-Id: I95e8310e6c3d8e6edb736fdefcabf602cce3a4e0

am f24576a7: Merge "ART: Change UnresolvedMergedType merge"

* commit 'f24576a7233ec708d49badb239cd7336c2b0f07e':
  ART: Change UnresolvedMergedType merge

Merge "ART: Change UnresolvedMergedType merge"

ART: Change UnresolvedMergedType merge

Change to use IsUnresolvedTypes.

Bug: 22881413

(cherry picked from commit 168387df8dcbae1b51f124eed84daf8e8de6a974)

Change-Id: Ic27b97b475b28a5bdf994ea5178767e0efb0e752

Add daemon threads to 004-ThreadStress

Bug: 19537976
Change-Id: I129e311aa6f7ca4f49d64ec50c0e07857b12b6d8

am 32a67404: Merge "ART: Fix reg_type_test"

* commit '32a67404baa40664e9ace8eac81be0f4704413a5':
  ART: Fix reg_type_test

Merge "ART: Fix reg_type_test"

ART: Fix reg_type_test

Follow-up to 750f7c2827318f6d07620f2ef0321218ea4d8670.

Bug: 22881413
Change-Id: Iaea4cc29ed680710d01532124bc472547ee18bdb

am ebccaad3: Merge "ART: Add complex UnresolvedMergedType test case"

* commit 'ebccaad3ad6bd32f7a37addc5df2381ce988846e':
  ART: Add complex UnresolvedMergedType test case

am 081da0ad: Merge "ART: Change UnresolvedMergedType internal representation"

* commit '081da0add911757a48df74e6ae817af1de6e047d':
  ART: Change UnresolvedMergedType internal representation

Merge "ART: Add complex UnresolvedMergedType test case"

Merge "ART: Change UnresolvedMergedType internal representation"

am 4814bbd6: Merge "Do read barriers on native roots in CopyClassVisitor"

* commit '4814bbd62306dfe07a68cc5def6aad115bebc45f':
  Do read barriers on native roots in CopyClassVisitor

Merge "Do read barriers on native roots in CopyClassVisitor"

Do read barriers on native roots in CopyClassVisitor

Fixes a race condition caused by making a copy of a class then
clearing the native root arrays of the original class. If the
original class was gray and the new class was black then the GC
would miss the native roots.

Bug: 22957957

Change-Id: I706110018220af12a2ad0d72eb803f1cfe3580b9

ART: Change UnresolvedMergedType internal representation

Use a BitVector instead of the tree representation. This
avoids flattening the components and other instances.

Bug: 22881413
Change-Id: Ibf7cfb54443affeb1753bf114c0f306125391c62

ART: Add complex UnresolvedMergedType test case

Add a test case that stresses the verifier. Add dex2oat timeout
to the host prebuild configuration.

Bug: 22881413
Change-Id: Ic4a0d16a4dc69f3d43bac40a560b6e6884df263f

am 1a5625be: Merge "Fix a bug in the register allocator around pair allocation."

* commit '1a5625be743a4a84329930ac1c7e96425e24ca8d':
  Fix a bug in the register allocator around pair allocation.

Merge "Fix a bug in the register allocator around pair allocation."

[MIPS] Avoid using odd numbered fp registers

Don't use odd numbered fp registers for single precision data on
MIPS32r6 (64-bit FPU).

Bug: 23050326
Change-Id: I35cc19df091149773411e2336b01c170929376bc

Fix a bug in the register allocator around pair allocation.

We may get hints that do not work with the current implementation
of register pairs, which forces the allocation of (low + 1)
for the high register. For example, if the hint is EBX, we will
allocate ESP for the high register.

bug:23043730

Change-Id: I371ebb0c61568f09d12eb9ab815c0bf0ea02d49b

am 77bccdc5: Merge "ART: Clean up unnecessary ArtMethod**"

* commit '77bccdc5e4f7bb150867c7aecd350efee84367bc':
  ART: Clean up unnecessary ArtMethod**

Merge "ART: Clean up unnecessary ArtMethod**"

ART: Clean up unnecessary ArtMethod**

ArtMethods are no longer Java objects, so the additional indirection
is no longer necessary here.

Change-Id: If76756d875b418b3f6e83f51b3225a158e9ce29b

am fc298560: Merge "ART: Remove TODO in BitVector"

* commit 'fc29856047d90d8f446d73b576c0c18de7a1380f':
  ART: Remove TODO in BitVector

Merge "ART: Remove TODO in BitVector"

ART: Remove TODO in BitVector

Refactor the BitVector constructor: split it up to remove the
possibility to provide contradicting parameters, and add a custom
copying constructor.

Change-Id: Ie943f279baa007db578aea0f2f33fa93311612ee

am e6b307a8: Merge "Add class table field to class loader"

* commit 'e6b307a833d3a0ba4327004c2a286680e01eae3b':
  Add class table field to class loader

Merge "Add class table field to class loader"

am 4b2e98fc: Merge "Fix C++14 bitrot."

* commit '4b2e98fc8c257a27a95fecbc859fcc617e2fa827':
  Fix C++14 bitrot.

Merge "Fix C++14 bitrot."

Fix C++14 bitrot.

Change-Id: I22f7925a87bca45646c563971342a9a1b2090ba6

Add class table field to class loader

Fixes bug with the class table where the comparator would cause read
barriers and break the map strict ordering properties.

Bug: 22957957

Change-Id: I8dbc042db6e22e2172ab4ec58ddf1db0345dcaaa

am 3ded7766: Merge "Ensure coherency of call kinds for LocationSummary."

* commit '3ded7766981b3105c7686e0c9d75c378c42fa4a0':
  Ensure coherency of call kinds for LocationSummary.

Merge "Ensure coherency of call kinds for LocationSummary."

am a001e3a0: Merge "Revert "Pass the verified method to the inlinee DexCompilationUnit.""

* commit 'a001e3a0200fe137feeaaead3c99026abce914cd':
  Revert "Pass the verified method to the inlinee DexCompilationUnit."

Merge "Revert "Pass the verified method to the inlinee DexCompilationUnit.""

Revert "Pass the verified method to the inlinee DexCompilationUnit."

Crashes testing libcore on host/x86.

Bug:22866717

This reverts commit 08624c50f488ecd845e48683e84726ff8c53e6a7.

Change-Id: Ia8f130d9ea32e171e554bd3e10c44f8453111b52

am 4320ff10: Merge "Pass the verified method to the inlinee DexCompilationUnit."

* commit '4320ff10bb344140b75e029c6a4d46b070399682':
  Pass the verified method to the inlinee DexCompilationUnit.

Merge "Pass the verified method to the inlinee DexCompilationUnit."

am 62dee441: Merge "Tighten default inlining settings when using the space filter."

* commit '62dee441fff15e951c577b9565f87bb5f27c5ffb':
  Tighten default inlining settings when using the space filter.

Merge "Tighten default inlining settings when using the space filter."

Tighten default inlining settings when using the space filter.

Bug: 21868508
Change-Id: Ic83813a966cef18e59447083926bf033aa587154

Ensure coherency of call kinds for LocationSummary.

The coherency is enforced with checks added in the `InvokeRuntime`
helper, that we now also use on x86 and x86_64.

Change-Id: I8cb92b042f25dc3c5fd390e9c61a45b477d081f4

am 33407564: Merge "Introduce arch-specific checker tests."

* commit '33407564904d2186f536107e1ca8d88f2c760c83':
  Introduce arch-specific checker tests.

Merge "Introduce arch-specific checker tests."

Pass the verified method to the inlinee DexCompilationUnit.

Sharpening and other optimizations in compiler driver rely
on having it there.

Also fixes a warning for the intrinsics code.

bug:22866717
Change-Id: I6ac4f55e9e77452a4ea9e0d0dd0ad70124a95a55

am 7fbaa22e: Merge "ART: Fix the simplifier for add/sub"

* commit '7fbaa22e10979cf17b8c1c0c96bef4919e9d4163':
  ART: Fix the simplifier for add/sub

Merge "ART: Fix the simplifier for add/sub"

ART: Fix the simplifier for add/sub

Instruction simplifier for add/sub should not proceed with floats
because that might cause the incorrect behavior with signed zero.

Change-Id: If0c9bf3931bcbf96b0814f8605a86997aea37145
Signed-off-by: Serguei Katkov <serguei.i.katkov@intel.com>

am a27a67c9: Merge "Fix image loading in interpeter-only mode"

* commit 'a27a67c98e12cd1a90431704a6d7bcbd546667fd':
  Fix image loading in interpeter-only mode

am bc7db535: Merge "Fix DDM reply buffer deallocation"

* commit 'bc7db5356a68cf44d6497f6956e8a97dc9355b80':
  Fix DDM reply buffer deallocation

Merge "Fix image loading in interpeter-only mode"

Merge "Fix DDM reply buffer deallocation"

Introduce arch-specific checker tests.

- The '.cfg' output is now created on target.
- Arch-specific checker tests can be created by inserting a
  suffix. For example:
      /// CHECK-START-ARM64: int Main.foo(int) register (after)
      /// CHECK-DAG:   <<Arg:i\d+>>     ParameterValue

Change-Id: I55cdb37f8e806c7ffdde6b676c8f44ac30b59051

Fix image loading in interpeter-only mode

Follow-up https://android-review.googlesource.com/162935. We now need
an ArtMethodVisitor to update entrypoints of methods in the image.

Bug: 22832610
Change-Id: I30ca9c369a73c3372694b446e73afa2e37890a65

am 1f3f766d: Merge "Move ArtFields and ArtMethods to be a length prefixed array"

* commit '1f3f766d3b365d01f36b85dc19d40f754fa48533':
  Move ArtFields and ArtMethods to be a length prefixed array

Fix DDM reply buffer deallocation

Reply buffer is an uint8_t* allocated with new uint8_t[...] so it
must be deallocated with delete[], not free.

Change-Id: Ib5d6387aa63f1e0393113f82602f661bbada4aa2

Merge "Move ArtFields and ArtMethods to be a length prefixed array"

Move ArtFields and ArtMethods to be a length prefixed array

Fixes race conditions between changing method and fields arrays
being seen in the wrong order by the GC.

Bug: 22832610
Change-Id: Ia21d6698f73ba207a6392c3d6b9be2658933073f

am 275bc5e5: Merge "ART: Extend ISA features option for (host) run tests"

* commit '275bc5e5f318ba6ea1bad6c89c2924d1248b7523':
  ART: Extend ISA features option for (host) run tests

Merge "ART: Extend ISA features option for (host) run tests"

ART: Extend ISA features option for (host) run tests

To allow to test advanced intrinsics only available on (fairly)
modern processors, and because our build requirements are still
too low to enable them in the build system, pipe through the
existing make variables to the run-tests to allow to override
the dex2oat autodetection scheme.

Usage (standalone run-test): use the new --instruction-set-features
command line parameter to set the value for dex2oat (in the prebuild
configuration) or as an -Xcompiler-option (for no-prebuild). Note:
this is general and also works for target tests.

Usage (through make): set DEX2OAT_HOST_INSTRUCTION_SET_FEATURES and
2ND_DEX2OAT_HOST_INSTRUCTION_SET_FEATURES to set instruction set
features, as was possible before for the compilation of core files.
This option is now forwarded to host run-tests.

Change-Id: I9d89c82b6a5c8853748e5d1c153dde5d4050757a

am d8406781: Merge "ART: Wire up DexToDexCompiler without extern"

* commit 'd8406781fdb8917ae0c45c1e2194f9a5ab874e78':
  ART: Wire up DexToDexCompiler without extern

Merge "ART: Wire up DexToDexCompiler without extern"

ART: Wire up DexToDexCompiler without extern

The extern declaration actually had the wrong signature, a parameter
was missing, and we never noticed.

Remove the function field and extern. Add a header for the compiler.
Use the header file.

Change-Id: Ia4d4dd86211da6045709a45c7bf8430471d1b62b

am 02f0771b: Merge "Revert "cleanup: Replace pointers with out-parameters and fix-up formatting""

* commit '02f0771bba69edd34b0b112902bb9132ed099c75':
  Revert "cleanup: Replace pointers with out-parameters and fix-up formatting"

Merge "Revert "cleanup: Replace pointers with out-parameters and fix-up formatting""

am 94800f46: Merge "Address some comments and clean up"

* commit '94800f46da0aded5152545322ad842f89e8a21d8':
  Address some comments and clean up

Merge "Address some comments and clean up"

am 46e0f460: Merge "Fix mod-union logic for native roots"

* commit '46e0f460aa233a4a0ac161bfafde164357fe2b26':
  Fix mod-union logic for native roots

Merge "Fix mod-union logic for native roots"

Fix mod-union logic for native roots

Bug: 22949217
Change-Id: I9e4631870160d5a9412df1eec2a7b79c65668542

am 13394093: Merge "Have constant folding be more flexible."

* commit '1339409345cc8b46d64570430ca3197408fda159':
  Have constant folding be more flexible.

Merge "Have constant folding be more flexible."

am 902ec264: Merge "Add constant folding for long unary operations in opt. compiler."

* commit '902ec264e1040cbfd783c44809ed10b261bd78ee':
  Add constant folding for long unary operations in opt. compiler.

Merge "Add constant folding for long unary operations in opt. compiler."

Have constant folding be more flexible.

- Have Evaluate methods take as argument(s) and return value
  instances of HConstant (instead of built-in 32- or 64-bit
  integer values), to let the evaluated instruction choose
  the type of the statically evaluated node; for instance,
  art::HEqual::Evaluate shall return a HIntConstant
  node (as implementation of a Boolean constant) whatever
  the type of its inputs (a pair of HIntConstant or a pair
  of HLongConstant).
- Split the evaluation job from the operation logic: the
  former is addressed by Evaluate methods, while the latter
  is done by a generic Compute method.
- Adress valid BinOp(int, long) and BinOp(long, int) cases.
- Add a constructor to art::HIntConstant to build an integer
  constant from a `bool` value.

Change-Id: If84b6fe8406bb94ddb1aa8b02e36628dff526db3

Add constant folding for long unary operations in opt. compiler.

Add tests to exercise the constant folding of these
instructions.

Also, prevent Java methods from run-tests exercising the
code generation of these instruction from being inlined,
so that they continue to check the generated code (and
not the code produced by the constant folding pass).

Change-Id: I28efca7cdb5142ac2b6d158ba296fb9136d62481