Merge "ART: Relax IsInstantiable check"

Merge "Take into account that we might end up with unresolved classes."

Take into account that we might end up with unresolved classes.

bug:22821472
Change-Id: I615ab0b41c8cadae9f327e07dcff71755f7146c2

Merge "Fix gtests."

Fix gtests.

Change-Id: I19fd46ed96b4f620209533c96faa18d1077b004b

Merge "Allow for fine tuning the inliner."

Allow for fine tuning the inliner.

Bug: 21868508

Change-Id: Ice7f1604ed65e3d4ed2a010ee431272b7d000cdb

Merge "Clean up class visitors"

Clean up class visitors

Move from function pointers to virtual function visitors.

Change-Id: I68cb83c1d2ed9b5a89f8e534fe7ca4bbc1c91f45

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

Merge "Revert "Revert "Revert "Revert "Fixes and improvements in ReferenceTypePropagation"""""

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

This reverts commit b734808d0c93af98ec4e3539fdb0a8c0787263b0.

Change-Id: Ifd925f166761bcb9be2268ff0fc9fa3a72f00c6f

Merge "Run intrinsics on inlined code."

Run intrinsics on inlined code.

Fixes any prior intrinsics recognition being lost if the containing code
block is inlined.

Change-Id: I6c89973545af97a4fe2444a9bd6efcc12d0d1b10

Merge "Split the class table for each class loader"

Split the class table for each class loader

Each class loader now has its own class table. This makes it easier
to mark classes when a classloader is marked.

Fixed a bug in LookupClass where we used to look ignore the return
value of InsertClass.

Bug: 22720414

Change-Id: If2cd717989a20a6e245ebec24ad52dc47dd3207d

Merge "Add read barrier support to the entrypoints."

Add read barrier support to the entrypoints.

Also remove "THIS_LOAD_REQUIRES_READ_BARRIER" since reading
an ArtMethod* no longer needs read barrier.

stub_test should also work with read barriers now.

Change-Id: I3fba18042de2f867a18dbdc38519986212bd9769

Merge "Temporarily suppress TimeZoneTest.testAllDisplayNames."

Temporarily suppress TimeZoneTest.testAllDisplayNames.

bug: 22786792
Change-Id: Ib256928e8b8e2aac93e4001426613c5629728919

Merge "ART: Print out hex for NewStringUTF failure"

Revert "Revert "Revert "Revert "Fixes and improvements in ReferenceTypePropagation""""

This reverts commit e344a8070d4549d513413c06767abf8a2c5e9709.

Change-Id: I400fab0e02ce3c11376cc1f3ae9c7cf2c82ffcc1

Merge "Revert "Revert "Revert "Fixes and improvements in ReferenceTypePropagation""""

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

Revert "Revert "Revert "Fixes and improvements in ReferenceTypePropagation"""

This reverts commit 00e3b38be4b280d6d7a7e843cd336ffbd2ba4365.

Change-Id: I4dbadb2d7312a410f1c56283f063dd82156cf702

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

This reverts commit 80caa1478cf3df4eac1214d8a63a4da6f4fe622b.

Change-Id: I63b51ca418b19b2bfb5ede3f8444f8fbeb8a339d

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

Merge "Revert "Revert "Fixes and improvements in ReferenceTypePropagation"""

Merge "Added repe_cmpsw instruction to x86, x86_64 assemblers"

ART: Relax IsInstantiable check

Relax the IsInstantiable check when converting an uninitialized
reference type. This is a double protection that leads to wrong
behavior as it may trigger an incorrect hard failure.

Bug: 22777307
Change-Id: Ie555b175f78876647fef083369d40bfe3fd7b69a

ART: Print out hex for NewStringUTF failure

Print out the input data as a hex stream in case of a NewStringUTF
input format failure.

Bug: 22773761
Change-Id: I99a275bebb89564b2d71f297c7f5b9543cf4312d

Merge "Add remembered set functionality for native roots"

Add remembered set functionality for native roots

Fixes GSS tests. The issue was that there could be classes which had
native roots in the target space which we need to mark and update.

Change-Id: I33e628d40bcb74f768492f740f8f084077d80edf

Merge "Bugfix: Java char is 16 bits, can not be treated as boolean."

Bugfix: Java char is 16 bits, can not be treated as boolean.

Using SetFieldBooleanVolatile() and SetFieldBoolean() happens to work
for char values that only use the lower 8 bits, but is a mistake that
was introduced by the "Add AccessibleObject and Field to mirror" commit:

https://android.googlesource.com/platform/art/+/daaf326

Change-Id: Iec02ba3084c992ea239ecef688d7d29c7e21ae16

Added repe_cmpsw instruction to x86, x86_64 assemblers

Change-Id: I7634959eebb64d607f47497db320d5c2afdef16b

Merge "HDeoptimize should hold values live in env."

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

This reverts commit 7733bd644ac71f86d4b30a319624b23343882e53.

Change-Id: I7d393a808c01c084c18d632a54e0554b4b455f2c

Revert "Revert "Fixes and improvements in ReferenceTypePropagation""

This reverts commit 9b0096ba77e7e61bc2dcbbf954831dcae54a6c27.

Change-Id: I824f16e800ca32e646577d5e1e0d593887ccead1

