am a3073e24: Merge "Fixes and improvements in ReferenceTypePropagation"

* commit 'a3073e24e00274d2957771518be5ecfa74591744':
  Fixes and improvements in ReferenceTypePropagation

Merge "Fixes and improvements in ReferenceTypePropagation"

am 236d0a3c: Merge changes from topic \'lambda_experimental\'

* commit '236d0a3c35a369da99bb1f0c617a29f23b2f4df8':
  interpreter: Add tests for move-result after invoke-lambda
  verifier: Skip verification of methods when seeing experimental opcodes

Merge changes from topic 'lambda_experimental'

* changes:
  interpreter: Add tests for move-result after invoke-lambda
  verifier: Skip verification of methods when seeing experimental opcodes

interpreter: Add tests for move-result after invoke-lambda

Bug: 22638098
Change-Id: I9c428055eef0bc95f4f7aacd03be56547df812d9

verifier: Skip verification of methods when seeing experimental opcodes

Bug: 22638098
Change-Id: I9f172f3e0e7ad2aa8873e4036415702fee6bf2eb

am c962dd74: Merge "Prefer 32-bit host executables on Mac."

* commit 'c962dd742ea2c514cd36f02381c0ad33fc89e8b3':
  Prefer 32-bit host executables on Mac.

Merge "Prefer 32-bit host executables on Mac."

am 56ebee4d: Merge "Add more checks to diagnose flaky oat file assistant test."

* commit '56ebee4d2b94bcf4040f49eddaa35ad7e43cc53d':
  Add more checks to diagnose flaky oat file assistant test.

Merge "Add more checks to diagnose flaky oat file assistant test."

Prefer 32-bit host executables on Mac.

Bug: 22527295
Change-Id: I2cb1d3086b65b8227e6bdac9c0485fdc452f1e9c

am 2bb897ea: Merge "Refine the canary pattern in RedZone"

* commit '2bb897ea8551ff8f486a59c7bc8368f4388b7760':
  Refine the canary pattern in RedZone

Merge "Refine the canary pattern in RedZone"

am b203b332: Merge "ART: Fix UninitializedReference handling"

* commit 'b203b332be18c7bf1e4b3be3e0ddd345174e0517':
  ART: Fix UninitializedReference handling

Merge "ART: Fix UninitializedReference handling"

ART: Fix UninitializedReference handling

The merge rules in the verifier allowed Object to be successfully
merged with uninitialized references. This is invalid and should
result in a conflict. Fix by moving UninitializedReference rules
earlier.

Also add a test that forward merging is correctly allowed, both
with a valid result as well as a conflict.

Also add tests that backwards branches have the expected behavior.

Bug: 22411633
Change-Id: If837376c15f0b3550d6ce1721a3cde5901c80c7f

am 364fa537: Merge "Fix bug in OatFileAssistant::GetBestOatFile."

* commit '364fa537a78ef67825a3f7aa6b4bf8ff32c39266':
  Fix bug in OatFileAssistant::GetBestOatFile.

Merge "Fix bug in OatFileAssistant::GetBestOatFile."

am 411b96d6: Merge "ART: Remove some of the Mac craziness"

* commit '411b96d641a9db09c5b6bf3dcccd7198cab688ae':
  ART: Remove some of the Mac craziness

Merge "ART: Remove some of the Mac craziness"

ART: Remove some of the Mac craziness

We rely on new-enough Clang/LLVM builds nowadays. The integrated
assembler supports named parameters. Throw away most of the
old duplication (effectively cutting support for older Clang
versions). The only required duplications are:

1) Clang as does not support .altmacro. However, the Clang
preprocessor works different wrt/ the GCC preprocessor
and does not give us trouble with inserted spaces.

2) On the Mac, symbols are prefixed with an underscore.

This should help to avoid breaking the Mac build when changing
the assembly code, and prepare for a complete Clang-only build
for x86 and x86-64. Switching to the integrated assembler for
the host build may be done in a follow-up CL.

Bug: 17443165
Change-Id: I1a077d4b612abc2b1b851c1bdabb5008a52e5aa6

Fixes and improvements in ReferenceTypePropagation

- Bound object types after a CheckCast. This increases the precision of
(inlining) generic operations.
- Make sure that the BoundType is exact when the class is final.
- Make sure that we don't duplicate BoundTypes when we run the analysis
more than once.

Change-Id: Ic22b610766fae101f942c0d753ddcac32ac1844a

am 9ed82069: Merge "Don\'t check code pointer for proxies in ArtMethod::GetQuickFrameInfo"

