am 195fa34d: Merge "ART: Fix missing role definition"

* commit '195fa34db058b12c0f53f49ded482fd28d73d7d2':
  ART: Fix missing role definition

am d59f0b19: Merge "Fix hash set memory leaks"

* commit 'd59f0b198ae5a0bf2cc4d2f9cadbe51ebf14277e':
  Fix hash set memory leaks

am 3c9c7760: Merge "Add uninterruptible role"

* commit '3c9c776017cd628d594fda0943634f2bdcc980b8':
  Add uninterruptible role

am f64914d7: Merge "Move to newer clang annotations"

* commit 'f64914d7392b7d35c7f35bc917b0797b9c4605ac':
  Move to newer clang annotations

am fab0712a: Merge "runtest: Have gcstress tests skip 955-lambda-smali"

* commit 'fab0712a178670949c909f55486648c425add463':
  runtest: Have gcstress tests skip 955-lambda-smali

am 6078aec2: Merge "ART: Add VerboseMethods to optimizing compiler"

* commit '6078aec213dfaf111c29969706e8e5967cfc9bea':
  ART: Add VerboseMethods to optimizing compiler

am d8da9dc8: Merge "More diagnostics for flaky oat file assistant test."

* commit 'd8da9dc897ececb8df8cafd458b48fa65a703acc':
  More diagnostics for flaky oat file assistant test.

am c20d7286: Merge "Replaced CHECK with EXPECT in tests."

* commit 'c20d728627c19f7d81328bed9b800a643f6ba680':
  Replaced CHECK with EXPECT in tests.

Merge "ART: Fix missing role definition"

ART: Fix missing role definition

Add missing static member definition. Follow-up to
4e2cb098017bf073335ebb02b1bc0a36828cd720

Bug: 20072211
Change-Id: I392da3724ded7c455b9b57add6fceb70191f9ff6

Merge "Fix hash set memory leaks"

Fix hash set memory leaks

There was a memory leak if ShrinkToMaximumLoad caused the set to
become 0 size. Fixes valgrind tests.

Change-Id: Ibdd033768d622443fb34e7a5e5e1c00e082a1a4a

Merge "Add uninterruptible role"

Add uninterruptible role

Example error:
cannot call function 'CopyOf' while mutex 'uninterruptible_' is held

TODO: Add annotation to more locations.

Bug: 20072211

Change-Id: I1bbf5a77e3deeafa5898df529cb7cb53a6d010d2

Merge "Move to newer clang annotations"

Merge "runtest: Have gcstress tests skip 955-lambda-smali"

runtest: Have gcstress tests skip 955-lambda-smali

This prevents the test from failing due to a timeout (temporarily).

Bug: 22665783
Change-Id: I978786ba2f94de8f13e32718a16e6909820dab51

Move to newer clang annotations

Also enable -Wthread-safety-negative.

Changes:
Switch to capabilities and negative capabilities.

Future work:
Use capabilities to implement uninterruptible annotations to work
with AssertNoThreadSuspension.

Bug: 20072211

Change-Id: I42fcbe0300d98a831c89d1eff3ecd5a7e99ebf33

Merge "ART: Add VerboseMethods to optimizing compiler"

ART: Add VerboseMethods to optimizing compiler

Bring the optimizing compiler up to Quick levels for debuggability.

Change-Id: Ib2adce7a31cc6a60c37c63d0df5cb6a35a85e790

Merge "More diagnostics for flaky oat file assistant test."

Merge "Replaced CHECK with EXPECT in tests."

Replaced CHECK with EXPECT in tests.

Doh!

Change-Id: Ibef45031146215034647c7eaab4065c766d6fb86

am c5bee2a1: Merge "Revert "Fixes and improvements in ReferenceTypePropagation""

* commit 'c5bee2a133f6505b8004075288b19efb99e24b4f':
  Revert "Fixes and improvements in ReferenceTypePropagation"

am 32d7806b: Merge "Revert "Use the object class as top in reference type propagation""

