Wait for GC to finish in ThreadList::~ThreadList

Added a DisableGC to the heap instead of using the runtime shutdown
boolean. The runtime shutting down boolean is set to true before the
non daemon threads have exited. These threads may still be doing
allocations and we don't want to throw OOME if unnecessary.

Bug: 18577101
Change-Id: Iceb7048e6bd799aa2716099459c54f8dc0fb8feb

Merge "Visit class roots from ClassLoader::VisitReferences"

Merge "ART: Add correct -inl file"

ART: Add correct -inl file

Follow-up to f10b6e109bfb595b6752d1b59db680694ac1684d.

Bug: 20843113
Change-Id: Idfb9479c2cd242c2fbf748177177ae1cba0508d6

Merge "ART: Change UninitializedThis tracking in the verifier"

ART: Change UninitializedThis tracking in the verifier

Only relying on register types is error-prone. For example, we may
inadvertently reject correct code when the constructor terminates
abnormally.

Bug: 20843113
Change-Id: I8826cd167780df25a6166740f183d216483fa550

Visit class roots from ClassLoader::VisitReferences

This causes the classes of a class loader to get marked when that
class loader gets marked instead of during class root visiting.

Bug: 22720414

Change-Id: If53f042aff1d9f7bf94ecbe6886601edda029b7d

Merge "Don't allow GC to start if the runtime is shutting down"

Don't allow GC to start if the runtime is shutting down

Daemon threads may be trying to do allocations as the runtime is
shutting down, don't allow GC to start since it touches the heap
and may cause crashes if it is running while we delete the heap
or thread list.

Bug: 18577101
Change-Id: I1404b41f2aee13d3c26acffdf588c985628beefc

Merge "Delete AllocationTimer"

Delete AllocationTimer

Not very useful, running benchmarks is better.

Bug: 19534862
Change-Id: I725830274e306621bffdabffdee602a03daf016f

Merge "Add a GVN dependency 'GC' for garbage collection."

Add a GVN dependency 'GC' for garbage collection.

This will be used by incoming architecture specific optimizations. The
dependencies must be conservative. When an HInstruction is created we
may not be sure whether it can trigger GC. In that case the
'ChangesGC' dependency must be set. We control at code-generation time
that HInstructions that can call have the 'ChangesGC' dependency
set.

Change-Id: Iea6a7f430009f37a9599b0a0039207049906e45d

Merge "[optimizing] More x86_64 code improvements"

Merge "Some heap cleanup"

Some heap cleanup

Bug: 19534862
Change-Id: Ia63f489d26ec8813a263ce877bdbbc8c4e8fe5f4

Merge "Add daemon threads to 004-ThreadStress"

Merge "[MIPS] Avoid using odd numbered fp registers"

Merge "Address some comments"

Address some comments

Change-Id: I0262304cc720a0e93015955d0a7fb05dfebe213e

Merge "Revert "Revert "Pass the verified method to the inlinee DexCompilationUnit."""

[optimizing] More x86_64 code improvements

Use the constant area some more, use 32-bit immediates in movq
instructions when possible, and other small tweaks.

Remove the commented out code for Math.Abs(float/double) as it would
fail for baseline compiler due to the output being the same as the
input.

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

Merge "ART: Fix Quick's DCE+GVN"

Merge "ART-Optimizing: Fix the type of HDivZeroCheck"

ART: Fix Quick's DCE+GVN

DCE_GVN does not take into account the following case:
  mov a, b
  ...
  mov c, b
when optimization tries to replace a with c it must ensure that
for all uses of a there is no new definition of c before use.
Otherwise that use will incorrectly substituted with new c instead
of original b.

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

ART-Optimizing: Fix the type of HDivZeroCheck

HDivZeroCheck is created during the building CFG and at this moment
its type is not known completely. So it sets the type to int or long.
However, later SSA builder can insert the type conversion and type
of input of HDivZeroCheck can become byte or short while the type
of HDivZeroCheck remains the same.

In reality the type of HDivZeroCheck should be always equal to
its input parameter.
To fix this inconsistency we return the type of HDivZeroCheck as its
input type. Code generators are updated accordingly.

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

Revert "Revert "Pass the verified method to the inlinee DexCompilationUnit.""

bug:22866717

This reverts commit f25b661b3708c865cdaa0a018372a42881353bea.

