Andreas Huber | 1aec397 | 2016-08-26 09:26:32 -0700 | [diff] [blame] | 1 | /* |
| 2 | * Copyright (C) 2016 The Android Open Source Project |
| 3 | * |
| 4 | * Licensed under the Apache License, Version 2.0 (the "License"); |
| 5 | * you may not use this file except in compliance with the License. |
| 6 | * You may obtain a copy of the License at |
| 7 | * |
| 8 | * http://www.apache.org/licenses/LICENSE-2.0 |
| 9 | * |
| 10 | * Unless required by applicable law or agreed to in writing, software |
| 11 | * distributed under the License is distributed on an "AS IS" BASIS, |
| 12 | * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. |
| 13 | * See the License for the specific language governing permissions and |
| 14 | * limitations under the License. |
| 15 | */ |
| 16 | |
Andreas Huber | c9410c7 | 2016-07-28 12:18:40 -0700 | [diff] [blame] | 17 | #include "ArrayType.h" |
| 18 | |
Andreas Huber | 881227d | 2016-08-02 14:20:21 -0700 | [diff] [blame] | 19 | #include <android-base/logging.h> |
Timur Iskhakov | e8ee6a0 | 2017-09-06 11:42:10 -0700 | [diff] [blame] | 20 | #include <hidl-util/Formatter.h> |
| 21 | #include <iostream> |
Andreas Huber | 881227d | 2016-08-02 14:20:21 -0700 | [diff] [blame] | 22 | |
Yifan Hong | f24fa85 | 2016-09-23 11:03:15 -0700 | [diff] [blame] | 23 | #include "ConstantExpression.h" |
| 24 | |
Andreas Huber | c9410c7 | 2016-07-28 12:18:40 -0700 | [diff] [blame] | 25 | namespace android { |
| 26 | |
Timur Iskhakov | 63f3990 | 2017-08-29 15:47:29 -0700 | [diff] [blame] | 27 | ArrayType::ArrayType(const Reference<Type>& elementType, ConstantExpression* size, Scope* parent) |
Timur Iskhakov | 0737c2a | 2017-08-31 10:57:28 -0700 | [diff] [blame] | 28 | : Type(parent), mElementType(elementType), mSizes{size} { |
Timur Iskhakov | 505316c | 2017-08-05 03:38:59 +0000 | [diff] [blame] | 29 | CHECK(!elementType.isEmptyReference()); |
Andreas Huber | c9410c7 | 2016-07-28 12:18:40 -0700 | [diff] [blame] | 30 | } |
| 31 | |
Yifan Hong | bd33e38 | 2016-11-02 13:30:17 -0700 | [diff] [blame] | 32 | void ArrayType::appendDimension(ConstantExpression *size) { |
Yifan Hong | 5706a43 | 2016-11-02 09:44:18 -0700 | [diff] [blame] | 33 | mSizes.push_back(size); |
Yifan Hong | bd33e38 | 2016-11-02 13:30:17 -0700 | [diff] [blame] | 34 | } |
| 35 | |
Andreas Huber | f03332a | 2016-09-22 15:35:43 -0700 | [diff] [blame] | 36 | size_t ArrayType::countDimensions() const { |
| 37 | return mSizes.size(); |
| 38 | } |
| 39 | |
Andreas Huber | 709b62d | 2016-09-19 11:21:18 -0700 | [diff] [blame] | 40 | bool ArrayType::isArray() const { |
| 41 | return true; |
| 42 | } |
| 43 | |
Timur Iskhakov | 5dc72fe | 2017-09-07 23:13:44 -0700 | [diff] [blame] | 44 | bool ArrayType::deepCanCheckEquality(std::unordered_set<const Type*>* visited) const { |
| 45 | return mElementType->canCheckEquality(visited); |
Yifan Hong | c6752dc | 2016-12-20 14:00:14 -0800 | [diff] [blame] | 46 | } |
| 47 | |
Timur Iskhakov | 24e605b | 2017-08-30 14:02:55 -0700 | [diff] [blame] | 48 | const Type* ArrayType::getElementType() const { |
Timur Iskhakov | b3f8bcb | 2017-08-30 15:33:29 -0700 | [diff] [blame] | 49 | return mElementType.get(); |
Andreas Huber | f03332a | 2016-09-22 15:35:43 -0700 | [diff] [blame] | 50 | } |
| 51 | |
Steven Moreland | 0ecc7b8 | 2017-07-19 12:59:23 -0700 | [diff] [blame] | 52 | std::string ArrayType::typeName() const { |
| 53 | if (dimension() == 1) { |
| 54 | return "array of " + mElementType->typeName(); |
| 55 | } |
| 56 | |
| 57 | return std::to_string(dimension()) + "d array of " + mElementType->typeName(); |
| 58 | } |
| 59 | |
Timur Iskhakov | b58f418 | 2017-08-29 15:19:24 -0700 | [diff] [blame] | 60 | std::vector<const Reference<Type>*> ArrayType::getReferences() const { |
| 61 | return {&mElementType}; |
Timur Iskhakov | 33431e6 | 2017-08-21 17:31:23 -0700 | [diff] [blame] | 62 | } |
| 63 | |
Timur Iskhakov | b58f418 | 2017-08-29 15:19:24 -0700 | [diff] [blame] | 64 | std::vector<const ConstantExpression*> ArrayType::getConstantExpressions() const { |
| 65 | std::vector<const ConstantExpression*> ret; |
| 66 | ret.insert(ret.end(), mSizes.begin(), mSizes.end()); |
| 67 | return ret; |
Timur Iskhakov | cec46c4 | 2017-08-09 00:22:02 -0700 | [diff] [blame] | 68 | } |
| 69 | |
Timur Iskhakov | 0737c2a | 2017-08-31 10:57:28 -0700 | [diff] [blame] | 70 | status_t ArrayType::resolveInheritance() { |
| 71 | // Resolve for typedefs |
| 72 | while (mElementType->isArray()) { |
| 73 | ArrayType* innerArray = static_cast<ArrayType*>(mElementType.get()); |
| 74 | mSizes.insert(mSizes.end(), innerArray->mSizes.begin(), innerArray->mSizes.end()); |
| 75 | mElementType = innerArray->mElementType; |
| 76 | } |
| 77 | return Type::resolveInheritance(); |
| 78 | } |
| 79 | |
Timur Iskhakov | cec46c4 | 2017-08-09 00:22:02 -0700 | [diff] [blame] | 80 | status_t ArrayType::validate() const { |
Timur Iskhakov | 0737c2a | 2017-08-31 10:57:28 -0700 | [diff] [blame] | 81 | CHECK(!mElementType->isArray()); |
| 82 | |
Steven Moreland | 7df0f39 | 2018-10-31 13:23:22 -0700 | [diff] [blame] | 83 | if (mElementType->isInterface()) { |
Timur Iskhakov | cec46c4 | 2017-08-09 00:22:02 -0700 | [diff] [blame] | 84 | std::cerr << "ERROR: Arrays of interface types are not supported" |
| 85 | << " at " << mElementType.location() << "\n"; |
| 86 | |
| 87 | return UNKNOWN_ERROR; |
| 88 | } |
| 89 | return Type::validate(); |
| 90 | } |
| 91 | |
Steven Moreland | 979e099 | 2016-09-07 09:18:08 -0700 | [diff] [blame] | 92 | std::string ArrayType::getCppType(StorageMode mode, |
Steven Moreland | 979e099 | 2016-09-07 09:18:08 -0700 | [diff] [blame] | 93 | bool specifyNamespaces) const { |
Yifan Hong | 3b320f8 | 2016-11-01 15:15:54 -0700 | [diff] [blame] | 94 | const std::string base = mElementType->getCppStackType(specifyNamespaces); |
Andreas Huber | 881227d | 2016-08-02 14:20:21 -0700 | [diff] [blame] | 95 | |
Steven Moreland | c46e984 | 2016-11-02 13:21:26 -0700 | [diff] [blame] | 96 | std::string space = specifyNamespaces ? "::android::hardware::" : ""; |
| 97 | std::string arrayType = space + "hidl_array<" + base; |
Andreas Huber | f03332a | 2016-09-22 15:35:43 -0700 | [diff] [blame] | 98 | |
| 99 | for (size_t i = 0; i < mSizes.size(); ++i) { |
Steven Moreland | f21962d | 2018-08-09 12:44:40 -0700 | [diff] [blame] | 100 | arrayType += ", " + mSizes[i]->cppValue(); |
Andreas Huber | 709b62d | 2016-09-19 11:21:18 -0700 | [diff] [blame] | 101 | } |
| 102 | |
Andreas Huber | f03332a | 2016-09-22 15:35:43 -0700 | [diff] [blame] | 103 | arrayType += ">"; |
Andreas Huber | 881227d | 2016-08-02 14:20:21 -0700 | [diff] [blame] | 104 | |
| 105 | switch (mode) { |
| 106 | case StorageMode_Stack: |
Andreas Huber | f03332a | 2016-09-22 15:35:43 -0700 | [diff] [blame] | 107 | return arrayType; |
Andreas Huber | 881227d | 2016-08-02 14:20:21 -0700 | [diff] [blame] | 108 | |
| 109 | case StorageMode_Argument: |
Andreas Huber | f03332a | 2016-09-22 15:35:43 -0700 | [diff] [blame] | 110 | return "const " + arrayType + "&"; |
| 111 | |
Andreas Huber | 881227d | 2016-08-02 14:20:21 -0700 | [diff] [blame] | 112 | case StorageMode_Result: |
Andreas Huber | f03332a | 2016-09-22 15:35:43 -0700 | [diff] [blame] | 113 | return "const " + arrayType + "*"; |
Andreas Huber | 881227d | 2016-08-02 14:20:21 -0700 | [diff] [blame] | 114 | } |
Andreas Huber | f03332a | 2016-09-22 15:35:43 -0700 | [diff] [blame] | 115 | |
| 116 | CHECK(!"Should not be here"); |
Andreas Huber | 881227d | 2016-08-02 14:20:21 -0700 | [diff] [blame] | 117 | } |
| 118 | |
Yifan Hong | 30b5d1f | 2017-04-03 12:19:25 -0700 | [diff] [blame] | 119 | std::string ArrayType::getInternalDataCppType() const { |
| 120 | std::string result = mElementType->getCppStackType(); |
| 121 | for (size_t i = 0; i < mSizes.size(); ++i) { |
| 122 | result += "["; |
| 123 | result += mSizes[i]->cppValue(); |
| 124 | result += "]"; |
| 125 | } |
| 126 | return result; |
| 127 | } |
| 128 | |
Yifan Hong | 4ed1347 | 2016-11-02 10:44:11 -0700 | [diff] [blame] | 129 | std::string ArrayType::getJavaType(bool forInitializer) const { |
| 130 | std::string base = |
| 131 | mElementType->getJavaType(forInitializer); |
Andreas Huber | 709b62d | 2016-09-19 11:21:18 -0700 | [diff] [blame] | 132 | |
Yifan Hong | f24fa85 | 2016-09-23 11:03:15 -0700 | [diff] [blame] | 133 | for (size_t i = 0; i < mSizes.size(); ++i) { |
Yifan Hong | 4ed1347 | 2016-11-02 10:44:11 -0700 | [diff] [blame] | 134 | base += "["; |
Andreas Huber | 709b62d | 2016-09-19 11:21:18 -0700 | [diff] [blame] | 135 | |
| 136 | if (forInitializer) { |
Yifan Hong | 4ed1347 | 2016-11-02 10:44:11 -0700 | [diff] [blame] | 137 | base += mSizes[i]->javaValue(); |
Steven Moreland | f21962d | 2018-08-09 12:44:40 -0700 | [diff] [blame] | 138 | } else { |
| 139 | base += "/* " + mSizes[i]->expression() + " */"; |
Yifan Hong | 5706a43 | 2016-11-02 09:44:18 -0700 | [diff] [blame] | 140 | } |
Yifan Hong | f24fa85 | 2016-09-23 11:03:15 -0700 | [diff] [blame] | 141 | |
Yifan Hong | 4ed1347 | 2016-11-02 10:44:11 -0700 | [diff] [blame] | 142 | base += "]"; |
Andreas Huber | 4c865b7 | 2016-09-14 15:26:27 -0700 | [diff] [blame] | 143 | } |
Andreas Huber | 4c865b7 | 2016-09-14 15:26:27 -0700 | [diff] [blame] | 144 | |
| 145 | return base; |
Andreas Huber | 2831d51 | 2016-08-15 09:33:47 -0700 | [diff] [blame] | 146 | } |
| 147 | |
Zhuoyao Zhang | c5ea9f5 | 2016-10-06 15:05:39 -0700 | [diff] [blame] | 148 | std::string ArrayType::getVtsType() const { |
| 149 | return "TYPE_ARRAY"; |
| 150 | } |
| 151 | |
Andreas Huber | 881227d | 2016-08-02 14:20:21 -0700 | [diff] [blame] | 152 | void ArrayType::emitReaderWriter( |
| 153 | Formatter &out, |
| 154 | const std::string &name, |
| 155 | const std::string &parcelObj, |
| 156 | bool parcelObjIsPointer, |
| 157 | bool isReader, |
| 158 | ErrorMode mode) const { |
Yifan Hong | 3b320f8 | 2016-11-01 15:15:54 -0700 | [diff] [blame] | 159 | std::string baseType = mElementType->getCppStackType(); |
Andreas Huber | 881227d | 2016-08-02 14:20:21 -0700 | [diff] [blame] | 160 | |
Iliyan Malchev | 549e259 | 2016-08-10 08:59:12 -0700 | [diff] [blame] | 161 | const std::string parentName = "_hidl_" + name + "_parent"; |
Andreas Huber | 881227d | 2016-08-02 14:20:21 -0700 | [diff] [blame] | 162 | |
| 163 | out << "size_t " << parentName << ";\n\n"; |
| 164 | |
| 165 | const std::string parcelObjDeref = |
| 166 | parcelObj + (parcelObjIsPointer ? "->" : "."); |
| 167 | |
Martijn Coenen | b2a861c | 2017-04-18 15:54:25 -0700 | [diff] [blame] | 168 | size_t numArrayElements = 1; |
| 169 | for (auto size : mSizes) { |
| 170 | numArrayElements *= size->castSizeT(); |
| 171 | } |
Andreas Huber | 881227d | 2016-08-02 14:20:21 -0700 | [diff] [blame] | 172 | if (isReader) { |
Martijn Coenen | 6a082c6 | 2017-01-11 12:47:02 +0100 | [diff] [blame] | 173 | out << "_hidl_err = " |
Andreas Huber | 881227d | 2016-08-02 14:20:21 -0700 | [diff] [blame] | 174 | << parcelObjDeref |
Martijn Coenen | b2a861c | 2017-04-18 15:54:25 -0700 | [diff] [blame] | 175 | << "readBuffer(" |
| 176 | << numArrayElements |
| 177 | << " * sizeof(" |
| 178 | << baseType |
| 179 | << "), &" |
Andreas Huber | 881227d | 2016-08-02 14:20:21 -0700 | [diff] [blame] | 180 | << parentName |
Martijn Coenen | 6a082c6 | 2017-01-11 12:47:02 +0100 | [diff] [blame] | 181 | << ", " |
| 182 | << " reinterpret_cast<const void **>(" |
| 183 | << "&" << name |
| 184 | << "));\n\n"; |
Andreas Huber | 881227d | 2016-08-02 14:20:21 -0700 | [diff] [blame] | 185 | |
Martijn Coenen | 6a082c6 | 2017-01-11 12:47:02 +0100 | [diff] [blame] | 186 | handleError(out, mode); |
Andreas Huber | 881227d | 2016-08-02 14:20:21 -0700 | [diff] [blame] | 187 | } else { |
Andreas Huber | f03332a | 2016-09-22 15:35:43 -0700 | [diff] [blame] | 188 | |
Iliyan Malchev | 549e259 | 2016-08-10 08:59:12 -0700 | [diff] [blame] | 189 | out << "_hidl_err = " |
Andreas Huber | 881227d | 2016-08-02 14:20:21 -0700 | [diff] [blame] | 190 | << parcelObjDeref |
| 191 | << "writeBuffer(" |
| 192 | << name |
Andreas Huber | f03332a | 2016-09-22 15:35:43 -0700 | [diff] [blame] | 193 | << ".data(), " |
| 194 | << numArrayElements |
| 195 | << " * sizeof(" |
Andreas Huber | 881227d | 2016-08-02 14:20:21 -0700 | [diff] [blame] | 196 | << baseType |
| 197 | << "), &" |
| 198 | << parentName |
| 199 | << ");\n"; |
| 200 | |
| 201 | handleError(out, mode); |
| 202 | } |
| 203 | |
| 204 | emitReaderWriterEmbedded( |
| 205 | out, |
Andreas Huber | f9d49f1 | 2016-09-12 14:58:36 -0700 | [diff] [blame] | 206 | 0 /* depth */, |
Andreas Huber | 881227d | 2016-08-02 14:20:21 -0700 | [diff] [blame] | 207 | name, |
Yifan Hong | be2a373 | 2016-10-05 13:33:41 -0700 | [diff] [blame] | 208 | name /* sanitizedName */, |
Andreas Huber | 881227d | 2016-08-02 14:20:21 -0700 | [diff] [blame] | 209 | isReader /* nameIsPointer */, |
| 210 | parcelObj, |
| 211 | parcelObjIsPointer, |
| 212 | isReader, |
| 213 | mode, |
| 214 | parentName, |
| 215 | "0 /* parentOffset */"); |
| 216 | } |
| 217 | |
| 218 | void ArrayType::emitReaderWriterEmbedded( |
| 219 | Formatter &out, |
Andreas Huber | f9d49f1 | 2016-09-12 14:58:36 -0700 | [diff] [blame] | 220 | size_t depth, |
Andreas Huber | 881227d | 2016-08-02 14:20:21 -0700 | [diff] [blame] | 221 | const std::string &name, |
Yifan Hong | be2a373 | 2016-10-05 13:33:41 -0700 | [diff] [blame] | 222 | const std::string &sanitizedName, |
Andreas Huber | 881227d | 2016-08-02 14:20:21 -0700 | [diff] [blame] | 223 | bool nameIsPointer, |
| 224 | const std::string &parcelObj, |
| 225 | bool parcelObjIsPointer, |
| 226 | bool isReader, |
| 227 | ErrorMode mode, |
| 228 | const std::string &parentName, |
| 229 | const std::string &offsetText) const { |
| 230 | if (!mElementType->needsEmbeddedReadWrite()) { |
| 231 | return; |
| 232 | } |
| 233 | |
| 234 | const std::string nameDeref = name + (nameIsPointer ? "->" : "."); |
| 235 | |
Yifan Hong | 3b320f8 | 2016-11-01 15:15:54 -0700 | [diff] [blame] | 236 | std::string baseType = mElementType->getCppStackType(); |
Andreas Huber | 881227d | 2016-08-02 14:20:21 -0700 | [diff] [blame] | 237 | |
Andreas Huber | f9d49f1 | 2016-09-12 14:58:36 -0700 | [diff] [blame] | 238 | std::string iteratorName = "_hidl_index_" + std::to_string(depth); |
| 239 | |
| 240 | out << "for (size_t " |
| 241 | << iteratorName |
| 242 | << " = 0; " |
| 243 | << iteratorName |
| 244 | << " < " |
Yifan Hong | bf459bc | 2016-08-23 16:50:37 -0700 | [diff] [blame] | 245 | << dimension() |
Andreas Huber | f9d49f1 | 2016-09-12 14:58:36 -0700 | [diff] [blame] | 246 | << "; ++" |
| 247 | << iteratorName |
| 248 | << ") {\n"; |
Andreas Huber | 881227d | 2016-08-02 14:20:21 -0700 | [diff] [blame] | 249 | |
| 250 | out.indent(); |
| 251 | |
| 252 | mElementType->emitReaderWriterEmbedded( |
| 253 | out, |
Andreas Huber | f9d49f1 | 2016-09-12 14:58:36 -0700 | [diff] [blame] | 254 | depth + 1, |
Andreas Huber | f03332a | 2016-09-22 15:35:43 -0700 | [diff] [blame] | 255 | nameDeref + "data()[" + iteratorName + "]", |
Yifan Hong | be2a373 | 2016-10-05 13:33:41 -0700 | [diff] [blame] | 256 | sanitizedName + "_indexed", |
Andreas Huber | 881227d | 2016-08-02 14:20:21 -0700 | [diff] [blame] | 257 | false /* nameIsPointer */, |
| 258 | parcelObj, |
| 259 | parcelObjIsPointer, |
| 260 | isReader, |
| 261 | mode, |
| 262 | parentName, |
Andreas Huber | f9d49f1 | 2016-09-12 14:58:36 -0700 | [diff] [blame] | 263 | offsetText |
| 264 | + " + " + iteratorName + " * sizeof(" |
| 265 | + baseType |
Andreas Huber | f9d49f1 | 2016-09-12 14:58:36 -0700 | [diff] [blame] | 266 | + ")"); |
Andreas Huber | 881227d | 2016-08-02 14:20:21 -0700 | [diff] [blame] | 267 | |
| 268 | out.unindent(); |
| 269 | |
| 270 | out << "}\n\n"; |
| 271 | } |
| 272 | |
Yifan Hong | bf459bc | 2016-08-23 16:50:37 -0700 | [diff] [blame] | 273 | void ArrayType::emitResolveReferences( |
| 274 | Formatter &out, |
| 275 | const std::string &name, |
| 276 | bool nameIsPointer, |
| 277 | const std::string &parcelObj, |
| 278 | bool parcelObjIsPointer, |
| 279 | bool isReader, |
| 280 | ErrorMode mode) const { |
| 281 | emitResolveReferencesEmbedded( |
| 282 | out, |
| 283 | 0 /* depth */, |
| 284 | name, |
| 285 | name /* sanitizedName */, |
| 286 | nameIsPointer, |
| 287 | parcelObj, |
| 288 | parcelObjIsPointer, |
| 289 | isReader, |
| 290 | mode, |
| 291 | "_hidl_" + name + "_parent", |
| 292 | "0 /* parentOffset */"); |
| 293 | } |
| 294 | |
| 295 | void ArrayType::emitResolveReferencesEmbedded( |
| 296 | Formatter &out, |
| 297 | size_t depth, |
| 298 | const std::string &name, |
| 299 | const std::string &sanitizedName, |
| 300 | bool nameIsPointer, |
| 301 | const std::string &parcelObj, |
| 302 | bool parcelObjIsPointer, |
| 303 | bool isReader, |
| 304 | ErrorMode mode, |
| 305 | const std::string &parentName, |
| 306 | const std::string &offsetText) const { |
| 307 | CHECK(needsResolveReferences() && mElementType->needsResolveReferences()); |
| 308 | |
| 309 | const std::string nameDeref = name + (nameIsPointer ? "->" : "."); |
| 310 | |
Yifan Hong | 3b320f8 | 2016-11-01 15:15:54 -0700 | [diff] [blame] | 311 | std::string baseType = mElementType->getCppStackType(); |
Yifan Hong | bf459bc | 2016-08-23 16:50:37 -0700 | [diff] [blame] | 312 | |
| 313 | std::string iteratorName = "_hidl_index_" + std::to_string(depth); |
| 314 | |
| 315 | out << "for (size_t " |
| 316 | << iteratorName |
| 317 | << " = 0; " |
| 318 | << iteratorName |
| 319 | << " < " |
| 320 | << dimension() |
| 321 | << "; ++" |
| 322 | << iteratorName |
| 323 | << ") {\n"; |
| 324 | |
| 325 | out.indent(); |
| 326 | |
| 327 | mElementType->emitResolveReferencesEmbedded( |
| 328 | out, |
| 329 | depth + 1, |
| 330 | nameDeref + "data()[" + iteratorName + "]", |
| 331 | sanitizedName + "_indexed", |
| 332 | false /* nameIsPointer */, |
| 333 | parcelObj, |
| 334 | parcelObjIsPointer, |
| 335 | isReader, |
| 336 | mode, |
| 337 | parentName, |
| 338 | offsetText + " + " + iteratorName + " * sizeof(" |
| 339 | + baseType |
| 340 | + ")"); |
| 341 | |
| 342 | out.unindent(); |
| 343 | |
| 344 | out << "}\n\n"; |
| 345 | } |
| 346 | |
Yifan Hong | e45b530 | 2017-02-22 10:49:07 -0800 | [diff] [blame] | 347 | void ArrayType::emitJavaDump( |
| 348 | Formatter &out, |
| 349 | const std::string &streamName, |
| 350 | const std::string &name) const { |
| 351 | out << streamName << ".append(java.util.Arrays." |
| 352 | << (countDimensions() > 1 ? "deepToString" : "toString") |
| 353 | << "(" |
Nirav Atre | 66842a9 | 2018-06-28 18:14:13 -0700 | [diff] [blame] | 354 | << name |
| 355 | << "));\n"; |
Yifan Hong | e45b530 | 2017-02-22 10:49:07 -0800 | [diff] [blame] | 356 | } |
| 357 | |
| 358 | |
Andreas Huber | 881227d | 2016-08-02 14:20:21 -0700 | [diff] [blame] | 359 | bool ArrayType::needsEmbeddedReadWrite() const { |
| 360 | return mElementType->needsEmbeddedReadWrite(); |
| 361 | } |
| 362 | |
Timur Iskhakov | 5dc72fe | 2017-09-07 23:13:44 -0700 | [diff] [blame] | 363 | bool ArrayType::deepNeedsResolveReferences(std::unordered_set<const Type*>* visited) const { |
| 364 | if (mElementType->needsResolveReferences(visited)) { |
| 365 | return true; |
| 366 | } |
| 367 | return Type::deepNeedsResolveReferences(visited); |
Yifan Hong | bf459bc | 2016-08-23 16:50:37 -0700 | [diff] [blame] | 368 | } |
| 369 | |
Andreas Huber | f03332a | 2016-09-22 15:35:43 -0700 | [diff] [blame] | 370 | bool ArrayType::resultNeedsDeref() const { |
| 371 | return true; |
| 372 | } |
| 373 | |
Andreas Huber | 2831d51 | 2016-08-15 09:33:47 -0700 | [diff] [blame] | 374 | void ArrayType::emitJavaReaderWriter( |
| 375 | Formatter &out, |
| 376 | const std::string &parcelObj, |
| 377 | const std::string &argName, |
| 378 | bool isReader) const { |
Martijn Coenen | b2a861c | 2017-04-18 15:54:25 -0700 | [diff] [blame] | 379 | size_t align, size; |
| 380 | getAlignmentAndSize(&align, &size); |
| 381 | |
Andreas Huber | 709b62d | 2016-09-19 11:21:18 -0700 | [diff] [blame] | 382 | if (isReader) { |
Andreas Huber | 709b62d | 2016-09-19 11:21:18 -0700 | [diff] [blame] | 383 | out << "new " |
Yifan Hong | 4ed1347 | 2016-11-02 10:44:11 -0700 | [diff] [blame] | 384 | << getJavaType(true /* forInitializer */) |
Andreas Huber | 709b62d | 2016-09-19 11:21:18 -0700 | [diff] [blame] | 385 | << ";\n"; |
Andreas Huber | f630bc8 | 2016-09-09 14:52:25 -0700 | [diff] [blame] | 386 | } |
| 387 | |
Andreas Huber | 709b62d | 2016-09-19 11:21:18 -0700 | [diff] [blame] | 388 | out << "{\n"; |
| 389 | out.indent(); |
| 390 | |
Yifan Hong | 1af7353 | 2016-11-09 14:32:58 -0800 | [diff] [blame] | 391 | out << "android.os.HwBlob _hidl_blob = "; |
Andreas Huber | 709b62d | 2016-09-19 11:21:18 -0700 | [diff] [blame] | 392 | |
| 393 | if (isReader) { |
| 394 | out << parcelObj |
Martijn Coenen | b2a861c | 2017-04-18 15:54:25 -0700 | [diff] [blame] | 395 | << ".readBuffer(" |
| 396 | << size |
| 397 | << " /* size */);\n"; |
Andreas Huber | 709b62d | 2016-09-19 11:21:18 -0700 | [diff] [blame] | 398 | } else { |
Yifan Hong | 1af7353 | 2016-11-09 14:32:58 -0800 | [diff] [blame] | 399 | out << "new android.os.HwBlob(" |
Andreas Huber | 709b62d | 2016-09-19 11:21:18 -0700 | [diff] [blame] | 400 | << size |
| 401 | << " /* size */);\n"; |
| 402 | } |
| 403 | |
| 404 | emitJavaFieldReaderWriter( |
Andreas Huber | 2831d51 | 2016-08-15 09:33:47 -0700 | [diff] [blame] | 405 | out, |
Andreas Huber | 709b62d | 2016-09-19 11:21:18 -0700 | [diff] [blame] | 406 | 0 /* depth */, |
Andreas Huber | 2831d51 | 2016-08-15 09:33:47 -0700 | [diff] [blame] | 407 | parcelObj, |
Andreas Huber | 709b62d | 2016-09-19 11:21:18 -0700 | [diff] [blame] | 408 | "_hidl_blob", |
Andreas Huber | 2831d51 | 2016-08-15 09:33:47 -0700 | [diff] [blame] | 409 | argName, |
Andreas Huber | 709b62d | 2016-09-19 11:21:18 -0700 | [diff] [blame] | 410 | "0 /* offset */", |
| 411 | isReader); |
| 412 | |
| 413 | if (!isReader) { |
| 414 | out << parcelObj << ".writeBuffer(_hidl_blob);\n"; |
| 415 | } |
| 416 | |
| 417 | out.unindent(); |
| 418 | out << "}\n"; |
Andreas Huber | 2831d51 | 2016-08-15 09:33:47 -0700 | [diff] [blame] | 419 | } |
| 420 | |
Andreas Huber | 85eabdb | 2016-08-25 11:24:49 -0700 | [diff] [blame] | 421 | void ArrayType::emitJavaFieldInitializer( |
| 422 | Formatter &out, const std::string &fieldName) const { |
Nirav Atre | 66842a9 | 2018-06-28 18:14:13 -0700 | [diff] [blame] | 423 | const std::string typeName = getJavaType(false /* forInitializer */); |
Nirav Atre | 1d56562 | 2018-07-13 15:41:21 -0700 | [diff] [blame] | 424 | const std::string fieldDeclaration = typeName + " " + fieldName; |
Andreas Huber | 4c865b7 | 2016-09-14 15:26:27 -0700 | [diff] [blame] | 425 | |
Nirav Atre | 66842a9 | 2018-06-28 18:14:13 -0700 | [diff] [blame] | 426 | emitJavaFieldDefaultInitialValue(out, fieldDeclaration); |
| 427 | } |
| 428 | |
| 429 | void ArrayType::emitJavaFieldDefaultInitialValue( |
| 430 | Formatter &out, const std::string &declaredFieldName) const { |
| 431 | out << declaredFieldName |
Andreas Huber | 85eabdb | 2016-08-25 11:24:49 -0700 | [diff] [blame] | 432 | << " = new " |
Nirav Atre | 66842a9 | 2018-06-28 18:14:13 -0700 | [diff] [blame] | 433 | << getJavaType(true /* forInitializer */) |
Andreas Huber | 4c865b7 | 2016-09-14 15:26:27 -0700 | [diff] [blame] | 434 | << ";\n"; |
Andreas Huber | 85eabdb | 2016-08-25 11:24:49 -0700 | [diff] [blame] | 435 | } |
| 436 | |
| 437 | void ArrayType::emitJavaFieldReaderWriter( |
| 438 | Formatter &out, |
Andreas Huber | 4c865b7 | 2016-09-14 15:26:27 -0700 | [diff] [blame] | 439 | size_t depth, |
Andreas Huber | 709b62d | 2016-09-19 11:21:18 -0700 | [diff] [blame] | 440 | const std::string &parcelName, |
Andreas Huber | 85eabdb | 2016-08-25 11:24:49 -0700 | [diff] [blame] | 441 | const std::string &blobName, |
| 442 | const std::string &fieldName, |
| 443 | const std::string &offset, |
| 444 | bool isReader) const { |
Andreas Huber | 90e8fc2 | 2016-09-21 16:36:15 -0700 | [diff] [blame] | 445 | out << "{\n"; |
| 446 | out.indent(); |
| 447 | |
Andreas Huber | 709b62d | 2016-09-19 11:21:18 -0700 | [diff] [blame] | 448 | std::string offsetName = "_hidl_array_offset_" + std::to_string(depth); |
| 449 | out << "long " << offsetName << " = " << offset << ";\n"; |
Andreas Huber | 4c865b7 | 2016-09-14 15:26:27 -0700 | [diff] [blame] | 450 | |
Andreas Huber | a23f1ae | 2017-10-31 11:50:18 -0700 | [diff] [blame] | 451 | const bool isPrimitiveArray = mElementType->isScalar(); |
| 452 | |
| 453 | /* If the element type corresponds to a Java primitive type we can optimize |
| 454 | the innermost loop by copying a linear range of memory instead of doing |
| 455 | a per-element copy. As a result the outer nested loop does not include |
| 456 | the final dimension. */ |
| 457 | const size_t loopDimensions = mSizes.size() - (isPrimitiveArray ? 1 : 0); |
| 458 | |
Andreas Huber | 709b62d | 2016-09-19 11:21:18 -0700 | [diff] [blame] | 459 | std::string indexString; |
Andreas Huber | a23f1ae | 2017-10-31 11:50:18 -0700 | [diff] [blame] | 460 | for (size_t dim = 0; dim < loopDimensions; ++dim) { |
Andreas Huber | 709b62d | 2016-09-19 11:21:18 -0700 | [diff] [blame] | 461 | std::string iteratorName = |
| 462 | "_hidl_index_" + std::to_string(depth) + "_" + std::to_string(dim); |
Andreas Huber | 85eabdb | 2016-08-25 11:24:49 -0700 | [diff] [blame] | 463 | |
Andreas Huber | 709b62d | 2016-09-19 11:21:18 -0700 | [diff] [blame] | 464 | out << "for (int " |
| 465 | << iteratorName |
| 466 | << " = 0; " |
| 467 | << iteratorName |
| 468 | << " < " |
Yifan Hong | 5706a43 | 2016-11-02 09:44:18 -0700 | [diff] [blame] | 469 | << mSizes[dim]->javaValue() |
Andreas Huber | 709b62d | 2016-09-19 11:21:18 -0700 | [diff] [blame] | 470 | << "; ++" |
| 471 | << iteratorName |
| 472 | << ") {\n"; |
Andreas Huber | 85eabdb | 2016-08-25 11:24:49 -0700 | [diff] [blame] | 473 | |
Andreas Huber | 709b62d | 2016-09-19 11:21:18 -0700 | [diff] [blame] | 474 | out.indent(); |
| 475 | |
| 476 | indexString += "[" + iteratorName + "]"; |
| 477 | } |
| 478 | |
Nirav Atre | 66842a9 | 2018-06-28 18:14:13 -0700 | [diff] [blame] | 479 | const bool isIndexed = (loopDimensions > 0); |
| 480 | const std::string fieldNameWithCast = isIndexed |
| 481 | ? "(" + getJavaTypeCast(fieldName) + ")" + indexString |
| 482 | : getJavaTypeCast(fieldName); |
Andreas Huber | 709b62d | 2016-09-19 11:21:18 -0700 | [diff] [blame] | 483 | |
Nirav Atre | 66842a9 | 2018-06-28 18:14:13 -0700 | [diff] [blame] | 484 | if (isReader && mElementType->isCompoundType()) { |
| 485 | mElementType->emitJavaFieldDefaultInitialValue(out, fieldNameWithCast); |
Andreas Huber | 709b62d | 2016-09-19 11:21:18 -0700 | [diff] [blame] | 486 | } |
Andreas Huber | 85eabdb | 2016-08-25 11:24:49 -0700 | [diff] [blame] | 487 | |
Andreas Huber | a23f1ae | 2017-10-31 11:50:18 -0700 | [diff] [blame] | 488 | if (!isPrimitiveArray) { |
| 489 | mElementType->emitJavaFieldReaderWriter( |
| 490 | out, |
| 491 | depth + 1, |
| 492 | parcelName, |
| 493 | blobName, |
Nirav Atre | 66842a9 | 2018-06-28 18:14:13 -0700 | [diff] [blame] | 494 | fieldNameWithCast, |
Andreas Huber | a23f1ae | 2017-10-31 11:50:18 -0700 | [diff] [blame] | 495 | offsetName, |
| 496 | isReader); |
Andreas Huber | 85eabdb | 2016-08-25 11:24:49 -0700 | [diff] [blame] | 497 | |
Andreas Huber | a23f1ae | 2017-10-31 11:50:18 -0700 | [diff] [blame] | 498 | size_t elementAlign, elementSize; |
| 499 | mElementType->getAlignmentAndSize(&elementAlign, &elementSize); |
Andreas Huber | 709b62d | 2016-09-19 11:21:18 -0700 | [diff] [blame] | 500 | |
Andreas Huber | a23f1ae | 2017-10-31 11:50:18 -0700 | [diff] [blame] | 501 | out << offsetName << " += " << std::to_string(elementSize) << ";\n"; |
| 502 | } else { |
| 503 | if (isReader) { |
| 504 | out << blobName |
| 505 | << ".copyTo" |
| 506 | << mElementType->getJavaSuffix() |
| 507 | << "Array(" |
| 508 | << offsetName |
| 509 | << ", " |
Nirav Atre | 66842a9 | 2018-06-28 18:14:13 -0700 | [diff] [blame] | 510 | << fieldNameWithCast |
Andreas Huber | a23f1ae | 2017-10-31 11:50:18 -0700 | [diff] [blame] | 511 | << ", " |
| 512 | << mSizes.back()->javaValue() |
| 513 | << " /* size */);\n"; |
| 514 | } else { |
Andreas Huber | 2dafb92 | 2018-08-03 13:54:41 -0700 | [diff] [blame] | 515 | std::string elemName = "_hidl_array_item_" + std::to_string(depth); |
| 516 | |
| 517 | out << mElementType->getJavaType(false /* forInitializer */) |
| 518 | << "[] " |
| 519 | << elemName |
| 520 | << " = " |
| 521 | << fieldNameWithCast |
| 522 | << ";\n\n"; |
| 523 | |
| 524 | out << "if (" |
| 525 | << elemName |
| 526 | << " == null || " |
| 527 | << elemName |
| 528 | << ".length != " |
| 529 | << mSizes.back()->javaValue() |
| 530 | << ") {\n"; |
| 531 | |
| 532 | out.indent(); |
| 533 | |
| 534 | out << "throw new IllegalArgumentException(" |
| 535 | << "\"Array element is not of the expected length\");\n"; |
| 536 | |
| 537 | out.unindent(); |
| 538 | out << "}\n\n"; |
| 539 | |
Andreas Huber | a23f1ae | 2017-10-31 11:50:18 -0700 | [diff] [blame] | 540 | out << blobName |
| 541 | << ".put" |
| 542 | << mElementType->getJavaSuffix() |
| 543 | << "Array(" |
| 544 | << offsetName |
| 545 | << ", " |
Andreas Huber | 2dafb92 | 2018-08-03 13:54:41 -0700 | [diff] [blame] | 546 | << elemName |
Andreas Huber | a23f1ae | 2017-10-31 11:50:18 -0700 | [diff] [blame] | 547 | << ");\n"; |
| 548 | } |
Andreas Huber | 709b62d | 2016-09-19 11:21:18 -0700 | [diff] [blame] | 549 | |
Andreas Huber | a23f1ae | 2017-10-31 11:50:18 -0700 | [diff] [blame] | 550 | size_t elementAlign, elementSize; |
| 551 | mElementType->getAlignmentAndSize(&elementAlign, &elementSize); |
| 552 | |
| 553 | out << offsetName |
| 554 | << " += " |
| 555 | << mSizes.back()->javaValue() |
| 556 | << " * " |
| 557 | << elementSize |
| 558 | << ";\n"; |
| 559 | } |
| 560 | |
| 561 | for (size_t dim = 0; dim < loopDimensions; ++dim) { |
Andreas Huber | 709b62d | 2016-09-19 11:21:18 -0700 | [diff] [blame] | 562 | out.unindent(); |
| 563 | out << "}\n"; |
| 564 | } |
Andreas Huber | 90e8fc2 | 2016-09-21 16:36:15 -0700 | [diff] [blame] | 565 | |
| 566 | out.unindent(); |
| 567 | out << "}\n"; |
Andreas Huber | 85eabdb | 2016-08-25 11:24:49 -0700 | [diff] [blame] | 568 | } |
| 569 | |
Steven Moreland | 6ec9eb9 | 2018-02-16 14:21:49 -0800 | [diff] [blame] | 570 | void ArrayType::emitVtsTypeDeclarations(Formatter& out) const { |
Zhuoyao Zhang | c5ea9f5 | 2016-10-06 15:05:39 -0700 | [diff] [blame] | 571 | out << "type: " << getVtsType() << "\n"; |
Steven Moreland | f21962d | 2018-08-09 12:44:40 -0700 | [diff] [blame] | 572 | out << "vector_size: " << mSizes[0]->rawValue() << "\n"; |
Zhuoyao Zhang | c5ea9f5 | 2016-10-06 15:05:39 -0700 | [diff] [blame] | 573 | out << "vector_value: {\n"; |
Zhuoyao Zhang | 5158db4 | 2016-08-10 10:25:20 -0700 | [diff] [blame] | 574 | out.indent(); |
Zhuoyao Zhang | eb355ee | 2016-10-20 16:00:40 -0700 | [diff] [blame] | 575 | // Simple array case. |
| 576 | if (mSizes.size() == 1) { |
Steven Moreland | 6ec9eb9 | 2018-02-16 14:21:49 -0800 | [diff] [blame] | 577 | mElementType->emitVtsTypeDeclarations(out); |
Zhuoyao Zhang | eb355ee | 2016-10-20 16:00:40 -0700 | [diff] [blame] | 578 | } else { // Multi-dimension array case. |
| 579 | for (size_t index = 1; index < mSizes.size(); index++) { |
| 580 | out << "type: " << getVtsType() << "\n"; |
Steven Moreland | f21962d | 2018-08-09 12:44:40 -0700 | [diff] [blame] | 581 | out << "vector_size: " << mSizes[index]->rawValue() << "\n"; |
Zhuoyao Zhang | eb355ee | 2016-10-20 16:00:40 -0700 | [diff] [blame] | 582 | out << "vector_value: {\n"; |
| 583 | out.indent(); |
Zhuoyao Zhang | eb355ee | 2016-10-20 16:00:40 -0700 | [diff] [blame] | 584 | if (index == mSizes.size() - 1) { |
Steven Moreland | 6ec9eb9 | 2018-02-16 14:21:49 -0800 | [diff] [blame] | 585 | mElementType->emitVtsTypeDeclarations(out); |
Zhuoyao Zhang | eb355ee | 2016-10-20 16:00:40 -0700 | [diff] [blame] | 586 | } |
| 587 | } |
Zhuoyao Zhang | 5158db4 | 2016-08-10 10:25:20 -0700 | [diff] [blame] | 588 | } |
Zhuoyao Zhang | eb355ee | 2016-10-20 16:00:40 -0700 | [diff] [blame] | 589 | for (size_t index = 0; index < mSizes.size(); index++) { |
| 590 | out.unindent(); |
| 591 | out << "}\n"; |
| 592 | } |
Zhuoyao Zhang | 5158db4 | 2016-08-10 10:25:20 -0700 | [diff] [blame] | 593 | } |
| 594 | |
Timur Iskhakov | 5dc72fe | 2017-09-07 23:13:44 -0700 | [diff] [blame] | 595 | bool ArrayType::deepIsJavaCompatible(std::unordered_set<const Type*>* visited) const { |
| 596 | if (!mElementType->isJavaCompatible(visited)) { |
| 597 | return false; |
| 598 | } |
| 599 | return Type::deepIsJavaCompatible(visited); |
Andreas Huber | 70a59e1 | 2016-08-16 12:57:01 -0700 | [diff] [blame] | 600 | } |
| 601 | |
Timur Iskhakov | 5dc72fe | 2017-09-07 23:13:44 -0700 | [diff] [blame] | 602 | bool ArrayType::deepContainsPointer(std::unordered_set<const Type*>* visited) const { |
| 603 | if (mElementType->containsPointer(visited)) { |
| 604 | return true; |
| 605 | } |
| 606 | return Type::deepContainsPointer(visited); |
Andreas Huber | 60d3b22 | 2017-03-30 09:10:56 -0700 | [diff] [blame] | 607 | } |
| 608 | |
Andreas Huber | 85eabdb | 2016-08-25 11:24:49 -0700 | [diff] [blame] | 609 | void ArrayType::getAlignmentAndSize(size_t *align, size_t *size) const { |
| 610 | mElementType->getAlignmentAndSize(align, size); |
| 611 | |
Andreas Huber | 709b62d | 2016-09-19 11:21:18 -0700 | [diff] [blame] | 612 | for (auto sizeInDimension : mSizes) { |
Yifan Hong | 5706a43 | 2016-11-02 09:44:18 -0700 | [diff] [blame] | 613 | (*size) *= sizeInDimension->castSizeT(); |
Andreas Huber | 709b62d | 2016-09-19 11:21:18 -0700 | [diff] [blame] | 614 | } |
Andreas Huber | 85eabdb | 2016-08-25 11:24:49 -0700 | [diff] [blame] | 615 | } |
| 616 | |
Yifan Hong | bf459bc | 2016-08-23 16:50:37 -0700 | [diff] [blame] | 617 | size_t ArrayType::dimension() const { |
| 618 | size_t numArrayElements = 1; |
| 619 | for (auto size : mSizes) { |
Yifan Hong | 5706a43 | 2016-11-02 09:44:18 -0700 | [diff] [blame] | 620 | numArrayElements *= size->castSizeT(); |
Yifan Hong | bf459bc | 2016-08-23 16:50:37 -0700 | [diff] [blame] | 621 | } |
| 622 | return numArrayElements; |
| 623 | } |
| 624 | |
Andreas Huber | c9410c7 | 2016-07-28 12:18:40 -0700 | [diff] [blame] | 625 | } // namespace android |
| 626 | |