Fix compaction bugs related to IdentityHashCode

IdentityHashCode is a suspend point if monitor inflation occurs.

Change-Id: I114021aed8b3f3437109ef622298de05e13b4e34

Merge "Mark test as failing for optimizing."

Mark test as failing for optimizing.

Change-Id: I928ff56d232a647e8227f2b97a8f4a51791a5f95

Merge "Fix exception handling during deoptimization"

Fix exception handling during deoptimization

When interpreting a deoptimized shadow frame, we may start with a
pending exception thrown by a previous deoptimized shadow frame (from
a previous invoke). Therefore, we need to handle it before executing
any instruction, otherwise we execute incorrect code.

Because we need the DEX pc of the throwing instruction to find a
matching catch handler, we initialize deoptimized shadow frames with
the current DEX pc at the time the stack is deoptimized.
When we are about to interpret a deoptimized shadow frame, we need to
update the shadow frame with the DEX pc of the next instruction to
interpret. There are three cases:
- if there is no pending exception, this is the instruction following
the current one.
- if there is a pending exception and we found a matching catch
handler, this is the first instruction of this handler.
- if there is a pending exception but there is no matching catch
handler, we do not execute the deoptimized shadow frame and continue
to its caller.

The verifier now fails when a method starts with a move-exception
instruction. Indeed we cannot start executing a method with a pending
exception.

Bug: 19057915
Bug: 19041195
Bug: 18607595
Change-Id: I355ac81e6ac098edc7e3cc8c13dbfa24a2969ab2

Merge "Fix BitVector::IndexIterator::operator*() to return uint32_t."

Fix BitVector::IndexIterator::operator*() to return uint32_t.

Change-Id: I3cfc028b1c3744ec85ea00eadcbccfdde6fd51d3

Merge "Implicit stack overflow checks and null checks are the norm now."

Implicit stack overflow checks and null checks are the norm now.

Make the default to true so that unit tests don't need to
use the full CompilerOptions constructor.

Change-Id: Ieb52235af73dce2fa03f12932e22ebe2294c805b

Merge "Support callee save floating point registers on x64."

Support callee save floating point registers on x64.

- Share the computation of core_spill_mask and fpu_spill_mask
  between backends.
- Remove explicit stack overflow check support: we need to adjust
  them and since they are not tested, they will easily bitrot.

Change-Id: I0b619b8de4e1bdb169ea1ae7c6ede8df0d65837a

Merge "ART: clear dirty cards of alloc space in pause phase"

Merge "Fix 116-nodex2oat to use arguments in custom run script"

Fix 116-nodex2oat to use arguments in custom run script

Change-Id: I47a834da921930764abdff8fdce09b026b9ad483

Merge "Fix compaction unsafe DescribeWait"

Fix compaction unsafe DescribeWait

Fixes a crash that was seen once in automated tests, PrettyTypeOf
was accessing a stale object which had moved during IdentityHashCode
due to thin lock inflation causing suspension.

Change-Id: I105aa9a09d4e8c9091b9a60e508ef71e613f1eed

Merge "ART: Rewrite ParallelGC test"

Merge "ART: Refactor common ELF->InstructionSet code"

Merge "Improve error messages in art::GraphChecker and art::SSAChecker"

Merge "ART: Fix GenInlined functions"

Merge "Fix lint error."

Fix lint error.

Change-Id: Iccba489098dd2a5b8796beefc781284006624f74

Merge "Enable core callee-save on x64."

ART: clear dirty cards of alloc space in pause phase

Clear the dirty cards of alloc spaces when scanning them in pause phase,
the dirty cards of image or zygote space will not be cleared in order to
track the references to the other spaces.

Change-Id: I519f071d954a589aa33dbce0cdba405f2d2cef71
Signed-off-by: Lei Li <lei.l.li@intel.com>

Merge "Follow up on CL 123650"

ART: Rewrite ParallelGC test

Make the setup simpler and less prone to OOME problems.

Bug: 19027813
Change-Id: Ie2dbe1579a45d554f207a9bf84d53303acbe79d5

ART: Refactor common ELF->InstructionSet code

Move code into instruction_set.h/cc.