Change-Id: I95e8310e6c3d8e6edb736fdefcabf602cce3a4e0

Merge "ART: Change UnresolvedMergedType merge"

ART: Change UnresolvedMergedType merge

Change to use IsUnresolvedTypes.

Bug: 22881413

(cherry picked from commit 168387df8dcbae1b51f124eed84daf8e8de6a974)

Change-Id: Ic27b97b475b28a5bdf994ea5178767e0efb0e752

Add daemon threads to 004-ThreadStress

Bug: 19537976
Change-Id: I129e311aa6f7ca4f49d64ec50c0e07857b12b6d8

Merge "ART: Fix reg_type_test"

ART: Fix reg_type_test

Follow-up to 750f7c2827318f6d07620f2ef0321218ea4d8670.

Bug: 22881413
Change-Id: Iaea4cc29ed680710d01532124bc472547ee18bdb

Merge "ART: Add complex UnresolvedMergedType test case"

Merge "ART: Change UnresolvedMergedType internal representation"

Merge "Do read barriers on native roots in CopyClassVisitor"

Do read barriers on native roots in CopyClassVisitor

Fixes a race condition caused by making a copy of a class then
clearing the native root arrays of the original class. If the
original class was gray and the new class was black then the GC
would miss the native roots.

Bug: 22957957

Change-Id: I706110018220af12a2ad0d72eb803f1cfe3580b9

ART: Change UnresolvedMergedType internal representation

Use a BitVector instead of the tree representation. This
avoids flattening the components and other instances.

Bug: 22881413
Change-Id: Ibf7cfb54443affeb1753bf114c0f306125391c62

ART: Add complex UnresolvedMergedType test case

Add a test case that stresses the verifier. Add dex2oat timeout
to the host prebuild configuration.

Bug: 22881413
Change-Id: Ic4a0d16a4dc69f3d43bac40a560b6e6884df263f

Merge "Fix a bug in the register allocator around pair allocation."

[MIPS] Avoid using odd numbered fp registers

Don't use odd numbered fp registers for single precision data on
MIPS32r6 (64-bit FPU).

Bug: 23050326
Change-Id: I35cc19df091149773411e2336b01c170929376bc

Fix a bug in the register allocator around pair allocation.

We may get hints that do not work with the current implementation
of register pairs, which forces the allocation of (low + 1)
for the high register. For example, if the hint is EBX, we will
allocate ESP for the high register.

bug:23043730

Change-Id: I371ebb0c61568f09d12eb9ab815c0bf0ea02d49b

Merge "ART: Clean up unnecessary ArtMethod**"

ART: Clean up unnecessary ArtMethod**

ArtMethods are no longer Java objects, so the additional indirection
is no longer necessary here.

Change-Id: If76756d875b418b3f6e83f51b3225a158e9ce29b

Merge "ART: Remove TODO in BitVector"

ART: Remove TODO in BitVector

Refactor the BitVector constructor: split it up to remove the
possibility to provide contradicting parameters, and add a custom
copying constructor.

Change-Id: Ie943f279baa007db578aea0f2f33fa93311612ee

Merge "Add class table field to class loader"

Merge "Fix C++14 bitrot."

Fix C++14 bitrot.

Change-Id: I22f7925a87bca45646c563971342a9a1b2090ba6

Add class table field to class loader

Fixes bug with the class table where the comparator would cause read
barriers and break the map strict ordering properties.

Bug: 22957957

Change-Id: I8dbc042db6e22e2172ab4ec58ddf1db0345dcaaa

Merge "Ensure coherency of call kinds for LocationSummary."

Merge "Revert "Pass the verified method to the inlinee DexCompilationUnit.""

Revert "Pass the verified method to the inlinee DexCompilationUnit."

Crashes testing libcore on host/x86.

Bug:22866717

This reverts commit 08624c50f488ecd845e48683e84726ff8c53e6a7.

Change-Id: Ia8f130d9ea32e171e554bd3e10c44f8453111b52

Merge "Pass the verified method to the inlinee DexCompilationUnit."

Merge "Tighten default inlining settings when using the space filter."

Tighten default inlining settings when using the space filter.

Bug: 21868508
Change-Id: Ic83813a966cef18e59447083926bf033aa587154

Ensure coherency of call kinds for LocationSummary.

