Merge "ART: Avoid recursive abort in barrier"

ART: Avoid recursive abort in barrier

Try to avoid recursive abort in barrier. May lead to a segfault
instead of a nested abort in bad cases.

Change-Id: I0e7976b77c243956dbcf81142bd5df81d5927ce0

Merge "Fix in ReferenceTypePropagation"

Merge "ART: Don't do pre-linked calls to the interpreter bridge."

Merge "ART: Disallow classes that are abstract and final"

ART: Don't do pre-linked calls to the interpreter bridge.

Bug: 21897404
Change-Id: I6cca9d3b436df2eed2b0192607de0faf5cc2ecf7

Merge "Revert "Revert "Use IsAssignableFrom instead of IsSubclass for robustness."""

Revert "Revert "Use IsAssignableFrom instead of IsSubclass for robustness.""

Don't use IsAssignableFrom, but check beforehand if the referrer is an
interface. Otherwise, we are being too aggressive on removing clinit
checks on interfaces (being a subclass doesn't imply the interface
has been initialized).

bug:21870666

This reverts commit 463580ca5a1e75e27ad0207537ffc6252091326a.

Change-Id: I2a13974d28477ee3e5224142cc260cbf46d19aa9

Merge "fault_handler : debug output sp in hex and not decimal."

fault_handler : debug output sp in hex and not decimal.

Easier to compare against hex values in tombstones and debuggerd
dumps.

Change-Id: I4a4512ea1ce5872fdb6b41e824fa3475dfcfb71d

Merge "Use compiling class instead of outer class for access checks."

Merge "Opt compiler: Add disassembly to the '.cfg' output."

Opt compiler: Add disassembly to the '.cfg' output.

This is automatically added to the '.cfg' output when using the usual
`--dump-cfg` option.

Change-Id: I864bfc3a8299c042e72e451cc7730ad8271e4deb

Merge "ART: Simplify (Not)Equal bool vs. int to true/false"

ART: Simplify (Not)Equal bool vs. int to true/false

Optimizations on the HGraph may produce comparisons of bool and ints.
Instruction simplifier will simplify these only for 0/1 int constants.
Since the range of bool is known, comparison against all other int
constants can always be determined statically.

Change-Id: I502651b7a08edf71ee0b2589069f00def6aacf66

Merge "Revert "Use IsAssignableFrom instead of IsSubclass for robustness.""

Revert "Use IsAssignableFrom instead of IsSubclass for robustness."

Not correct for Quick.

Bug:21870666

This reverts commit af268bbc4fbd0b9847acf1f7b79c038806118467.

Change-Id: Id44849cc877a42495619fd71bfd2db75159b6868

Use compiling class instead of outer class for access checks.

bug:21869678
Change-Id: Ica6ecc759adc76950dcfe9d4d859dd593a742c62

Merge "Use IsAssignableFrom instead of IsSubclass for robustness."

Merge "Fix wrong DCHECK in bounds check elimination."

Merge "Fix String Change baseline compiler errors."

Fix String Change baseline compiler errors.

The String Change adds multiple move results if the uninitialized string
is in multiple registers. This adds StoreLocals on the same instruction,
which isn't allowed. Now, a LoadLocal is added for each extra move
needed.

Change-Id: I49f676cb85de051e737e0653138cbb947a73e48b

Merge "Make dump-oat-target work with second architecture"

Fix wrong DCHECK in bounds check elimination.

The lower range of an array length instruction can
be changed by other instructions than HBoundsCheck,
like HNewArray.

bug:21862741
Change-Id: Idbe50ac114287ea6d852fb6fe9f9e2d440d18af5

Fix in ReferenceTypePropagation

Take into account that we might not be able to resolve the method when
we visit the invoke, or the field when we visit a field-access.

Bug: 21914925
Change-Id: Ie4bcfeddaa78780d8cfe28e77d1135ee219a15ad

ART: Disallow classes that are abstract and final

Make the verifier fail such classes.

Bug: 21873151
Change-Id: I217f3d71f44bccdcee7ca830e092c807928bed39

Merge "Move LD_USE_LOAD_BIAS to run-test-jar to reduce log verbosity."