Change-Id: I34d5c82791042c68629df84e0f4b9321231d51b9

Merge "Clean-up 116-nodex2oat unit test"

ART: Fix GenInlined functions

This patch fixes Mir2Lir::GenInlinedReverseBytes,
Mir2Lir::GenInlinedAbsInt, Mir2Lir::GenInlinedAbsLong,
Mir2Lir::GenInlinedFloatCvt, Mir2Lir::GenInlinedDoubleCvt,
X86Mir2Lir::GenInlinedSqrt, X86Mir2Lir::GenInlinedMinMaxFP,
X86Mir2Lir::GenInlinedMinMax, X86Mir2Lir::GenInlinedPeek,
and X86Mir2Lir::GenInlinedReverseBits to generate no code, when results
are unused.
New calls without assignments are added to 082-inline-execute.

Change-Id: I7076e9ddbea43545315f2aeb677c63a8a6e95224
Signed-off-by: Chao-ying Fu <chao-ying.fu@intel.com>

Clean-up 116-nodex2oat unit test

Running with prebuilt is added to black-list, so no need to handle
this in the test itself.

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

Merge "ART: Fix stub_test"

ART: Fix stub_test

Change x86-64 inline assembly to work with fno-omit-frame-pointer.

Bug: 18722517
Change-Id: I2ddb80abc9ada63fe5de9ccdd12b37df5c0001b7

Enable core callee-save on x64.

Will work on other architectures and FP support in other CLs.

Change-Id: I8cef0343eedc7202d206f5217fdf0349035f0e4d

Merge "Allow std::function<return_type(arg_type)> patterns in cpplint."

Merge "ART: Replace NULL to nullptr in the optimizing compiler"

Merge "Do not use HNot for creating !bool."

ART: Replace NULL to nullptr in the optimizing compiler

Replace macro NULL to the nullptr variation for C++.

Change-Id: Ib6e48dd4bb3c254343383011b67372622578ca76
Signed-off-by: Jean Christophe Beyler <jean.christophe.beyler@intel.com>

Merge "ART: Create a RemoveBlock method"

Do not use HNot for creating !bool.

HNot folds to ~, not !.

Change-Id: I681f968449a2ade7110b2f316146ad16ba5da74c

Follow up on CL 123650

Change-Id: If575fdb9cc73e312e222e6853890e8dacd83b284

Merge "Revert "Revert "Fully support pairs in the register allocator."""

Revert "Revert "Fully support pairs in the register allocator.""

This reverts commit c399fdc442db82dfda66e6c25518872ab0f1d24f.

Change-Id: I19f8215c4b98f2f0827e04bf7806c3ca439794e5

Merge "Update instrumentation stubs on resolved classes"

Merge "Record implicit null checks at the actual invoke time."

Record implicit null checks at the actual invoke time.

ImplicitNullChecks are recorded only for instructions directly (see NB
below) preceeded by NullChecks in the graph. This way we avoid recording
redundant safepoints and minimize the code size increase.

NB: ParallalelMoves might be inserted by the register allocator between
the NullChecks and their uses. These modify the environment and the
correct action would be to reverse their modification. This will be
addressed in a follow-up CL.

Change-Id: Ie50006e5a4bd22932dcf11348f5a655d253cd898

Merge "Update expectations after test change."

Update expectations after test change.

Change-Id: Ide5d1257f00b31e46020f5989690b662fbf72258

Merge "Revert "Fully support pairs in the register allocator.""

Revert "Fully support pairs in the register allocator."

Libcore tests fail.

This reverts commit 41aedbb684ccef76ff8373f39aba606ce4cb3194.

Change-Id: I2572f120d4bbaeb7a4d4cbfd47ab00c9ea39ac6c

Improve error messages in art::GraphChecker and art::SSAChecker

- Add an art::GraphChecker::AddError helper.
- Use StringPrintf instead of std::stringstream.
- Rephrase some error messages.

Change-Id: Ia741e9e67cb5122f086a7383a2bc02d60ca637df

Merge "Fully support pairs in the register allocator."

Fully support pairs in the register allocator.

Enabled on ARM for longs and doubles.