The coherency is enforced with checks added in the `InvokeRuntime`
helper, that we now also use on x86 and x86_64.

Change-Id: I8cb92b042f25dc3c5fd390e9c61a45b477d081f4

Merge "Introduce arch-specific checker tests."

Pass the verified method to the inlinee DexCompilationUnit.

Sharpening and other optimizations in compiler driver rely
on having it there.

Also fixes a warning for the intrinsics code.

bug:22866717
Change-Id: I6ac4f55e9e77452a4ea9e0d0dd0ad70124a95a55

Merge "ART: Fix the simplifier for add/sub"

ART: Fix the simplifier for add/sub

Instruction simplifier for add/sub should not proceed with floats
because that might cause the incorrect behavior with signed zero.

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

Merge "Fix image loading in interpeter-only mode"

Merge "Fix DDM reply buffer deallocation"

Introduce arch-specific checker tests.

- The '.cfg' output is now created on target.
- Arch-specific checker tests can be created by inserting a
  suffix. For example:
      /// CHECK-START-ARM64: int Main.foo(int) register (after)
      /// CHECK-DAG:   <<Arg:i\d+>>     ParameterValue

Change-Id: I55cdb37f8e806c7ffdde6b676c8f44ac30b59051

Fix image loading in interpeter-only mode

Follow-up https://android-review.googlesource.com/162935. We now need
an ArtMethodVisitor to update entrypoints of methods in the image.

Bug: 22832610
Change-Id: I30ca9c369a73c3372694b446e73afa2e37890a65

Fix DDM reply buffer deallocation

Reply buffer is an uint8_t* allocated with new uint8_t[...] so it
must be deallocated with delete[], not free.

Change-Id: Ib5d6387aa63f1e0393113f82602f661bbada4aa2

Merge "Move ArtFields and ArtMethods to be a length prefixed array"

Move ArtFields and ArtMethods to be a length prefixed array

Fixes race conditions between changing method and fields arrays
being seen in the wrong order by the GC.

Bug: 22832610
Change-Id: Ia21d6698f73ba207a6392c3d6b9be2658933073f

Merge "ART: Extend ISA features option for (host) run tests"

ART: Extend ISA features option for (host) run tests

To allow to test advanced intrinsics only available on (fairly)
modern processors, and because our build requirements are still
too low to enable them in the build system, pipe through the
existing make variables to the run-tests to allow to override
the dex2oat autodetection scheme.

Usage (standalone run-test): use the new --instruction-set-features
command line parameter to set the value for dex2oat (in the prebuild
configuration) or as an -Xcompiler-option (for no-prebuild). Note:
this is general and also works for target tests.

Usage (through make): set DEX2OAT_HOST_INSTRUCTION_SET_FEATURES and
2ND_DEX2OAT_HOST_INSTRUCTION_SET_FEATURES to set instruction set
features, as was possible before for the compilation of core files.
This option is now forwarded to host run-tests.

Change-Id: I9d89c82b6a5c8853748e5d1c153dde5d4050757a

Merge "ART: Wire up DexToDexCompiler without extern"

ART: Wire up DexToDexCompiler without extern

The extern declaration actually had the wrong signature, a parameter
was missing, and we never noticed.

Remove the function field and extern. Add a header for the compiler.
Use the header file.

Change-Id: Ia4d4dd86211da6045709a45c7bf8430471d1b62b

Merge "Revert "cleanup: Replace pointers with out-parameters and fix-up formatting""

Merge "Address some comments and clean up"

Merge "Fix mod-union logic for native roots"

Fix mod-union logic for native roots

Bug: 22949217
Change-Id: I9e4631870160d5a9412df1eec2a7b79c65668542

Merge "Have constant folding be more flexible."

Merge "Add constant folding for long unary operations in opt. compiler."

Have constant folding be more flexible.

- Have Evaluate methods take as argument(s) and return value
  instances of HConstant (instead of built-in 32- or 64-bit
  integer values), to let the evaluated instruction choose
  the type of the statically evaluated node; for instance,
  art::HEqual::Evaluate shall return a HIntConstant
  node (as implementation of a Boolean constant) whatever
  the type of its inputs (a pair of HIntConstant or a pair
  of HLongConstant).
- Split the evaluation job from the operation logic: the
  former is addressed by Evaluate methods, while the latter
  is done by a generic Compute method.
