ART: Fix issues with SplitBlock

The SplitBlock is a public interface from MIRGraph to be able to create two
blocks from one. This interface can be called not just during the control
flow graph building phase, but later. At that later point, extended instructions
may have already been inserted.

For example, SpecialMethodInliner can insert kMirOpNullCheck and kMirOpNop,
and then another pass tries to split block that contains this. The DCHECK
will fail even though the split is semantically correct.

Signed-off-by: Mathew Zaleski <mathew.zaleski@intel.com>
Conflicts:

compiler/dex/mir_graph.cc

Change-Id: I8bb3551407907909cda444a3379da2eb9331b9ff

Merge "Do not use kDiesAtEntry when inputs must be in specific reg."

Do not use kDiesAtEntry when inputs must be in specific reg.

The way the register allocator blocks registers currently
does not handle these cases. Since it only applies to x86 for now,
just ensure such requests cannot happen.

Change-Id: Idfa25532b9b4996a192d05800f56c6e44edd3a8a

Merge "Add a prepare for register allocation pass."

Merge "Make which dex2oat version to use configurable."

Merge "Fix a merge error in cl 108991."

Merge "Add way to warn about missing JNI_ABORT"

Fix a merge error in cl 108991.

Bug: 12687968
Change-Id: I37603c154b252321b59a5ea02c6a92f5a9300667

Add way to warn about missing JNI_ABORT

Bug: 16858794
Change-Id: I6794a14ee323ef95569cc7646619e6869771c7c6

Merge "Merge host-run-test-jar and push-and-run-test-jar."

Merge host-run-test-jar and push-and-run-test-jar.

- Too many code duplication between the two files.
- Also fix --zygote and --gdb invocations.

Change-Id: I1f99320e63a7a0f19ad1ad2b12693901b8c6bb43

Merge "Handlerize methods across some GC points."

Add a prepare for register allocation pass.

- Currently the pass just changes the uses of checks to the
  actual values.
- Also optimize array access, now that inputs can be constants.
- And fix another bug in the register allocator reveiled by
  this change.

Change-Id: I43be0dbde9330ee5c8f9d678de11361292d8bd98

Handlerize methods across some GC points.

Bug: 12687968
Change-Id: I0d5b0a78488ba76db4d25991d8db95b24bb624e9

Merge "Add support for inputs dying at entry of instructions."

Add support for inputs dying at entry of instructions.

- Start using it in places where it makes sense.
- Also improve suspend check on arm to use subs directly.

Change-Id: I09ac0589f5ccb9b850ee757c76dcbcf35ee8cd01

Make which dex2oat version to use configurable.

Change-Id: I86503a51538c0b48ad96e8624b81461c2ba3279a

Merge "Respect USE_CLANG_PLATFORM_BUILD for art builds"

Respect USE_CLANG_PLATFORM_BUILD for art builds

Without this patch, ART_TARGET_CLANG is set to false unconditionally.
It should be set to whatever USE_CLANG_PLATFORM_BUILD requests, if the
latter is set.

Change-Id: I29c4397c308a1549c2097aad2c997fe732be27ac
Signed-off-by: Bernhard Rosenkraenzer <Bernhard.Rosenkranzer@linaro.org>

Merge "Make host-run-test-ar take --no-prebuild."

Make host-run-test-ar take --no-prebuild.

Forgot to update this file in last commit.

Change-Id: I7f7c6ecbabecaaabdeffa3fb5a50a9e9e78d03c0

Merge "Merge push-and-run-{prebuilt}-test-jar files."

Merge "Add some missing TEMP_FAILURE_RETRYs around unlink(2)"

Add some missing TEMP_FAILURE_RETRYs around unlink(2)

Change-Id: Ibf446d37092933dce165d7a95c0ff2e52b94ce46

Merge "ART: Prepare for ELF64."

Merge "Add test for getDeclaredClasses of with missing class"

Add test for getDeclaredClasses of with missing class

Bug: 17782530
Change-Id: I399621344c3835226c9df9678217fca62cbd5c92

Merge "Quick compiler: Fix ambiguous LoadValue()"

Quick compiler: Fix ambiguous LoadValue()

Internal b/17790197 & hat tip to Stephen Kyle