Change-Id: Id8792d08bd7ca9fb049c5db8a40ae694bafc2d8b

Merge "[optimizing compiler] Implement inline x86 FP '%'"

[optimizing compiler] Implement inline x86 FP '%'

Replace the calls to fmod/fmodf by inline code as is done in the Quick
compiler.

Remove the quick fmod/fmodf runtime entries, as they are no longer in
use.

64 bit code generator Move() routine needed to be enhanced to handle
constants, as Location::Any() allows them to be generated.

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

Merge "Use CompilerOptions for implicit stack overflow checks"

Merge "ART: Fix arm64 backend"

ART: Fix arm64 backend

Fix a register size problem after previous commit
f681570077563bb529a30f9e7c572b837cecfb83.

Change-Id: If04e647324bcd6fe279c25e70214a9f7c5b816ec

Merge "ART: Make ProcessStrings less noisy"

ART: Make ProcessStrings less noisy

Only print statistics in debug mode or when verbose-logging.

Bug: 19082662
Change-Id: Ibc1d336a5abe7a05fb37e8d3a9b9c9c8131e5bbc

Merge "Clean up the locks around Heap::VisitObjects()."

Merge "ART: Make some helpers non-virtual in Mir2Lir"

Merge "ART: Curb dex2oat verbosity"

ART: Curb dex2oat verbosity

Only print dedupe collisions in a debug build or on verbose logging.

Change-Id: I08bd04a453d95b6dba6cf6955b5741cd97daf480

Clean up the locks around Heap::VisitObjects().

This is so that we could support suspending all threads when visiting
objects in the presence of a concurrent, moving collector.

Bug: 12687968
Change-Id: Icc8e60630465afde948ebc6ea91d4ebaff5d7837

Use CompilerOptions for implicit stack overflow checks

Change-Id: I52744382a7e3d2c6c11a43e027d87bf43ec4e62b

ART: Make some helpers non-virtual in Mir2Lir

These don't need to be virtual.

Change-Id: Idca3c0a4e8b5e045d354974bd993492d6c0e70ba

Merge "ART: Some Quick cleanup"

ART: Some Quick cleanup

Move some definitions around. In case a method is already virtual,
avoid instruction-set tests.

Change-Id: I8d98f098e55ade1bc0cfa32bb2aad006caccd07d

Merge "Fix register allocator test."

Fix register allocator test.

Change-Id: I87481757d6f59bf2d6127571f58f11b5372b3a06

Merge "Add implicit null checks for the optimizing compiler"

Merge "Ensure HCondition nodes on objects are either HEqual or HNotEqual"

Merge "ART: Run Checker with Python >2.6"

ART: Run Checker with Python >2.6

Chromium buildbots don't have Python 3. This patch fixes the uses
of print() and ASCII vs. Unicode strings to make Checker compatible
with Python 2.6 and above.

Change-Id: Ic065d990f668b8cf95a337aae037699e8474fcee

Merge "ART: Invoke Checker from run-test scripts"

Merge "Address review comments."

Address review comments.

Comments were from:
https://android-review.googlesource.com/#/c/121992.

Change-Id: I8c59b30a356d606f12c50d0c8db916295a5c9e13

Update instrumentation stubs on resolved classes

We cannot update methods of a class in the process of being loaded.
We need it to be fully resolved (kStatusResolved) so we can access
its complete structure (including method index) and the compiled
code from the oat file.

We ensure that by skipping classes that are not resolved yet when we
update instrumentation (with all threads suspended). The entrypoints
will be updated when the class gets resolved by the ClassLinker. We
also do not update method entrypoints of erroneous classes
(kStatusError) because we cannot execute code for these methods.

This situation can happen when the debugger requests an event that
will cause a full deoptimization (like a METHOD_ENTRY event) while we
are loading a new class. Because we suspend all threads to update
instrumentation, we may visit a class that is being loaded but not
yet resolved.

Bug: 19012386
Bug: 18766029
Change-Id: I5a645dfaf5c25dcf4282c1aaeb24f1b6333baa37

ART: Invoke Checker from run-test scripts

