Merge "MIPS32: Fix MipsInstructionSetFeatures::FromVariant()"

Merge "Simplification for associative and commutative operations on constants"

Merge "Never go to resolution while inspecting inlined frames."

Never go to resolution while inspecting inlined frames.

Instead, do a manual inspection and decoding of the invoke
with the dex cache.

Also update oatdump to dump types in the dex cache.

bug:27858645
Change-Id: I7c0b612ee96e6865fa438c3a1d253686231337bd
test:run-test

Merge "MIPS32: Improve method invocation"

MIPS32: Improve method invocation

Improvements include:
- CodeGeneratorMIPS::GenerateStaticOrDirectCall() supports:
  - MethodLoadKind::kDirectAddressWithFixup (via literals)
  - CodePtrLocation::kCallDirectWithFixup (via literals)
  - MethodLoadKind::kDexCachePcRelative
- 32-bit literals to support the above (not ready for general-
  purpose applications yet because RA is not saved in leaf
  methods, but is clobbered on MIPS32R2 when simulating
  PC-relative addressing (MIPS32R6 is OK because it has
  PC-relative addressing with the lwpc instruction))
- shorter instruction sequences for recursive static/direct
  calls

Tested:
- test-art-host-gtest
- test-art-target-gtest and test-art-target-run-test-optimizing on:
  - MIPS32R2 QEMU
  - CI20 board
  - MIPS32R6 (2nd arch) QEMU

Change-Id: Id5b137ad32d5590487fd154c9a01d3b3e7e044ff

Simplification for associative and commutative operations on constants

The purpose of this change is to enable the instruction simplifier
to recognize patterns such as

OP y, x, const1
OP z, y, const2

where OP is both an associative and a commutative operation on integral
types, and replace them with

OP z, x, const3

Since subtraction on integral types is equivalent to addition with a
negated operand, it receives a similar treatment, even though it is
not commutative.

Change-Id: I278cac39bd39bc843d250a976931cb000876ea88

Merge "Create a typedef for HInstruction::GetInputs() return type."

Merge "Make the Compute() method of all HIRs static."

Create a typedef for HInstruction::GetInputs() return type.

And some other cleanup after
    https://android-review.googlesource.com/230742

Test: No new tests. ART test suite passed (tested on host).
Change-Id: I4743bf17544d0234c6ccb46dd0c1b9aae5c93e17

Make the Compute() method of all HIRs static.

Change-Id: Ibd7687dac907150c8e100791ed7d20d1ae18c9be

Merge "MIPS: Use $a0 instead $zero for passing faulting address"

Merge "Do not use popen, it uses a hardcoded path for "sh"."

Do not use popen, it uses a hardcoded path for "sh".

Instead, do the fork/exec/pipe ourselves.

Bug: 29557002
Change-Id: Iee81b0a7e8818706fd97890f97c1e86f37e42995
Test: test-art-host-gtest-dex2oat_test

MIPS: Use $a0 instead $zero for passing faulting address

Also replaced register numbers with register names to prevent
future similar errors.

This fixes following tests for MIPS32 and MIPS64:
  * 034-call-null
  * 038-inner-null
  * 046-reflect
  * 083-compiler-regressions
  * 123-compiler-regressions-mt
  * 800-smali

Change-Id: I6e49cec60a9c2b0553d7e94c24553e307b70c603

Merge "Reformat files using Android-style imports."

MIPS32: Fix MipsInstructionSetFeatures::FromVariant()

Make it possible to completely override build-time instruction
set features with the provided variant string. Add sanity checks.
Comment on the "default" variant behavior.

Tested:
- test-art-host-gtest
- test-art-target-gtest and test-art-target-run-test-optimizing on:
  - MIPS32R6 (2nd arch) QEMU
  - CI20 board

Change-Id: I2470b7115a5b5e333e2e7a156e68c39945fb02e9

Merge "Improvements in induction range analysis."

Reformat files using Android-style imports.

Test: m ahat-test
Change-Id: Ib0eee0b7c414d85c245c7ef3163485cfa6ff34a4

Merge "Revert "Revert "Gray only immune objects mutators access."""

Merge "Fix divergence between interpreter and compiler."

Merge "MIPS32: Disassemble and test movf.fmt and movt.fmt (missed earlier)"

MIPS32: Disassemble and test movf.fmt and movt.fmt (missed earlier)

