1 /* 2 * Copyright (c) 1997, 2025, Oracle and/or its affiliates. All rights reserved. 3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. 4 * 5 * This code is free software; you can redistribute it and/or modify it 6 * under the terms of the GNU General Public License version 2 only, as 7 * published by the Free Software Foundation. 8 * 9 * This code is distributed in the hope that it will be useful, but WITHOUT 10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or 11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License 12 * version 2 for more details (a copy is included in the LICENSE file that 13 * accompanied this code). 14 * 15 * You should have received a copy of the GNU General Public License version 16 * 2 along with this work; if not, write to the Free Software Foundation, 17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. 18 * 19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA 20 * or visit www.oracle.com if you need additional information or have any 21 * questions. 22 */ 23 24 #include "oops/arrayOop.hpp" 25 #include "oops/oop.inline.hpp" 26 #include "unittest.hpp" 27 #include "utilities/globalDefinitions.hpp" 28 29 static bool check_max_length_overflow(BasicType type) { 30 julong length = arrayOopDesc::max_array_length(type); 31 julong bytes_per_element = type2aelembytes(type); 32 julong bytes = length * bytes_per_element 33 + arrayOopDesc::base_offset_in_bytes(type); 34 return (julong) (size_t) bytes == bytes; 35 } 36 37 TEST_VM(arrayOopDesc, boolean) { 38 ASSERT_PRED1(check_max_length_overflow, T_BOOLEAN); 39 } 40 41 TEST_VM(arrayOopDesc, char) { 42 ASSERT_PRED1(check_max_length_overflow, T_CHAR); 43 } 44 45 TEST_VM(arrayOopDesc, float) { 46 ASSERT_PRED1(check_max_length_overflow, T_FLOAT); 47 } 48 49 TEST_VM(arrayOopDesc, double) { 50 ASSERT_PRED1(check_max_length_overflow, T_DOUBLE); 51 } 52 53 TEST_VM(arrayOopDesc, byte) { 54 ASSERT_PRED1(check_max_length_overflow, T_BYTE); 55 } 56 57 TEST_VM(arrayOopDesc, short) { 58 ASSERT_PRED1(check_max_length_overflow, T_SHORT); 59 } 60 61 TEST_VM(arrayOopDesc, int) { 62 ASSERT_PRED1(check_max_length_overflow, T_INT); 63 } 64 65 TEST_VM(arrayOopDesc, long) { 66 ASSERT_PRED1(check_max_length_overflow, T_LONG); 67 } 68 69 TEST_VM(arrayOopDesc, object) { 70 ASSERT_PRED1(check_max_length_overflow, T_OBJECT); 71 } 72 73 TEST_VM(arrayOopDesc, array) { 74 ASSERT_PRED1(check_max_length_overflow, T_ARRAY); 75 } 76 77 TEST_VM(arrayOopDesc, narrowOop) { 78 ASSERT_PRED1(check_max_length_overflow, T_NARROWOOP); 79 } 80 // T_VOID and T_ADDRESS are not supported by max_array_length() 81 82 TEST_VM(arrayOopDesc, base_offset) { 83 #ifdef _LP64 84 if (UseCompactObjectHeaders) { 85 EXPECT_EQ(arrayOopDesc::base_offset_in_bytes(T_BOOLEAN), 8); 86 EXPECT_EQ(arrayOopDesc::base_offset_in_bytes(T_BYTE), 8); 87 EXPECT_EQ(arrayOopDesc::base_offset_in_bytes(T_SHORT), 8); 88 EXPECT_EQ(arrayOopDesc::base_offset_in_bytes(T_CHAR), 8); 89 EXPECT_EQ(arrayOopDesc::base_offset_in_bytes(T_INT), 8); 90 EXPECT_EQ(arrayOopDesc::base_offset_in_bytes(T_FLOAT), 8); 91 EXPECT_EQ(arrayOopDesc::base_offset_in_bytes(T_LONG), 8); 92 EXPECT_EQ(arrayOopDesc::base_offset_in_bytes(T_DOUBLE), 8); 93 if (UseCompressedOops) { 94 EXPECT_EQ(arrayOopDesc::base_offset_in_bytes(T_OBJECT), 8); 95 EXPECT_EQ(arrayOopDesc::base_offset_in_bytes(T_ARRAY), 8); 96 } else { 97 EXPECT_EQ(arrayOopDesc::base_offset_in_bytes(T_OBJECT), 8); 98 EXPECT_EQ(arrayOopDesc::base_offset_in_bytes(T_ARRAY), 8); 99 } 100 } else if (UseCompressedClassPointers) { 101 EXPECT_EQ(arrayOopDesc::base_offset_in_bytes(T_BOOLEAN), 16); 102 EXPECT_EQ(arrayOopDesc::base_offset_in_bytes(T_BYTE), 16); 103 EXPECT_EQ(arrayOopDesc::base_offset_in_bytes(T_SHORT), 16); 104 EXPECT_EQ(arrayOopDesc::base_offset_in_bytes(T_CHAR), 16); 105 EXPECT_EQ(arrayOopDesc::base_offset_in_bytes(T_INT), 16); 106 EXPECT_EQ(arrayOopDesc::base_offset_in_bytes(T_FLOAT), 16); 107 EXPECT_EQ(arrayOopDesc::base_offset_in_bytes(T_LONG), 16); 108 EXPECT_EQ(arrayOopDesc::base_offset_in_bytes(T_DOUBLE), 16); 109 EXPECT_EQ(arrayOopDesc::base_offset_in_bytes(T_OBJECT), 16); 110 EXPECT_EQ(arrayOopDesc::base_offset_in_bytes(T_ARRAY), 16); 111 } else { 112 EXPECT_EQ(arrayOopDesc::base_offset_in_bytes(T_BOOLEAN), 20); 113 EXPECT_EQ(arrayOopDesc::base_offset_in_bytes(T_BYTE), 20); 114 EXPECT_EQ(arrayOopDesc::base_offset_in_bytes(T_SHORT), 20); 115 EXPECT_EQ(arrayOopDesc::base_offset_in_bytes(T_CHAR), 20); 116 EXPECT_EQ(arrayOopDesc::base_offset_in_bytes(T_INT), 20); 117 EXPECT_EQ(arrayOopDesc::base_offset_in_bytes(T_FLOAT), 20); 118 EXPECT_EQ(arrayOopDesc::base_offset_in_bytes(T_LONG), 24); 119 EXPECT_EQ(arrayOopDesc::base_offset_in_bytes(T_DOUBLE), 24); 120 if (UseCompressedOops) { 121 EXPECT_EQ(arrayOopDesc::base_offset_in_bytes(T_OBJECT), 20); 122 EXPECT_EQ(arrayOopDesc::base_offset_in_bytes(T_ARRAY), 20); 123 } else { 124 EXPECT_EQ(arrayOopDesc::base_offset_in_bytes(T_OBJECT), 24); 125 EXPECT_EQ(arrayOopDesc::base_offset_in_bytes(T_ARRAY), 24); 126 } 127 } 128 #else 129 EXPECT_EQ(arrayOopDesc::base_offset_in_bytes(T_BOOLEAN), 12); 130 EXPECT_EQ(arrayOopDesc::base_offset_in_bytes(T_BYTE), 12); 131 EXPECT_EQ(arrayOopDesc::base_offset_in_bytes(T_SHORT), 12); 132 EXPECT_EQ(arrayOopDesc::base_offset_in_bytes(T_CHAR), 12); 133 EXPECT_EQ(arrayOopDesc::base_offset_in_bytes(T_INT), 12); 134 EXPECT_EQ(arrayOopDesc::base_offset_in_bytes(T_FLOAT), 12); 135 EXPECT_EQ(arrayOopDesc::base_offset_in_bytes(T_LONG), 16); 136 EXPECT_EQ(arrayOopDesc::base_offset_in_bytes(T_DOUBLE), 16); 137 EXPECT_EQ(arrayOopDesc::base_offset_in_bytes(T_OBJECT), 12); 138 EXPECT_EQ(arrayOopDesc::base_offset_in_bytes(T_ARRAY), 12); 139 #endif 140 }