This patch moves Checker-based tests of the optimizing compiler into
the art/test directory and modifies the run-test scripts to dump
the CFG during compilation and to verify the graph using Checker as
part of the "running" stage. Outputs generated by running the test
and running Checker are concatenated and compared with expected.txt.

Checker is invoked only if the test's name name matches the format
"<number>-checker-*" and it's currently enabled only for optimizing +
host configs. The tests are still invoked on other configs but
without Checker.

Change-Id: Ib24da808cd4bca66f07e0dbeb913a418065f2859

Merge "ART: Fix compiler warning at arm/int_arm.cc:644"

Ensure HCondition nodes on objects are either HEqual or HNotEqual

Change-Id: I47efae209b7ab931d7d314e5b37582a7e21085d5

ART: Fix compiler warning at arm/int_arm.cc:644

Clang can report warning:
int_arm.cc:644:89: error: 'ops.art::ArmMir2Lir::EasyMultiplyOp::shift'
may be used uninitialized in this function
OpRegRegRegShift(kOpRsub, r_tmp1, r_src, r_src, EncodeShift(kArmLsl, ops[0].shift));

That warning becomes blocker for libart-compiler.so compilation.

This patch fixes the only case where 'shift' member was uninitialized.

Change-Id: I6428170994c9f97e7a3d85d752b97dfcdff0c8a4
Signed-off-by: Dmitry Petrochenko <dmitry.petrochenko@intel.com>

Merge "Checker cleanup"

Merge "Quick: Clean up optimization pass order."

Merge "Constant fold after inlining."

Constant fold after inlining.

- Inlining opens up new opportunities for constant folding.
- Fix a bug in constant folder where the result type was not
  correctly set for the folding of a HCompare.
- Improve graph checker's coverage.

Change-Id: I0943bf8ff65505c4addc4a555a526b55e00b5268

Merge "Do not use STMP, it conflicts with the calling convention."

Do not use STMP, it conflicts with the calling convention.

Hard-float calling convention uses S14 and D7 for argument passing,
so we cannot use them.

Change-Id: I77a2d8c875677640204baebc24355051aa4175fd

Merge "Do not use register pair in a parallel move."

Merge "Adds the dexfuzz fuzzing tool to ART."

Checker cleanup

Added a comment, removed unused temp directory code.

Change-Id: I3df87e801e72ccd5a87c7dbc67335e9936623560

Merge "Fix infinite loop in GenerateIdentityHashCode"

Fix infinite loop in GenerateIdentityHashCode

Root Cause:
  If no one changes the seed, it will become infinite loop due to below condition
    (expected_value & LockWord::kHashMask) == 0

Solution:
  Changes the seed before entering the next loop

Added test.

Bug: 19046417

Change-Id: I7d1c377dd1bda780681514b24d61ebc776bc80ab

Merge "Fix refs_and_args callee save order for Mips32."

Quick: Clean up optimization pass order.

Move the TypeInference pass to post-opt passes and make it
a PassMEMirSsaRep as we need to rerun the pass if the SSA
representation has changed. (Though we currently don't have
any pass that would require it.)

The results of MethodUseCount and ConstantPropagation passes
are used only in the BBOptimization and codegen and stay
valid across BBOptimization and SuspendCheckElimination, so
move them out of post-opt passes to just before the BBOpt
(and reverse the dependency between ConstantPropagation and
init reg locations passes).

Change-Id: If02c087107cef48d5f9f7c18b0a0ace370fe2647

Add implicit null checks for the optimizing compiler

- for backends: arm, arm64, x86, x86_64
- fixed parameter passing for CodeGenerator
- 003-omnibus-opcodes test verifies that NullPointerExceptions work as
expected

Change-Id: I1b302acd353342504716c9169a80706cf3aba2c8

Merge "Fix comment referring to nonexistent ElementDeleter"

Merge "Add --no-clean to checker (keeps the generated files around)"

Add --no-clean to checker (keeps the generated files around)

Change-Id: Iefef18f3456f79684077912e1f8b614d56e13ca6

Do not use register pair in a parallel move.

The ParallelMoveResolver does not work with pairs. Instead,
decompose the pair into two individual moves.

Change-Id: Ie9d3f0b078cef8dc20640c98b20bb20cc4971a7f