Test: ART gtest assembler_mips_test
Change-Id: Iafedfafe6ccd76127461d66dfa7984f196be6bd2

Merge "Special case the suspend to runnable transition when locking."

Merge "Revert "Integer.bitCount and Long.bitCount intrinsics for ARM""

Revert "Integer.bitCount and Long.bitCount intrinsics for ARM"

Fails 564:

[ 80% 771/967] build test-art-target-run-test-debug-prebuild-optimizing-relocate-ntrace-cms-checkjni-image-npictest-ndebuggable-564-checker-bitcount32
checker exit status: 1
/b/build/slave/hammerhead-debug/build/art/test/564-checker-bitcount: FAILED!

#################### info
# Unit test for 32-bit and 64-bit bit count operation.
#################### diffs
--- expected.txt 2016-06-08 02:57:45.570840797 -0700
+++ output.txt 2016-06-29 09:45:45.813173505 -0700
@@ -1 +1,3 @@
 passed
+error: Test case not found in the CFG file
+Main.java:32: int Main.$noinline$BitCountByte(byte) intrinsics_recognition (after)
####################

564-checker-bitcount files deleted from host
and from target
test-art-target-run-test-debug-prebuild-optimizing-relocate-ntrace-cms-checkjni-image-npictest-ndebuggable-564-checker-bitcount32 FAILED

This reverts commit 2a17419c2e54f8ada0df56daa379c78f8ae8a9e8.

Change-Id: I263cfc09ebf78956cd1e86a0bb59ba1b36ffeafe

Merge "ART: Add very-large threshold to dex2oat"

ART: Add very-large threshold to dex2oat

Add a variable threshold to dex2oat. If the total dex file size for
an app reaches this threshold, dex2oat will punt all compilation and
compile the app with verify-at-runtime. This ensures smaller compile
time and memory thrashing, while still extracting the dex files and
thus helping with dirty memory later.

Added tests.

Bug: 29557002
Bug: 29790079
Test: m test-art-host-gtest-dex2oat_test
Change-Id: I78870e4a80ccaafcbbe56839e61ced0acd2ca05e
(cherry picked from commit 338a1d206c16427cf61bd42171fa0c8b9cea8165)

Revert "Revert "Gray only immune objects mutators access.""

To reduce image/zygote dirty pages.

GC doesn't gray immune space objects except when visiting the thread
GC roots of suspended threads during the thread flip and in
FillWithDummyObject(). GC updates the fields of immune space objects
without pushing/popping them through the mark stack. GC sets a bool
flag after updating the fields of immune space objects. After this
point, mutators don't need gray to immune space objects. Removed the
mark bitmaps for immune spaces.

This reverts commit ddeb172eeedb58ab96e074a55a0d1578b5df4110.

Bug: 29516465
Bug: 12687968
Test: art tests, libartd device boot, ritzperf, jdwp test.
Change-Id: If272373aea3d41b2719e40a6a41f44d9299ba309

Merge "ART: Add dex2oat swap-usage parameters"

ART: Add dex2oat swap-usage parameters

Make the dex2oat swap usage decision dependent on parameters that
can be changed on the command line. Both the dex file size and dex
file count can be modified through the following to new parameters:

  --swap-dex-size-threshold
  --swap-dex-count-threshold

The defaults remain the same (20MB and 2).

Factor out some dex2oat setup code from oat_file_assistant_test
and use it in a new dex2oat test.

Bug: 29557002
Change-Id: I8863224f0304c98afe251572ffda8c5b3ead735b
Test: m test-art-host-gtest-dex2oat_test
Test: m test-art-host-gtest-oat_file_assistant_test
Test: m test-art-host

Fix divergence between interpreter and compiler.

Rationale:
Access checks on a method invocation should be performed
prior to checking null pointer for non-static method calls.

Test: 600-verifier-fails

BUG=29068831

Change-Id: I21874d96ff83e7e6c6cf7c239e65ce1b515b9729

Merge "Also add the monitor offset as a potential implicit NPE."

Also add the monitor offset as a potential implicit NPE.

We access the monitor in read barrier configurations.

Change-Id: Ifbdf8ec7734a10cd7d1e965875d72a59960d13ca

Merge "Fix merging HLoadClass with HNewInstance."

Improvements in induction range analysis.

