1c383a500aa59423264811be3874461bf8adbfea0Zonr Chang/* 2d5a84f6d49d64738e4bb7c9dea7242e48acad959Stephen Hines * Copyright 2010-2012, The Android Open Source Project 3c383a500aa59423264811be3874461bf8adbfea0Zonr Chang * 4c383a500aa59423264811be3874461bf8adbfea0Zonr Chang * Licensed under the Apache License, Version 2.0 (the "License"); 5c383a500aa59423264811be3874461bf8adbfea0Zonr Chang * you may not use this file except in compliance with the License. 6c383a500aa59423264811be3874461bf8adbfea0Zonr Chang * You may obtain a copy of the License at 7c383a500aa59423264811be3874461bf8adbfea0Zonr Chang * 8c383a500aa59423264811be3874461bf8adbfea0Zonr Chang * http://www.apache.org/licenses/LICENSE-2.0 9c383a500aa59423264811be3874461bf8adbfea0Zonr Chang * 10c383a500aa59423264811be3874461bf8adbfea0Zonr Chang * Unless required by applicable law or agreed to in writing, software 11c383a500aa59423264811be3874461bf8adbfea0Zonr Chang * distributed under the License is distributed on an "AS IS" BASIS, 12c383a500aa59423264811be3874461bf8adbfea0Zonr Chang * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. 13c383a500aa59423264811be3874461bf8adbfea0Zonr Chang * See the License for the specific language governing permissions and 14c383a500aa59423264811be3874461bf8adbfea0Zonr Chang * limitations under the License. 15c383a500aa59423264811be3874461bf8adbfea0Zonr Chang */ 16c383a500aa59423264811be3874461bf8adbfea0Zonr Chang 176315f76e3cc6ff2d012d1183a0b030d4ff0dc808zonr#include "slang_rs_export_type.h" 186315f76e3cc6ff2d012d1183a0b030d4ff0dc808zonr 19e639eb5caa2c386b4a60659a4929e8a6141a2cbeStephen Hines#include <list> 206315f76e3cc6ff2d012d1183a0b030d4ff0dc808zonr#include <vector> 21462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 2243730fe3c839af391efe6bdf56b0479860121924Shih-wei Liao#include "clang/AST/ASTContext.h" 2323c4358f12bd9d0ba7166eceebd683db95a41b3fStephen Hines#include "clang/AST/Attr.h" 24e639eb5caa2c386b4a60659a4929e8a6141a2cbeStephen Hines#include "clang/AST/RecordLayout.h" 25462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 269ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao#include "llvm/ADT/StringExtras.h" 2723c4358f12bd9d0ba7166eceebd683db95a41b3fStephen Hines#include "llvm/IR/DataLayout.h" 2823c4358f12bd9d0ba7166eceebd683db95a41b3fStephen Hines#include "llvm/IR/DerivedTypes.h" 2923c4358f12bd9d0ba7166eceebd683db95a41b3fStephen Hines#include "llvm/IR/Type.h" 300a3f20ec28ed6f5ae1ed5d61f6b6e3e577f7f5d1Shih-wei Liao 316e6578a360497f78a181e63d7783422a9c9bfb15Stephen Hines#include "slang_assert.h" 326315f76e3cc6ff2d012d1183a0b030d4ff0dc808zonr#include "slang_rs_context.h" 336315f76e3cc6ff2d012d1183a0b030d4ff0dc808zonr#include "slang_rs_export_element.h" 34d5a84f6d49d64738e4bb7c9dea7242e48acad959Stephen Hines#include "slang_version.h" 35462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 36641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang#define CHECK_PARENT_EQUALITY(ParentClass, E) \ 37ef1707027a18ed0d91a3854476db71024ae0e6daI-Jui (Ray) Sung if (!ParentClass::matchODR(E, true)) \ 38641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang return false; 39641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang 40e639eb5caa2c386b4a60659a4929e8a6141a2cbeStephen Hinesnamespace slang { 41462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 42e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hinesnamespace { 43462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 447682b663581dd8f67b422f6f2f31692ab2f870e3Matt Wala// For the data types we support: 457682b663581dd8f67b422f6f2f31692ab2f870e3Matt Wala// Category - data type category 46277fd5e6545c8ba1272027ee6e6bc55a96316dc0David Gross// SName - "common name" in script (C99) 477682b663581dd8f67b422f6f2f31692ab2f870e3Matt Wala// RsType - element name in RenderScript 487682b663581dd8f67b422f6f2f31692ab2f870e3Matt Wala// RsShortType - short element name in RenderScript 497682b663581dd8f67b422f6f2f31692ab2f870e3Matt Wala// SizeInBits - size in bits 507682b663581dd8f67b422f6f2f31692ab2f870e3Matt Wala// CName - reflected C name 517682b663581dd8f67b422f6f2f31692ab2f870e3Matt Wala// JavaName - reflected Java name 527682b663581dd8f67b422f6f2f31692ab2f870e3Matt Wala// JavaArrayElementName - reflected name in Java arrays 537682b663581dd8f67b422f6f2f31692ab2f870e3Matt Wala// CVecName - prefix for C vector types 547682b663581dd8f67b422f6f2f31692ab2f870e3Matt Wala// JavaVecName - prefix for Java vector type 557682b663581dd8f67b422f6f2f31692ab2f870e3Matt Wala// JavaPromotion - unsigned type undergoing Java promotion 567682b663581dd8f67b422f6f2f31692ab2f870e3Matt Wala// 577682b663581dd8f67b422f6f2f31692ab2f870e3Matt Wala// IMPORTANT: The data types in this table should be at the same index as 587682b663581dd8f67b422f6f2f31692ab2f870e3Matt Wala// specified by the corresponding DataType enum. 597682b663581dd8f67b422f6f2f31692ab2f870e3Matt Wala// 607682b663581dd8f67b422f6f2f31692ab2f870e3Matt Wala// TODO: Pull this information out into a separate file. 61fdd1ba13a69501a1b91fdc9be31413215d467497Stephen Hinesstatic RSReflectionType gReflectionTypes[] = { 627682b663581dd8f67b422f6f2f31692ab2f870e3Matt Wala#define _ nullptr 63277fd5e6545c8ba1272027ee6e6bc55a96316dc0David Gross // Category SName RsType RsST CName JN JAEN CVN JVN JP 642d7f3f95947889e1ea48b0e925c5929af4fbf6b4David Gross{PrimitiveDataType, "half", "FLOAT_16", "F16", 16, "half", "short", "short", "Half", "Short", false}, 65277fd5e6545c8ba1272027ee6e6bc55a96316dc0David Gross{PrimitiveDataType, "float", "FLOAT_32", "F32", 32, "float", "float", "float", "Float", "Float", false}, 66277fd5e6545c8ba1272027ee6e6bc55a96316dc0David Gross{PrimitiveDataType, "double", "FLOAT_64", "F64", 64, "double", "double", "double", "Double", "Double", false}, 67277fd5e6545c8ba1272027ee6e6bc55a96316dc0David Gross{PrimitiveDataType, "char", "SIGNED_8", "I8", 8, "int8_t", "byte", "byte", "Byte", "Byte", false}, 68277fd5e6545c8ba1272027ee6e6bc55a96316dc0David Gross{PrimitiveDataType, "short", "SIGNED_16", "I16", 16, "int16_t", "short", "short", "Short", "Short", false}, 69277fd5e6545c8ba1272027ee6e6bc55a96316dc0David Gross{PrimitiveDataType, "int", "SIGNED_32", "I32", 32, "int32_t", "int", "int", "Int", "Int", false}, 70277fd5e6545c8ba1272027ee6e6bc55a96316dc0David Gross{PrimitiveDataType, "long", "SIGNED_64", "I64", 64, "int64_t", "long", "long", "Long", "Long", false}, 71277fd5e6545c8ba1272027ee6e6bc55a96316dc0David Gross{PrimitiveDataType, "uchar", "UNSIGNED_8", "U8", 8, "uint8_t", "short", "byte", "UByte", "Short", true}, 72277fd5e6545c8ba1272027ee6e6bc55a96316dc0David Gross{PrimitiveDataType, "ushort", "UNSIGNED_16", "U16", 16, "uint16_t", "int", "short", "UShort", "Int", true}, 73277fd5e6545c8ba1272027ee6e6bc55a96316dc0David Gross{PrimitiveDataType, "uint", "UNSIGNED_32", "U32", 32, "uint32_t", "long", "int", "UInt", "Long", true}, 74277fd5e6545c8ba1272027ee6e6bc55a96316dc0David Gross{PrimitiveDataType, "ulong", "UNSIGNED_64", "U64", 64, "uint64_t", "long", "long", "ULong", "Long", false}, 75277fd5e6545c8ba1272027ee6e6bc55a96316dc0David Gross{PrimitiveDataType, "bool", "BOOLEAN", "BOOLEAN", 8, "bool", "boolean", "byte", _, _, false}, 76277fd5e6545c8ba1272027ee6e6bc55a96316dc0David Gross{PrimitiveDataType, _, "UNSIGNED_5_6_5", _, 16, _, _, _, _, _, false}, 77277fd5e6545c8ba1272027ee6e6bc55a96316dc0David Gross{PrimitiveDataType, _, "UNSIGNED_5_5_5_1", _, 16, _, _, _, _, _, false}, 78277fd5e6545c8ba1272027ee6e6bc55a96316dc0David Gross{PrimitiveDataType, _, "UNSIGNED_4_4_4_4", _, 16, _, _, _, _, _, false}, 797682b663581dd8f67b422f6f2f31692ab2f870e3Matt Wala 80277fd5e6545c8ba1272027ee6e6bc55a96316dc0David Gross{MatrixDataType, "rs_matrix2x2", "MATRIX_2X2", _, 4*32, "rs_matrix2x2", "Matrix2f", _, _, _, false}, 81277fd5e6545c8ba1272027ee6e6bc55a96316dc0David Gross{MatrixDataType, "rs_matrix3x3", "MATRIX_3X3", _, 9*32, "rs_matrix3x3", "Matrix3f", _, _, _, false}, 82277fd5e6545c8ba1272027ee6e6bc55a96316dc0David Gross{MatrixDataType, "rs_matrix4x4", "MATRIX_4X4", _, 16*32, "rs_matrix4x4", "Matrix4f", _, _, _, false}, 837682b663581dd8f67b422f6f2f31692ab2f870e3Matt Wala 847682b663581dd8f67b422f6f2f31692ab2f870e3Matt Wala// RS object types are 32 bits in 32-bit RS, but 256 bits in 64-bit RS. 85657d20afa621219c1eed72178d1325fd4409f458David Gross// This is handled specially by the GetElementSizeInBits() method. 86d80e58b259c2febc4907aed4aca9d88d43bdd1a1David Gross{ObjectDataType, "rs_element", "RS_ELEMENT", "ELEMENT", 32, "Element", "Element", _, _, _, false}, 87d80e58b259c2febc4907aed4aca9d88d43bdd1a1David Gross{ObjectDataType, "rs_type", "RS_TYPE", "TYPE", 32, "Type", "Type", _, _, _, false}, 88d80e58b259c2febc4907aed4aca9d88d43bdd1a1David Gross{ObjectDataType, "rs_allocation", "RS_ALLOCATION", "ALLOCATION", 32, "Allocation", "Allocation", _, _, _, false}, 89d80e58b259c2febc4907aed4aca9d88d43bdd1a1David Gross{ObjectDataType, "rs_sampler", "RS_SAMPLER", "SAMPLER", 32, "Sampler", "Sampler", _, _, _, false}, 90d80e58b259c2febc4907aed4aca9d88d43bdd1a1David Gross{ObjectDataType, "rs_script", "RS_SCRIPT", "SCRIPT", 32, "Script", "Script", _, _, _, false}, 91d80e58b259c2febc4907aed4aca9d88d43bdd1a1David Gross{ObjectDataType, "rs_mesh", "RS_MESH", "MESH", 32, "Mesh", "Mesh", _, _, _, false}, 92d80e58b259c2febc4907aed4aca9d88d43bdd1a1David Gross{ObjectDataType, "rs_path", "RS_PATH", "PATH", 32, "Path", "Path", _, _, _, false}, 93d80e58b259c2febc4907aed4aca9d88d43bdd1a1David Gross{ObjectDataType, "rs_program_fragment", "RS_PROGRAM_FRAGMENT", "PROGRAM_FRAGMENT", 32, "ProgramFragment", "ProgramFragment", _, _, _, false}, 94d80e58b259c2febc4907aed4aca9d88d43bdd1a1David Gross{ObjectDataType, "rs_program_vertex", "RS_PROGRAM_VERTEX", "PROGRAM_VERTEX", 32, "ProgramVertex", "ProgramVertex", _, _, _, false}, 95d80e58b259c2febc4907aed4aca9d88d43bdd1a1David Gross{ObjectDataType, "rs_program_raster", "RS_PROGRAM_RASTER", "PROGRAM_RASTER", 32, "ProgramRaster", "ProgramRaster", _, _, _, false}, 96d80e58b259c2febc4907aed4aca9d88d43bdd1a1David Gross{ObjectDataType, "rs_program_store", "RS_PROGRAM_STORE", "PROGRAM_STORE", 32, "ProgramStore", "ProgramStore", _, _, _, false}, 97d80e58b259c2febc4907aed4aca9d88d43bdd1a1David Gross{ObjectDataType, "rs_font", "RS_FONT", "FONT", 32, "Font", "Font", _, _, _, false}, 987682b663581dd8f67b422f6f2f31692ab2f870e3Matt Wala#undef _ 99474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet}; 100474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet 101474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouilletconst int kMaxVectorSize = 4; 102474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet 103474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouilletstruct BuiltinInfo { 104474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet clang::BuiltinType::Kind builtinTypeKind; 105cec9b65aa890dea58e39951900ae13efb8d11703Jean-Luc Brouillet DataType type; 106474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet /* TODO If we return std::string instead of llvm::StringRef, we could build 107474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet * the name instead of duplicating the entries. 108474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet */ 109474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet const char *cname[kMaxVectorSize]; 110474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet}; 111474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet 112cec9b65aa890dea58e39951900ae13efb8d11703Jean-Luc Brouillet 113474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc BrouilletBuiltinInfo BuiltinInfoTable[] = { 114cec9b65aa890dea58e39951900ae13efb8d11703Jean-Luc Brouillet {clang::BuiltinType::Bool, DataTypeBoolean, 115474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet {"bool", "bool2", "bool3", "bool4"}}, 116cec9b65aa890dea58e39951900ae13efb8d11703Jean-Luc Brouillet {clang::BuiltinType::Char_U, DataTypeUnsigned8, 117474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet {"uchar", "uchar2", "uchar3", "uchar4"}}, 118cec9b65aa890dea58e39951900ae13efb8d11703Jean-Luc Brouillet {clang::BuiltinType::UChar, DataTypeUnsigned8, 119474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet {"uchar", "uchar2", "uchar3", "uchar4"}}, 120cec9b65aa890dea58e39951900ae13efb8d11703Jean-Luc Brouillet {clang::BuiltinType::Char16, DataTypeSigned16, 121474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet {"short", "short2", "short3", "short4"}}, 122cec9b65aa890dea58e39951900ae13efb8d11703Jean-Luc Brouillet {clang::BuiltinType::Char32, DataTypeSigned32, 123474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet {"int", "int2", "int3", "int4"}}, 124cec9b65aa890dea58e39951900ae13efb8d11703Jean-Luc Brouillet {clang::BuiltinType::UShort, DataTypeUnsigned16, 125474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet {"ushort", "ushort2", "ushort3", "ushort4"}}, 126cec9b65aa890dea58e39951900ae13efb8d11703Jean-Luc Brouillet {clang::BuiltinType::UInt, DataTypeUnsigned32, 127474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet {"uint", "uint2", "uint3", "uint4"}}, 128e46265d27df092fbd911075403ec04d9c7ef8de1Tim Murray {clang::BuiltinType::ULong, DataTypeUnsigned64, 129e46265d27df092fbd911075403ec04d9c7ef8de1Tim Murray {"ulong", "ulong2", "ulong3", "ulong4"}}, 130cec9b65aa890dea58e39951900ae13efb8d11703Jean-Luc Brouillet {clang::BuiltinType::ULongLong, DataTypeUnsigned64, 131474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet {"ulong", "ulong2", "ulong3", "ulong4"}}, 132474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet 133cec9b65aa890dea58e39951900ae13efb8d11703Jean-Luc Brouillet {clang::BuiltinType::Char_S, DataTypeSigned8, 134474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet {"char", "char2", "char3", "char4"}}, 135cec9b65aa890dea58e39951900ae13efb8d11703Jean-Luc Brouillet {clang::BuiltinType::SChar, DataTypeSigned8, 136474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet {"char", "char2", "char3", "char4"}}, 137cec9b65aa890dea58e39951900ae13efb8d11703Jean-Luc Brouillet {clang::BuiltinType::Short, DataTypeSigned16, 138474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet {"short", "short2", "short3", "short4"}}, 139cec9b65aa890dea58e39951900ae13efb8d11703Jean-Luc Brouillet {clang::BuiltinType::Int, DataTypeSigned32, 140474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet {"int", "int2", "int3", "int4"}}, 141cec9b65aa890dea58e39951900ae13efb8d11703Jean-Luc Brouillet {clang::BuiltinType::Long, DataTypeSigned64, 142474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet {"long", "long2", "long3", "long4"}}, 143cec9b65aa890dea58e39951900ae13efb8d11703Jean-Luc Brouillet {clang::BuiltinType::LongLong, DataTypeSigned64, 144474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet {"long", "long2", "long3", "long4"}}, 145e4dd17d7b2a292a600756da7680beecd78f74033Pirama Arumuga Nainar {clang::BuiltinType::Half, DataTypeFloat16, 146e4dd17d7b2a292a600756da7680beecd78f74033Pirama Arumuga Nainar {"half", "half2", "half3", "half4"}}, 147cec9b65aa890dea58e39951900ae13efb8d11703Jean-Luc Brouillet {clang::BuiltinType::Float, DataTypeFloat32, 148474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet {"float", "float2", "float3", "float4"}}, 149cec9b65aa890dea58e39951900ae13efb8d11703Jean-Luc Brouillet {clang::BuiltinType::Double, DataTypeFloat64, 150474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet {"double", "double2", "double3", "double4"}}, 151474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet}; 152474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouilletconst int BuiltinInfoTableCount = sizeof(BuiltinInfoTable) / sizeof(BuiltinInfoTable[0]); 153474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet 154474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouilletstruct NameAndPrimitiveType { 155474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet const char *name; 156cec9b65aa890dea58e39951900ae13efb8d11703Jean-Luc Brouillet DataType dataType; 157474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet}; 158474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet 159474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouilletstatic NameAndPrimitiveType MatrixAndObjectDataTypes[] = { 160cec9b65aa890dea58e39951900ae13efb8d11703Jean-Luc Brouillet {"rs_matrix2x2", DataTypeRSMatrix2x2}, 161cec9b65aa890dea58e39951900ae13efb8d11703Jean-Luc Brouillet {"rs_matrix3x3", DataTypeRSMatrix3x3}, 162cec9b65aa890dea58e39951900ae13efb8d11703Jean-Luc Brouillet {"rs_matrix4x4", DataTypeRSMatrix4x4}, 163cec9b65aa890dea58e39951900ae13efb8d11703Jean-Luc Brouillet {"rs_element", DataTypeRSElement}, 164cec9b65aa890dea58e39951900ae13efb8d11703Jean-Luc Brouillet {"rs_type", DataTypeRSType}, 165cec9b65aa890dea58e39951900ae13efb8d11703Jean-Luc Brouillet {"rs_allocation", DataTypeRSAllocation}, 166cec9b65aa890dea58e39951900ae13efb8d11703Jean-Luc Brouillet {"rs_sampler", DataTypeRSSampler}, 167cec9b65aa890dea58e39951900ae13efb8d11703Jean-Luc Brouillet {"rs_script", DataTypeRSScript}, 168cec9b65aa890dea58e39951900ae13efb8d11703Jean-Luc Brouillet {"rs_mesh", DataTypeRSMesh}, 169cec9b65aa890dea58e39951900ae13efb8d11703Jean-Luc Brouillet {"rs_path", DataTypeRSPath}, 170cec9b65aa890dea58e39951900ae13efb8d11703Jean-Luc Brouillet {"rs_program_fragment", DataTypeRSProgramFragment}, 171cec9b65aa890dea58e39951900ae13efb8d11703Jean-Luc Brouillet {"rs_program_vertex", DataTypeRSProgramVertex}, 172cec9b65aa890dea58e39951900ae13efb8d11703Jean-Luc Brouillet {"rs_program_raster", DataTypeRSProgramRaster}, 173cec9b65aa890dea58e39951900ae13efb8d11703Jean-Luc Brouillet {"rs_program_store", DataTypeRSProgramStore}, 174cec9b65aa890dea58e39951900ae13efb8d11703Jean-Luc Brouillet {"rs_font", DataTypeRSFont}, 175fdd1ba13a69501a1b91fdc9be31413215d467497Stephen Hines}; 176fdd1ba13a69501a1b91fdc9be31413215d467497Stephen Hines 177474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouilletconst int MatrixAndObjectDataTypesCount = 178474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet sizeof(MatrixAndObjectDataTypes) / sizeof(MatrixAndObjectDataTypes[0]); 179474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet 18024e79f69125cf87fcaa78c04510a831037203eebStephen Hinesstatic const clang::Type *TypeExportableHelper( 18124e79f69125cf87fcaa78c04510a831037203eebStephen Hines const clang::Type *T, 18224e79f69125cf87fcaa78c04510a831037203eebStephen Hines llvm::SmallPtrSet<const clang::Type*, 8>& SPS, 18348d893dc7794b3cfb74f35955ca763ee4170f9adStephen Hines slang::RSContext *Context, 18424e79f69125cf87fcaa78c04510a831037203eebStephen Hines const clang::VarDecl *VD, 18513fad85b3c99a37c17d8acfec72f46b8ee64e912Stephen Hines const clang::RecordDecl *TopLevelRecord, 18613fad85b3c99a37c17d8acfec72f46b8ee64e912Stephen Hines ExportKind EK); 18724e79f69125cf87fcaa78c04510a831037203eebStephen Hines 188ee4016d1247d3fbe50822de279d3da273d8aef4cTim Murraytemplate <unsigned N> 189d3f7527b105d21f1c69d3473eb88a762f2c3ab5aJean-Luc Brouilletstatic void ReportTypeError(slang::RSContext *Context, 19011274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines const clang::NamedDecl *ND, 19124e79f69125cf87fcaa78c04510a831037203eebStephen Hines const clang::RecordDecl *TopLevelRecord, 192ee4016d1247d3fbe50822de279d3da273d8aef4cTim Murray const char (&Message)[N], 193d5a84f6d49d64738e4bb7c9dea7242e48acad959Stephen Hines unsigned int TargetAPI = 0) { 19424e79f69125cf87fcaa78c04510a831037203eebStephen Hines // Attempt to use the type declaration first (if we have one). 19524e79f69125cf87fcaa78c04510a831037203eebStephen Hines // Fall back to the variable definition, if we are looking at something 19624e79f69125cf87fcaa78c04510a831037203eebStephen Hines // like an array declaration that can't be exported. 19724e79f69125cf87fcaa78c04510a831037203eebStephen Hines if (TopLevelRecord) { 198d3f7527b105d21f1c69d3473eb88a762f2c3ab5aJean-Luc Brouillet Context->ReportError(TopLevelRecord->getLocation(), Message) 199d3f7527b105d21f1c69d3473eb88a762f2c3ab5aJean-Luc Brouillet << TopLevelRecord->getName() << TargetAPI; 20011274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines } else if (ND) { 201d3f7527b105d21f1c69d3473eb88a762f2c3ab5aJean-Luc Brouillet Context->ReportError(ND->getLocation(), Message) << ND->getName() 202d3f7527b105d21f1c69d3473eb88a762f2c3ab5aJean-Luc Brouillet << TargetAPI; 20324e79f69125cf87fcaa78c04510a831037203eebStephen Hines } else { 2046e6578a360497f78a181e63d7783422a9c9bfb15Stephen Hines slangAssert(false && "Variables should be validated before exporting"); 20524e79f69125cf87fcaa78c04510a831037203eebStephen Hines } 20624e79f69125cf87fcaa78c04510a831037203eebStephen Hines} 20724e79f69125cf87fcaa78c04510a831037203eebStephen Hines 20824e79f69125cf87fcaa78c04510a831037203eebStephen Hinesstatic const clang::Type *ConstantArrayTypeExportableHelper( 20924e79f69125cf87fcaa78c04510a831037203eebStephen Hines const clang::ConstantArrayType *CAT, 21024e79f69125cf87fcaa78c04510a831037203eebStephen Hines llvm::SmallPtrSet<const clang::Type*, 8>& SPS, 21148d893dc7794b3cfb74f35955ca763ee4170f9adStephen Hines slang::RSContext *Context, 21224e79f69125cf87fcaa78c04510a831037203eebStephen Hines const clang::VarDecl *VD, 21313fad85b3c99a37c17d8acfec72f46b8ee64e912Stephen Hines const clang::RecordDecl *TopLevelRecord, 21413fad85b3c99a37c17d8acfec72f46b8ee64e912Stephen Hines ExportKind EK) { 21524e79f69125cf87fcaa78c04510a831037203eebStephen Hines // Check element type 216b095e05fef8f0230ab42eaed7a06c3b2d698189aJean-Luc Brouillet const clang::Type *ElementType = GetConstantArrayElementType(CAT); 21724e79f69125cf87fcaa78c04510a831037203eebStephen Hines if (ElementType->isArrayType()) { 218d3f7527b105d21f1c69d3473eb88a762f2c3ab5aJean-Luc Brouillet ReportTypeError(Context, VD, TopLevelRecord, 2199207a2e495c8363606861e4f034504ec5c153dabLogan Chien "multidimensional arrays cannot be exported: '%0'"); 2205abbe0e9ca2508260b627ffef2bf01e2554e8357Chris Wailes return nullptr; 22124e79f69125cf87fcaa78c04510a831037203eebStephen Hines } else if (ElementType->isExtVectorType()) { 22224e79f69125cf87fcaa78c04510a831037203eebStephen Hines const clang::ExtVectorType *EVT = 22324e79f69125cf87fcaa78c04510a831037203eebStephen Hines static_cast<const clang::ExtVectorType*>(ElementType); 22424e79f69125cf87fcaa78c04510a831037203eebStephen Hines unsigned numElements = EVT->getNumElements(); 22524e79f69125cf87fcaa78c04510a831037203eebStephen Hines 226b095e05fef8f0230ab42eaed7a06c3b2d698189aJean-Luc Brouillet const clang::Type *BaseElementType = GetExtVectorElementType(EVT); 22724e79f69125cf87fcaa78c04510a831037203eebStephen Hines if (!RSExportPrimitiveType::IsPrimitiveType(BaseElementType)) { 228d3f7527b105d21f1c69d3473eb88a762f2c3ab5aJean-Luc Brouillet ReportTypeError(Context, VD, TopLevelRecord, 2299207a2e495c8363606861e4f034504ec5c153dabLogan Chien "vectors of non-primitive types cannot be exported: '%0'"); 2305abbe0e9ca2508260b627ffef2bf01e2554e8357Chris Wailes return nullptr; 23124e79f69125cf87fcaa78c04510a831037203eebStephen Hines } 23224e79f69125cf87fcaa78c04510a831037203eebStephen Hines 23324e79f69125cf87fcaa78c04510a831037203eebStephen Hines if (numElements == 3 && CAT->getSize() != 1) { 234d3f7527b105d21f1c69d3473eb88a762f2c3ab5aJean-Luc Brouillet ReportTypeError(Context, VD, TopLevelRecord, 2359207a2e495c8363606861e4f034504ec5c153dabLogan Chien "arrays of width 3 vector types cannot be exported: '%0'"); 2365abbe0e9ca2508260b627ffef2bf01e2554e8357Chris Wailes return nullptr; 23724e79f69125cf87fcaa78c04510a831037203eebStephen Hines } 23824e79f69125cf87fcaa78c04510a831037203eebStephen Hines } 23924e79f69125cf87fcaa78c04510a831037203eebStephen Hines 24048d893dc7794b3cfb74f35955ca763ee4170f9adStephen Hines if (TypeExportableHelper(ElementType, SPS, Context, VD, 24113fad85b3c99a37c17d8acfec72f46b8ee64e912Stephen Hines TopLevelRecord, EK) == nullptr) { 2425abbe0e9ca2508260b627ffef2bf01e2554e8357Chris Wailes return nullptr; 243d5a84f6d49d64738e4bb7c9dea7242e48acad959Stephen Hines } else { 24424e79f69125cf87fcaa78c04510a831037203eebStephen Hines return CAT; 245d5a84f6d49d64738e4bb7c9dea7242e48acad959Stephen Hines } 24624e79f69125cf87fcaa78c04510a831037203eebStephen Hines} 24724e79f69125cf87fcaa78c04510a831037203eebStephen Hines 248474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc BrouilletBuiltinInfo *FindBuiltinType(clang::BuiltinType::Kind builtinTypeKind) { 249474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet for (int i = 0; i < BuiltinInfoTableCount; i++) { 250474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet if (builtinTypeKind == BuiltinInfoTable[i].builtinTypeKind) { 251474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet return &BuiltinInfoTable[i]; 252474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet } 253474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet } 2545abbe0e9ca2508260b627ffef2bf01e2554e8357Chris Wailes return nullptr; 255474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet} 256474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet 25724e79f69125cf87fcaa78c04510a831037203eebStephen Hinesstatic const clang::Type *TypeExportableHelper( 258e67239de8d94975e7e2216ee6860ae2e6cb8b15aStephen Hines clang::Type const *T, 259e67239de8d94975e7e2216ee6860ae2e6cb8b15aStephen Hines llvm::SmallPtrSet<clang::Type const *, 8> &SPS, 26048d893dc7794b3cfb74f35955ca763ee4170f9adStephen Hines slang::RSContext *Context, 261e67239de8d94975e7e2216ee6860ae2e6cb8b15aStephen Hines clang::VarDecl const *VD, 26213fad85b3c99a37c17d8acfec72f46b8ee64e912Stephen Hines clang::RecordDecl const *TopLevelRecord, 26313fad85b3c99a37c17d8acfec72f46b8ee64e912Stephen Hines ExportKind EK) { 2649ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // Normalize first 2655abbe0e9ca2508260b627ffef2bf01e2554e8357Chris Wailes if ((T = GetCanonicalType(T)) == nullptr) 2665abbe0e9ca2508260b627ffef2bf01e2554e8357Chris Wailes return nullptr; 267462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 2689ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao if (SPS.count(T)) 2699ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return T; 2701f0d88fbff28e4e2dd563d93c8fe0047381c09ccShih-wei Liao 271b095e05fef8f0230ab42eaed7a06c3b2d698189aJean-Luc Brouillet const clang::Type *CTI = T->getCanonicalTypeInternal().getTypePtr(); 272b095e05fef8f0230ab42eaed7a06c3b2d698189aJean-Luc Brouillet 2739ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao switch (T->getTypeClass()) { 2749ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao case clang::Type::Builtin: { 275b095e05fef8f0230ab42eaed7a06c3b2d698189aJean-Luc Brouillet const clang::BuiltinType *BT = static_cast<const clang::BuiltinType*>(CTI); 2765abbe0e9ca2508260b627ffef2bf01e2554e8357Chris Wailes return FindBuiltinType(BT->getKind()) == nullptr ? nullptr : T; 2779ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 2789ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao case clang::Type::Record: { 279cec9b65aa890dea58e39951900ae13efb8d11703Jean-Luc Brouillet if (RSExportPrimitiveType::GetRSSpecificType(T) != DataTypeUnknown) { 2806315f76e3cc6ff2d012d1183a0b030d4ff0dc808zonr return T; // RS object type, no further checks are needed 281d5a84f6d49d64738e4bb7c9dea7242e48acad959Stephen Hines } 282462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 2839ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // Check internal struct 284cd440ee9b3bdb7985a20b2cd4b0f8229de34f0a9Stephen Hines if (T->isUnionType()) { 285d3f7527b105d21f1c69d3473eb88a762f2c3ab5aJean-Luc Brouillet ReportTypeError(Context, VD, T->getAsUnionType()->getDecl(), 2869207a2e495c8363606861e4f034504ec5c153dabLogan Chien "unions cannot be exported: '%0'"); 2875abbe0e9ca2508260b627ffef2bf01e2554e8357Chris Wailes return nullptr; 288cd440ee9b3bdb7985a20b2cd4b0f8229de34f0a9Stephen Hines } else if (!T->isStructureType()) { 2896e6578a360497f78a181e63d7783422a9c9bfb15Stephen Hines slangAssert(false && "Unknown type cannot be exported"); 2905abbe0e9ca2508260b627ffef2bf01e2554e8357Chris Wailes return nullptr; 291cd440ee9b3bdb7985a20b2cd4b0f8229de34f0a9Stephen Hines } 292cd440ee9b3bdb7985a20b2cd4b0f8229de34f0a9Stephen Hines 29324e79f69125cf87fcaa78c04510a831037203eebStephen Hines clang::RecordDecl *RD = T->getAsStructureType()->getDecl(); 294fb5cb9d4dd9108606f15ef5e2785bc19574b3a0dLuis A. Lozano slangAssert(RD); 295fb5cb9d4dd9108606f15ef5e2785bc19574b3a0dLuis A. Lozano RD = RD->getDefinition(); 296fb5cb9d4dd9108606f15ef5e2785bc19574b3a0dLuis A. Lozano if (RD == nullptr) { 297fb5cb9d4dd9108606f15ef5e2785bc19574b3a0dLuis A. Lozano ReportTypeError(Context, nullptr, T->getAsStructureType()->getDecl(), 298fb5cb9d4dd9108606f15ef5e2785bc19574b3a0dLuis A. Lozano "struct is not defined in this module"); 299fb5cb9d4dd9108606f15ef5e2785bc19574b3a0dLuis A. Lozano return nullptr; 3002ef9bc0cfbca2152d972c0975005f8c897c2a42cStephen Hines } 301f8149d9e5a3795e9952717ee6346789a134c55c7Shih-wei Liao 302e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines if (!TopLevelRecord) { 303e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines TopLevelRecord = RD; 304e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines } 305e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines if (RD->getName().empty()) { 3065abbe0e9ca2508260b627ffef2bf01e2554e8357Chris Wailes ReportTypeError(Context, nullptr, RD, 3079207a2e495c8363606861e4f034504ec5c153dabLogan Chien "anonymous structures cannot be exported"); 3085abbe0e9ca2508260b627ffef2bf01e2554e8357Chris Wailes return nullptr; 309e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines } 310e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines 3119ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // Fast check 3129ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao if (RD->hasFlexibleArrayMember() || RD->hasObjectMember()) 3135abbe0e9ca2508260b627ffef2bf01e2554e8357Chris Wailes return nullptr; 314f8149d9e5a3795e9952717ee6346789a134c55c7Shih-wei Liao 3159ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // Insert myself into checking set 3169ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao SPS.insert(T); 317f8149d9e5a3795e9952717ee6346789a134c55c7Shih-wei Liao 3189ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // Check all element 3199ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao for (clang::RecordDecl::field_iterator FI = RD->field_begin(), 3209ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao FE = RD->field_end(); 3219ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao FI != FE; 3229ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao FI++) { 3230da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang const clang::FieldDecl *FD = *FI; 324e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines const clang::Type *FT = RSExportType::GetTypeOfDecl(FD); 325b095e05fef8f0230ab42eaed7a06c3b2d698189aJean-Luc Brouillet FT = GetCanonicalType(FT); 326462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 32713fad85b3c99a37c17d8acfec72f46b8ee64e912Stephen Hines if (!TypeExportableHelper(FT, SPS, Context, VD, TopLevelRecord, 32813fad85b3c99a37c17d8acfec72f46b8ee64e912Stephen Hines EK)) { 3295abbe0e9ca2508260b627ffef2bf01e2554e8357Chris Wailes return nullptr; 3300da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang } 3312ef9bc0cfbca2152d972c0975005f8c897c2a42cStephen Hines 3322ef9bc0cfbca2152d972c0975005f8c897c2a42cStephen Hines // We don't support bit fields yet 3332ef9bc0cfbca2152d972c0975005f8c897c2a42cStephen Hines // 3342ef9bc0cfbca2152d972c0975005f8c897c2a42cStephen Hines // TODO(zonr/srhines): allow bit fields of size 8, 16, 32 3352ef9bc0cfbca2152d972c0975005f8c897c2a42cStephen Hines if (FD->isBitField()) { 336d3f7527b105d21f1c69d3473eb88a762f2c3ab5aJean-Luc Brouillet Context->ReportError( 337d3f7527b105d21f1c69d3473eb88a762f2c3ab5aJean-Luc Brouillet FD->getLocation(), 338d3f7527b105d21f1c69d3473eb88a762f2c3ab5aJean-Luc Brouillet "bit fields are not able to be exported: '%0.%1'") 339d3f7527b105d21f1c69d3473eb88a762f2c3ab5aJean-Luc Brouillet << RD->getName() << FD->getName(); 3405abbe0e9ca2508260b627ffef2bf01e2554e8357Chris Wailes return nullptr; 3412ef9bc0cfbca2152d972c0975005f8c897c2a42cStephen Hines } 3429ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 343462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 3449ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return T; 3459ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 3462907b2a2768bc32f75867513528c8d7419e44780David Gross case clang::Type::FunctionProto: 347281b83d4404ed63f7f3c82647d926e8aaf3380c8David Gross case clang::Type::FunctionNoProto: 3482907b2a2768bc32f75867513528c8d7419e44780David Gross ReportTypeError(Context, VD, TopLevelRecord, 3492907b2a2768bc32f75867513528c8d7419e44780David Gross "function types cannot be exported: '%0'"); 3502907b2a2768bc32f75867513528c8d7419e44780David Gross return nullptr; 3519ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao case clang::Type::Pointer: { 352e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines if (TopLevelRecord) { 353d3f7527b105d21f1c69d3473eb88a762f2c3ab5aJean-Luc Brouillet ReportTypeError(Context, VD, TopLevelRecord, 354ab94bccca64c9b126cbd1b732aa5e681d8639b99Stephen Hines "structures containing pointers cannot be used as the type of " 355ab94bccca64c9b126cbd1b732aa5e681d8639b99Stephen Hines "an exported global variable or the parameter to an exported " 356ab94bccca64c9b126cbd1b732aa5e681d8639b99Stephen Hines "function: '%0'"); 3575abbe0e9ca2508260b627ffef2bf01e2554e8357Chris Wailes return nullptr; 358c808a99831115928b4648f4c8b86dc682594217aStephen Hines } 35924e79f69125cf87fcaa78c04510a831037203eebStephen Hines 360b095e05fef8f0230ab42eaed7a06c3b2d698189aJean-Luc Brouillet const clang::PointerType *PT = static_cast<const clang::PointerType*>(CTI); 361b095e05fef8f0230ab42eaed7a06c3b2d698189aJean-Luc Brouillet const clang::Type *PointeeType = GetPointeeType(PT); 362462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 363aa82e74b08fcdc2e4e6c1f6796699566b331b656Stephen Hines if (PointeeType->getTypeClass() == clang::Type::Pointer) { 364d3f7527b105d21f1c69d3473eb88a762f2c3ab5aJean-Luc Brouillet ReportTypeError(Context, VD, TopLevelRecord, 365aa82e74b08fcdc2e4e6c1f6796699566b331b656Stephen Hines "multiple levels of pointers cannot be exported: '%0'"); 3665abbe0e9ca2508260b627ffef2bf01e2554e8357Chris Wailes return nullptr; 367aa82e74b08fcdc2e4e6c1f6796699566b331b656Stephen Hines } 36813fad85b3c99a37c17d8acfec72f46b8ee64e912Stephen Hines 36913fad85b3c99a37c17d8acfec72f46b8ee64e912Stephen Hines // Void pointers are forbidden for export, although we must accept 37013fad85b3c99a37c17d8acfec72f46b8ee64e912Stephen Hines // void pointers that come in as arguments to a legacy kernel. 37113fad85b3c99a37c17d8acfec72f46b8ee64e912Stephen Hines if (PointeeType->isVoidType() && EK != LegacyKernelArgument) { 37213fad85b3c99a37c17d8acfec72f46b8ee64e912Stephen Hines ReportTypeError(Context, VD, TopLevelRecord, 37313fad85b3c99a37c17d8acfec72f46b8ee64e912Stephen Hines "void pointers cannot be exported: '%0'"); 37413fad85b3c99a37c17d8acfec72f46b8ee64e912Stephen Hines return nullptr; 37513fad85b3c99a37c17d8acfec72f46b8ee64e912Stephen Hines } 37613fad85b3c99a37c17d8acfec72f46b8ee64e912Stephen Hines 377281b83d4404ed63f7f3c82647d926e8aaf3380c8David Gross // We don't support pointer with array-type pointee 378281b83d4404ed63f7f3c82647d926e8aaf3380c8David Gross if (PointeeType->isArrayType()) { 379281b83d4404ed63f7f3c82647d926e8aaf3380c8David Gross ReportTypeError(Context, VD, TopLevelRecord, 380281b83d4404ed63f7f3c82647d926e8aaf3380c8David Gross "pointers to arrays cannot be exported: '%0'"); 381281b83d4404ed63f7f3c82647d926e8aaf3380c8David Gross return nullptr; 382281b83d4404ed63f7f3c82647d926e8aaf3380c8David Gross } 383281b83d4404ed63f7f3c82647d926e8aaf3380c8David Gross 384281b83d4404ed63f7f3c82647d926e8aaf3380c8David Gross // Check for unsupported pointee type 385281b83d4404ed63f7f3c82647d926e8aaf3380c8David Gross if (TypeExportableHelper(PointeeType, SPS, Context, VD, 386281b83d4404ed63f7f3c82647d926e8aaf3380c8David Gross TopLevelRecord, EK) == nullptr) 3875abbe0e9ca2508260b627ffef2bf01e2554e8357Chris Wailes return nullptr; 3889ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao else 3899ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return T; 3909ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 3919ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao case clang::Type::ExtVector: { 3929ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao const clang::ExtVectorType *EVT = 393b095e05fef8f0230ab42eaed7a06c3b2d698189aJean-Luc Brouillet static_cast<const clang::ExtVectorType*>(CTI); 3949ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // Only vector with size 2, 3 and 4 are supported. 3959ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao if (EVT->getNumElements() < 2 || EVT->getNumElements() > 4) 3965abbe0e9ca2508260b627ffef2bf01e2554e8357Chris Wailes return nullptr; 397f8149d9e5a3795e9952717ee6346789a134c55c7Shih-wei Liao 3989ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // Check base element type 399b095e05fef8f0230ab42eaed7a06c3b2d698189aJean-Luc Brouillet const clang::Type *ElementType = GetExtVectorElementType(EVT); 400462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 4019ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao if ((ElementType->getTypeClass() != clang::Type::Builtin) || 40248d893dc7794b3cfb74f35955ca763ee4170f9adStephen Hines (TypeExportableHelper(ElementType, SPS, Context, VD, 40313fad85b3c99a37c17d8acfec72f46b8ee64e912Stephen Hines TopLevelRecord, EK) == nullptr)) 4045abbe0e9ca2508260b627ffef2bf01e2554e8357Chris Wailes return nullptr; 4059ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao else 4069ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return T; 4079ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 4082e1dba6c779a0ae55c76d36a3c03553e16725ab7Zonr Chang case clang::Type::ConstantArray: { 4092e1dba6c779a0ae55c76d36a3c03553e16725ab7Zonr Chang const clang::ConstantArrayType *CAT = 410b095e05fef8f0230ab42eaed7a06c3b2d698189aJean-Luc Brouillet static_cast<const clang::ConstantArrayType*>(CTI); 4112e1dba6c779a0ae55c76d36a3c03553e16725ab7Zonr Chang 41248d893dc7794b3cfb74f35955ca763ee4170f9adStephen Hines return ConstantArrayTypeExportableHelper(CAT, SPS, Context, VD, 41313fad85b3c99a37c17d8acfec72f46b8ee64e912Stephen Hines TopLevelRecord, EK); 4142e1dba6c779a0ae55c76d36a3c03553e16725ab7Zonr Chang } 41548d893dc7794b3cfb74f35955ca763ee4170f9adStephen Hines case clang::Type::Enum: { 41648d893dc7794b3cfb74f35955ca763ee4170f9adStephen Hines // FIXME: We currently convert enums to integers, rather than reflecting 41748d893dc7794b3cfb74f35955ca763ee4170f9adStephen Hines // a more complete (and nicer type-safe Java version). 41848d893dc7794b3cfb74f35955ca763ee4170f9adStephen Hines return Context->getASTContext().IntTy.getTypePtr(); 41948d893dc7794b3cfb74f35955ca763ee4170f9adStephen Hines } 4209ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao default: { 42148d893dc7794b3cfb74f35955ca763ee4170f9adStephen Hines slangAssert(false && "Unknown type cannot be validated"); 4225abbe0e9ca2508260b627ffef2bf01e2554e8357Chris Wailes return nullptr; 423462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao } 4249ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 4259ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao} 426462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 427e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines// Return the type that can be used to create RSExportType, will always return 4285abbe0e9ca2508260b627ffef2bf01e2554e8357Chris Wailes// the canonical type. 4295abbe0e9ca2508260b627ffef2bf01e2554e8357Chris Wailes// 4305abbe0e9ca2508260b627ffef2bf01e2554e8357Chris Wailes// If the Type T is not exportable, this function returns nullptr. DiagEngine is 4315abbe0e9ca2508260b627ffef2bf01e2554e8357Chris Wailes// used to generate proper Clang diagnostic messages when a non-exportable type 4325abbe0e9ca2508260b627ffef2bf01e2554e8357Chris Wailes// is detected. TopLevelRecord is used to capture the highest struct (in the 4335abbe0e9ca2508260b627ffef2bf01e2554e8357Chris Wailes// case of a nested hierarchy) for detecting other types that cannot be exported 4345abbe0e9ca2508260b627ffef2bf01e2554e8357Chris Wailes// (mostly pointers within a struct). 435e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hinesstatic const clang::Type *TypeExportable(const clang::Type *T, 43648d893dc7794b3cfb74f35955ca763ee4170f9adStephen Hines slang::RSContext *Context, 43713fad85b3c99a37c17d8acfec72f46b8ee64e912Stephen Hines const clang::VarDecl *VD, 43813fad85b3c99a37c17d8acfec72f46b8ee64e912Stephen Hines ExportKind EK) { 439e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines llvm::SmallPtrSet<const clang::Type*, 8> SPS = 440e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines llvm::SmallPtrSet<const clang::Type*, 8>(); 441e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines 44213fad85b3c99a37c17d8acfec72f46b8ee64e912Stephen Hines return TypeExportableHelper(T, SPS, Context, VD, nullptr, EK); 44378e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines} 44478e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines 445d3f7527b105d21f1c69d3473eb88a762f2c3ab5aJean-Luc Brouilletstatic bool ValidateRSObjectInVarDecl(slang::RSContext *Context, 4462907b2a2768bc32f75867513528c8d7419e44780David Gross const clang::VarDecl *VD, bool InCompositeType, 447d5a84f6d49d64738e4bb7c9dea7242e48acad959Stephen Hines unsigned int TargetAPI) { 448d5a84f6d49d64738e4bb7c9dea7242e48acad959Stephen Hines if (TargetAPI < SLANG_JB_TARGET_API) { 449d5a84f6d49d64738e4bb7c9dea7242e48acad959Stephen Hines // Only if we are already in a composite type (like an array or structure). 450d5a84f6d49d64738e4bb7c9dea7242e48acad959Stephen Hines if (InCompositeType) { 451d5a84f6d49d64738e4bb7c9dea7242e48acad959Stephen Hines // Only if we are actually exported (i.e. non-static). 45244f10063c2c08dab103a44cded0c3a288d65d43bStephen Hines if (VD->hasLinkage() && 45344f10063c2c08dab103a44cded0c3a288d65d43bStephen Hines (VD->getFormalLinkage() == clang::ExternalLinkage)) { 454d5a84f6d49d64738e4bb7c9dea7242e48acad959Stephen Hines // Only if we are not a pointer to an object. 455b095e05fef8f0230ab42eaed7a06c3b2d698189aJean-Luc Brouillet const clang::Type *T = GetCanonicalType(VD->getType().getTypePtr()); 456d5a84f6d49d64738e4bb7c9dea7242e48acad959Stephen Hines if (T->getTypeClass() != clang::Type::Pointer) { 4575abbe0e9ca2508260b627ffef2bf01e2554e8357Chris Wailes ReportTypeError(Context, VD, nullptr, 458d5a84f6d49d64738e4bb7c9dea7242e48acad959Stephen Hines "arrays/structures containing RS object types " 459d5a84f6d49d64738e4bb7c9dea7242e48acad959Stephen Hines "cannot be exported in target API < %1: '%0'", 460d5a84f6d49d64738e4bb7c9dea7242e48acad959Stephen Hines SLANG_JB_TARGET_API); 461d5a84f6d49d64738e4bb7c9dea7242e48acad959Stephen Hines return false; 462d5a84f6d49d64738e4bb7c9dea7242e48acad959Stephen Hines } 463d5a84f6d49d64738e4bb7c9dea7242e48acad959Stephen Hines } 464d5a84f6d49d64738e4bb7c9dea7242e48acad959Stephen Hines } 465d5a84f6d49d64738e4bb7c9dea7242e48acad959Stephen Hines } 466d5a84f6d49d64738e4bb7c9dea7242e48acad959Stephen Hines 467d5a84f6d49d64738e4bb7c9dea7242e48acad959Stephen Hines return true; 468d5a84f6d49d64738e4bb7c9dea7242e48acad959Stephen Hines} 469d5a84f6d49d64738e4bb7c9dea7242e48acad959Stephen Hines 47011274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines// Helper function for ValidateType(). We do a recursive descent on the 471d5a84f6d49d64738e4bb7c9dea7242e48acad959Stephen Hines// type hierarchy to ensure that we can properly export/handle the 472d5a84f6d49d64738e4bb7c9dea7242e48acad959Stephen Hines// declaration. 473d5a84f6d49d64738e4bb7c9dea7242e48acad959Stephen Hines// \return true if the variable declaration is valid, 474d5a84f6d49d64738e4bb7c9dea7242e48acad959Stephen Hines// false if it is invalid (along with proper diagnostics). 475d5a84f6d49d64738e4bb7c9dea7242e48acad959Stephen Hines// 47611274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines// C - ASTContext (for diagnostics + builtin types). 47711274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines// T - sub-type that we are validating. 47811274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines// ND - (optional) top-level named declaration that we are validating. 479d5a84f6d49d64738e4bb7c9dea7242e48acad959Stephen Hines// SPS - set of types we have already seen/validated. 480d5a84f6d49d64738e4bb7c9dea7242e48acad959Stephen Hines// InCompositeType - true if we are within an outer composite type. 481d5a84f6d49d64738e4bb7c9dea7242e48acad959Stephen Hines// UnionDecl - set if we are in a sub-type of a union. 482d5a84f6d49d64738e4bb7c9dea7242e48acad959Stephen Hines// TargetAPI - target SDK API level. 48311274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines// IsFilterscript - whether or not we are compiling for Filterscript 484ab94bccca64c9b126cbd1b732aa5e681d8639b99Stephen Hines// IsExtern - is this type externally visible (i.e. extern global or parameter 485ab94bccca64c9b126cbd1b732aa5e681d8639b99Stephen Hines// to an extern function) 48611274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hinesstatic bool ValidateTypeHelper( 487d3f7527b105d21f1c69d3473eb88a762f2c3ab5aJean-Luc Brouillet slang::RSContext *Context, 48811274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines clang::ASTContext &C, 48978e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines const clang::Type *&T, 4902907b2a2768bc32f75867513528c8d7419e44780David Gross const clang::NamedDecl *ND, 49111274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines clang::SourceLocation Loc, 49278e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines llvm::SmallPtrSet<const clang::Type*, 8>& SPS, 493d5a84f6d49d64738e4bb7c9dea7242e48acad959Stephen Hines bool InCompositeType, 494d5a84f6d49d64738e4bb7c9dea7242e48acad959Stephen Hines clang::RecordDecl *UnionDecl, 49511274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines unsigned int TargetAPI, 496ab94bccca64c9b126cbd1b732aa5e681d8639b99Stephen Hines bool IsFilterscript, 497ab94bccca64c9b126cbd1b732aa5e681d8639b99Stephen Hines bool IsExtern) { 4985abbe0e9ca2508260b627ffef2bf01e2554e8357Chris Wailes if ((T = GetCanonicalType(T)) == nullptr) 49978e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines return true; 50078e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines 50178e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines if (SPS.count(T)) 50278e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines return true; 50378e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines 504b095e05fef8f0230ab42eaed7a06c3b2d698189aJean-Luc Brouillet const clang::Type *CTI = T->getCanonicalTypeInternal().getTypePtr(); 505b095e05fef8f0230ab42eaed7a06c3b2d698189aJean-Luc Brouillet 50678e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines switch (T->getTypeClass()) { 50778e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines case clang::Type::Record: { 508d5a84f6d49d64738e4bb7c9dea7242e48acad959Stephen Hines if (RSExportPrimitiveType::IsRSObjectType(T)) { 5092907b2a2768bc32f75867513528c8d7419e44780David Gross const clang::VarDecl *VD = (ND ? llvm::dyn_cast<clang::VarDecl>(ND) : nullptr); 510d3f7527b105d21f1c69d3473eb88a762f2c3ab5aJean-Luc Brouillet if (VD && !ValidateRSObjectInVarDecl(Context, VD, InCompositeType, 511d3f7527b105d21f1c69d3473eb88a762f2c3ab5aJean-Luc Brouillet TargetAPI)) { 512d5a84f6d49d64738e4bb7c9dea7242e48acad959Stephen Hines return false; 513d5a84f6d49d64738e4bb7c9dea7242e48acad959Stephen Hines } 514d5a84f6d49d64738e4bb7c9dea7242e48acad959Stephen Hines } 515d5a84f6d49d64738e4bb7c9dea7242e48acad959Stephen Hines 516cec9b65aa890dea58e39951900ae13efb8d11703Jean-Luc Brouillet if (RSExportPrimitiveType::GetRSSpecificType(T) != DataTypeUnknown) { 51778e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines if (!UnionDecl) { 51878e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines return true; 51978e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines } else if (RSExportPrimitiveType::IsRSObjectType(T)) { 5205abbe0e9ca2508260b627ffef2bf01e2554e8357Chris Wailes ReportTypeError(Context, nullptr, UnionDecl, 52178e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines "unions containing RS object types are not allowed"); 52278e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines return false; 52378e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines } 52478e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines } 52578e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines 5265abbe0e9ca2508260b627ffef2bf01e2554e8357Chris Wailes clang::RecordDecl *RD = nullptr; 52778e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines 52878e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines // Check internal struct 52978e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines if (T->isUnionType()) { 53078e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines RD = T->getAsUnionType()->getDecl(); 53178e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines UnionDecl = RD; 53278e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines } else if (T->isStructureType()) { 53378e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines RD = T->getAsStructureType()->getDecl(); 53478e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines } else { 53578e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines slangAssert(false && "Unknown type cannot be exported"); 53678e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines return false; 53778e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines } 53878e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines 539fb5cb9d4dd9108606f15ef5e2785bc19574b3a0dLuis A. Lozano slangAssert(RD); 540fb5cb9d4dd9108606f15ef5e2785bc19574b3a0dLuis A. Lozano RD = RD->getDefinition(); 541fb5cb9d4dd9108606f15ef5e2785bc19574b3a0dLuis A. Lozano if (RD == nullptr) { 542fb5cb9d4dd9108606f15ef5e2785bc19574b3a0dLuis A. Lozano // FIXME 543fb5cb9d4dd9108606f15ef5e2785bc19574b3a0dLuis A. Lozano return true; 54478e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines } 54578e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines 54678e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines // Fast check 54778e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines if (RD->hasFlexibleArrayMember() || RD->hasObjectMember()) 54878e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines return false; 54978e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines 55078e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines // Insert myself into checking set 55178e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines SPS.insert(T); 55278e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines 55378e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines // Check all elements 55478e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines for (clang::RecordDecl::field_iterator FI = RD->field_begin(), 55578e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines FE = RD->field_end(); 55678e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines FI != FE; 55778e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines FI++) { 55878e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines const clang::FieldDecl *FD = *FI; 55978e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines const clang::Type *FT = RSExportType::GetTypeOfDecl(FD); 560b095e05fef8f0230ab42eaed7a06c3b2d698189aJean-Luc Brouillet FT = GetCanonicalType(FT); 56178e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines 562d3f7527b105d21f1c69d3473eb88a762f2c3ab5aJean-Luc Brouillet if (!ValidateTypeHelper(Context, C, FT, ND, Loc, SPS, true, UnionDecl, 563ab94bccca64c9b126cbd1b732aa5e681d8639b99Stephen Hines TargetAPI, IsFilterscript, IsExtern)) { 56478e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines return false; 56578e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines } 56678e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines } 56778e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines 56878e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines return true; 56978e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines } 57078e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines 57178e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines case clang::Type::Builtin: { 57211274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines if (IsFilterscript) { 57311274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines clang::QualType QT = T->getCanonicalTypeInternal(); 57411274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines if (QT == C.DoubleTy || 57511274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines QT == C.LongDoubleTy || 57611274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines QT == C.LongTy || 57711274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines QT == C.LongLongTy) { 57811274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines if (ND) { 579d3f7527b105d21f1c69d3473eb88a762f2c3ab5aJean-Luc Brouillet Context->ReportError( 580d3f7527b105d21f1c69d3473eb88a762f2c3ab5aJean-Luc Brouillet Loc, 58111274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines "Builtin types > 32 bits in size are forbidden in " 582d3f7527b105d21f1c69d3473eb88a762f2c3ab5aJean-Luc Brouillet "Filterscript: '%0'") 583d3f7527b105d21f1c69d3473eb88a762f2c3ab5aJean-Luc Brouillet << ND->getName(); 58411274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines } else { 585d3f7527b105d21f1c69d3473eb88a762f2c3ab5aJean-Luc Brouillet Context->ReportError( 586d3f7527b105d21f1c69d3473eb88a762f2c3ab5aJean-Luc Brouillet Loc, 58711274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines "Builtin types > 32 bits in size are forbidden in " 588d3f7527b105d21f1c69d3473eb88a762f2c3ab5aJean-Luc Brouillet "Filterscript"); 58911274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines } 59011274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines return false; 59111274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines } 59211274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines } 59378e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines break; 59478e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines } 59578e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines 59678e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines case clang::Type::Pointer: { 59711274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines if (IsFilterscript) { 59811274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines if (ND) { 599d3f7527b105d21f1c69d3473eb88a762f2c3ab5aJean-Luc Brouillet Context->ReportError(Loc, 600d3f7527b105d21f1c69d3473eb88a762f2c3ab5aJean-Luc Brouillet "Pointers are forbidden in Filterscript: '%0'") 601d3f7527b105d21f1c69d3473eb88a762f2c3ab5aJean-Luc Brouillet << ND->getName(); 60211274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines return false; 60311274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines } else { 60411274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines // TODO(srhines): Find a better way to handle expressions (i.e. no 60511274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines // NamedDecl) involving pointers in FS that should be allowed. 60611274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines // An example would be calls to library functions like 60711274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines // rsMatrixMultiply() that take rs_matrixNxN * types. 60811274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines } 60911274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines } 61011274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines 611ab94bccca64c9b126cbd1b732aa5e681d8639b99Stephen Hines // Forbid pointers in structures that are externally visible. 612ab94bccca64c9b126cbd1b732aa5e681d8639b99Stephen Hines if (InCompositeType && IsExtern) { 613ab94bccca64c9b126cbd1b732aa5e681d8639b99Stephen Hines if (ND) { 614ab94bccca64c9b126cbd1b732aa5e681d8639b99Stephen Hines Context->ReportError(Loc, 615ab94bccca64c9b126cbd1b732aa5e681d8639b99Stephen Hines "structures containing pointers cannot be used as the type of " 616ab94bccca64c9b126cbd1b732aa5e681d8639b99Stephen Hines "an exported global variable or the parameter to an exported " 617ab94bccca64c9b126cbd1b732aa5e681d8639b99Stephen Hines "function: '%0'") 618ab94bccca64c9b126cbd1b732aa5e681d8639b99Stephen Hines << ND->getName(); 619ab94bccca64c9b126cbd1b732aa5e681d8639b99Stephen Hines } else { 620ab94bccca64c9b126cbd1b732aa5e681d8639b99Stephen Hines Context->ReportError(Loc, 621ab94bccca64c9b126cbd1b732aa5e681d8639b99Stephen Hines "structures containing pointers cannot be used as the type of " 622ab94bccca64c9b126cbd1b732aa5e681d8639b99Stephen Hines "an exported global variable or the parameter to an exported " 623ab94bccca64c9b126cbd1b732aa5e681d8639b99Stephen Hines "function"); 624ab94bccca64c9b126cbd1b732aa5e681d8639b99Stephen Hines } 625ab94bccca64c9b126cbd1b732aa5e681d8639b99Stephen Hines return false; 626ab94bccca64c9b126cbd1b732aa5e681d8639b99Stephen Hines } 627ab94bccca64c9b126cbd1b732aa5e681d8639b99Stephen Hines 628b095e05fef8f0230ab42eaed7a06c3b2d698189aJean-Luc Brouillet const clang::PointerType *PT = static_cast<const clang::PointerType*>(CTI); 629b095e05fef8f0230ab42eaed7a06c3b2d698189aJean-Luc Brouillet const clang::Type *PointeeType = GetPointeeType(PT); 63078e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines 631d3f7527b105d21f1c69d3473eb88a762f2c3ab5aJean-Luc Brouillet return ValidateTypeHelper(Context, C, PointeeType, ND, Loc, SPS, 632d3f7527b105d21f1c69d3473eb88a762f2c3ab5aJean-Luc Brouillet InCompositeType, UnionDecl, TargetAPI, 633ab94bccca64c9b126cbd1b732aa5e681d8639b99Stephen Hines IsFilterscript, IsExtern); 63478e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines } 63578e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines 63678e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines case clang::Type::ExtVector: { 63778e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines const clang::ExtVectorType *EVT = 638b095e05fef8f0230ab42eaed7a06c3b2d698189aJean-Luc Brouillet static_cast<const clang::ExtVectorType*>(CTI); 639b095e05fef8f0230ab42eaed7a06c3b2d698189aJean-Luc Brouillet const clang::Type *ElementType = GetExtVectorElementType(EVT); 640b13b85e31ac978254cb1ed7653f149f8a3eef460Stephen Hines if (TargetAPI < SLANG_ICS_TARGET_API && 641b13b85e31ac978254cb1ed7653f149f8a3eef460Stephen Hines InCompositeType && 642fdae63e8142f56521813f59e0c506ed3a1636021Stephen Hines EVT->getNumElements() == 3 && 643fdae63e8142f56521813f59e0c506ed3a1636021Stephen Hines ND && 64444f10063c2c08dab103a44cded0c3a288d65d43bStephen Hines ND->getFormalLinkage() == clang::ExternalLinkage) { 6455abbe0e9ca2508260b627ffef2bf01e2554e8357Chris Wailes ReportTypeError(Context, ND, nullptr, 646b13b85e31ac978254cb1ed7653f149f8a3eef460Stephen Hines "structs containing vectors of dimension 3 cannot " 647b13b85e31ac978254cb1ed7653f149f8a3eef460Stephen Hines "be exported at this API level: '%0'"); 648b13b85e31ac978254cb1ed7653f149f8a3eef460Stephen Hines return false; 649b13b85e31ac978254cb1ed7653f149f8a3eef460Stephen Hines } 650d3f7527b105d21f1c69d3473eb88a762f2c3ab5aJean-Luc Brouillet return ValidateTypeHelper(Context, C, ElementType, ND, Loc, SPS, true, 651ab94bccca64c9b126cbd1b732aa5e681d8639b99Stephen Hines UnionDecl, TargetAPI, IsFilterscript, IsExtern); 65278e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines } 65378e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines 65478e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines case clang::Type::ConstantArray: { 655b095e05fef8f0230ab42eaed7a06c3b2d698189aJean-Luc Brouillet const clang::ConstantArrayType *CAT = static_cast<const clang::ConstantArrayType*>(CTI); 656b095e05fef8f0230ab42eaed7a06c3b2d698189aJean-Luc Brouillet const clang::Type *ElementType = GetConstantArrayElementType(CAT); 657d3f7527b105d21f1c69d3473eb88a762f2c3ab5aJean-Luc Brouillet return ValidateTypeHelper(Context, C, ElementType, ND, Loc, SPS, true, 658ab94bccca64c9b126cbd1b732aa5e681d8639b99Stephen Hines UnionDecl, TargetAPI, IsFilterscript, IsExtern); 65978e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines } 66078e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines 66178e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines default: { 66278e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines break; 66378e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines } 66478e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines } 66578e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines 66678e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines return true; 667e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines} 668e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines 669e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines} // namespace 670e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines 671eca0534a31b6185d6ab758f5e97acd7a4cb21e8eJean-Luc Brouilletstd::string CreateDummyName(const char *type, const std::string &name) { 672eca0534a31b6185d6ab758f5e97acd7a4cb21e8eJean-Luc Brouillet std::stringstream S; 673eca0534a31b6185d6ab758f5e97acd7a4cb21e8eJean-Luc Brouillet S << "<" << type; 674eca0534a31b6185d6ab758f5e97acd7a4cb21e8eJean-Luc Brouillet if (!name.empty()) { 675eca0534a31b6185d6ab758f5e97acd7a4cb21e8eJean-Luc Brouillet S << ":" << name; 676eca0534a31b6185d6ab758f5e97acd7a4cb21e8eJean-Luc Brouillet } 677eca0534a31b6185d6ab758f5e97acd7a4cb21e8eJean-Luc Brouillet S << ">"; 678eca0534a31b6185d6ab758f5e97acd7a4cb21e8eJean-Luc Brouillet return S.str(); 679eca0534a31b6185d6ab758f5e97acd7a4cb21e8eJean-Luc Brouillet} 680eca0534a31b6185d6ab758f5e97acd7a4cb21e8eJean-Luc Brouillet 681e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines/****************************** RSExportType ******************************/ 682e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hinesbool RSExportType::NormalizeType(const clang::Type *&T, 683e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines llvm::StringRef &TypeName, 68448d893dc7794b3cfb74f35955ca763ee4170f9adStephen Hines RSContext *Context, 68513fad85b3c99a37c17d8acfec72f46b8ee64e912Stephen Hines const clang::VarDecl *VD, 68613fad85b3c99a37c17d8acfec72f46b8ee64e912Stephen Hines ExportKind EK) { 68713fad85b3c99a37c17d8acfec72f46b8ee64e912Stephen Hines if ((T = TypeExportable(T, Context, VD, EK)) == nullptr) { 688e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines return false; 689e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines } 690e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines // Get type name 691e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines TypeName = RSExportType::GetTypeName(T); 69248d893dc7794b3cfb74f35955ca763ee4170f9adStephen Hines if (Context && TypeName.empty()) { 69348d893dc7794b3cfb74f35955ca763ee4170f9adStephen Hines if (VD) { 694d3f7527b105d21f1c69d3473eb88a762f2c3ab5aJean-Luc Brouillet Context->ReportError(VD->getLocation(), 695d3f7527b105d21f1c69d3473eb88a762f2c3ab5aJean-Luc Brouillet "anonymous types cannot be exported"); 69648d893dc7794b3cfb74f35955ca763ee4170f9adStephen Hines } else { 697d3f7527b105d21f1c69d3473eb88a762f2c3ab5aJean-Luc Brouillet Context->ReportError("anonymous types cannot be exported"); 698e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines } 699e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines return false; 700e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines } 701e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines 702e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines return true; 703e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines} 704e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines 705d3f7527b105d21f1c69d3473eb88a762f2c3ab5aJean-Luc Brouilletbool RSExportType::ValidateType(slang::RSContext *Context, clang::ASTContext &C, 7062907b2a2768bc32f75867513528c8d7419e44780David Gross clang::QualType QT, const clang::NamedDecl *ND, 707d3f7527b105d21f1c69d3473eb88a762f2c3ab5aJean-Luc Brouillet clang::SourceLocation Loc, 708ab94bccca64c9b126cbd1b732aa5e681d8639b99Stephen Hines unsigned int TargetAPI, bool IsFilterscript, 709ab94bccca64c9b126cbd1b732aa5e681d8639b99Stephen Hines bool IsExtern) { 71011274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines const clang::Type *T = QT.getTypePtr(); 71178e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines llvm::SmallPtrSet<const clang::Type*, 8> SPS = 71278e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines llvm::SmallPtrSet<const clang::Type*, 8>(); 71378e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines 714ab94bccca64c9b126cbd1b732aa5e681d8639b99Stephen Hines // If this is an externally visible variable declaration, we check if the 715ab94bccca64c9b126cbd1b732aa5e681d8639b99Stephen Hines // type is able to be exported first. 71633ea573b6df7b7fe48d2b68d4c479f33082e3c0dStephen Hines if (auto VD = llvm::dyn_cast_or_null<clang::VarDecl>(ND)) { 717ab94bccca64c9b126cbd1b732aa5e681d8639b99Stephen Hines if (VD->getFormalLinkage() == clang::ExternalLinkage) { 71813fad85b3c99a37c17d8acfec72f46b8ee64e912Stephen Hines if (!TypeExportable(T, Context, VD, NotLegacyKernelArgument)) { 719ab94bccca64c9b126cbd1b732aa5e681d8639b99Stephen Hines return false; 720ab94bccca64c9b126cbd1b732aa5e681d8639b99Stephen Hines } 721ab94bccca64c9b126cbd1b732aa5e681d8639b99Stephen Hines } 722ab94bccca64c9b126cbd1b732aa5e681d8639b99Stephen Hines } 7235abbe0e9ca2508260b627ffef2bf01e2554e8357Chris Wailes return ValidateTypeHelper(Context, C, T, ND, Loc, SPS, false, nullptr, TargetAPI, 724ab94bccca64c9b126cbd1b732aa5e681d8639b99Stephen Hines IsFilterscript, IsExtern); 72511274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines} 72611274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines 727d3f7527b105d21f1c69d3473eb88a762f2c3ab5aJean-Luc Brouilletbool RSExportType::ValidateVarDecl(slang::RSContext *Context, 728d3f7527b105d21f1c69d3473eb88a762f2c3ab5aJean-Luc Brouillet clang::VarDecl *VD, unsigned int TargetAPI, 72911274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines bool IsFilterscript) { 730d3f7527b105d21f1c69d3473eb88a762f2c3ab5aJean-Luc Brouillet return ValidateType(Context, VD->getASTContext(), VD->getType(), VD, 731ab94bccca64c9b126cbd1b732aa5e681d8639b99Stephen Hines VD->getLocation(), TargetAPI, IsFilterscript, 732ab94bccca64c9b126cbd1b732aa5e681d8639b99Stephen Hines (VD->getFormalLinkage() == clang::ExternalLinkage)); 73378e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines} 73478e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines 735e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hinesconst clang::Type 736e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines*RSExportType::GetTypeOfDecl(const clang::DeclaratorDecl *DD) { 737e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines if (DD) { 7388de1922e037612f2521acac2f4c4289a9f71450dStephen Hines clang::QualType T = DD->getType(); 739e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines 740e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines if (T.isNull()) 7415abbe0e9ca2508260b627ffef2bf01e2554e8357Chris Wailes return nullptr; 742e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines else 743e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines return T.getTypePtr(); 744e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines } 7455abbe0e9ca2508260b627ffef2bf01e2554e8357Chris Wailes return nullptr; 746e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines} 747e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines 748e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hinesllvm::StringRef RSExportType::GetTypeName(const clang::Type* T) { 749b095e05fef8f0230ab42eaed7a06c3b2d698189aJean-Luc Brouillet T = GetCanonicalType(T); 7505abbe0e9ca2508260b627ffef2bf01e2554e8357Chris Wailes if (T == nullptr) 751e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines return llvm::StringRef(); 752e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines 753b095e05fef8f0230ab42eaed7a06c3b2d698189aJean-Luc Brouillet const clang::Type *CTI = T->getCanonicalTypeInternal().getTypePtr(); 754b095e05fef8f0230ab42eaed7a06c3b2d698189aJean-Luc Brouillet 755e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines switch (T->getTypeClass()) { 756e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines case clang::Type::Builtin: { 757b095e05fef8f0230ab42eaed7a06c3b2d698189aJean-Luc Brouillet const clang::BuiltinType *BT = static_cast<const clang::BuiltinType*>(CTI); 758474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet BuiltinInfo *info = FindBuiltinType(BT->getKind()); 7595abbe0e9ca2508260b627ffef2bf01e2554e8357Chris Wailes if (info != nullptr) { 760474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet return info->cname[0]; 761e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines } 762474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet slangAssert(false && "Unknown data type of the builtin"); 763e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines break; 764e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines } 765e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines case clang::Type::Record: { 766cd440ee9b3bdb7985a20b2cd4b0f8229de34f0a9Stephen Hines clang::RecordDecl *RD; 767cd440ee9b3bdb7985a20b2cd4b0f8229de34f0a9Stephen Hines if (T->isStructureType()) { 768cd440ee9b3bdb7985a20b2cd4b0f8229de34f0a9Stephen Hines RD = T->getAsStructureType()->getDecl(); 769dd6206bb61bf8df2ed6b643abe8a29c48a315685Stephen Hines } else { 770cd440ee9b3bdb7985a20b2cd4b0f8229de34f0a9Stephen Hines break; 771cd440ee9b3bdb7985a20b2cd4b0f8229de34f0a9Stephen Hines } 772cd440ee9b3bdb7985a20b2cd4b0f8229de34f0a9Stephen Hines 773e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines llvm::StringRef Name = RD->getName(); 774e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines if (Name.empty()) { 7755abbe0e9ca2508260b627ffef2bf01e2554e8357Chris Wailes if (RD->getTypedefNameForAnonDecl() != nullptr) { 77683f0c6261efc8f397fc2509e3862bc6d0eb1e1c4Shih-wei Liao Name = RD->getTypedefNameForAnonDecl()->getName(); 77783f0c6261efc8f397fc2509e3862bc6d0eb1e1c4Shih-wei Liao } 77883f0c6261efc8f397fc2509e3862bc6d0eb1e1c4Shih-wei Liao 77983f0c6261efc8f397fc2509e3862bc6d0eb1e1c4Shih-wei Liao if (Name.empty()) { 78083f0c6261efc8f397fc2509e3862bc6d0eb1e1c4Shih-wei Liao // Try to find a name from redeclaration (i.e. typedef) 78183f0c6261efc8f397fc2509e3862bc6d0eb1e1c4Shih-wei Liao for (clang::TagDecl::redecl_iterator RI = RD->redecls_begin(), 78283f0c6261efc8f397fc2509e3862bc6d0eb1e1c4Shih-wei Liao RE = RD->redecls_end(); 78383f0c6261efc8f397fc2509e3862bc6d0eb1e1c4Shih-wei Liao RI != RE; 78483f0c6261efc8f397fc2509e3862bc6d0eb1e1c4Shih-wei Liao RI++) { 7855abbe0e9ca2508260b627ffef2bf01e2554e8357Chris Wailes slangAssert(*RI != nullptr && "cannot be NULL object"); 78683f0c6261efc8f397fc2509e3862bc6d0eb1e1c4Shih-wei Liao 78783f0c6261efc8f397fc2509e3862bc6d0eb1e1c4Shih-wei Liao Name = (*RI)->getName(); 78883f0c6261efc8f397fc2509e3862bc6d0eb1e1c4Shih-wei Liao if (!Name.empty()) 78983f0c6261efc8f397fc2509e3862bc6d0eb1e1c4Shih-wei Liao break; 79083f0c6261efc8f397fc2509e3862bc6d0eb1e1c4Shih-wei Liao } 79183f0c6261efc8f397fc2509e3862bc6d0eb1e1c4Shih-wei Liao } 792e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines } 793e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines return Name; 794e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines } 795e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines case clang::Type::Pointer: { 796e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines // "*" plus pointee name 797b095e05fef8f0230ab42eaed7a06c3b2d698189aJean-Luc Brouillet const clang::PointerType *P = static_cast<const clang::PointerType*>(CTI); 798b095e05fef8f0230ab42eaed7a06c3b2d698189aJean-Luc Brouillet const clang::Type *PT = GetPointeeType(P); 799e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines llvm::StringRef PointeeName; 80013fad85b3c99a37c17d8acfec72f46b8ee64e912Stephen Hines if (NormalizeType(PT, PointeeName, nullptr, nullptr, 80113fad85b3c99a37c17d8acfec72f46b8ee64e912Stephen Hines NotLegacyKernelArgument)) { 802e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines char *Name = new char[ 1 /* * */ + PointeeName.size() + 1 ]; 803e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines Name[0] = '*'; 804e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines memcpy(Name + 1, PointeeName.data(), PointeeName.size()); 805e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines Name[PointeeName.size() + 1] = '\0'; 806e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines return Name; 807e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines } 808e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines break; 809e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines } 810e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines case clang::Type::ExtVector: { 811e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines const clang::ExtVectorType *EVT = 812b095e05fef8f0230ab42eaed7a06c3b2d698189aJean-Luc Brouillet static_cast<const clang::ExtVectorType*>(CTI); 813e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines return RSExportVectorType::GetTypeName(EVT); 814e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines break; 815e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines } 816e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines case clang::Type::ConstantArray : { 817e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines // Construct name for a constant array is too complicated. 818340b5550cf63b6beae3b12c2e91377bce7704c34Stephen Hines return "<ConstantArray>"; 819e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines } 820e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines default: { 821e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines break; 822e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines } 823e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines } 824e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines 825e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines return llvm::StringRef(); 826e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines} 827e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines 828e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines 8299ef2f785e0cc490af678dfd685995dec787321ffShih-wei LiaoRSExportType *RSExportType::Create(RSContext *Context, 8309ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao const clang::Type *T, 83113fad85b3c99a37c17d8acfec72f46b8ee64e912Stephen Hines const llvm::StringRef &TypeName, 83213fad85b3c99a37c17d8acfec72f46b8ee64e912Stephen Hines ExportKind EK) { 8339ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // Lookup the context to see whether the type was processed before. 8349ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // Newly created RSExportType will insert into context 8359ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // in RSExportType::RSExportType() 8369ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao RSContext::export_type_iterator ETI = Context->findExportType(TypeName); 8379ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao 8389ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao if (ETI != Context->export_types_end()) 8399ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return ETI->second; 8409ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao 841b095e05fef8f0230ab42eaed7a06c3b2d698189aJean-Luc Brouillet const clang::Type *CTI = T->getCanonicalTypeInternal().getTypePtr(); 842b095e05fef8f0230ab42eaed7a06c3b2d698189aJean-Luc Brouillet 8435abbe0e9ca2508260b627ffef2bf01e2554e8357Chris Wailes RSExportType *ET = nullptr; 8449ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao switch (T->getTypeClass()) { 8459ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao case clang::Type::Record: { 846cec9b65aa890dea58e39951900ae13efb8d11703Jean-Luc Brouillet DataType dt = RSExportPrimitiveType::GetRSSpecificType(TypeName); 8479ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao switch (dt) { 848cec9b65aa890dea58e39951900ae13efb8d11703Jean-Luc Brouillet case DataTypeUnknown: { 84992b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang // User-defined types 8509ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao ET = RSExportRecordType::Create(Context, 8519ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao T->getAsStructureType(), 8529ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao TypeName); 8539ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao break; 8549ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 855cec9b65aa890dea58e39951900ae13efb8d11703Jean-Luc Brouillet case DataTypeRSMatrix2x2: { 85692b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang // 2 x 2 Matrix type 85792b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang ET = RSExportMatrixType::Create(Context, 85892b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang T->getAsStructureType(), 85992b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang TypeName, 86092b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang 2); 86192b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang break; 86292b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang } 863cec9b65aa890dea58e39951900ae13efb8d11703Jean-Luc Brouillet case DataTypeRSMatrix3x3: { 86492b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang // 3 x 3 Matrix type 86592b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang ET = RSExportMatrixType::Create(Context, 86692b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang T->getAsStructureType(), 86792b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang TypeName, 86892b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang 3); 86992b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang break; 87092b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang } 871cec9b65aa890dea58e39951900ae13efb8d11703Jean-Luc Brouillet case DataTypeRSMatrix4x4: { 87292b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang // 4 x 4 Matrix type 87392b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang ET = RSExportMatrixType::Create(Context, 87492b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang T->getAsStructureType(), 87592b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang TypeName, 87692b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang 4); 8779ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao break; 8789ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 8799ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao default: { 88092b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang // Others are primitive types 8819ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao ET = RSExportPrimitiveType::Create(Context, T, TypeName); 8829ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao break; 8839ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 8849ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 8859ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao break; 8869ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 8879ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao case clang::Type::Builtin: { 8889ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao ET = RSExportPrimitiveType::Create(Context, T, TypeName); 8899ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao break; 8909ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 8919ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao case clang::Type::Pointer: { 8929ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao ET = RSExportPointerType::Create(Context, 893b095e05fef8f0230ab42eaed7a06c3b2d698189aJean-Luc Brouillet static_cast<const clang::PointerType*>(CTI), 894b095e05fef8f0230ab42eaed7a06c3b2d698189aJean-Luc Brouillet TypeName); 89592b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang // FIXME: free the name (allocated in RSExportType::GetTypeName) 8969ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao delete [] TypeName.data(); 8979ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao break; 8989ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 8999ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao case clang::Type::ExtVector: { 9009ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao ET = RSExportVectorType::Create(Context, 901b095e05fef8f0230ab42eaed7a06c3b2d698189aJean-Luc Brouillet static_cast<const clang::ExtVectorType*>(CTI), 902b095e05fef8f0230ab42eaed7a06c3b2d698189aJean-Luc Brouillet TypeName); 9039ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao break; 9049ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 9052e1dba6c779a0ae55c76d36a3c03553e16725ab7Zonr Chang case clang::Type::ConstantArray: { 9062e1dba6c779a0ae55c76d36a3c03553e16725ab7Zonr Chang ET = RSExportConstantArrayType::Create( 9072e1dba6c779a0ae55c76d36a3c03553e16725ab7Zonr Chang Context, 908b095e05fef8f0230ab42eaed7a06c3b2d698189aJean-Luc Brouillet static_cast<const clang::ConstantArrayType*>(CTI)); 9092e1dba6c779a0ae55c76d36a3c03553e16725ab7Zonr Chang break; 9102e1dba6c779a0ae55c76d36a3c03553e16725ab7Zonr Chang } 9119ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao default: { 912d3f7527b105d21f1c69d3473eb88a762f2c3ab5aJean-Luc Brouillet Context->ReportError("unknown type cannot be exported: '%0'") 913d3f7527b105d21f1c69d3473eb88a762f2c3ab5aJean-Luc Brouillet << T->getTypeClassName(); 9149ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao break; 9159ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 9169ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 9179ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao 9189ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return ET; 919462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao} 9201f0d88fbff28e4e2dd563d93c8fe0047381c09ccShih-wei Liao 92113fad85b3c99a37c17d8acfec72f46b8ee64e912Stephen HinesRSExportType *RSExportType::Create(RSContext *Context, const clang::Type *T, 9222907b2a2768bc32f75867513528c8d7419e44780David Gross ExportKind EK, const clang::VarDecl *VD) { 9239ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao llvm::StringRef TypeName; 9242907b2a2768bc32f75867513528c8d7419e44780David Gross if (NormalizeType(T, TypeName, Context, VD, EK)) { 92513fad85b3c99a37c17d8acfec72f46b8ee64e912Stephen Hines return Create(Context, T, TypeName, EK); 926d5a84f6d49d64738e4bb7c9dea7242e48acad959Stephen Hines } else { 9275abbe0e9ca2508260b627ffef2bf01e2554e8357Chris Wailes return nullptr; 928d5a84f6d49d64738e4bb7c9dea7242e48acad959Stephen Hines } 929462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao} 930462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 9319ef2f785e0cc490af678dfd685995dec787321ffShih-wei LiaoRSExportType *RSExportType::CreateFromDecl(RSContext *Context, 9329ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao const clang::VarDecl *VD) { 93313fad85b3c99a37c17d8acfec72f46b8ee64e912Stephen Hines return RSExportType::Create(Context, GetTypeOfDecl(VD), 9342907b2a2768bc32f75867513528c8d7419e44780David Gross NotLegacyKernelArgument, VD); 935462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao} 936462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 937c95381a2c3b6e9117901eef0687e861e4d533bfeJean-Luc Brouilletsize_t RSExportType::getStoreSize() const { 938b6a143562bda2117824a0515c208504e9a2830f1Pirama Arumuga Nainar return getRSContext()->getDataLayout().getTypeStoreSize(getLLVMType()); 939462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao} 940462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 941c95381a2c3b6e9117901eef0687e861e4d533bfeJean-Luc Brouilletsize_t RSExportType::getAllocSize() const { 942b6a143562bda2117824a0515c208504e9a2830f1Pirama Arumuga Nainar return getRSContext()->getDataLayout().getTypeAllocSize(getLLVMType()); 943462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao} 944462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 9456b6320ad5faee29e0f75fe937e40156746ef9e80Zonr ChangRSExportType::RSExportType(RSContext *Context, 9466b6320ad5faee29e0f75fe937e40156746ef9e80Zonr Chang ExportClass Class, 94763e610873b9538797bbe26234aa50d5d0869d938David Gross const llvm::StringRef &Name, clang::SourceLocation Loc) 94863e610873b9538797bbe26234aa50d5d0869d938David Gross : RSExportable(Context, RSExportable::EX_TYPE, Loc), 9496b6320ad5faee29e0f75fe937e40156746ef9e80Zonr Chang mClass(Class), 9500da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang // Make a copy on Name since memory stored @Name is either allocated in 9510da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang // ASTContext or allocated in GetTypeName which will be destroyed later. 9526315f76e3cc6ff2d012d1183a0b030d4ff0dc808zonr mName(Name.data(), Name.size()), 9535abbe0e9ca2508260b627ffef2bf01e2554e8357Chris Wailes mLLVMType(nullptr) { 9540da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang // Don't cache the type whose name start with '<'. Those type failed to 9550da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang // get their name since constructing their name in GetTypeName() requiring 9560da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang // complicated work. 957b095e05fef8f0230ab42eaed7a06c3b2d698189aJean-Luc Brouillet if (!IsDummyName(Name)) { 9580da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang // TODO(zonr): Need to check whether the insertion is successful or not. 9590da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang Context->insertExportType(llvm::StringRef(Name), this); 960b095e05fef8f0230ab42eaed7a06c3b2d698189aJean-Luc Brouillet } 961b095e05fef8f0230ab42eaed7a06c3b2d698189aJean-Luc Brouillet 962462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao} 963462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 9643cd3dd327445fcfa49f0e96cb2de2055bce541e9Zonr Changbool RSExportType::keep() { 9653cd3dd327445fcfa49f0e96cb2de2055bce541e9Zonr Chang if (!RSExportable::keep()) 9663cd3dd327445fcfa49f0e96cb2de2055bce541e9Zonr Chang return false; 967641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang // Invalidate converted LLVM type. 9685abbe0e9ca2508260b627ffef2bf01e2554e8357Chris Wailes mLLVMType = nullptr; 9693cd3dd327445fcfa49f0e96cb2de2055bce541e9Zonr Chang return true; 970641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang} 971641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang 972ef1707027a18ed0d91a3854476db71024ae0e6daI-Jui (Ray) Sungbool RSExportType::matchODR(const RSExportType *E, bool /* LookInto */) const { 973ef1707027a18ed0d91a3854476db71024ae0e6daI-Jui (Ray) Sung return (E->getClass() == getClass()); 974641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang} 975641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang 976a7a828d1ff95c5a8f2327f56a137a2bcb3a9a8faZonr ChangRSExportType::~RSExportType() { 977a7a828d1ff95c5a8f2327f56a137a2bcb3a9a8faZonr Chang} 978a7a828d1ff95c5a8f2327f56a137a2bcb3a9a8faZonr Chang 9799ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao/************************** RSExportPrimitiveType **************************/ 980b1771ef128b10c4d4575634828006bfba20b1d9cZonr Changllvm::ManagedStatic<RSExportPrimitiveType::RSSpecificTypeMapTy> 981b1771ef128b10c4d4575634828006bfba20b1d9cZonr ChangRSExportPrimitiveType::RSSpecificTypeMap; 9829ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao 9839ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liaobool RSExportPrimitiveType::IsPrimitiveType(const clang::Type *T) { 9845abbe0e9ca2508260b627ffef2bf01e2554e8357Chris Wailes if ((T != nullptr) && (T->getTypeClass() == clang::Type::Builtin)) 9859ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return true; 9869ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao else 9879ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return false; 988462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao} 989462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 990cec9b65aa890dea58e39951900ae13efb8d11703Jean-Luc BrouilletDataType 991b1771ef128b10c4d4575634828006bfba20b1d9cZonr ChangRSExportPrimitiveType::GetRSSpecificType(const llvm::StringRef &TypeName) { 9929ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao if (TypeName.empty()) 9939ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return DataTypeUnknown; 994462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 995b1771ef128b10c4d4575634828006bfba20b1d9cZonr Chang if (RSSpecificTypeMap->empty()) { 996474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet for (int i = 0; i < MatrixAndObjectDataTypesCount; i++) { 9973eb819ad8beec566a73b288204f9b75c2bb1d4e6Stephen Hines (*RSSpecificTypeMap)[MatrixAndObjectDataTypes[i].name] = 9983eb819ad8beec566a73b288204f9b75c2bb1d4e6Stephen Hines MatrixAndObjectDataTypes[i].dataType; 999474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet } 10009ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 1001462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 1002b1771ef128b10c4d4575634828006bfba20b1d9cZonr Chang RSSpecificTypeMapTy::const_iterator I = RSSpecificTypeMap->find(TypeName); 1003b1771ef128b10c4d4575634828006bfba20b1d9cZonr Chang if (I == RSSpecificTypeMap->end()) 10049ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return DataTypeUnknown; 10059ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao else 10069ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return I->getValue(); 10079ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao} 10089ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao 1009cec9b65aa890dea58e39951900ae13efb8d11703Jean-Luc BrouilletDataType RSExportPrimitiveType::GetRSSpecificType(const clang::Type *T) { 1010b095e05fef8f0230ab42eaed7a06c3b2d698189aJean-Luc Brouillet T = GetCanonicalType(T); 10115abbe0e9ca2508260b627ffef2bf01e2554e8357Chris Wailes if ((T == nullptr) || (T->getTypeClass() != clang::Type::Record)) 10129ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return DataTypeUnknown; 10139ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao 1014b1771ef128b10c4d4575634828006bfba20b1d9cZonr Chang return GetRSSpecificType( RSExportType::GetTypeName(T) ); 1015b1771ef128b10c4d4575634828006bfba20b1d9cZonr Chang} 1016b1771ef128b10c4d4575634828006bfba20b1d9cZonr Chang 1017b1771ef128b10c4d4575634828006bfba20b1d9cZonr Changbool RSExportPrimitiveType::IsRSMatrixType(DataType DT) { 1018474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet if (DT < 0 || DT >= DataTypeMax) { 1019474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet return false; 1020474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet } 1021474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet return gReflectionTypes[DT].category == MatrixDataType; 1022b1771ef128b10c4d4575634828006bfba20b1d9cZonr Chang} 1023b1771ef128b10c4d4575634828006bfba20b1d9cZonr Chang 1024b1771ef128b10c4d4575634828006bfba20b1d9cZonr Changbool RSExportPrimitiveType::IsRSObjectType(DataType DT) { 1025474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet if (DT < 0 || DT >= DataTypeMax) { 1026474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet return false; 1027474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet } 1028474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet return gReflectionTypes[DT].category == ObjectDataType; 10299ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao} 10309ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao 1031feaca06fcb0772e9e972a0d61b17259fc5124d50Stephen Hinesbool RSExportPrimitiveType::IsStructureTypeWithRSObject(const clang::Type *T) { 1032feaca06fcb0772e9e972a0d61b17259fc5124d50Stephen Hines bool RSObjectTypeSeen = false; 1033e1ee54e9548271704f50b9b1fc34bb9a5816f3e0Luis A. Lozano slangAssert(T); 1034e1ee54e9548271704f50b9b1fc34bb9a5816f3e0Luis A. Lozano while (T->isArrayType()) { 1035feaca06fcb0772e9e972a0d61b17259fc5124d50Stephen Hines T = T->getArrayElementTypeNoTypeQual(); 1036e1ee54e9548271704f50b9b1fc34bb9a5816f3e0Luis A. Lozano slangAssert(T); 1037feaca06fcb0772e9e972a0d61b17259fc5124d50Stephen Hines } 1038feaca06fcb0772e9e972a0d61b17259fc5124d50Stephen Hines 1039feaca06fcb0772e9e972a0d61b17259fc5124d50Stephen Hines const clang::RecordType *RT = T->getAsStructureType(); 1040feaca06fcb0772e9e972a0d61b17259fc5124d50Stephen Hines if (!RT) { 1041feaca06fcb0772e9e972a0d61b17259fc5124d50Stephen Hines return false; 1042feaca06fcb0772e9e972a0d61b17259fc5124d50Stephen Hines } 1043b0fabe574945bfa85e688e77e9dcb5341fe08840Stephen Hines 1044feaca06fcb0772e9e972a0d61b17259fc5124d50Stephen Hines const clang::RecordDecl *RD = RT->getDecl(); 1045b0fabe574945bfa85e688e77e9dcb5341fe08840Stephen Hines if (RD) { 1046b0fabe574945bfa85e688e77e9dcb5341fe08840Stephen Hines RD = RD->getDefinition(); 1047b0fabe574945bfa85e688e77e9dcb5341fe08840Stephen Hines } 1048b0fabe574945bfa85e688e77e9dcb5341fe08840Stephen Hines if (!RD) { 1049b0fabe574945bfa85e688e77e9dcb5341fe08840Stephen Hines return false; 1050b0fabe574945bfa85e688e77e9dcb5341fe08840Stephen Hines } 1051b0fabe574945bfa85e688e77e9dcb5341fe08840Stephen Hines 1052feaca06fcb0772e9e972a0d61b17259fc5124d50Stephen Hines for (clang::RecordDecl::field_iterator FI = RD->field_begin(), 1053feaca06fcb0772e9e972a0d61b17259fc5124d50Stephen Hines FE = RD->field_end(); 1054feaca06fcb0772e9e972a0d61b17259fc5124d50Stephen Hines FI != FE; 1055feaca06fcb0772e9e972a0d61b17259fc5124d50Stephen Hines FI++) { 1056feaca06fcb0772e9e972a0d61b17259fc5124d50Stephen Hines // We just look through all field declarations to see if we find a 1057feaca06fcb0772e9e972a0d61b17259fc5124d50Stephen Hines // declaration for an RS object type (or an array of one). 1058feaca06fcb0772e9e972a0d61b17259fc5124d50Stephen Hines const clang::FieldDecl *FD = *FI; 1059feaca06fcb0772e9e972a0d61b17259fc5124d50Stephen Hines const clang::Type *FT = RSExportType::GetTypeOfDecl(FD); 1060fb5cb9d4dd9108606f15ef5e2785bc19574b3a0dLuis A. Lozano slangAssert(FT); 1061fb5cb9d4dd9108606f15ef5e2785bc19574b3a0dLuis A. Lozano while (FT->isArrayType()) { 1062feaca06fcb0772e9e972a0d61b17259fc5124d50Stephen Hines FT = FT->getArrayElementTypeNoTypeQual(); 1063fb5cb9d4dd9108606f15ef5e2785bc19574b3a0dLuis A. Lozano slangAssert(FT); 1064feaca06fcb0772e9e972a0d61b17259fc5124d50Stephen Hines } 1065feaca06fcb0772e9e972a0d61b17259fc5124d50Stephen Hines 1066cec9b65aa890dea58e39951900ae13efb8d11703Jean-Luc Brouillet DataType DT = GetRSSpecificType(FT); 1067feaca06fcb0772e9e972a0d61b17259fc5124d50Stephen Hines if (IsRSObjectType(DT)) { 1068feaca06fcb0772e9e972a0d61b17259fc5124d50Stephen Hines // RS object types definitely need to be zero-initialized 1069feaca06fcb0772e9e972a0d61b17259fc5124d50Stephen Hines RSObjectTypeSeen = true; 1070feaca06fcb0772e9e972a0d61b17259fc5124d50Stephen Hines } else { 1071feaca06fcb0772e9e972a0d61b17259fc5124d50Stephen Hines switch (DT) { 1072cec9b65aa890dea58e39951900ae13efb8d11703Jean-Luc Brouillet case DataTypeRSMatrix2x2: 1073cec9b65aa890dea58e39951900ae13efb8d11703Jean-Luc Brouillet case DataTypeRSMatrix3x3: 1074cec9b65aa890dea58e39951900ae13efb8d11703Jean-Luc Brouillet case DataTypeRSMatrix4x4: 1075feaca06fcb0772e9e972a0d61b17259fc5124d50Stephen Hines // Matrix types should get zero-initialized as well 1076feaca06fcb0772e9e972a0d61b17259fc5124d50Stephen Hines RSObjectTypeSeen = true; 1077feaca06fcb0772e9e972a0d61b17259fc5124d50Stephen Hines break; 1078feaca06fcb0772e9e972a0d61b17259fc5124d50Stephen Hines default: 1079feaca06fcb0772e9e972a0d61b17259fc5124d50Stephen Hines // Ignore all other primitive types 1080feaca06fcb0772e9e972a0d61b17259fc5124d50Stephen Hines break; 1081feaca06fcb0772e9e972a0d61b17259fc5124d50Stephen Hines } 1082feaca06fcb0772e9e972a0d61b17259fc5124d50Stephen Hines if (FT->isStructureType()) { 1083feaca06fcb0772e9e972a0d61b17259fc5124d50Stephen Hines // Recursively handle structs of structs (even though these can't 1084feaca06fcb0772e9e972a0d61b17259fc5124d50Stephen Hines // be exported, it is possible for a user to have them internally). 1085feaca06fcb0772e9e972a0d61b17259fc5124d50Stephen Hines RSObjectTypeSeen |= IsStructureTypeWithRSObject(FT); 1086feaca06fcb0772e9e972a0d61b17259fc5124d50Stephen Hines } 1087feaca06fcb0772e9e972a0d61b17259fc5124d50Stephen Hines } 1088feaca06fcb0772e9e972a0d61b17259fc5124d50Stephen Hines } 1089feaca06fcb0772e9e972a0d61b17259fc5124d50Stephen Hines 1090feaca06fcb0772e9e972a0d61b17259fc5124d50Stephen Hines return RSObjectTypeSeen; 1091feaca06fcb0772e9e972a0d61b17259fc5124d50Stephen Hines} 1092feaca06fcb0772e9e972a0d61b17259fc5124d50Stephen Hines 1093657d20afa621219c1eed72178d1325fd4409f458David Grosssize_t RSExportPrimitiveType::GetElementSizeInBits(const RSExportPrimitiveType *EPT) { 1094474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet int type = EPT->getType(); 1095474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet slangAssert((type > DataTypeUnknown && type < DataTypeMax) && 1096657d20afa621219c1eed72178d1325fd4409f458David Gross "RSExportPrimitiveType::GetElementSizeInBits : unknown data type"); 10979ae18b2bbee0b08afd400542e863dd665ff76059Stephen Hines // All RS object types are 256 bits in 64-bit RS. 10989ae18b2bbee0b08afd400542e863dd665ff76059Stephen Hines if (EPT->isRSObjectType() && EPT->getRSContext()->is64Bit()) { 10999ae18b2bbee0b08afd400542e863dd665ff76059Stephen Hines return 256; 11009ae18b2bbee0b08afd400542e863dd665ff76059Stephen Hines } 1101474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet return gReflectionTypes[type].size_in_bits; 1102462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao} 1103462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 1104cec9b65aa890dea58e39951900ae13efb8d11703Jean-Luc BrouilletDataType 11052ef9bc0cfbca2152d972c0975005f8c897c2a42cStephen HinesRSExportPrimitiveType::GetDataType(RSContext *Context, const clang::Type *T) { 11065abbe0e9ca2508260b627ffef2bf01e2554e8357Chris Wailes if (T == nullptr) 11079ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return DataTypeUnknown; 1108462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 11099ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao switch (T->getTypeClass()) { 11109ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao case clang::Type::Builtin: { 1111be27482cdeaf08576bc39b72a15d35d13014a636Logan const clang::BuiltinType *BT = 1112b095e05fef8f0230ab42eaed7a06c3b2d698189aJean-Luc Brouillet static_cast<const clang::BuiltinType*>(T->getCanonicalTypeInternal().getTypePtr()); 1113474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet BuiltinInfo *info = FindBuiltinType(BT->getKind()); 11145abbe0e9ca2508260b627ffef2bf01e2554e8357Chris Wailes if (info != nullptr) { 1115474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet return info->type; 11169ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 1117474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet // The size of type WChar depend on platform so we abandon the support 1118474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet // to them. 1119474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet Context->ReportError("built-in type cannot be exported: '%0'") 1120474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet << T->getTypeClassName(); 11219ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao break; 11229ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 11239ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao case clang::Type::Record: { 11249ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // must be RS object type 1125b1771ef128b10c4d4575634828006bfba20b1d9cZonr Chang return RSExportPrimitiveType::GetRSSpecificType(T); 11269ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 11279ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao default: { 1128d3f7527b105d21f1c69d3473eb88a762f2c3ab5aJean-Luc Brouillet Context->ReportError("primitive type cannot be exported: '%0'") 11292ef9bc0cfbca2152d972c0975005f8c897c2a42cStephen Hines << T->getTypeClassName(); 11309ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao break; 1131462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao } 11329ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 1133462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 11349ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return DataTypeUnknown; 1135462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao} 1136462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 11379ef2f785e0cc490af678dfd685995dec787321ffShih-wei LiaoRSExportPrimitiveType 11389ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao*RSExportPrimitiveType::Create(RSContext *Context, 11399ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao const clang::Type *T, 11409ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao const llvm::StringRef &TypeName, 11419ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao bool Normalized) { 11422ef9bc0cfbca2152d972c0975005f8c897c2a42cStephen Hines DataType DT = GetDataType(Context, T); 1143462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 11449ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao if ((DT == DataTypeUnknown) || TypeName.empty()) 11455abbe0e9ca2508260b627ffef2bf01e2554e8357Chris Wailes return nullptr; 11469ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao else 11476b6320ad5faee29e0f75fe937e40156746ef9e80Zonr Chang return new RSExportPrimitiveType(Context, ExportClassPrimitive, TypeName, 11482b8fb64be3047df940a219872b331eb11de2758dStephen Hines DT, Normalized); 1149462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao} 1150462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 11519ef2f785e0cc490af678dfd685995dec787321ffShih-wei LiaoRSExportPrimitiveType *RSExportPrimitiveType::Create(RSContext *Context, 11522b8fb64be3047df940a219872b331eb11de2758dStephen Hines const clang::Type *T) { 11539ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao llvm::StringRef TypeName; 115413fad85b3c99a37c17d8acfec72f46b8ee64e912Stephen Hines if (RSExportType::NormalizeType(T, TypeName, Context, nullptr, 115513fad85b3c99a37c17d8acfec72f46b8ee64e912Stephen Hines NotLegacyKernelArgument) && 115613fad85b3c99a37c17d8acfec72f46b8ee64e912Stephen Hines IsPrimitiveType(T)) { 11572b8fb64be3047df940a219872b331eb11de2758dStephen Hines return Create(Context, T, TypeName); 1158e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines } else { 11595abbe0e9ca2508260b627ffef2bf01e2554e8357Chris Wailes return nullptr; 1160e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines } 1161462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao} 1162462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 11637c67e578c760408dba0c2f64da6e074dd8b56fd9Shih-wei Liaollvm::Type *RSExportPrimitiveType::convertToLLVMType() const { 11649ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao llvm::LLVMContext &C = getRSContext()->getLLVMContext(); 11659ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao 11669ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao if (isRSObjectType()) { 11679ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // struct { 11689ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // int *p; 11699ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // } __attribute__((packed, aligned(pointer_size))) 11709ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // 11719ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // which is 11729ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // 11739ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // <{ [1 x i32] }> in LLVM 11749ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // 1175d56a92fc2b1d417ce53d9550548fe1661fa37d40Tim Murray std::vector<llvm::Type *> Elements; 1176d56a92fc2b1d417ce53d9550548fe1661fa37d40Tim Murray if (getRSContext()->is64Bit()) { 1177d56a92fc2b1d417ce53d9550548fe1661fa37d40Tim Murray // 64-bit path 1178d56a92fc2b1d417ce53d9550548fe1661fa37d40Tim Murray Elements.push_back(llvm::ArrayType::get(llvm::Type::getInt64Ty(C), 4)); 1179d56a92fc2b1d417ce53d9550548fe1661fa37d40Tim Murray return llvm::StructType::get(C, Elements, true); 1180d56a92fc2b1d417ce53d9550548fe1661fa37d40Tim Murray } else { 1181d56a92fc2b1d417ce53d9550548fe1661fa37d40Tim Murray // 32-bit legacy path 1182d56a92fc2b1d417ce53d9550548fe1661fa37d40Tim Murray Elements.push_back(llvm::ArrayType::get(llvm::Type::getInt32Ty(C), 1)); 1183d56a92fc2b1d417ce53d9550548fe1661fa37d40Tim Murray return llvm::StructType::get(C, Elements, true); 1184462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao } 11859ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 1186462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 11879ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao switch (mType) { 1188e4dd17d7b2a292a600756da7680beecd78f74033Pirama Arumuga Nainar case DataTypeFloat16: { 1189e4dd17d7b2a292a600756da7680beecd78f74033Pirama Arumuga Nainar return llvm::Type::getHalfTy(C); 1190e4dd17d7b2a292a600756da7680beecd78f74033Pirama Arumuga Nainar break; 1191e4dd17d7b2a292a600756da7680beecd78f74033Pirama Arumuga Nainar } 11929ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao case DataTypeFloat32: { 11939ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return llvm::Type::getFloatTy(C); 11949ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao break; 11959ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 11969ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao case DataTypeFloat64: { 11979ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return llvm::Type::getDoubleTy(C); 11989ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao break; 11999ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 120091a3783ce1f4eb9ad6e9c1ecdbd27f3d6dc58634Shih-wei Liao case DataTypeBoolean: { 120191a3783ce1f4eb9ad6e9c1ecdbd27f3d6dc58634Shih-wei Liao return llvm::Type::getInt1Ty(C); 120291a3783ce1f4eb9ad6e9c1ecdbd27f3d6dc58634Shih-wei Liao break; 120391a3783ce1f4eb9ad6e9c1ecdbd27f3d6dc58634Shih-wei Liao } 12049ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao case DataTypeSigned8: 12059ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao case DataTypeUnsigned8: { 12069ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return llvm::Type::getInt8Ty(C); 12079ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao break; 12089ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 12099ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao case DataTypeSigned16: 12109ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao case DataTypeUnsigned16: 12119ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao case DataTypeUnsigned565: 12129ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao case DataTypeUnsigned5551: 12139ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao case DataTypeUnsigned4444: { 12149ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return llvm::Type::getInt16Ty(C); 12159ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao break; 12169ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 12179ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao case DataTypeSigned32: 12189ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao case DataTypeUnsigned32: { 12199ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return llvm::Type::getInt32Ty(C); 12209ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao break; 12219ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 1222a5d2c232d56b04292cb51c8fb343aef990f7970fStephen Hines case DataTypeSigned64: 1223a5d2c232d56b04292cb51c8fb343aef990f7970fStephen Hines case DataTypeUnsigned64: { 12249ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return llvm::Type::getInt64Ty(C); 12259ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao break; 12269ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 12279ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao default: { 12286e6578a360497f78a181e63d7783422a9c9bfb15Stephen Hines slangAssert(false && "Unknown data type"); 1229462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao } 12309ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 1231462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 12325abbe0e9ca2508260b627ffef2bf01e2554e8357Chris Wailes return nullptr; 1233462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao} 1234462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 1235ef1707027a18ed0d91a3854476db71024ae0e6daI-Jui (Ray) Sungbool RSExportPrimitiveType::matchODR(const RSExportType *E, 1236ef1707027a18ed0d91a3854476db71024ae0e6daI-Jui (Ray) Sung bool /* LookInto */) const { 1237641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang CHECK_PARENT_EQUALITY(RSExportType, E); 1238641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang return (static_cast<const RSExportPrimitiveType*>(E)->getType() == getType()); 1239641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang} 1240641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang 1241fdd1ba13a69501a1b91fdc9be31413215d467497Stephen HinesRSReflectionType *RSExportPrimitiveType::getRSReflectionType(DataType DT) { 1242fdd1ba13a69501a1b91fdc9be31413215d467497Stephen Hines if (DT > DataTypeUnknown && DT < DataTypeMax) { 1243fdd1ba13a69501a1b91fdc9be31413215d467497Stephen Hines return &gReflectionTypes[DT]; 1244fdd1ba13a69501a1b91fdc9be31413215d467497Stephen Hines } else { 12455abbe0e9ca2508260b627ffef2bf01e2554e8357Chris Wailes return nullptr; 1246fdd1ba13a69501a1b91fdc9be31413215d467497Stephen Hines } 1247fdd1ba13a69501a1b91fdc9be31413215d467497Stephen Hines} 1248fdd1ba13a69501a1b91fdc9be31413215d467497Stephen Hines 12499ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao/**************************** RSExportPointerType ****************************/ 1250462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 12519ef2f785e0cc490af678dfd685995dec787321ffShih-wei LiaoRSExportPointerType 12529ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao*RSExportPointerType::Create(RSContext *Context, 12539ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao const clang::PointerType *PT, 12549ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao const llvm::StringRef &TypeName) { 1255b095e05fef8f0230ab42eaed7a06c3b2d698189aJean-Luc Brouillet const clang::Type *PointeeType = GetPointeeType(PT); 12569ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao const RSExportType *PointeeET; 1257462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 12589ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao if (PointeeType->getTypeClass() != clang::Type::Pointer) { 125913fad85b3c99a37c17d8acfec72f46b8ee64e912Stephen Hines PointeeET = RSExportType::Create(Context, PointeeType, 126013fad85b3c99a37c17d8acfec72f46b8ee64e912Stephen Hines NotLegacyKernelArgument); 12619ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } else { 12629ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // Double or higher dimension of pointer, export as int* 12632ef9bc0cfbca2152d972c0975005f8c897c2a42cStephen Hines PointeeET = RSExportPrimitiveType::Create(Context, 12642ef9bc0cfbca2152d972c0975005f8c897c2a42cStephen Hines Context->getASTContext().IntTy.getTypePtr()); 12659ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 1266462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 12675abbe0e9ca2508260b627ffef2bf01e2554e8357Chris Wailes if (PointeeET == nullptr) { 12682ef9bc0cfbca2152d972c0975005f8c897c2a42cStephen Hines // Error diagnostic is emitted for corresponding pointee type 12695abbe0e9ca2508260b627ffef2bf01e2554e8357Chris Wailes return nullptr; 12709ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 1271462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 12729ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return new RSExportPointerType(Context, TypeName, PointeeET); 1273462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao} 1274462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 12757c67e578c760408dba0c2f64da6e074dd8b56fd9Shih-wei Liaollvm::Type *RSExportPointerType::convertToLLVMType() const { 12767c67e578c760408dba0c2f64da6e074dd8b56fd9Shih-wei Liao llvm::Type *PointeeType = mPointeeType->getLLVMType(); 12779ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return llvm::PointerType::getUnqual(PointeeType); 1278462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao} 1279462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 12803cd3dd327445fcfa49f0e96cb2de2055bce541e9Zonr Changbool RSExportPointerType::keep() { 12813cd3dd327445fcfa49f0e96cb2de2055bce541e9Zonr Chang if (!RSExportType::keep()) 12823cd3dd327445fcfa49f0e96cb2de2055bce541e9Zonr Chang return false; 1283641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang const_cast<RSExportType*>(mPointeeType)->keep(); 12843cd3dd327445fcfa49f0e96cb2de2055bce541e9Zonr Chang return true; 1285641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang} 1286641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang 1287ef1707027a18ed0d91a3854476db71024ae0e6daI-Jui (Ray) Sungbool RSExportPointerType::matchODR(const RSExportType *E, 1288ef1707027a18ed0d91a3854476db71024ae0e6daI-Jui (Ray) Sung bool /* LookInto */) const { 1289ef1707027a18ed0d91a3854476db71024ae0e6daI-Jui (Ray) Sung // Exported types cannot contain pointers 1290ef1707027a18ed0d91a3854476db71024ae0e6daI-Jui (Ray) Sung slangAssert(false && "Not supposed to perform ODR check on pointers"); 1291ef1707027a18ed0d91a3854476db71024ae0e6daI-Jui (Ray) Sung return false; 1292641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang} 1293641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang 12946315f76e3cc6ff2d012d1183a0b030d4ff0dc808zonr/***************************** RSExportVectorType *****************************/ 12956315f76e3cc6ff2d012d1183a0b030d4ff0dc808zonrllvm::StringRef 12966315f76e3cc6ff2d012d1183a0b030d4ff0dc808zonrRSExportVectorType::GetTypeName(const clang::ExtVectorType *EVT) { 1297b095e05fef8f0230ab42eaed7a06c3b2d698189aJean-Luc Brouillet const clang::Type *ElementType = GetExtVectorElementType(EVT); 1298474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet llvm::StringRef name; 1299462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 13009ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao if ((ElementType->getTypeClass() != clang::Type::Builtin)) 1301474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet return name; 13029ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao 1303b095e05fef8f0230ab42eaed7a06c3b2d698189aJean-Luc Brouillet const clang::BuiltinType *BT = 1304b095e05fef8f0230ab42eaed7a06c3b2d698189aJean-Luc Brouillet static_cast<const clang::BuiltinType*>( 1305b095e05fef8f0230ab42eaed7a06c3b2d698189aJean-Luc Brouillet ElementType->getCanonicalTypeInternal().getTypePtr()); 1306b095e05fef8f0230ab42eaed7a06c3b2d698189aJean-Luc Brouillet 1307a65ec168e41e3ee9c6e8ac04cde694bbbfc2590aZonr Chang if ((EVT->getNumElements() < 1) || 1308a65ec168e41e3ee9c6e8ac04cde694bbbfc2590aZonr Chang (EVT->getNumElements() > 4)) 1309474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet return name; 13109ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao 1311474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet BuiltinInfo *info = FindBuiltinType(BT->getKind()); 13125abbe0e9ca2508260b627ffef2bf01e2554e8357Chris Wailes if (info != nullptr) { 1313474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet int I = EVT->getNumElements() - 1; 1314474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet if (I < kMaxVectorSize) { 1315474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet name = info->cname[I]; 1316474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet } else { 1317474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet slangAssert(false && "Max vector is 4"); 1318462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao } 13199ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 1320474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet return name; 1321462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao} 1322462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 13239ef2f785e0cc490af678dfd685995dec787321ffShih-wei LiaoRSExportVectorType *RSExportVectorType::Create(RSContext *Context, 13249ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao const clang::ExtVectorType *EVT, 13259ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao const llvm::StringRef &TypeName, 13269ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao bool Normalized) { 13275abbe0e9ca2508260b627ffef2bf01e2554e8357Chris Wailes slangAssert(EVT != nullptr && EVT->getTypeClass() == clang::Type::ExtVector); 1328462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 1329b095e05fef8f0230ab42eaed7a06c3b2d698189aJean-Luc Brouillet const clang::Type *ElementType = GetExtVectorElementType(EVT); 1330cec9b65aa890dea58e39951900ae13efb8d11703Jean-Luc Brouillet DataType DT = RSExportPrimitiveType::GetDataType(Context, ElementType); 1331462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 1332cec9b65aa890dea58e39951900ae13efb8d11703Jean-Luc Brouillet if (DT != DataTypeUnknown) 13339ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return new RSExportVectorType(Context, 13349ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao TypeName, 13359ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao DT, 13369ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao Normalized, 13379ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao EVT->getNumElements()); 13389ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao else 13395abbe0e9ca2508260b627ffef2bf01e2554e8357Chris Wailes return nullptr; 1340462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao} 1341462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 13427c67e578c760408dba0c2f64da6e074dd8b56fd9Shih-wei Liaollvm::Type *RSExportVectorType::convertToLLVMType() const { 13437c67e578c760408dba0c2f64da6e074dd8b56fd9Shih-wei Liao llvm::Type *ElementType = RSExportPrimitiveType::convertToLLVMType(); 13449ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return llvm::VectorType::get(ElementType, getNumElement()); 1345462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao} 1346462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 1347ef1707027a18ed0d91a3854476db71024ae0e6daI-Jui (Ray) Sungbool RSExportVectorType::matchODR(const RSExportType *E, 1348ef1707027a18ed0d91a3854476db71024ae0e6daI-Jui (Ray) Sung bool /* LookInto*/) const { 1349641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang CHECK_PARENT_EQUALITY(RSExportPrimitiveType, E); 1350641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang return (static_cast<const RSExportVectorType*>(E)->getNumElement() 1351641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang == getNumElement()); 1352641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang} 1353641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang 135492b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang/***************************** RSExportMatrixType *****************************/ 135592b344a51c6c4934e96882bd401e4b13d6d03db8Zonr ChangRSExportMatrixType *RSExportMatrixType::Create(RSContext *Context, 135692b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang const clang::RecordType *RT, 135792b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang const llvm::StringRef &TypeName, 135892b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang unsigned Dim) { 13595abbe0e9ca2508260b627ffef2bf01e2554e8357Chris Wailes slangAssert((RT != nullptr) && (RT->getTypeClass() == clang::Type::Record)); 13606e6578a360497f78a181e63d7783422a9c9bfb15Stephen Hines slangAssert((Dim > 1) && "Invalid dimension of matrix"); 136192b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang 136292b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang // Check whether the struct rs_matrix is in our expected form (but assume it's 136392b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang // correct if we're not sure whether it's correct or not) 136492b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang const clang::RecordDecl* RD = RT->getDecl(); 136592b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang RD = RD->getDefinition(); 13665abbe0e9ca2508260b627ffef2bf01e2554e8357Chris Wailes if (RD != nullptr) { 136792b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang // Find definition, perform further examination 136892b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang if (RD->field_empty()) { 1369d3f7527b105d21f1c69d3473eb88a762f2c3ab5aJean-Luc Brouillet Context->ReportError( 1370d3f7527b105d21f1c69d3473eb88a762f2c3ab5aJean-Luc Brouillet RD->getLocation(), 1371d3f7527b105d21f1c69d3473eb88a762f2c3ab5aJean-Luc Brouillet "invalid matrix struct: must have 1 field for saving values: '%0'") 1372d3f7527b105d21f1c69d3473eb88a762f2c3ab5aJean-Luc Brouillet << RD->getName(); 13735abbe0e9ca2508260b627ffef2bf01e2554e8357Chris Wailes return nullptr; 137492b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang } 137592b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang 137692b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang clang::RecordDecl::field_iterator FIT = RD->field_begin(); 137792b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang const clang::FieldDecl *FD = *FIT; 137892b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang const clang::Type *FT = RSExportType::GetTypeOfDecl(FD); 13795abbe0e9ca2508260b627ffef2bf01e2554e8357Chris Wailes if ((FT == nullptr) || (FT->getTypeClass() != clang::Type::ConstantArray)) { 1380d3f7527b105d21f1c69d3473eb88a762f2c3ab5aJean-Luc Brouillet Context->ReportError(RD->getLocation(), 1381d3f7527b105d21f1c69d3473eb88a762f2c3ab5aJean-Luc Brouillet "invalid matrix struct: first field should" 1382d3f7527b105d21f1c69d3473eb88a762f2c3ab5aJean-Luc Brouillet " be an array with constant size: '%0'") 1383d3f7527b105d21f1c69d3473eb88a762f2c3ab5aJean-Luc Brouillet << RD->getName(); 13845abbe0e9ca2508260b627ffef2bf01e2554e8357Chris Wailes return nullptr; 138592b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang } 138692b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang const clang::ConstantArrayType *CAT = 138792b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang static_cast<const clang::ConstantArrayType *>(FT); 1388b095e05fef8f0230ab42eaed7a06c3b2d698189aJean-Luc Brouillet const clang::Type *ElementType = GetConstantArrayElementType(CAT); 13895abbe0e9ca2508260b627ffef2bf01e2554e8357Chris Wailes if ((ElementType == nullptr) || 139092b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang (ElementType->getTypeClass() != clang::Type::Builtin) || 13919207a2e495c8363606861e4f034504ec5c153dabLogan Chien (static_cast<const clang::BuiltinType *>(ElementType)->getKind() != 13929207a2e495c8363606861e4f034504ec5c153dabLogan Chien clang::BuiltinType::Float)) { 1393d3f7527b105d21f1c69d3473eb88a762f2c3ab5aJean-Luc Brouillet Context->ReportError(RD->getLocation(), 1394d3f7527b105d21f1c69d3473eb88a762f2c3ab5aJean-Luc Brouillet "invalid matrix struct: first field " 1395d3f7527b105d21f1c69d3473eb88a762f2c3ab5aJean-Luc Brouillet "should be a float array: '%0'") 1396d3f7527b105d21f1c69d3473eb88a762f2c3ab5aJean-Luc Brouillet << RD->getName(); 13975abbe0e9ca2508260b627ffef2bf01e2554e8357Chris Wailes return nullptr; 139892b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang } 139992b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang 140092b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang if (CAT->getSize() != Dim * Dim) { 1401d3f7527b105d21f1c69d3473eb88a762f2c3ab5aJean-Luc Brouillet Context->ReportError(RD->getLocation(), 1402d3f7527b105d21f1c69d3473eb88a762f2c3ab5aJean-Luc Brouillet "invalid matrix struct: first field " 1403d3f7527b105d21f1c69d3473eb88a762f2c3ab5aJean-Luc Brouillet "should be an array with size %0: '%1'") 1404d3f7527b105d21f1c69d3473eb88a762f2c3ab5aJean-Luc Brouillet << (Dim * Dim) << (RD->getName()); 14055abbe0e9ca2508260b627ffef2bf01e2554e8357Chris Wailes return nullptr; 140692b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang } 140792b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang 140892b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang FIT++; 140992b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang if (FIT != RD->field_end()) { 1410d3f7527b105d21f1c69d3473eb88a762f2c3ab5aJean-Luc Brouillet Context->ReportError(RD->getLocation(), 1411d3f7527b105d21f1c69d3473eb88a762f2c3ab5aJean-Luc Brouillet "invalid matrix struct: must have " 1412d3f7527b105d21f1c69d3473eb88a762f2c3ab5aJean-Luc Brouillet "exactly 1 field: '%0'") 1413d3f7527b105d21f1c69d3473eb88a762f2c3ab5aJean-Luc Brouillet << RD->getName(); 14145abbe0e9ca2508260b627ffef2bf01e2554e8357Chris Wailes return nullptr; 141592b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang } 141692b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang } 141792b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang 141892b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang return new RSExportMatrixType(Context, TypeName, Dim); 141992b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang} 142092b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang 14217c67e578c760408dba0c2f64da6e074dd8b56fd9Shih-wei Liaollvm::Type *RSExportMatrixType::convertToLLVMType() const { 142292b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang // Construct LLVM type: 142392b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang // struct { 142492b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang // float X[mDim * mDim]; 142592b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang // } 142692b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang 142792b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang llvm::LLVMContext &C = getRSContext()->getLLVMContext(); 142892b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang llvm::ArrayType *X = llvm::ArrayType::get(llvm::Type::getFloatTy(C), 142992b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang mDim * mDim); 1430a67e4451d0d03b4ab7866b64807d95a8399c73a0Stephen Hines return llvm::StructType::get(C, X, false); 143192b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang} 143292b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang 1433ef1707027a18ed0d91a3854476db71024ae0e6daI-Jui (Ray) Sungbool RSExportMatrixType::matchODR(const RSExportType *E, 1434ef1707027a18ed0d91a3854476db71024ae0e6daI-Jui (Ray) Sung bool /* LookInto */) const { 1435641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang CHECK_PARENT_EQUALITY(RSExportType, E); 1436641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang return (static_cast<const RSExportMatrixType*>(E)->getDim() == getDim()); 1437641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang} 1438641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang 14392e1dba6c779a0ae55c76d36a3c03553e16725ab7Zonr Chang/************************* RSExportConstantArrayType *************************/ 14402e1dba6c779a0ae55c76d36a3c03553e16725ab7Zonr ChangRSExportConstantArrayType 14412e1dba6c779a0ae55c76d36a3c03553e16725ab7Zonr Chang*RSExportConstantArrayType::Create(RSContext *Context, 14422e1dba6c779a0ae55c76d36a3c03553e16725ab7Zonr Chang const clang::ConstantArrayType *CAT) { 14435abbe0e9ca2508260b627ffef2bf01e2554e8357Chris Wailes slangAssert(CAT != nullptr && CAT->getTypeClass() == clang::Type::ConstantArray); 14442e1dba6c779a0ae55c76d36a3c03553e16725ab7Zonr Chang 14456e6578a360497f78a181e63d7783422a9c9bfb15Stephen Hines slangAssert((CAT->getSize().getActiveBits() < 32) && "array too large"); 14462e1dba6c779a0ae55c76d36a3c03553e16725ab7Zonr Chang 14472e1dba6c779a0ae55c76d36a3c03553e16725ab7Zonr Chang unsigned Size = static_cast<unsigned>(CAT->getSize().getZExtValue()); 14486e6578a360497f78a181e63d7783422a9c9bfb15Stephen Hines slangAssert((Size > 0) && "Constant array should have size greater than 0"); 14492e1dba6c779a0ae55c76d36a3c03553e16725ab7Zonr Chang 1450b095e05fef8f0230ab42eaed7a06c3b2d698189aJean-Luc Brouillet const clang::Type *ElementType = GetConstantArrayElementType(CAT); 145113fad85b3c99a37c17d8acfec72f46b8ee64e912Stephen Hines RSExportType *ElementET = RSExportType::Create(Context, ElementType, 145213fad85b3c99a37c17d8acfec72f46b8ee64e912Stephen Hines NotLegacyKernelArgument); 14532e1dba6c779a0ae55c76d36a3c03553e16725ab7Zonr Chang 14545abbe0e9ca2508260b627ffef2bf01e2554e8357Chris Wailes if (ElementET == nullptr) { 14555abbe0e9ca2508260b627ffef2bf01e2554e8357Chris Wailes return nullptr; 14562e1dba6c779a0ae55c76d36a3c03553e16725ab7Zonr Chang } 14572e1dba6c779a0ae55c76d36a3c03553e16725ab7Zonr Chang 14582e1dba6c779a0ae55c76d36a3c03553e16725ab7Zonr Chang return new RSExportConstantArrayType(Context, 14592e1dba6c779a0ae55c76d36a3c03553e16725ab7Zonr Chang ElementET, 14602e1dba6c779a0ae55c76d36a3c03553e16725ab7Zonr Chang Size); 14612e1dba6c779a0ae55c76d36a3c03553e16725ab7Zonr Chang} 14622e1dba6c779a0ae55c76d36a3c03553e16725ab7Zonr Chang 14637c67e578c760408dba0c2f64da6e074dd8b56fd9Shih-wei Liaollvm::Type *RSExportConstantArrayType::convertToLLVMType() const { 1464657d20afa621219c1eed72178d1325fd4409f458David Gross return llvm::ArrayType::get(mElementType->getLLVMType(), getNumElement()); 14652e1dba6c779a0ae55c76d36a3c03553e16725ab7Zonr Chang} 14662e1dba6c779a0ae55c76d36a3c03553e16725ab7Zonr Chang 14673cd3dd327445fcfa49f0e96cb2de2055bce541e9Zonr Changbool RSExportConstantArrayType::keep() { 14683cd3dd327445fcfa49f0e96cb2de2055bce541e9Zonr Chang if (!RSExportType::keep()) 14693cd3dd327445fcfa49f0e96cb2de2055bce541e9Zonr Chang return false; 1470641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang const_cast<RSExportType*>(mElementType)->keep(); 14713cd3dd327445fcfa49f0e96cb2de2055bce541e9Zonr Chang return true; 1472641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang} 1473641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang 1474ef1707027a18ed0d91a3854476db71024ae0e6daI-Jui (Ray) Sungbool RSExportConstantArrayType::matchODR(const RSExportType *E, 1475ef1707027a18ed0d91a3854476db71024ae0e6daI-Jui (Ray) Sung bool LookInto) const { 1476641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang CHECK_PARENT_EQUALITY(RSExportType, E); 1477a7b7518aa3725d5cff1c1a6319ec7a6b8b244e0eStephen Hines const RSExportConstantArrayType *RHS = 1478a7b7518aa3725d5cff1c1a6319ec7a6b8b244e0eStephen Hines static_cast<const RSExportConstantArrayType*>(E); 1479657d20afa621219c1eed72178d1325fd4409f458David Gross return ((getNumElement() == RHS->getNumElement()) && 1480ef1707027a18ed0d91a3854476db71024ae0e6daI-Jui (Ray) Sung (getElementType()->matchODR(RHS->getElementType(), LookInto))); 1481641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang} 1482641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang 14839ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao/**************************** RSExportRecordType ****************************/ 14849ef2f785e0cc490af678dfd685995dec787321ffShih-wei LiaoRSExportRecordType *RSExportRecordType::Create(RSContext *Context, 14859ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao const clang::RecordType *RT, 14869ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao const llvm::StringRef &TypeName, 14879ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao bool mIsArtificial) { 14885abbe0e9ca2508260b627ffef2bf01e2554e8357Chris Wailes slangAssert(RT != nullptr && RT->getTypeClass() == clang::Type::Record); 1489462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 14909ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao const clang::RecordDecl *RD = RT->getDecl(); 14916e6578a360497f78a181e63d7783422a9c9bfb15Stephen Hines slangAssert(RD->isStruct()); 1492462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 14939ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao RD = RD->getDefinition(); 14945abbe0e9ca2508260b627ffef2bf01e2554e8357Chris Wailes if (RD == nullptr) { 14956e6578a360497f78a181e63d7783422a9c9bfb15Stephen Hines slangAssert(false && "struct is not defined in this module"); 14965abbe0e9ca2508260b627ffef2bf01e2554e8357Chris Wailes return nullptr; 14979ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 1498462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 14990da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang // Struct layout construct by clang. We rely on this for obtaining the 15000da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang // alloc size of a struct and offset of every field in that struct. 15010da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang const clang::ASTRecordLayout *RL = 15029e5b503349719144f63ccb7c62ee9c291a7d83b8Stephen Hines &Context->getASTContext().getASTRecordLayout(RD); 15035abbe0e9ca2508260b627ffef2bf01e2554e8357Chris Wailes slangAssert((RL != nullptr) && 1504f2174cfd6a556b51aadf2b8765e50df080e8f18eStephen Hines "Failed to retrieve the struct layout from Clang."); 15050da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang 15060da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang RSExportRecordType *ERT = 15070da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang new RSExportRecordType(Context, 15080da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang TypeName, 150963e610873b9538797bbe26234aa50d5d0869d938David Gross RD->getLocation(), 15100da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang RD->hasAttr<clang::PackedAttr>(), 15110da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang mIsArtificial, 1512c95381a2c3b6e9117901eef0687e861e4d533bfeJean-Luc Brouillet RL->getDataSize().getQuantity(), 151368318a14fe6d2debc1b9dce3fe71c42f5916eef5Shih-wei Liao RL->getSize().getQuantity()); 15149ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao unsigned int Index = 0; 15159ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao 15169ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao for (clang::RecordDecl::field_iterator FI = RD->field_begin(), 15179ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao FE = RD->field_end(); 15189ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao FI != FE; 151991a3783ce1f4eb9ad6e9c1ecdbd27f3d6dc58634Shih-wei Liao FI++, Index++) { 15209ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao 15219ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // FIXME: All fields should be primitive type 152243730fe3c839af391efe6bdf56b0479860121924Shih-wei Liao slangAssert(FI->getKind() == clang::Decl::Field); 15239ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao clang::FieldDecl *FD = *FI; 15249ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao 15252ef9bc0cfbca2152d972c0975005f8c897c2a42cStephen Hines if (FD->isBitField()) { 15265abbe0e9ca2508260b627ffef2bf01e2554e8357Chris Wailes return nullptr; 15272ef9bc0cfbca2152d972c0975005f8c897c2a42cStephen Hines } 15289ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao 152937dbf5c324322fe2458e63e3fa869fbf903ec6fdDavid Gross if (FD->isImplicit() && (FD->getName() == RS_PADDING_FIELD_NAME)) 153037dbf5c324322fe2458e63e3fa869fbf903ec6fdDavid Gross continue; 153137dbf5c324322fe2458e63e3fa869fbf903ec6fdDavid Gross 15329ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // Type 15336315f76e3cc6ff2d012d1183a0b030d4ff0dc808zonr RSExportType *ET = RSExportElement::CreateFromDecl(Context, FD); 15349ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao 15355abbe0e9ca2508260b627ffef2bf01e2554e8357Chris Wailes if (ET != nullptr) { 15360da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang ERT->mFields.push_back( 15370da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang new Field(ET, FD->getName(), ERT, 15380da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang static_cast<size_t>(RL->getFieldOffset(Index) >> 3))); 15392ef9bc0cfbca2152d972c0975005f8c897c2a42cStephen Hines } else { 154017e3baa8b9504eece8ead022cf51e7a8e3fe25d0Luis A. Lozano // clang static analysis complains about a potential memory leak 154117e3baa8b9504eece8ead022cf51e7a8e3fe25d0Luis A. Lozano // for the memory pointed by ERT at the end of this basic 154217e3baa8b9504eece8ead022cf51e7a8e3fe25d0Luis A. Lozano // block. This is a false warning because the compiler does not 154317e3baa8b9504eece8ead022cf51e7a8e3fe25d0Luis A. Lozano // see that the pointer to this memory is saved away in the 154417e3baa8b9504eece8ead022cf51e7a8e3fe25d0Luis A. Lozano // constructor for RSExportRecordType by calling 154517e3baa8b9504eece8ead022cf51e7a8e3fe25d0Luis A. Lozano // RSContext::newExportable(this). So, we disable this 154617e3baa8b9504eece8ead022cf51e7a8e3fe25d0Luis A. Lozano // particular instance of the warning. 1547d3f7527b105d21f1c69d3473eb88a762f2c3ab5aJean-Luc Brouillet Context->ReportError(RD->getLocation(), 1548d3f7527b105d21f1c69d3473eb88a762f2c3ab5aJean-Luc Brouillet "field type cannot be exported: '%0.%1'") 154917e3baa8b9504eece8ead022cf51e7a8e3fe25d0Luis A. Lozano << RD->getName() << FD->getName(); // NOLINT 15505abbe0e9ca2508260b627ffef2bf01e2554e8357Chris Wailes return nullptr; 15512ef9bc0cfbca2152d972c0975005f8c897c2a42cStephen Hines } 15529ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 15530a3f20ec28ed6f5ae1ed5d61f6b6e3e577f7f5d1Shih-wei Liao 15549ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return ERT; 1555462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao} 1556462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 15577c67e578c760408dba0c2f64da6e074dd8b56fd9Shih-wei Liaollvm::Type *RSExportRecordType::convertToLLVMType() const { 15583cd3dd327445fcfa49f0e96cb2de2055bce541e9Zonr Chang // Create an opaque type since struct may reference itself recursively. 15593cd3dd327445fcfa49f0e96cb2de2055bce541e9Zonr Chang 15607c67e578c760408dba0c2f64da6e074dd8b56fd9Shih-wei Liao // TODO(sliao): LLVM took out the OpaqueType. Any other to migrate to? 15617c67e578c760408dba0c2f64da6e074dd8b56fd9Shih-wei Liao std::vector<llvm::Type*> FieldTypes; 1562462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 15633cd3dd327445fcfa49f0e96cb2de2055bce541e9Zonr Chang for (const_field_iterator FI = fields_begin(), FE = fields_end(); 15649ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao FI != FE; 15659ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao FI++) { 15669ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao const Field *F = *FI; 15679ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao const RSExportType *FET = F->getType(); 15681f0d88fbff28e4e2dd563d93c8fe0047381c09ccShih-wei Liao 15699ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao FieldTypes.push_back(FET->getLLVMType()); 15709ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 1571462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 15723cd3dd327445fcfa49f0e96cb2de2055bce541e9Zonr Chang llvm::StructType *ST = llvm::StructType::get(getRSContext()->getLLVMContext(), 15733cd3dd327445fcfa49f0e96cb2de2055bce541e9Zonr Chang FieldTypes, 15743cd3dd327445fcfa49f0e96cb2de2055bce541e9Zonr Chang mIsPacked); 15755abbe0e9ca2508260b627ffef2bf01e2554e8357Chris Wailes if (ST != nullptr) { 15767c67e578c760408dba0c2f64da6e074dd8b56fd9Shih-wei Liao return ST; 15777c67e578c760408dba0c2f64da6e074dd8b56fd9Shih-wei Liao } else { 15785abbe0e9ca2508260b627ffef2bf01e2554e8357Chris Wailes return nullptr; 15797c67e578c760408dba0c2f64da6e074dd8b56fd9Shih-wei Liao } 1580462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao} 1581641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang 15823cd3dd327445fcfa49f0e96cb2de2055bce541e9Zonr Changbool RSExportRecordType::keep() { 15833cd3dd327445fcfa49f0e96cb2de2055bce541e9Zonr Chang if (!RSExportType::keep()) 15843cd3dd327445fcfa49f0e96cb2de2055bce541e9Zonr Chang return false; 1585641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang for (std::list<const Field*>::iterator I = mFields.begin(), 1586641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang E = mFields.end(); 1587641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang I != E; 1588641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang I++) { 1589641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang const_cast<RSExportType*>((*I)->getType())->keep(); 1590641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang } 15913cd3dd327445fcfa49f0e96cb2de2055bce541e9Zonr Chang return true; 1592641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang} 1593641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang 1594ef1707027a18ed0d91a3854476db71024ae0e6daI-Jui (Ray) Sungbool RSExportRecordType::matchODR(const RSExportType *E, bool LookInto) const { 1595641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang CHECK_PARENT_EQUALITY(RSExportType, E); 1596ef1707027a18ed0d91a3854476db71024ae0e6daI-Jui (Ray) Sung // Enforce ODR checking - the type E represents must hold 1597ef1707027a18ed0d91a3854476db71024ae0e6daI-Jui (Ray) Sung // *exactly* the same "definition" as the one defined previously. We 1598ef1707027a18ed0d91a3854476db71024ae0e6daI-Jui (Ray) Sung // say two record types A and B have the same definition iff: 1599ef1707027a18ed0d91a3854476db71024ae0e6daI-Jui (Ray) Sung // 1600ef1707027a18ed0d91a3854476db71024ae0e6daI-Jui (Ray) Sung // struct A { struct B { 1601ef1707027a18ed0d91a3854476db71024ae0e6daI-Jui (Ray) Sung // Type(a1) a1, Type(b1) b1, 1602ef1707027a18ed0d91a3854476db71024ae0e6daI-Jui (Ray) Sung // Type(a2) a2, Type(b1) b2, 1603ef1707027a18ed0d91a3854476db71024ae0e6daI-Jui (Ray) Sung // ... ... 1604ef1707027a18ed0d91a3854476db71024ae0e6daI-Jui (Ray) Sung // Type(aN) aN Type(bM) bM, 1605ef1707027a18ed0d91a3854476db71024ae0e6daI-Jui (Ray) Sung // }; } 1606ef1707027a18ed0d91a3854476db71024ae0e6daI-Jui (Ray) Sung // Cond. #0. A = B; 1607ef1707027a18ed0d91a3854476db71024ae0e6daI-Jui (Ray) Sung // Cond. #1. They have same number of fields, i.e., N = M; 1608ef1707027a18ed0d91a3854476db71024ae0e6daI-Jui (Ray) Sung // Cond. #2. for (i := 1 to N) 1609ef1707027a18ed0d91a3854476db71024ae0e6daI-Jui (Ray) Sung // Type(ai).matchODR(Type(bi)) must hold; 1610ef1707027a18ed0d91a3854476db71024ae0e6daI-Jui (Ray) Sung // Cond. #3. for (i := 1 to N) 1611ef1707027a18ed0d91a3854476db71024ae0e6daI-Jui (Ray) Sung // Name(ai) = Name(bi) must hold; 1612ef1707027a18ed0d91a3854476db71024ae0e6daI-Jui (Ray) Sung // 1613ef1707027a18ed0d91a3854476db71024ae0e6daI-Jui (Ray) Sung // where, 1614ef1707027a18ed0d91a3854476db71024ae0e6daI-Jui (Ray) Sung // Type(F) = the type of field F and 1615ef1707027a18ed0d91a3854476db71024ae0e6daI-Jui (Ray) Sung // Name(F) = the field name. 1616641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang 1617641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang 1618ef1707027a18ed0d91a3854476db71024ae0e6daI-Jui (Ray) Sung const RSExportRecordType *ERT = static_cast<const RSExportRecordType*>(E); 1619ef1707027a18ed0d91a3854476db71024ae0e6daI-Jui (Ray) Sung // Cond. #0. 1620ef1707027a18ed0d91a3854476db71024ae0e6daI-Jui (Ray) Sung if (getName() != ERT->getName()) 1621641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang return false; 1622641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang 1623ef1707027a18ed0d91a3854476db71024ae0e6daI-Jui (Ray) Sung // Examine fields - types and names 1624ef1707027a18ed0d91a3854476db71024ae0e6daI-Jui (Ray) Sung if (LookInto) { 1625ef1707027a18ed0d91a3854476db71024ae0e6daI-Jui (Ray) Sung // Cond. #1 1626ef1707027a18ed0d91a3854476db71024ae0e6daI-Jui (Ray) Sung if (ERT->getFields().size() != getFields().size()) 1627641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang return false; 1628641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang 1629ef1707027a18ed0d91a3854476db71024ae0e6daI-Jui (Ray) Sung for (RSExportRecordType::const_field_iterator AI = fields_begin(), 1630ef1707027a18ed0d91a3854476db71024ae0e6daI-Jui (Ray) Sung BI = ERT->fields_begin(), AE = fields_end(); AI != AE; ++AI, ++BI) { 1631ef1707027a18ed0d91a3854476db71024ae0e6daI-Jui (Ray) Sung const RSExportType *AITy = (*AI)->getType(); 1632ef1707027a18ed0d91a3854476db71024ae0e6daI-Jui (Ray) Sung const RSExportType *BITy = (*BI)->getType(); 1633ef1707027a18ed0d91a3854476db71024ae0e6daI-Jui (Ray) Sung // Cond. #3; field names must agree 1634ef1707027a18ed0d91a3854476db71024ae0e6daI-Jui (Ray) Sung if ((*AI)->getName() != (*BI)->getName()) 1635ef1707027a18ed0d91a3854476db71024ae0e6daI-Jui (Ray) Sung return false; 1636ef1707027a18ed0d91a3854476db71024ae0e6daI-Jui (Ray) Sung 1637ef1707027a18ed0d91a3854476db71024ae0e6daI-Jui (Ray) Sung // Cond. #2; field types must agree recursively until we see another 1638ef1707027a18ed0d91a3854476db71024ae0e6daI-Jui (Ray) Sung // next level of RSExportRecordType - such field types will be 1639ef1707027a18ed0d91a3854476db71024ae0e6daI-Jui (Ray) Sung // examined and reported later when checkODR() encounters them. 1640ef1707027a18ed0d91a3854476db71024ae0e6daI-Jui (Ray) Sung if (!AITy->matchODR(BITy, false)) 1641ef1707027a18ed0d91a3854476db71024ae0e6daI-Jui (Ray) Sung return false; 1642ef1707027a18ed0d91a3854476db71024ae0e6daI-Jui (Ray) Sung } 1643ef1707027a18ed0d91a3854476db71024ae0e6daI-Jui (Ray) Sung } 1644641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang return true; 1645641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang} 1646e639eb5caa2c386b4a60659a4929e8a6141a2cbeStephen Hines 16471b6a0883cd6984e11e59b0c847fb334df1f41afcJason Samsvoid RSExportType::convertToRTD(RSReflectionTypeData *rtd) const { 16481b6a0883cd6984e11e59b0c847fb334df1f41afcJason Sams memset(rtd, 0, sizeof(*rtd)); 16491b6a0883cd6984e11e59b0c847fb334df1f41afcJason Sams rtd->vecSize = 1; 16501b6a0883cd6984e11e59b0c847fb334df1f41afcJason Sams 16511b6a0883cd6984e11e59b0c847fb334df1f41afcJason Sams switch(getClass()) { 16521b6a0883cd6984e11e59b0c847fb334df1f41afcJason Sams case RSExportType::ExportClassPrimitive: { 16531b6a0883cd6984e11e59b0c847fb334df1f41afcJason Sams const RSExportPrimitiveType *EPT = static_cast<const RSExportPrimitiveType*>(this); 16541b6a0883cd6984e11e59b0c847fb334df1f41afcJason Sams rtd->type = RSExportPrimitiveType::getRSReflectionType(EPT); 16551b6a0883cd6984e11e59b0c847fb334df1f41afcJason Sams return; 16561b6a0883cd6984e11e59b0c847fb334df1f41afcJason Sams } 16571b6a0883cd6984e11e59b0c847fb334df1f41afcJason Sams case RSExportType::ExportClassPointer: { 16581b6a0883cd6984e11e59b0c847fb334df1f41afcJason Sams const RSExportPointerType *EPT = static_cast<const RSExportPointerType*>(this); 16591b6a0883cd6984e11e59b0c847fb334df1f41afcJason Sams const RSExportType *PointeeType = EPT->getPointeeType(); 16601b6a0883cd6984e11e59b0c847fb334df1f41afcJason Sams PointeeType->convertToRTD(rtd); 16611b6a0883cd6984e11e59b0c847fb334df1f41afcJason Sams rtd->isPointer = true; 16621b6a0883cd6984e11e59b0c847fb334df1f41afcJason Sams return; 16631b6a0883cd6984e11e59b0c847fb334df1f41afcJason Sams } 16641b6a0883cd6984e11e59b0c847fb334df1f41afcJason Sams case RSExportType::ExportClassVector: { 16651b6a0883cd6984e11e59b0c847fb334df1f41afcJason Sams const RSExportVectorType *EVT = static_cast<const RSExportVectorType*>(this); 16661b6a0883cd6984e11e59b0c847fb334df1f41afcJason Sams rtd->type = EVT->getRSReflectionType(EVT); 16671b6a0883cd6984e11e59b0c847fb334df1f41afcJason Sams rtd->vecSize = EVT->getNumElement(); 16681b6a0883cd6984e11e59b0c847fb334df1f41afcJason Sams return; 16691b6a0883cd6984e11e59b0c847fb334df1f41afcJason Sams } 16701b6a0883cd6984e11e59b0c847fb334df1f41afcJason Sams case RSExportType::ExportClassMatrix: { 16711b6a0883cd6984e11e59b0c847fb334df1f41afcJason Sams const RSExportMatrixType *EMT = static_cast<const RSExportMatrixType*>(this); 16721b6a0883cd6984e11e59b0c847fb334df1f41afcJason Sams unsigned Dim = EMT->getDim(); 16731b6a0883cd6984e11e59b0c847fb334df1f41afcJason Sams slangAssert((Dim >= 2) && (Dim <= 4)); 16741b6a0883cd6984e11e59b0c847fb334df1f41afcJason Sams rtd->type = &gReflectionTypes[15 + Dim-2]; 16751b6a0883cd6984e11e59b0c847fb334df1f41afcJason Sams return; 16761b6a0883cd6984e11e59b0c847fb334df1f41afcJason Sams } 16771b6a0883cd6984e11e59b0c847fb334df1f41afcJason Sams case RSExportType::ExportClassConstantArray: { 16781b6a0883cd6984e11e59b0c847fb334df1f41afcJason Sams const RSExportConstantArrayType* CAT = 16791b6a0883cd6984e11e59b0c847fb334df1f41afcJason Sams static_cast<const RSExportConstantArrayType*>(this); 16801b6a0883cd6984e11e59b0c847fb334df1f41afcJason Sams CAT->getElementType()->convertToRTD(rtd); 1681657d20afa621219c1eed72178d1325fd4409f458David Gross rtd->arraySize = CAT->getNumElement(); 16821b6a0883cd6984e11e59b0c847fb334df1f41afcJason Sams return; 16831b6a0883cd6984e11e59b0c847fb334df1f41afcJason Sams } 16841b6a0883cd6984e11e59b0c847fb334df1f41afcJason Sams case RSExportType::ExportClassRecord: { 16851b6a0883cd6984e11e59b0c847fb334df1f41afcJason Sams slangAssert(!"RSExportType::ExportClassRecord not implemented"); 16861b6a0883cd6984e11e59b0c847fb334df1f41afcJason Sams return;// RS_TYPE_CLASS_NAME_PREFIX + ET->getName() + ".Item"; 16871b6a0883cd6984e11e59b0c847fb334df1f41afcJason Sams } 16881b6a0883cd6984e11e59b0c847fb334df1f41afcJason Sams default: { 16891b6a0883cd6984e11e59b0c847fb334df1f41afcJason Sams slangAssert(false && "Unknown class of type"); 16901b6a0883cd6984e11e59b0c847fb334df1f41afcJason Sams } 16911b6a0883cd6984e11e59b0c847fb334df1f41afcJason Sams } 16921b6a0883cd6984e11e59b0c847fb334df1f41afcJason Sams} 16931b6a0883cd6984e11e59b0c847fb334df1f41afcJason Sams 16941b6a0883cd6984e11e59b0c847fb334df1f41afcJason Sams 1695e639eb5caa2c386b4a60659a4929e8a6141a2cbeStephen Hines} // namespace slang 1696