* commit '9ed820697b75179e236fe5a07981b198a36400b3':
  Don't check code pointer for proxies in ArtMethod::GetQuickFrameInfo

Merge "Don't check code pointer for proxies in ArtMethod::GetQuickFrameInfo"

am 84bfbe14: Merge "Fix broken tests."

* commit '84bfbe14f708cdbc2ef310a5b8973be6911602b5':
  Fix broken tests.

Merge "Fix broken tests."

Fix broken tests.

Rationale:
  (1) volatile field write/read need to apply to all
      to comply with Java memory model
  (2) clinit only needs only the write
  (3) added conservative assumptions to memory barrier
      (nothing broke, but this seems better)

Change-Id: I37787ec8f3f2c8d6166a94c57193fa4544ad3372

am af0365ac: Merge "runtime: Add lambda box/unbox object equality"

* commit 'af0365ac6a4c7d242df6f50c4da69ba0ff67e3f1':
  runtime: Add lambda box/unbox object equality

Merge "runtime: Add lambda box/unbox object equality"

runtime: Add lambda box/unbox object equality

A lambda that is boxed with box-lambda is now stored as a weak reference
in a global runtime table (lambda::BoxTable). Repeatedly boxing the same
lambda closure value will always return the same java.lang.Object back.

Since there is no way to observe the address of an object, a GC can
happen and clean up the table of any dead boxed lambdas, which can also
shrink the table to prevent the memory use from growing too much.

(Note that a lambda closure is immutable, so hashing over it is
guaranteed safe.)

Change-Id: I786c1323ff14eed937936b303d511875f9642524

am e07300b7: Merge "Improved side effect analysis (field/array write/read)."

* commit 'e07300b712f44397ecbfed1ef7f880686e46274a':
  Improved side effect analysis (field/array write/read).

Merge "Improved side effect analysis (field/array write/read)."

Improved side effect analysis (field/array write/read).

Rationale:
Types (int, float etc.) and access type (field vs. array)
can be used to disambiguate write/read side-effects analysis.
This directly improves e.g. dead code elimination and licm.

Change-Id: I371f6909a3f42bda13190a03f04c4a867bde1d06

Add more checks to diagnose flaky oat file assistant test.

Bug: 22599792
Change-Id: I00574444133fb1cb2571f6ae71ac39c30a36275f

Fix bug in OatFileAssistant::GetBestOatFile.

Previously, GetBestOatFile would fail to return an oat file in the
case where a non-executable oat file was requested and the only
problem with the oat file was that it wasn't relocated.

Bug: 22561444
Change-Id: I6446bf474afaf6c97861e7a89bd74a07c5a52a21

am 16a150b8: Merge "ART: Fix arm32 quick_invoke_stub CFI"

* commit '16a150b8a4c5c8c9e7159aff3b2ffbd918494abd':
  ART: Fix arm32 quick_invoke_stub CFI

Merge "ART: Fix arm32 quick_invoke_stub CFI"

am 6db13772: Merge "Improve documentation of memory layouts in stack_map.h."

* commit '6db13772db22489e61e7934dee43144ee5362d8e':
  Improve documentation of memory layouts in stack_map.h.

Merge "Improve documentation of memory layouts in stack_map.h."

Don't check code pointer for proxies in ArtMethod::GetQuickFrameInfo

Bug: 22541058

Change-Id: Id084a69ccd9835147ec71df6bb759e0f1b5e6fbf

ART: Fix arm32 quick_invoke_stub CFI

Follow-up to 4808846b2a8647a448aaa05d561a4f60b190196b.

Change-Id: I534ba39a4f59eaea9cfec8e81c944675284fc427

am b2295afd: Merge "Get non proxy method for StackDumpVisitor"

* commit 'b2295afd038c921ac4219c3d09774579bd577c87':
  Get non proxy method for StackDumpVisitor

Merge "Get non proxy method for StackDumpVisitor"

am 11237947: Merge "Change intern table to not use WaitHoldingLocks"

* commit '11237947eefd3ec3167d9df41f2f3a041e717b6f':
  Change intern table to not use WaitHoldingLocks

Get non proxy method for StackDumpVisitor

Fixes failing DCHECK.

Bug: 22553459
Change-Id: I6fe1012f9a5f8d29cb98bf25e3a279da51c5e1c0

Merge "Change intern table to not use WaitHoldingLocks"

am 7745dc34: Merge "runtime: Add -Xverify:softfail and ART_TEST_INTERPRETER_ACCESS_CHECKS"