Rationale:
Uses range analysis while determining whether trip-counts
are "safe", which improves analysis of triangular loops.
Also implements more effective triangular loop analysis
by evaluating induction information only once and using
a top level hint (instead of the "iterative refinement"
that was used earlier). Also fixes analysis of triangular
trip counts that may wrap-around. All with tests.

Test: see induction_var_range_test/530-checker-loops*

BUG=27151190

Change-Id: I1877c8ce0c9a52005900eb9dfdbb1918df100278

Special case the suspend to runnable transition when locking.

The runtime may be shutting down in parallel, and for daemons that
could lead to failed locking assertions.

bug:27378067
Change-Id: I53785cad537a3d4846661a7b0780543226ea3928

Fix merging HLoadClass with HNewInstance.

Do not merge HLoadClass with HNewInstance if they do not
come from the same dex instruction. This is the same check
as for moving the clinit check responsibility around.

Test: Added a regression test, run standard ART test suite
plus gcstress and ndebug modes on host and Nexus 9.

Bug: 29570861
Bug: 29321958
Change-Id: Id8b67492ec1f58326ca0509af3f5a57257e7aea3

Merge "Clean up profiler options"

Merge "Fix interpreter tests."

Fix interpreter tests.

Monitor operations can throw NPEs.

bug:29321958
Change-Id: If7a2e35a2073a7984a5126a826e722c918ba8d3a

Merge "Fix mac build."

Fix mac build.

bug:29321958
Change-Id: Ibd51d408dd97876eb3237df5606dbe9290ca7254

Clean up profiler options

- remove obsolete options
- using ProfileSaverOptions instead of hard-coded values in the profile
saver

Bug: 24698874
Change-Id: I4ff535d29a644d1bd5509844f89615b70a723749
Test: cmdline_parser_test, gtest and run-tests pass.

Merge "Integer.bitCount and Long.bitCount intrinsics for ARM"

Integer.bitCount and Long.bitCount intrinsics for ARM

Change-Id: Ia535865721313e72925fdec851a759470173cf89

Merge "Remove the old obsolete profiler"

Merge "Do checks on the fault address when we think it's an NPE."

Merge "ARM64: Ensure stricter alignment when loading and storing register pairs"

Do checks on the fault address when we think it's an NPE.

bug:29321958
Change-Id: I28f4da56eb3e0b48721d3ac41114858bc80daadb

Merge "Revert "Optimize IMT""

Revert "Optimize IMT"

Bug: 29188168 (for initial CL)
Bug: 29778499 (reason for revert)

This reverts commit badee9820fcf5dca5f8c46c3215ae1779ee7736e.

Change-Id: I32b8463122c3521e233c34ca95c96a5078e88848

Merge "Revert "Refactor GetIMTIndex""

Revert "Refactor GetIMTIndex"

I need to revert this to get https://android-review.googlesource.com/#/c/244190/ to cleanly revert. Matthew, do you mind rewriting it?

This reverts commit 50706437d8216e41f0fea1e413cda7891324d397.

Change-Id: I5c1435f5dffb46dbb5b613b22adb88c7770304f2

Merge "Revert "Propagate flags to ShouldHaveEmbeddedVTable""

Revert "Propagate flags to ShouldHaveEmbeddedVTable"

Bug: 29188168 (for initial CL)
Bug: 29778499 (reason for revert)

This reverts commit efeb9f01308c5c4b723ff905cf5bea1636f7a549.

Change-Id: I21bc32fa07014bbce2eedba3686f09d3d45aec65

Merge "Add ability to generate a random test profile"

Merge "ARM assembler support for VCNT and VPADDL."

ARM assembler support for VCNT and VPADDL.

Test: Gtest assembler_thumb2_test.
Change-Id: I8a0e47da746e1c67650cb68196a9f661deed7383

Merge "Add debug option to ignore checksum checks in profiles."

Remove the old obsolete profiler

Bug: 24698874
Test: all the existing run-tests pass.
Change-Id: I56d25c75541275512a64ae5708569461b875df9c

Add ability to generate a random test profile

This is usefull to drive automated profile guided compilations.

Test: added TestProfileGeneration in profile_assistant_test.

bug: 29066961
Change-Id: Ib7ce7de898abefae1c2cf1b8ff16c4f0fc9b0d0e

