summaryrefslogtreecommitdiff
path: root/test/590-checker-array-set-null-regression
diff options
context:
space:
mode:
Diffstat (limited to 'test/590-checker-array-set-null-regression')
-rw-r--r--test/590-checker-array-set-null-regression/expected.txt1
-rw-r--r--test/590-checker-array-set-null-regression/info.txt11
-rw-r--r--test/590-checker-array-set-null-regression/src/Main.java68
3 files changed, 0 insertions, 80 deletions
diff --git a/test/590-checker-array-set-null-regression/expected.txt b/test/590-checker-array-set-null-regression/expected.txt
deleted file mode 100644
index b0aad4deb5..0000000000
--- a/test/590-checker-array-set-null-regression/expected.txt
+++ /dev/null
@@ -1 +0,0 @@
-passed
diff --git a/test/590-checker-array-set-null-regression/info.txt b/test/590-checker-array-set-null-regression/info.txt
deleted file mode 100644
index fe173a334d..0000000000
--- a/test/590-checker-array-set-null-regression/info.txt
+++ /dev/null
@@ -1,11 +0,0 @@
-Regression test for art::PrepareForRegisterAllocation, which replaces
-
- ArraySet[array, index, BoundType[NullConstant]]
-
-with
-
- ArraySet[array, index, NullConstant]
-
-but used to forget to remove the "need for a type check" bit in the
-ArraySet, thus failing "!may_need_runtime_call_for_type_check"
-assertions in code generators.
diff --git a/test/590-checker-array-set-null-regression/src/Main.java b/test/590-checker-array-set-null-regression/src/Main.java
deleted file mode 100644
index 792ee4ecd6..0000000000
--- a/test/590-checker-array-set-null-regression/src/Main.java
+++ /dev/null
@@ -1,68 +0,0 @@
-/*
- * Copyright (C) 2016 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[]) {
- Element[] elements = new Element[51];
- testArraySetCheckCastNull(elements);
-
- System.out.println("passed");
- }
-
- /// CHECK-START: void Main.testArraySetCheckCastNull(Main$Element[]) builder (after)
- /// CHECK: <<Array:l\d+>> ParameterValue
- /// CHECK-DAG: <<Index:i\d+>> IntConstant 42
- /// CHECK-DAG: <<Null:l\d+>> NullConstant
- /// CHECK-DAG: <<Class:l\d+>> LoadClass
- /// CHECK-DAG: CheckCast [<<Null>>,<<Class>>]
- /// CHECK-DAG: <<CheckedValue:l\d+>> BoundType [<<Null>>] klass:Main$Element can_be_null:true
- /// CHECK-DAG: <<CheckedArray:l\d+>> NullCheck [<<Array>>]
- /// CHECK-DAG: <<Length:i\d+>> ArrayLength [<<CheckedArray>>]
- /// CHECK-DAG: <<CheckedIndex:i\d+>> BoundsCheck [<<Index>>,<<Length>>]
- /// CHECK-DAG: <<ArraySet:v\d+>> ArraySet [<<CheckedArray>>,<<CheckedIndex>>,<<CheckedValue>>] needs_type_check:true
-
- /// CHECK-START: void Main.testArraySetCheckCastNull(Main$Element[]) instruction_simplifier (after)
- /// CHECK-NOT: CheckCast
-
- /// CHECK-START: void Main.testArraySetCheckCastNull(Main$Element[]) prepare_for_register_allocation (before)
- /// CHECK: <<Array:l\d+>> ParameterValue
- /// CHECK-DAG: <<Index:i\d+>> IntConstant 42
- /// CHECK-DAG: <<Null:l\d+>> NullConstant
- /// CHECK-DAG: <<Class:l\d+>> LoadClass
- /// CHECK-DAG: <<CheckedValue:l\d+>> BoundType [<<Null>>]
- /// CHECK-DAG: <<CheckedArray:l\d+>> NullCheck [<<Array>>]
- /// CHECK-DAG: <<Length:i\d+>> ArrayLength [<<CheckedArray>>]
- /// CHECK-DAG: <<CheckedIndex:i\d+>> BoundsCheck [<<Index>>,<<Length>>]
- /// CHECK-DAG: <<ArraySet:v\d+>> ArraySet [<<CheckedArray>>,<<CheckedIndex>>,<<CheckedValue>>] needs_type_check:true
-
- /// CHECK-START: void Main.testArraySetCheckCastNull(Main$Element[]) prepare_for_register_allocation (after)
- /// CHECK: <<Array:l\d+>> ParameterValue
- /// CHECK-DAG: <<Index:i\d+>> IntConstant 42
- /// CHECK-DAG: <<Null:l\d+>> NullConstant
- /// CHECK-DAG: <<Class:l\d+>> LoadClass
- /// CHECK-DAG: <<Length:i\d+>> ArrayLength [<<Array>>]
- /// CHECK-DAG: <<ArraySet:v\d+>> ArraySet [<<Array>>,<<Index>>,<<Null>>] needs_type_check:false
-
- static void testArraySetCheckCastNull(Element[] elements) {
- Object object = null;
- Element element = (Element) object;
- elements[42] = element;
- }
-
- class Element {}
-
-}