HDeoptimize should hold values live in env.

Values that are not live in compiled code anymore may still be needed in
interpreter, due to code motion, etc.

Bug: 22665511
Change-Id: I8b85833c5c462f8fe36f86d6026a51b07563995a

Merge "Add checker ability to 525-arrays-and-fields tests."

Merge "Exercise constant folding of int & long mul, div and rem."

Merge "Cosmetic changes in ART run-tests."

Merge "Fix & add Checker assertions in 442-checker-constant-folding."

Exercise constant folding of int & long mul, div and rem.

Change-Id: Ic70b56dbcb4a660a4c8ca04f7b2b5201ad29952a

Cosmetic changes in ART run-tests.

Perform a copyright headers clean up mostly.

Change-Id: I26c855b2f54d0887676d9b9b8281b14b7978ab29

Fix & add Checker assertions in 442-checker-constant-folding.

Change-Id: Id4165b14816c04961d5c274f24861d0e7856d95e

Merge "Enable art host static builds only for checkbuilds."

Merge "ART: Abbreviate interpreter-access-checks"

ART: Abbreviate interpreter-access-checks

Tag is too long.

Change-Id: I49febb97cec1172bcf06438fe8e0605f266e3fde

Merge "Fix gcstress tests"

Fix gcstress tests

We may visit the native roots multiple times (e.g. temp classes).
This used to not be handled by the SS GC but is now handle by
MarkObjectIfNotInToSpace.

Change-Id: I18226e20b36ace41c155ba4c3f54eac2244f524c

Merge "ART: Make warnings into errors in InitZygote"

ART: Make warnings into errors in InitZygote

These warnings are actual errors and lead to failure to start the
runtime. Print them accordingly.

Change-Id: I907e32a3c5da5364ecc9678bb9a11604234d669c

Merge "ART: Change the stack dump format to be in line with debuggerd"

ART: Change the stack dump format to be in line with debuggerd

Make offsets 16 digits on 64-bit platforms.

Add the ability to provide the build fingerprint, and print it in
the traces output.

Bug: 22693991

(cherry picked from commit 242ae94dc39be53e519a6163ea1db494ceb75954)

Change-Id: Ibd3d3b3bd65dce84acfb97a487807d6f280a9508

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

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

This reverts commit ef3119e6c75c431d9cf54e92dfe5b805597b1657.

Merge "Visit class native roots from VisitReferences"

Visit class native roots from VisitReferences

Visit class roots when we call Class::VisitReferences instead of in
the class linker. This makes it easier to implement class unloading
since unmarked classes won't have their roots visited by the class
linker.

Bug: 22181835
Change-Id: I63f31e5ebef7b2a0b764b3ba3cb038b3f561b379

Add checker ability to 525-arrays-and-fields tests.

Rationale:
Good to verify hoisting occurs and even some
not-hoisting (although the latter is already
reflected in the computed results).

Change-Id: I23575e4fd480836b436b1f27f67e561c7b40419d

Enable art host static builds only for checkbuilds.

Change-Id: I42cc850089a5ecbcc201699f0b996da4fd959bb3

Merge "Add some more uninterruptible annotations"

Add some more uninterruptible annotations

Added to mirror sites, class linker, and intern table.

Bug: 20072211
Change-Id: I2224bcefefaab05d325f14844b1514e3d719e649

Merge "Fix alignments in quick_entrypoints_x86_64.S"

Fix alignments in quick_entrypoints_x86_64.S

Places calling artIsAssignableFromCode() were not 16-byte aligned.

Change-Id: I86ff4f73a942ede09c0206e76614eb826dd896c2

Merge "ART: Fix Quick/Optimizing suspend check assumption mismatch."

Merge "Disable Checker for tests that don't invoke the compiler."

ART: Fix Quick/Optimizing suspend check assumption mismatch.

Quick's SuspendCheckElimination (SCE) expects that every
method contains a suspend check and it eliminates suspend
checks in loops containing an invoke. Optimizing eliminates
the suspend check from leaf methods, so the combination of
a Quick-compiled loop calling an Optimizing-compiled leaf
method can lead to missing suspend checks and potentially
leading to ANRs.

Enable Quick's kLeafOptimization flag to remove suspend
checks from leaf methods and disable Quick's SCE. This
aligns the suspend check placement for the two backends
and avoids the broken combination.

Currently, all methods containing a try-catch are compiled
with Quick, so it's relatively easy to create a regression
test. However, this test will not be valid when Optimizing
starts supporting try-catch.

Bug: 22657404
Change-Id: I3bc40bf3f5c1e7d18704d1547b139e939950b770

Disable Checker for tests that don't invoke the compiler.

Running tests in no-prebuild mode will resort to running the
interpreter when either dex2oat or patchoat are not available, thus
not producing the CFG dump tested by Checker. This patch disables
Checker under such configurations.

Bug: 22552692

Change-Id: I23c97aa0aa627675861ef84f8c570303b614d9af

Merge "Fix and extend the documentation of art::Thread's fields offsets."

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

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

Merge "ART: Fix Thumb2 literal fixup."

Fix and extend the documentation of art::Thread's fields offsets.

Change-Id: Ie13c71d1b734ec0778c388b9bcb7773dcf319f16

Merge "Added unit tests to LICM."

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

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

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