summaryrefslogtreecommitdiff
path: root/test/590-checker-array-set-null-regression/src/Main.java
diff options
context:
space:
mode:
Diffstat (limited to 'test/590-checker-array-set-null-regression/src/Main.java')
-rw-r--r--test/590-checker-array-set-null-regression/src/Main.java68
1 files changed, 0 insertions, 68 deletions
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 {}
-
-}