* commit '7745dc34f0b40c8c2ef2ef1a540c84c305cd987a':
  runtime: Add -Xverify:softfail and ART_TEST_INTERPRETER_ACCESS_CHECKS

Merge "runtime: Add -Xverify:softfail and ART_TEST_INTERPRETER_ACCESS_CHECKS"

runtime: Add -Xverify:softfail and ART_TEST_INTERPRETER_ACCESS_CHECKS

Use ART_TEST_INTERPRETER_ACCESS_CHECKS=true to run all the tests through
the interpreter with access checks enabled. The normal interpreter tests
do not currently enable access checks, which means that a large part of
the interpreter codebase is untested.

The verifier will force every class into a soft fail mode if
-Xverify:softfail is used, thereby ensuring that if used along with the
interpreter (-Xint) that the interpret is always in access checks mode.

This is used alongside with --compile-filter=verify-at-runtime to
prevent the AOT compiler from putting down any code.

Change-Id: I35a10ed8c43d76fa96133cf01fdad497da387200

Change intern table to not use WaitHoldingLocks

Bug: 22423014
Change-Id: I9e16b8cb4def72fff73f1783a182877105feb7aa

am 479ebe07: Merge "Extended test with "cross-over arrays"."

* commit '479ebe076561e4a48129ab0c78cf8ca93c44baf6':
  Extended test with "cross-over arrays".

Merge "Extended test with "cross-over arrays"."

Extended test with "cross-over arrays".

Rationale:
Since HIR is mostly sloppy with array references types, it is good
to extend the tests with some false invariant array references.

Bug: 22538329

Change-Id: I2ef22cbdc999c0d627590f76e7bac61984ac6ad6

am 511bb656: Merge "Fix FieldGap priority queue ordering bug."

* commit '511bb656522e22f0570a9edff8dd295e0de6c145':
  Fix FieldGap priority queue ordering bug.

Merge "Fix FieldGap priority queue ordering bug."

am 2661ffc6: Merge "Improve Thumb2 branch/load-literal fixup performance."

* commit '2661ffc6f739f2006bfa5c70bbb2f60badfaf321':
  Improve Thumb2 branch/load-literal fixup performance.

am 75fd056e: Merge "Revert "Revert "Use the quickened metadata to compile -QUICK opcodes."""

* commit '75fd056e2ac95492bb9a044fc77ef47e413a3ea1':
  Revert "Revert "Use the quickened metadata to compile -QUICK opcodes.""

Merge "Improve Thumb2 branch/load-literal fixup performance."

Merge "Revert "Revert "Use the quickened metadata to compile -QUICK opcodes."""

Improve Thumb2 branch/load-literal fixup performance.

Replace per-Fixup dependents vectors with a single array
held by the assembler and referenced by the Fixups to avoid
the cost of many allocations with the default allocator.

This improves the compilation time of the boot.oat on N5,
AOSP ToT, by about ~3% as measured by the "Compile Time"
reported with --dump-timing (~2% of the "dex2oat took...").

Change-Id: I7121cdef32d9edc6d287e602d774ffe03f530d18

Revert "Revert "Use the quickened metadata to compile -QUICK opcodes.""

This reverts commit 8ab9a9010f3929acbb6c671008b8885b762b01e1.

Change-Id: I1e654d5010ea2112982c3055fcb8c8f9c10e9ac8

am 33e50d85: Merge "Reduce space filter threshold to 128."

* commit '33e50d85a3e43072fad4f58369b71da73b8f966c':
  Reduce space filter threshold to 128.

Merge "Reduce space filter threshold to 128."

am 32f59e58: Merge "Revert "Use the quickened metadata to compile -QUICK opcodes.""

* commit '32f59e585a1f8932f2a4ab3f934a0a83e29b3d19':
  Revert "Use the quickened metadata to compile -QUICK opcodes."

Reduce space filter threshold to 128.

In order to get closer to our code increase limit.

Bug:21868508

Change-Id: I05f76bfd97f03bda3741eca4e6a678c536ad0702

Merge "Revert "Use the quickened metadata to compile -QUICK opcodes.""

Revert "Use the quickened metadata to compile -QUICK opcodes."

Broke sdk build. Investigating.

This reverts commit 4515a67434c9e3e1627586629a1f2aba1a99aa6a.

Change-Id: I6c1107ab626758570a59dc6bf3e4228c70a57196

am c3c0a06b: Merge "Use the quickened metadata to compile -QUICK opcodes."

* commit 'c3c0a06bea879741972add3dfc8099de729856a1':
  Use the quickened metadata to compile -QUICK opcodes.

