diff options
-rw-r--r-- | compiler/optimizing/instruction_simplifier.cc | 10 | ||||
-rw-r--r-- | runtime/verifier/method_verifier.cc | 5 | ||||
-rw-r--r-- | test/506-verify-aput/expected.txt | 1 | ||||
-rw-r--r-- | test/506-verify-aput/info.txt | 2 | ||||
-rw-r--r-- | test/506-verify-aput/smali/VerifyAPut1.smali | 26 | ||||
-rw-r--r-- | test/506-verify-aput/smali/VerifyAPut2.smali | 25 | ||||
-rw-r--r-- | test/506-verify-aput/src/Main.java | 33 | ||||
-rw-r--r-- | test/507-boolean-test/expected.txt | 0 | ||||
-rw-r--r-- | test/507-boolean-test/info.txt | 2 | ||||
-rw-r--r-- | test/507-boolean-test/src/Main.java | 27 |
10 files changed, 125 insertions, 6 deletions
diff --git a/compiler/optimizing/instruction_simplifier.cc b/compiler/optimizing/instruction_simplifier.cc index 46fad17..0ca676a 100644 --- a/compiler/optimizing/instruction_simplifier.cc +++ b/compiler/optimizing/instruction_simplifier.cc @@ -221,14 +221,15 @@ void InstructionSimplifierVisitor::VisitEqual(HEqual* equal) { HInstruction* input_value = equal->GetLeastConstantLeft(); if (input_value->GetType() == Primitive::kPrimBoolean && input_const->IsIntConstant()) { HBasicBlock* block = equal->GetBlock(); + // We are comparing the boolean to a constant which is of type int and can + // be any constant. if (input_const->AsIntConstant()->IsOne()) { // Replace (bool_value == true) with bool_value equal->ReplaceWith(input_value); block->RemoveInstruction(equal); RecordSimplification(); - } else { + } else if (input_const->AsIntConstant()->IsZero()) { // Replace (bool_value == false) with !bool_value - DCHECK(input_const->AsIntConstant()->IsZero()); block->ReplaceAndRemoveInstructionWith( equal, new (block->GetGraph()->GetArena()) HBooleanNot(input_value)); RecordSimplification(); @@ -243,14 +244,15 @@ void InstructionSimplifierVisitor::VisitNotEqual(HNotEqual* not_equal) { HInstruction* input_value = not_equal->GetLeastConstantLeft(); if (input_value->GetType() == Primitive::kPrimBoolean && input_const->IsIntConstant()) { HBasicBlock* block = not_equal->GetBlock(); + // We are comparing the boolean to a constant which is of type int and can + // be any constant. if (input_const->AsIntConstant()->IsOne()) { // Replace (bool_value != true) with !bool_value block->ReplaceAndRemoveInstructionWith( not_equal, new (block->GetGraph()->GetArena()) HBooleanNot(input_value)); RecordSimplification(); - } else { + } else if (input_const->AsIntConstant()->IsZero()) { // Replace (bool_value != false) with bool_value - DCHECK(input_const->AsIntConstant()->IsZero()); not_equal->ReplaceWith(input_value); block->RemoveInstruction(not_equal); RecordSimplification(); diff --git a/runtime/verifier/method_verifier.cc b/runtime/verifier/method_verifier.cc index b1f958d..bd78006 100644 --- a/runtime/verifier/method_verifier.cc +++ b/runtime/verifier/method_verifier.cc @@ -3789,8 +3789,9 @@ void MethodVerifier::VerifyAPut(const Instruction* inst, } else { const RegType& array_type = work_line_->GetRegisterType(this, inst->VRegB_23x()); if (array_type.IsZero()) { - // Null array type; this code path will fail at runtime. Infer a merge-able type from the - // instruction type. + // Null array type; this code path will fail at runtime. + // Still check that the given value matches the instruction's type. + work_line_->VerifyRegisterType(this, inst->VRegA_23x(), insn_type); } else if (!array_type.IsArrayTypes()) { Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "not array type " << array_type << " with aput"; } else { diff --git a/test/506-verify-aput/expected.txt b/test/506-verify-aput/expected.txt new file mode 100644 index 0000000..ccaf6f8 --- /dev/null +++ b/test/506-verify-aput/expected.txt @@ -0,0 +1 @@ +Enter diff --git a/test/506-verify-aput/info.txt b/test/506-verify-aput/info.txt new file mode 100644 index 0000000..461d9d3 --- /dev/null +++ b/test/506-verify-aput/info.txt @@ -0,0 +1,2 @@ +Test that an aput on a null array is properly checked +by the verifier. diff --git a/test/506-verify-aput/smali/VerifyAPut1.smali b/test/506-verify-aput/smali/VerifyAPut1.smali new file mode 100644 index 0000000..d50636f --- /dev/null +++ b/test/506-verify-aput/smali/VerifyAPut1.smali @@ -0,0 +1,26 @@ +# Copyright (C) 2015 The Android Open Source Project +# +# Licensed under the Apache License, Version 2.0 (the "License"); +# you may not use this file except in compliance with the License. +# You may obtain a copy of the License at +# +# http://www.apache.org/licenses/LICENSE-2.0 +# +# Unless required by applicable law or agreed to in writing, software +# distributed under the License is distributed on an "AS IS" BASIS, +# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. +# See the License for the specific language governing permissions and +# limitations under the License. + +.class public LVerifyAPut1; + +.super Ljava/lang/Object; + +.method public static method()V + .registers 3 + const/4 v0, 0 + const/4 v1, 1 + const/4 v2, 2 + aput-object v2, v0, v1 + return-void +.end method diff --git a/test/506-verify-aput/smali/VerifyAPut2.smali b/test/506-verify-aput/smali/VerifyAPut2.smali new file mode 100644 index 0000000..2eceebb --- /dev/null +++ b/test/506-verify-aput/smali/VerifyAPut2.smali @@ -0,0 +1,25 @@ +# Copyright (C) 2015 The Android Open Source Project +# +# Licensed under the Apache License, Version 2.0 (the "License"); +# you may not use this file except in compliance with the License. +# You may obtain a copy of the License at +# +# http://www.apache.org/licenses/LICENSE-2.0 +# +# Unless required by applicable law or agreed to in writing, software +# distributed under the License is distributed on an "AS IS" BASIS, +# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. +# See the License for the specific language governing permissions and +# limitations under the License. + +.class public LVerifyAPut2; + +.super Ljava/lang/Object; + +.method public static method(LMain;)V + .registers 3 + const/4 v0, 0 + const/4 v1, 1 + aput p0, v0, v1 + return-void +.end method diff --git a/test/506-verify-aput/src/Main.java b/test/506-verify-aput/src/Main.java new file mode 100644 index 0000000..8359f2c --- /dev/null +++ b/test/506-verify-aput/src/Main.java @@ -0,0 +1,33 @@ +/* + * Copyright (C) 2015 The Android Open Source Project + * + * Licensed under the Apache License, Version 2.0 (the "License"); + * you may not use this file except in compliance with the License. + * You may obtain a copy of the License at + * + * http://www.apache.org/licenses/LICENSE-2.0 + * + * Unless required by applicable law or agreed to in writing, software + * distributed under the License is distributed on an "AS IS" BASIS, + * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. + * See the License for the specific language governing permissions and + * limitations under the License. + */ + +import java.lang.reflect.Method; + +public class Main { + public static void main(String[] args) throws Exception { + // Workaround for b/18051191. + System.out.println("Enter"); + try { + Class.forName("VerifyAPut1"); + throw new Error("expected verification error"); + } catch (VerifyError e) { /* ignore */ } + + try { + Class.forName("VerifyAPut2"); + throw new Error("expected verification error"); + } catch (VerifyError e) { /* ignore */ } + } +} diff --git a/test/507-boolean-test/expected.txt b/test/507-boolean-test/expected.txt new file mode 100644 index 0000000..e69de29 --- /dev/null +++ b/test/507-boolean-test/expected.txt diff --git a/test/507-boolean-test/info.txt b/test/507-boolean-test/info.txt new file mode 100644 index 0000000..15c20c1 --- /dev/null +++ b/test/507-boolean-test/info.txt @@ -0,0 +1,2 @@ +Regression test for the optimizing compiler that used to +crash when compiling (a ? 1 : 0) == 2. diff --git a/test/507-boolean-test/src/Main.java b/test/507-boolean-test/src/Main.java new file mode 100644 index 0000000..f3ce92a --- /dev/null +++ b/test/507-boolean-test/src/Main.java @@ -0,0 +1,27 @@ +/* + * Copyright (C) 2015 The Android Open Source Project + * + * Licensed under the Apache License, Version 2.0 (the "License"); + * you may not use this file except in compliance with the License. + * You may obtain a copy of the License at + * + * http://www.apache.org/licenses/LICENSE-2.0 + * + * Unless required by applicable law or agreed to in writing, software + * distributed under the License is distributed on an "AS IS" BASIS, + * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. + * See the License for the specific language governing permissions and + * limitations under the License. + */ + +public class Main { + public static void main(String[] args) { + if (bar(true)) { + throw new Error("Expected false, got true"); + } + } + + public static boolean bar(boolean a) { + return (a ? 0 : 1) == 2; + } +} |