Move LD_USE_LOAD_BIAS to run-test-jar to reduce log verbosity.

LD_USE_LOAD_BIAS is needed so that we can use dlopen.
Without it, we will fallback to our own loader and
dump all mmap for diagnostics which makes the tests verbose.

Change-Id: Ib12e9834b3454ffd726642859550545826ce38bf

Make dump-oat-target work with second architecture

Bug: 19909409
Change-Id: Iff21c5d3ce0e6b057a677da6726ee42af64463e7

Merge "Use signed encoding when using relative CFI addresses."

Use signed encoding when using relative CFI addresses.

This is required for gdb to work.
libunwind works with either encoding.

Bug: 21924613
Change-Id: I4e4f1cf9c65d48fa885a5993eeeed0253a3f2579

Merge "ART: Check for expected args for instance methods"

ART: Check for expected args for instance methods

Don't assume that the receiver is expected. This was writing out
of bounds (or triggering a DCHECK).

Bug: 21817284
Bug: 21872240
Bug: https://code.google.com/p/android/issues/detail?id=176571
Bug: https://code.google.com/p/android/issues/detail?id=176572
Change-Id: I7cad2c1dfc39feb0b1b4660deeb43afdcb844ba3

Merge "ART: Check var-arg count earlier in method verifier"

ART: Check var-arg count earlier in method verifier

Check the count in vararg instructions before filling the temp
array. Avoids a DCHECK.

Bug: 21869663
Bug: 20170976

Change-Id: I1ff93502ab84c5967ad54d1b50dba517da791637

Merge "Fix GC map generation edge case"

Fix GC map generation edge case

Previously we checked the number of bits, but then rounded up to a
byte boundary. If ref_bitmap_bits was 65535, it would pass the check
but not actually fit in the 13 bits for ref_bitmap_bytes since we
rounded up to 8192 bytes.

(cherry picked from commit 1626b919005df42ccc90ebe68fc57b7c56d44029)

Regression test infeasible due to smali limitations.

Bug: 21888453
Change-Id: If4b769431f27ecca14fe7852d017bcde01b3e146

Merge "Fix case where block has no predecessor for StringChange."

Fix case where block has no predecessor for StringChange.

Removes part that checks for throwing half of instruction. It's no
longer necessary. Also adds regression test.

Bug: 21902684

(cherry-picked from commit 3e91a44bc9063f7f69b5415e3cf162991f73283f)

Change-Id: I8d7308ff227816fb475341c2b74ed84d5695a2f5

Use IsAssignableFrom instead of IsSubclass for robustness.

We can get interface methods as referrer. Instead of crashing,
just use IsAssignableFrom.

bug:21870666

Change-Id: I7978e36fb981d44611635fbaf3899138bae60672

Merge "Fix StringChange for optimizing compiler."

Merge "Quick: Handle total high/low register overlap on arm/mips."

Merge "Be careful with predecessor/successor index."

Be careful with predecessor/successor index.

When we simplify the CFG, we must preserve things that were already
simplified. For example, the index in the predecessor list or
successor list of a block must be preserved for ensuring the
first block is a loop pre header.

bug:21867463

Change-Id: Ic3fcb3eb2c3fb109d8a57ee2a6b6d4d65fdb9410

Merge "Quick: Fix optimizations for empty if blocks."

Merge "Opt compiler: Add a description to MIP64 slow paths."

Opt compiler: Add a description to MIP64 slow paths.

Change-Id: I773a543cd4f146d64819cc347e57e6472dea0b38

Merge "MIPS: Initial version of optimizing compiler for MIPS64R6."

MIPS: Initial version of optimizing compiler for MIPS64R6.

Bug: 21555893
Change-Id: I874dc356eee6ab061a32f8f3df5f8ac3a4ab7dcf
Signed-off-by: Alexey Frunze <Alexey.Frunze@imgtec.com>
Signed-off-by: Douglas Leung <douglas.leung@imgtec.com>

Merge "Opt compiler: Add a description to slow paths."

Quick: Handle total high/low register overlap on arm/mips.

OpRegCopyWide() in arm and mips backends didn't handle the
total register overlap when the registers holding the source
and destination pairs are the same but in reverse order.