Add debug option to ignore checksum checks in profiles.

Test: existing tests passing, profile_compilation_info_test.

Bug: 29066961
Change-Id: I6084f50d6a6ada7407e1c7ad92fea9af3351715e

Merge "Optimize away useless masking operations on shift amounts."

Merge "MIPS64: Remove the workaround in VisitInvokeStaticOrDirect"

Merge "Fix 004-ThreadStress."

ARM64: Ensure stricter alignment when loading and storing register pairs

The impetus for this change is the fact that loads that cross a 64 byte
boundary and stores that cross a 16 byte boundary are a performance issue
on Cortex-A57 and A72.

Change-Id: I81263dc72272192ad2d190b741a955f175880461

Merge "Optimizing: Do not depend on sharpening in test 450"

Merge "MIPS32: Drop redundant moves in integer conversions"

Merge "Clean up StringReferenceValueComparator and DexFile."

Optimize away useless masking operations on shift amounts.

Change-Id: I90d69757cc45312eda3d57cc2d32bfb4e47963f5

Merge "Revert "Gray only immune objects mutators access.""

Revert "Gray only immune objects mutators access."

Fails with:
    art F 11338 11338 art/runtime/gc/collector/concurrent_copying-inl.h:83] Check failed: !kGrayImmuneObject || updated_all_immune_objects_.LoadRelaxed() || gc_grays_immune_objects_

Bug: 29516465
Bug: 12687968

This reverts commit 16292fcc98f03690576d0739b2e5fb04b375933c.

Change-Id: I1d2d988b7707e03cc94f019cf8bef5b9a9099060

Merge "Gray only immune objects mutators access."

Gray only immune objects mutators access.

To reduce image/zygote dirty pages.

GC doesn't gray immune space objects except when visiting the thread
GC roots of suspended threads during the thread flip. GC updates the
fields of immune space objects without pushing/popping them through
the mark stack. GC sets a bool flag after updating the fields of
immune space objects. After this point, mutators don't need gray to
immune space objects. Removed the mark bitmaps for immune spaces.

Bug: 29516465
Bug: 12687968
Test: art tests, libartd device boot, ritzperf.
Change-Id: Idfcffbdb94dfc8bfc89c30d6aff8888f04990a56

Merge "ART: Disable no-prebuild test for run-test 608"

MIPS32: Drop redundant moves in integer conversions

Change-Id: I0e3f393d87538eb9e35b3012ea36e81c8b7a225e

ART: Disable no-prebuild test for run-test 608

This test relies on unresolved types, which is not the case in a
no-prebuild setting (as all parts will be on the classpath).

Bug: 29433999
Change-Id: I11b1c6b446905aacd7a520796d0b2217319cefc7
Test: m ART_TEST_RUN_TEST_NO_PREBUILD=true test-art-host-run-test

Merge "Do not remove loads/store with unresolved accesses."

Do not remove loads/store with unresolved accesses.

Due to AOT and compiling classes that are not ready yet
(eg missing a super class), we need to be conservative when
accessing fields and can end up in a situation where the same
field can be resolved and unresolved within the same method
(because of inlining). Therefore, disable removing loads and
stores in a method when there are unresolved accesses.

bug:29433999

Change-Id: I8fcfb52c584222474a8220eb16c6581350b702e0

Clean up StringReferenceValueComparator and DexFile.

Add a helper function to StringReference, so that the
StringReferenceValueComparator doesn't need to repeatedly
reference the same StringReference variable which led to
the bug 29602109.

Also clean up the DexFile, moving definitions of functions
that depend on the dex_file-inl.h from dex_file.h also to
the dex_file-inl.h.

Test: Run standard ART test suite on host and Nexus 5.
Bug: 29602109
Change-Id: I83e2aa67173c62b3432c26478e528bbb53b6d09f

Optimizing: Do not depend on sharpening in test 450

The sharpening may or may not remove the ArtMethod*
parameter, so the test must not depend on its absence.
This fixes the test 450 checker test on mips/mips64.

Change-Id: Ie62c5a7da5994c3b0c6f0452c9abb37575216806

Merge "Fixes and cleaning for test/458-checker-instruction-simplification."

Fix 004-ThreadStress.