The following custom-edited dex program demonstrated
incorrect code generation caused by type confusion.
In the example, the constant held in v0 is used in both
float and int contexts, and the register class gets
confused at the if-eq.

.method private static getInt()I
    .registers 4
    const/16 v0, 100
    const/4 v1, 1
    const/4 v2, 7
    :loop
    if-eq v2, v0, :done
    add-int v2, v2, v1
    goto :loop
    :done
    add-float v3, v0, v1
    return v2
.end method

The bug was introduced in c/96499, "Quick compiler: reference cleanup"
That CL created a convenience variant of LoadValue which selected the
target register type based on the type of the RegLocation.  It should
not have done so.  The type of a RegLocation is the compiler's best
guess of the Dalvik type - and Dalvik allows constants to be used
in multiple type contexts.  All code generation utilities must specify
desired register class based on the capabilities of the instructions
to be emitted.  In the failing case, OpCmpImmBranch (and
GenCompareZeroAndBranch) will be using core registers, so the
LoadValue must specify  either kCoreReg or kRefReg.

The CL deletes the dangerous LoadValue() variant.

Change-Id: Ie4ec6e51b19676dbbb9628c72c8b3473a419e7ec

ART: Prepare for ELF64.

Only expose necessary interface in ElfFile, and move all details into template class ElfFileImpl.

Change-Id: I9df2bbc55f32ba0ba91f4f3d5d0009e84a2ddf74

Merge "AArch64: oat patches should be 32-bit ints."

Merge push-and-run-{prebuilt}-test-jar files.

Can't find a reason why those two files forked...

Change-Id: I5ef3dd76aa3b2d843c8b4b57365edec3bf2c3f3b

Merge "Revert "Fix OOM throwing if it happens in finalizer reference""

Revert "Fix OOM throwing if it happens in finalizer reference"

This reverts commit 6d7729d6ae8b2ac3800e92092d61390ce4e3b6d7.

Change-Id: I3e863b7372657ee85b0e48029c3a3e2b4ba75a7c

AArch64: oat patches should be 32-bit ints.

This makes the arm64 backend consistent with the behaviour of the code
in oat_writer.cc and in the patchoat tool.
It also reduces the size of boot.oat by 1.6% (aosp_arm64-eng build).

Change-Id: Ia0b96737159c08955cd7b776ee396ff578cd58f6

Merge "Revert "Rename registers in arm64.""

Revert "Rename registers in arm64."

This reverts commit 11daa0adbb30f341ccbdec64a2d43d8eeb111288.

Change-Id: I2ce0879dce8fbf5512649d0d9c3a2c189c23dd5f

Merge "Remove all uses of MIR_INLINED."

Merge "Rename registers in arm64."

Merge "Fix OOM throwing if it happens in finalizer reference"

Merge "Fix test-art-(host|target)-run-test(32|64) targets."

Fix test-art-(host|target)-run-test(32|64) targets.

Fix extra hyphen and missing target.

Change-Id: Ib7f87172693507ff693bcebe2629e5dfd64b1b3a

Merge "Fix x86_64 assembler LoadRef to use movl."

Merge "Colorize warnings when building with clang."

Merge "More native bridge tests"

Colorize warnings when building with clang.

Change-Id: Icbb26779852d2fc2344bac597d43c4301646ac90

Remove all uses of MIR_INLINED.

They are not needed since
  https://android-review.googlesource.com/103763

Change-Id: I1dffe5e219db615be9d9aaceb72ad9bd7c69b58e

Merge "Fix build_all_egdes in MIRGraph::ProcessCanThrow()."

Fix OOM throwing if it happens in finalizer reference

The Class::Alloc should return null if OOM happened during
adding finalizer reference, even if finalizable object is
allocated succesfully.

Change-Id: I66c1cdda50228bf1302839785ce4d4889b676f5b
Signed-off-by: Dmitry Petrochenko <dmitry.petrochenko@intel.com>
Signed-off-by: Serguei Katkov <serguei.i.katkov@intel.com>

More native bridge tests

Test for os.arch.

Bug: 17713104

(cherry picked from commit ba16b0796aafb6ad4c96c5e10b713d73edc0b857)

Change-Id: I45bde49c778f176cdfc779b211053a2747adb3fc

Merge "Quick: Fix LVN/GVN handling of acquire operations."