Bug: 21897012
Change-Id: Ia1f0005cbf5cc1c2d30899575dea21b3efa20ae6

Quick: Fix optimizations for empty if blocks.

If a block ending with if-eqz or if-nez has the same "taken"
and "fallthrough", we cannot assume that the value has been
checked against zero in one of the succesors. This affects
the null check elimination pass as well as GVN. Refactor all
those checks to a single function in BasicBlock and check
that the "taken" and "falthrough" are different when needed.

Bug: 21614284
Change-Id: I8c6ac23e96cdaf5984786a555ebbd28110f095cb

Opt compiler: Add a description to slow paths.

Change-Id: I22160d90de3fe0ab3e6a2acc440bda8daa00e0f0

Merge "Use compiling class instead of referrer for access checks."

Use compiling class instead of referrer for access checks.

bug:21869670
Change-Id: Ief329247e90202835e27fa38803e02dd2e2ae8ca

Merge "Do not expect 0 or 1 only when comparing a boolean."

Merge "Verifier: check an aput, even if we know it will fail."

Do not expect 0 or 1 only when comparing a boolean.

bug:21866529
Change-Id: I81ffba609a357010bd86073eb979024fc668ed20

Merge "Make Main public to pass tests on all configurations."

Merge "Use the right bug number. Spotted by vmarko."

Make Main public to pass tests on all configurations.

There's a mismatch between compile-time and runtime access checks.
This doens't fix it but keep us green.

bug:21923303

Change-Id: I1d4a80557f9d8ca9d8bef18a8c23230ed46d4a4c

Verifier: check an aput, even if we know it will fail.

bug:21867457
Change-Id: I01e333d858995d0e1e083a50cf8d460a86381f2c

Use the right bug number. Spotted by vmarko.

bug:21863767

Change-Id: I203072188c0c97b2d6709e1a59555b45fc5a0ab2

Fix StringChange for optimizing compiler.

Uses optimizing compiler more and fixes x86_64 invoke codegen.

Bug: 21902634

(cherry-picked from commit e0a9a53ec4b4ccbf9b1d67957fb99a45b469ccc2)

Change-Id: I56881889bee7092b8401b090af1c0f1004c11667

Merge "Fix moving GC bug in DoFilledNewArray"

Fix moving GC bug in DoFilledNewArray

Previously we read from componentClass after allocating the array.

Bug: 21783443

Change-Id: I5283982edab479434e27416509e1436b4176fe01

Merge "test: Fix lambda test incorrectly globbing together compiler arguments"

test: Fix lambda test incorrectly globbing together compiler arguments

This also fixes test failures when running imageless tests.

Change-Id: I9b0deb836907060160e31c434cf0710507f9665a

Merge "Fix moving GC bugs in proxy stub for X86/X86_64"

Merge "interpreter: Add experimental lambda opcodes for invoke/create-lambda"

Fix moving GC bugs in proxy stub for X86/X86_64

Needed to restore the refs.

Bug: 21907554
Change-Id: I562906dff07dcaa78dfb39646ba9ab35a5f56c6c

Merge "Quick: Don't expect move-exception in every catch block."

Quick: Don't expect move-exception in every catch block.

The dalvik bytecode doesn't require a move-exception in
a catch handler that ignores the exception.

Bug: 21873167
Change-Id: I3b49218a8c7ff021141387bd929bb2ae798f8509

Merge "Don't check the return type in the builder."

interpreter: Add experimental lambda opcodes for invoke/create-lambda

These opcodes are not yet fully specified, and *will* change before they become shippable.
Do not write production code against experimental opcodes.

--

Implement partial interpreter support for new dex instructions invoke/create-lambda, and a
new opcode format 25x.

* Does not verify, in fact verification will soft fail when we see those opcodes.
* Compilers will punt to interpreter since they don't support new opcodes.
* As there is no way to capture/liberate variables yet, the "closure" is just
  an ArtMethod for the time being.

All new opcodes are disabled by default, use runtime option -Xexperimental-lambdas to enable them.

For example:
  dalvikvm ... -Xexperimental-lambdas ...
  dex2oat --runtime-arg -Xexperimental-lambdas ...