Synchronize the start of performing the tasks after all
threads have been created and runners reported their start.
This prevents a daemon thread from allocating all memory
before the main thread tries to allocate the next daemon
thread, which is the likely culprit of failing to print any
output whatsoever (the main thread exits due to an uncaught
OOME and printing the message also fails due to OOME).

Instead of repeating attempts to print "Finishing worker"
until it succeeds, print the message through JNI which does
not require any Java heap memory. Similarly, print caught
Throwables through JNI. Also make sure to preallocate
Strings that are used once we start running tasks to avoid
const-string throwing OOME. This also prevents a partial
success followed by a retry; we have seen a failure to
print the EOL, yielding "Finishing workerFinishing worker".

Change the "Thread exited..." message to be printed only in
DEBUG mode and compare the full output, ignoring different
numbers as the "Starting worker for <id>" may be reordered.

Test: "make -j 32 test-art-host-run-test-004-ThreadStress"
    (4 configs: with or without gcstress, 32-bit and 64-bit)
    100 times while also keeping the machine under load with
    "make -j 32" to repeatedly build another full AOSP tree.
Bug: 27371304
Change-Id: I28286d70a08be64c36d0e49dd5558686813ff264

Fixes and cleaning for test/458-checker-instruction-simplification.

- Use the `doThrow` trick to defeat inlining.
- Fix the order of `expected` and `found` arguments for a few tests.

Change-Id: Id8e5041993d72f61e75b4586b49180006cda4b5c

Merge "ART: OneBit intrinsics should use 1ULL for 64-bit shift"

Merge "Adjust ART tests expectations after libcore changes."

Adjust ART tests expectations after libcore changes.

Test: test/100-reflect2, test/201-built-in-exception-detail-messages
Change-Id: I0c13e37973d0b954cbafa15b049cb8934b88ebe5

Merge "Fix StringReferenceValueComparator."

Fix StringReferenceValueComparator.

Test: Added a regression test in string_reference_test.cc,
run the standard ART test suite on host and Nexus 5.

Bug: 29602109
Change-Id: Idcc059a07df048a0e3ece257b16b6556f242243e

Merge changes I4d8da7ce,I4da5be01,Idfbead82

* changes:
  Re-enable most intrinsics with read barriers.
  Fix ARM & ARM64 UnsafeGetObject intrinsics with read barriers.
  Fix x86 & x86-64 UnsafeGetObject intrinsics with read barriers.

Merge "Track libcore change 694e617f54a7bfbdad24913ce96f5d56f1a1960a"

ART: OneBit intrinsics should use 1ULL for 64-bit shift

Change-Id: I91cbe769081045e6a45a95154a8a8acf1ec352ef
Signed-off-by: Pavel Vyssotski <pavel.n.vyssotski@intel.com>

Merge "ART: Run RTP if invoke inputs have more specific type"

Merge "elf_builder: Fix Mips header flags"

Merge "OatFileAssistantTest: do not relocate image randomly."

MIPS64: Remove the workaround in VisitInvokeStaticOrDirect

This is not needed since $s2-$s8 are not blocked any more. This is
follow-up change for I325ab403752c6b9cd788147cb8b21d42aaff629e.

Change-Id: I934a21adb85581e137a6dcb3355605742b085d83

ART: Run RTP if invoke inputs have more specific type

Moving RTP inside the graph builder introduced a regression where
replacing the inner parameters with the actual arguments of the
HInvoke would not build the inner graph with types more specific
than the method's signature.

This patch runs RTP on the inner graph again when it is detected
that RTP may improve typing precision.

Bug: 29595335
Change-Id: I351babc8497c83c2fba589aa51f46eaa0b7ab33c

Re-enable most intrinsics with read barriers.

Also extend sun.misc.Unsafe test coverage to exercise
sun.misc.Unsafe.{get,put}{Int,Long,Object}Volatile.

Bug: 26205973
Bug: 29516905
Change-Id: I4d8da7cee5c8a310c8825c1631f71e5cb2b80b30
Test: Covered by ART's run-tests.

Fix ARM & ARM64 UnsafeGetObject intrinsics with read barriers.

The implementation was incorrectly interpreting the 'offset'
input as an index in a (4-byte) object reference array,
whereas it is a (1-byte) offset to an object reference field
within the 'base' (object) input.

Bug: 29516905
Change-Id: I4da5be0193217965f25e5d141c242592dea6ffe8
Test: Covered by test/004-UnsafeTest.