Merge "Use the quickened metadata to compile -QUICK opcodes."

am 913a737b: Merge "Test on (in)variant static and instance field arrays."

* commit '913a737ba5774b3fec944190c13fcdf5b2257b6a':
  Test on (in)variant static and instance field arrays.

Merge "Test on (in)variant static and instance field arrays."

am caa2fe33: Merge "ART: Fix System.arraycopy"

* commit 'caa2fe33a8c4b3a5f7ffd0a6d6adb68337f8655f':
  ART: Fix System.arraycopy

Test on (in)variant static and instance field arrays.

Rationale:
Ensure upcoming improved side effects analysis
results in valid optimizations only.

Bug: 22538329
Change-Id: I87e699853e914a0e42adfd1c4e4f9789781b65df

Merge "ART: Fix System.arraycopy"

ART: Fix System.arraycopy

We cannot use the same code for float+int and long+double. In debug
mode, this will fail.

Change-Id: Icf263626896a7b53e59685c474e77b4c3128ecd5

am 6d3d1e3d: Merge "Disable test while investigating."

* commit '6d3d1e3d866a880b4df95ba96ed126c1723e3dd6':
  Disable test while investigating.

Merge "Disable test while investigating."

Disable test while investigating.

Change-Id: Iea1a5b59582d2d12aba8ca5eb5eab3db3cc9dd59

Use the quickened metadata to compile -QUICK opcodes.

Change-Id: I28a8d68921698bea81f54c95cc6e4c6d2c03f2b4

am cced6ad1: Merge "Use (D)CHECK_ALIGNED more."

* commit 'cced6ad152cf8ec13f38f2210c1b8445919232d3':
  Use (D)CHECK_ALIGNED more.

am 530f3185: Merge "Make oatdump see the new vmap table generated by dextodex."

* commit '530f31858cfe019e48b5f0b2ecea2ad528e6f6c6':
  Make oatdump see the new vmap table generated by dextodex.

Merge "Use (D)CHECK_ALIGNED more."

Merge "Make oatdump see the new vmap table generated by dextodex."

Make oatdump see the new vmap table generated by dextodex.

Change-Id: I48f3fb7320e39c864f8fbc478f970b18358408ec

am bca4d299: Merge "ART: Boolean simplifier fix"

* commit 'bca4d29975396b08f1d7357912065660b8007dd7':
  ART: Boolean simplifier fix

am 8f861e39: Merge "ART: DCE should know that array-length can throw NPE"

* commit '8f861e399c96abd8f1bc7c8c585d53b0904f371a':
  ART: DCE should know that array-length can throw NPE

Merge "ART: Boolean simplifier fix"

Merge "ART: DCE should know that array-length can throw NPE"

ART: DCE should know that array-length can throw NPE

array-length can throw NPE so it should be taking into account.

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

Improve documentation of memory layouts in stack_map.h.

Also shorten NumberOfDexRegisterLocationCatalogEntries to
NumberOfLocationCatalogEntries.

Change-Id: I55f8ec2960ea67e2eb6871a417bd442d0e2810fb

am fec9d09b: Merge "Fix the documentation of all-run-test-names."

* commit 'fec9d09bf7d2d54048b1df8e3c24a210e58dbc84':
  Fix the documentation of all-run-test-names.

am 00b5c617: Merge "Use art::MemoryRegion::{Load,Store}Bits more in art::CodeInfo."

* commit '00b5c6175210e3372920086818a9d2aa15216eda':
  Use art::MemoryRegion::{Load,Store}Bits more in art::CodeInfo.

ART: Boolean simplifier fix

Boolean simplifier should not remove condition instruction
if it has side effects.

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

Use (D)CHECK_ALIGNED more.

Change-Id: I9d740f6a88d01e028d4ddc3e4e62b0a73ea050af

Merge "Fix the documentation of all-run-test-names."

Merge "Use art::MemoryRegion::{Load,Store}Bits more in art::CodeInfo."

am a14e2e78: Merge "Move MarkObject to mark_sweep.cc"

* commit 'a14e2e780230b0c2f8e94445a4c8d21f19d447cf':
  Move MarkObject to mark_sweep.cc

am 2e7ccf9a: Merge "Enable ASan annotations in ART based on macro setting."

* commit '2e7ccf9aeb7212c96e2081b66f85b67856b8825a':
  Enable ASan annotations in ART based on macro setting.

Merge "Move MarkObject to mark_sweep.cc"

Move MarkObject to mark_sweep.cc

Maybe fixes mac build.

Change-Id: I7c018922be8e159001498d30682435643bed1dfd