- Adress valid BinOp(int, long) and BinOp(long, int) cases.
- Add a constructor to art::HIntConstant to build an integer
  constant from a `bool` value.

Change-Id: If84b6fe8406bb94ddb1aa8b02e36628dff526db3

Add constant folding for long unary operations in opt. compiler.

Add tests to exercise the constant folding of these
instructions.

Also, prevent Java methods from run-tests exercising the
code generation of these instruction from being inlined,
so that they continue to check the generated code (and
not the code produced by the constant folding pass).

Change-Id: I28efca7cdb5142ac2b6d158ba296fb9136d62481

Merge "ART: Move exception clearing into own instruction"

Merge "Revert "Revert "ART: Use bionic TLS slot for thread-self"""

Revert "Revert "ART: Use bionic TLS slot for thread-self""

This reverts commit 50832b6804d15ea5ddfe99a2753a09111b5bfe37.

Fix clearing the TLS on detach.

Change-Id: I75ed5ccccb4f31800e5f893055e96067a9695258

Merge "ART: x86_64 RoundDouble/Float intrinsics should initialize out value."

Address some comments and clean up

Change-Id: I538cf204f1c89d5fc81f8fc5e5800fcf1cf87359

Merge "Revert "ART: Use bionic TLS slot for thread-self""

Revert "ART: Use bionic TLS slot for thread-self"

This reverts commit b81535875ff46d1630c76091fe969a9eb7fc4d16.

Breaking tests, need to investigate.

Change-Id: Iab8c4f6136e6cb9bd6cf3c3495aa33962ef890ee

Merge "Parallel Move Resolver: Perform Stack/Stack first"

Merge "ART: Use bionic TLS slot for thread-self"

Merge "Update expectation."

Revert "cleanup: Replace pointers with out-parameters and fix-up formatting"

This reverts commit a315f5c546b796f55f4872bb6efc15eb858d9639.

--

Revert "runtime: cleanup class_linker out-parameters and formatting"

This reverts commit bc1d78daa463572c5a770cdca858a3b51d8e1b7b.

--

Revert "base: replace raw pointers for out-parameters with safer out<T>"

This reverts commit fb326cffc679cab8eb873b9e44795706f023cb3c.

Update expectation.

Vogar wants # between class and method.

Change-Id: I3e4d54e2cc22bac6b73fe611fcbfcbe39095159c

Merge "ART: Use Clang default integrated assembler."

ART: Use Clang default integrated assembler.

Issues with x86, arm32 and arm64 have been fixed.
Allow the use of the integrated assembler.

Bug: 22874917
Change-Id: Iacfffda29d57bfc931da568a9436c2e34cb38df6

ART: Move exception clearing into own instruction

Runtime delivers exceptions only to catch blocks which begin with a
MOVE_EXCEPTION instruction (in DEX). In that case, the catch block is
expected to clear the thread-local exception storage after having
read the exception reference.

This patch changes Optimizing to represent MOVE_EXCEPTION with two
instructions - HLoadException and HClearException - instead of one.
If the exception reference is not used, HLoadException can be safely
removed, saving a memory load without breaking the runtime behaviour.

Change-Id: Idad8a714467bf9d9d5fccefbc43c0bd8ae13ddba

Merge "ART: Fix arm32 assembly for Clang"

ART: Fix arm32 assembly for Clang

Clang ignores .thumb_func and requires an explicit
.thumb directive, as given by the ARM Unified Assembler
Language. Conditionally add .thumb to thumb2 functions.

Bug: 22762844
Change-Id: I08abdb5f4e0ba5135d4ed850ca3e284203f95a03

ART: x86_64 RoundDouble/Float intrinsics should initialize out value.

x86_64 RoundDouble intrinsic should initialize output register for the case of
"inPlusPointFive >= maxLong" as expected. The same for the RoundFloat intrinsic.
Fixed also the out register type in CreateSSE41FPToIntLocations provoking
a DCHECK failure.

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

Merge "Added repe_cmpsq instruction to x86_64 assembler"

Merge "ARM/ARM64: Implement numberOfLeadingZeros intrinsic."

ARM/ARM64: Implement numberOfLeadingZeros intrinsic.

Change-Id: I4042fb7a0b75140475dcfca23e8f79d310f5333b