Change-Id: I6c996ca32a9b54ec45ec21d7a959b84dfb8a24eb

Don't check the return type in the builder.

The verifier will not complain about dead code. For the compiler,
it is benign.

bug:21863767

Change-Id: I6ef7be233d1cd69dddcc4499e4e4fad54753099f

Merge "Run a simplification pass before code generation."

Merge "Don't special case HCurrentMethod in DCE."

Merge "Quick: Fix marking unused registers in DCE."

Run a simplification pass before code generation.

The code generators assume things that only the instruction
simplier ensures. So it has to be run last in case previous
optimiziations broke those assumptions.

bug:21865464

Change-Id: I1f84016017bf691c2a34982e202a505b269f609a

Merge "ART: Fix reporting initialized classes by CompilerDriver."

Merge "ART: Remove old DCHECK that trips Baseline"

Merge "Bailout from compilation if an invoke is malformed."

ART: Remove old DCHECK that trips Baseline

Codegen verified that the entry block always falls through to the next
block. While this is the case with Optimizing, it doesn't hold for
Baseline but it doesn't need to since codegen handles it fine.

Bug:21913514
Change-Id: I751ef227e6cf103af3e7fc35fca4b01c663385a1

Bailout from compilation if an invoke is malformed.

Because the verifier does not check trivially dead instructions,
the compilers must prepare for bogus instructions. This change
fixes the case the arguments for an invoke do not match the
formal parameters.

bug:21865459

Change-Id: Ie9fa9dbaedaad0350a52391252e18c045056454d

Merge "Fix a bug in optimizing when the null constant has been DCE."

ART: Fix reporting initialized classes by CompilerDriver.

Fix a bug where the CompilerDriver was erroneously reporting
classes as initialized during AOT compilation when they were
not guaranteed to be initialized at runtime.

This fix prevents the Quick compiler from inlining calls to
static methods in classes that are not guaranteed to be
initialized, so that the runtime performs the initialization
required for correctness.

Bug: 21847756
Change-Id: I6fee5ef9c05c2e5190ab8a9fe61365d5119011c5

Quick: Fix marking unused registers in DCE.

Bug: 21702651
Change-Id: Idca17b465152e0c61704fc49761c7ba89caf5b20

Merge "Forgot this change in last commit."

Merge "Fix some java_lang_Class related moving GC bugs"

Fix some java_lang_Class related moving GC bugs

There was some missing handles around mirror::Class*.

Bug: 21898408
Change-Id: Icb754074dfb469473101d20d6873a5bc3274abc5

Merge "Add missing EndAssertNoThreadSuspension"

Fix a bug in optimizing when the null constant has been DCE.

If it has been DCE, we should create a new one, instead of
using the old one.

Also move the first DCE to a place where it could actually
be useful.

bug:21870788

Change-Id: I28fc52ae481ef92cba45fc1b5abcf07c995f524c

Merge "Release dummy MemMaps corresponding to dlopen."

Release dummy MemMaps corresponding to dlopen.

This fixes memory leak.

Change-Id: I857f078e8559a56b2d10dd081256c41ab28c8ec6

Add missing EndAssertNoThreadSuspension

(cherry picked from commit a3b9d4eda1ef0845f307891f349eaf752750ac16)

Bug: 21872507
Change-Id: I20f9920e4a12511ce498c252bca955d82a4f4102

Don't special case HCurrentMethod in DCE.

Instead, re-create the HCurrentMethod if it is needed
after it has been removed.

Change-Id: Id3bf15ae87b00a1d7eb35bf36d58fe96f788fba4

Forgot this change in last commit.

bug:21746693
Change-Id: I1ae9690d393cf1bae10cb06ff1c6754ab2a50595

Merge "ART: Allow PackedSwitch instructions with zero targets"

ART: Allow PackedSwitch instructions with zero targets

Optimizing and the interpreter wrongly assumed that a PackedSwitch
always has at least one target. This patch removes the corresponding
DCHECKs and adds a regression test case.

This is a resubmission of CL I32b7033ed38de6f1d1a6ee5d5bf12f3a47c9b37e

Bug: 21863783
Change-Id: I04e6e124bdd16591ba27c79490e6ce183c36b691