* commit '32d7806b34efda2af0f5a0eaaa384c781565d364':
  Revert "Use the object class as top in reference type propagation"

Merge "Revert "Fixes and improvements in ReferenceTypePropagation""

Merge "Revert "Use the object class as top in reference type propagation""

Revert "Use the object class as top in reference type propagation"

This reverts commit 3fabec7a25d151b26ba7de13615bbead0dd615a6.

Change-Id: Id8614f6b6e3e0e4c9caeb9f771e4c145d9fec64f

Revert "Fixes and improvements in ReferenceTypePropagation"

This reverts commit b0d5fc0ac139da4aaa1440263416b9bde05630b0.

Change-Id: Iea8adfc0bd4cb7ee2b292278b8bac80a259acbd1

am d77aa00c: Merge "ART: Fix Thumb2 literal fixup."

* commit 'd77aa00c583cc72f96bc4522d02d2070dcd72f1c':
  ART: Fix Thumb2 literal fixup.

Merge "ART: Fix Thumb2 literal fixup."

am ff6e79c9: Merge "Added unit tests to LICM."

* commit 'ff6e79c97f25692fdaae503e59f4f9e19bbdb4c0':
  Added unit tests to LICM.

Merge "Added unit tests to LICM."

am 0e126bb7: Merge "When a Checker assertion cannot be parsed, display it."

* commit '0e126bb7c6c001c63f104797912a38cbe619073c':
  When a Checker assertion cannot be parsed, display it.

More diagnostics for flaky oat file assistant test.

When we generate an odex file for test, verify it is generated properly, and
if it is not supposed to be generated pic, verify it needs relocation right
after generating the odex file.

Bug: 22599792
Change-Id: I75fbbaafc7a425e20fe3495657e1c38ae7b15d56

Merge "When a Checker assertion cannot be parsed, display it."

am 60f4804f: Merge "Delete extraneous prefix `SideEffects::` in `nodes.h`."

* commit '60f4804fc2dd9abb008a08fc2209a943bedef135':
  Delete extraneous prefix `SideEffects::` in `nodes.h`.

Merge "Delete extraneous prefix `SideEffects::` in `nodes.h`."

When a Checker assertion cannot be parsed, display it.

Change-Id: Ib667c7aa24b2753f0963ed6b1f9f4227a9e586f4

Delete extraneous prefix `SideEffects::` in `nodes.h`.

Change-Id: Ic0a8442d20323df0d9db9e6a1d26c07bd903a13d

ART: Fix Thumb2 literal fixup.

When processing a load literal during fixup, we use the
current code size to determine whether we need to add the
padding before literals. However, this may change by the end
of the fixup, yet we didn't recalculate to see if the load
literal is pushed out of range.

Instead of making the load literal fixup also depend on all
preceding fixups, add an extra pass over literals when we
need the padding and repeat the fixup loop if needed.

Change-Id: Ia21d660486167a2dcb1ad4afe8acc669b4af669d

am e6e38ce0: Merge "Use the object class as top in reference type propagation"

* commit 'e6e38ce021ef5e0d326d76172307c000e0e6fab3':
  Use the object class as top in reference type propagation

am a3073e24: Merge "Fixes and improvements in ReferenceTypePropagation"

* commit 'a3073e24e00274d2957771518be5ecfa74591744':
  Fixes and improvements in ReferenceTypePropagation

Merge "Use the object class as top in reference type propagation"

Merge "Fixes and improvements in ReferenceTypePropagation"

Added unit tests to LICM.

Rationale:
LICM did not have its own unit test yet, and it was a good
time to ensure that the improved side effect analysis does
what it is supposed to. Also, a nice way for me to get
familiar with the testing infrastructure.

Change-Id: I16471e5fd99615c04a59b09c4a69126d7a94684f

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

Use the object class as top in reference type propagation

This properly types all instructions, making it safe to query the type
at any time.

This also moves a few functions from class.h to class-inl.h to please
gcc linker when compiling for target.

Change-Id: I6b7ce965c10834c994b95529ab65a548515b4406

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