Fix build_all_egdes in MIRGraph::ProcessCanThrow().

Calculate build_all_edges only after in_try_block has
received its final value. This was a minor omission in
  https://android-review.googlesource.com/100505

Change-Id: Icc9189d2092bbd29fcf1706e4d6074a6d915cebe

Quick: Fix LVN/GVN handling of acquire operations.

Acquire operations, i.e. MONITOR_ENTER and volatile GETs,
change the thread's view of the memory, so subsequent loads
must get new value names in LVN/GVN. Release operations do
not affect this thread's view of the memory, they the only
push the modifications for other threads to see.

Bug: 17689750
Change-Id: I9442d89b1d2c5252b99b02851b71bb85f871d734

Merge "Revert "Introduce a class to implement optimization passes.""

Revert "Introduce a class to implement optimization passes."

This reverts commit bf9cd7ba2118a75f5aa9b56241c4d5fa00dedeb8.

Change-Id: I0a483446666c9c24c45925a5fc199debdefd8b3e

Merge "Introduce a class to implement optimization passes."

Introduce a class to implement optimization passes.

- Add art::HOptimization.
- Rename art::ConstantPropagation to art::HConstantFolding in
  compiler/optimizing/constant_folding.h to avoid name
  clashes with a class of the same name in
  compiler/dex/post_opt_passes.h.
- Rename art::DeadCodeElimination to
  art::HDeadCodeElimination for consistency reasons.
- Have art::HDeadCodeElimination and art::HConstantFolding
  derive from art::HOptimization.
- Start to use these optimizations in
  art:OptimizingCompiler::TryCompile.

Change-Id: Iaab350c122d87b2333b3760312b15c0592d7e010

Rename registers in arm64.

Change-Id: I4c3ed96be2a7efaa674486515c84c689f382eceb

Merge "Add VMRuntime.isBootClassPathOnDisk"

Add VMRuntime.isBootClassPathOnDisk

Bug: 17679443

(cherry picked from commit 95a935415d44903b28326424beb4db5c013ef089)

Change-Id: Iba40291dead3f0b6715903c986370fd0cf1e41e1

Merge "Enable -Wunreachable-code"

Enable -Wunreachable-code

Caught bugs in DeoptimizeStackVisitor and assemble_x86 SIB encoding.
Add UNREACHABLE macro to document code expected to be unreachable.
Bug: 17731047

Change-Id: I2e363fe5b38a1246354d98be18c902a6031c0b9e

Merge "ART: Fix GenReduceVector and GenSetVector"

Merge "ART: Reset bb id to the last list mir"

Fix x86_64 assembler LoadRef to use movl.

As references are 32-bit, we should use movl instead movq.

Change-Id: Iffefbb9d86d5f40375f73994fd481f9bd28499b2

Merge "ART: Allow overridable calculation of basic block dataflow"

Merge "Update maximum number of reachable blocks in last step"

ART: Allow overridable calculation of basic block dataflow

Currently dataflow information is not calculated for catch blocks in order to
reduce overhead. However, this makes assumption that the lack of this
information is only preventing local optimizations to catch block. But in
reality this problematic for global optimizations.

However, since no optimizations need complete information for now, simply
leave logic same but factor it out in separate method.

Change-Id: I5c13344c18409bd172a5d9b07577b4a1353cc733
Signed-off-by: Razvan A Lupusoru <razvan.a.lupusoru@intel.com>

Merge "Get heap poisoning working in 64-bit."

Merge "Disable ThreadStress."

Merge "ART: Fix typo"

ART: Fix typo

Fixes a miss-translation in the pedantic change.

Change-Id: Ibdce896bf3667e06f10d60f160803451096b08ba

Merge "ART: Fix some -Wpedantic errors"

Disable ThreadStress.

Change-Id: Ieead69051687a8cc4687ab0c8c8879d780da01f3

Merge "AArch64: address some outstanding TODOs."

Merge "Remove selinux dependency."

Merge "Improve detection of lifetime holes."

Improve detection of lifetime holes.

The check concluding that the next use was in a successor
was too conservative: two blocks following each other
in terms of liveness are not necessarily predecessor/sucessor.

Change-Id: Ideec98046c812aa5fb63781141b5fde24c706d6d

Remove selinux dependency.

Seems that the dependency was for the zygote code, which is
now in frameworks.

Change-Id: Id186d6ff794730e710628f275b258be499950051

Merge "Revert "Enable computed goto interpreter on the host""

Revert "Enable computed goto interpreter on the host"

This reverts commit 66d9bdb94f21106aaaa31a8fd686098672075e04.

Bug: 17716550
Change-Id: Ib404242c86e96e8edf019a2dcc14f0f8294b79e8

AArch64: address some outstanding TODOs.

Fix comments in arm64_lir.h. Rename Arm* to A64* and replace FWIDE,
FUNWIDE, ... with WIDE, UNWIDE, ...

Change-Id: I4900902e28463ea5e00e34ea40ddfc15704c0bfa

Merge "ART: Fix movnti assembler"

ART: Fix some -Wpedantic errors

Remove extra semicolons.

Dollar signs in C++ identifiers are an extension.

Named variadic macros are an extension.

Binary literals are a C++14 feature.

Enum re-declarations are not allowed.

Overflow.

Change-Id: I7d16b2217b2ef2959ca69de84eaecc754517714a

Get heap poisoning working in 64-bit.

This adds the reference negate code in arm64 and x86_64 that's used by
the jni compiler.

Bug: 12687968
Bug: 8367515
Change-Id: I28a44bcead1ee613866645620b4eaf54fad6a3aa

Merge "ART: Better IllegalAccessException message"

ART: Better IllegalAccessException message

Bug: 17618578
Bug: 17614623
Change-Id: I0e3f15e676acd6ed5844fc86e136f75cc335372d

Merge "ART: Deprecate CompilationUnit's code_item"

Merge "ART: More verifier error output"

Merge "ART: Do a pre-pass for monitor_enter dex pc search"

Merge "Reduce scope of MIR analysis attributes."

ART: Deprecate CompilationUnit's code_item

The code_item field is tracked in both the CompilationUnit and the MIRGraph.
However, the existence of this field in CompilationUnit promotes bad practice
because it creates assumption only a single code_item can be part of method.

This patch deprecates this field and updates MIRGraph methods to make it
easy to get same information as before. Part of this is the update to
interface GetNumDalvikInsn which ensures to count all code_items in MIRGraph.

Some dead code was also removed because it was not friendly to these updates.

Change-Id: Ie979be73cc56350321506cfea58f06d688a7fe99
Signed-off-by: Razvan A Lupusoru <razvan.a.lupusoru@intel.com>

Reduce scope of MIR analysis attributes.

MIR analaysis attributes are only used in MIRGraph::AnalyzeBlock. Reduce the
scope to just the file that defines that function.
Reduce the size of the attributes from int32 to int16.
Remove the use of #defines in favor of enums.

Change-Id: I45ba3aa08beae67240507917b584d537a029838e

ART: Fix movnti assembler

Movnti was receiving rex prefix before its opcode. Additionally,
the 64-bit version was missing the rex.w prefix.

Change-Id: Ie5c3bbe109765a0b990cafeeea1ee30329daabd0
Signed-off-by: Razvan A Lupusoru <razvan.a.lupusoru@intel.com>
Signed-off-by: Mark Mendell <mark.p.mendell@intel.com>

ART: More verifier error output

Add some debug output on verifier abort.

Change-Id: I4a84ff1d8e1bad689addca287a989639e7111b97

ART: Do a pre-pass for monitor_enter dex pc search

In case the method does not have any monitor_enter instructions,
it is unnecessary to run the full verifier. Speeds up stack dumps
and works around b/17514582.

Bug: 17514582
Change-Id: I5201bfbb9fb6cad49596b4c72e71983b58d9f20c

Merge "Fix a bug in the insertion of parallel move."

Fix a bug in the insertion of parallel move.

To make sure we do not connect interval siblings in the
same parallel move, I added a new field in MoveOperands
that tells for which instruction this move is for.
A parallel move should not contains moves for the same instructions.

The checks revealed a bug when connecting siblings, where
we would choose the wrong parallel move.

Change-Id: I70f27ec120886745c187071453c78da4c47c1dd2

Merge "Fix test now that instructions can die at instruction entry."

Fix test now that instructions can die at instruction entry.

Change-Id: I816279c55d12de8e69ac0b6c88730bd676c03335