slang_rs_export_type.cpp revision 2354442e34a47e27dad019df96062c7f620e853a
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) \ 37641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang if (!ParentClass::equals(E)) \ 38641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang return false; 39641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang 40e639eb5caa2c386b4a60659a4929e8a6141a2cbeStephen Hinesnamespace slang { 41462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 42e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hinesnamespace { 43462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 44474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet/* For the data types we support, their category, names, and size (in bits). 45474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet * 46474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet * IMPORTANT: The data types in this table should be at the same index 47474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet * as specified by the corresponding DataType enum. 48474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet */ 49fdd1ba13a69501a1b91fdc9be31413215d467497Stephen Hinesstatic RSReflectionType gReflectionTypes[] = { 50474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet {PrimitiveDataType, "FLOAT_16", "F16", 16, "half", "half", "Half", "Half", false}, 51474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet {PrimitiveDataType, "FLOAT_32", "F32", 32, "float", "float", "Float", "Float", false}, 52474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet {PrimitiveDataType, "FLOAT_64", "F64", 64, "double", "double", "Double", "Double",false}, 53474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet {PrimitiveDataType, "SIGNED_8", "I8", 8, "int8_t", "byte", "Byte", "Byte", false}, 54474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet {PrimitiveDataType, "SIGNED_16", "I16", 16, "int16_t", "short", "Short", "Short", false}, 55474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet {PrimitiveDataType, "SIGNED_32", "I32", 32, "int32_t", "int", "Int", "Int", false}, 56474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet {PrimitiveDataType, "SIGNED_64", "I64", 64, "int64_t", "long", "Long", "Long", false}, 57474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet {PrimitiveDataType, "UNSIGNED_8", "U8", 8, "uint8_t", "short", "UByte", "Short", true}, 58474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet {PrimitiveDataType, "UNSIGNED_16", "U16", 16, "uint16_t", "int", "UShort", "Int", true}, 59474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet {PrimitiveDataType, "UNSIGNED_32", "U32", 32, "uint32_t", "long", "UInt", "Long", true}, 60474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet {PrimitiveDataType, "UNSIGNED_64", "U64", 64, "uint64_t", "long", "ULong", "Long", false}, 61474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet 62474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet {PrimitiveDataType, "BOOLEAN", "BOOLEAN", 8, "bool", "boolean", NULL, NULL, false}, 63474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet 64474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet {PrimitiveDataType, "UNSIGNED_5_6_5", NULL, 16, NULL, NULL, NULL, NULL, false}, 65474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet {PrimitiveDataType, "UNSIGNED_5_5_5_1", NULL, 16, NULL, NULL, NULL, NULL, false}, 66474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet {PrimitiveDataType, "UNSIGNED_4_4_4_4", NULL, 16, NULL, NULL, NULL, NULL, false}, 67474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet 68474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet {MatrixDataType, "MATRIX_2X2", NULL, 4*32, "rsMatrix_2x2", "Matrix2f", NULL, NULL, false}, 69474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet {MatrixDataType, "MATRIX_3X3", NULL, 9*32, "rsMatrix_3x3", "Matrix3f", NULL, NULL, false}, 70474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet {MatrixDataType, "MATRIX_4X4", NULL, 16*32, "rsMatrix_4x4", "Matrix4f", NULL, NULL, false}, 71474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet 72474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet // TODO: For 64 bit, what will be the size of the objects?? 73474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet {ObjectDataType, "RS_ELEMENT", "ELEMENT", 32, "Element", "Element", NULL, NULL, false}, 74474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet {ObjectDataType, "RS_TYPE", "TYPE", 32, "Type", "Type", NULL, NULL, false}, 75474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet {ObjectDataType, "RS_ALLOCATION", "ALLOCATION", 32, "Allocation", "Allocation", NULL, NULL, false}, 76474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet {ObjectDataType, "RS_SAMPLER", "SAMPLER", 32, "Sampler", "Sampler", NULL, NULL, false}, 77474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet {ObjectDataType, "RS_SCRIPT", "SCRIPT", 32, "Script", "Script", NULL, NULL, false}, 78474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet {ObjectDataType, "RS_MESH", "MESH", 32, "Mesh", "Mesh", NULL, NULL, false}, 79474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet {ObjectDataType, "RS_PATH", "PATH", 32, "Path", "Path", NULL, NULL, false}, 80474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet 81474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet {ObjectDataType, "RS_PROGRAM_FRAGMENT", "PROGRAM_FRAGMENT", 32, "ProgramFragment", "ProgramFragment", NULL, NULL, false}, 82474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet {ObjectDataType, "RS_PROGRAM_VERTEX", "PROGRAM_VERTEX", 32, "ProgramVertex", "ProgramVertex", NULL, NULL, false}, 83474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet {ObjectDataType, "RS_PROGRAM_RASTER", "PROGRAM_RASTER", 32, "ProgramRaster", "ProgramRaster", NULL, NULL, false}, 84474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet {ObjectDataType, "RS_PROGRAM_STORE", "PROGRAM_STORE", 32, "ProgramStore", "ProgramStore", NULL, NULL, false}, 85474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet {ObjectDataType, "RS_FONT", "FONT", 32, "Font", "Font", NULL, NULL, false} 86474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet}; 87474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet 88474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouilletconst int kMaxVectorSize = 4; 89474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet 90474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouilletstruct BuiltinInfo { 91474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet clang::BuiltinType::Kind builtinTypeKind; 92474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet RSExportPrimitiveType::DataType type; 93474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet /* TODO If we return std::string instead of llvm::StringRef, we could build 94474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet * the name instead of duplicating the entries. 95474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet */ 96474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet const char *cname[kMaxVectorSize]; 97474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet}; 98474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet 99474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc BrouilletBuiltinInfo BuiltinInfoTable[] = { 100474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet {clang::BuiltinType::Bool, RSExportPrimitiveType::DataTypeBoolean, 101474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet {"bool", "bool2", "bool3", "bool4"}}, 102474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet {clang::BuiltinType::Char_U, RSExportPrimitiveType::DataTypeUnsigned8, 103474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet {"uchar", "uchar2", "uchar3", "uchar4"}}, 104474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet {clang::BuiltinType::UChar, RSExportPrimitiveType::DataTypeUnsigned8, 105474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet {"uchar", "uchar2", "uchar3", "uchar4"}}, 106474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet {clang::BuiltinType::Char16, RSExportPrimitiveType::DataTypeSigned16, 107474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet {"short", "short2", "short3", "short4"}}, 108474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet {clang::BuiltinType::Char32, RSExportPrimitiveType::DataTypeSigned32, 109474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet {"int", "int2", "int3", "int4"}}, 110474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet {clang::BuiltinType::UShort, RSExportPrimitiveType::DataTypeUnsigned16, 111474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet {"ushort", "ushort2", "ushort3", "ushort4"}}, 112474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet {clang::BuiltinType::UInt, RSExportPrimitiveType::DataTypeUnsigned32, 113474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet {"uint", "uint2", "uint3", "uint4"}}, 114474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet {clang::BuiltinType::ULong, RSExportPrimitiveType::DataTypeUnsigned32, 115474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet {"uint", "uint2", "uint3", "uint4"}}, 116474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet {clang::BuiltinType::ULongLong, RSExportPrimitiveType::DataTypeUnsigned64, 117474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet {"ulong", "ulong2", "ulong3", "ulong4"}}, 118474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet 119474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet {clang::BuiltinType::Char_S, RSExportPrimitiveType::DataTypeSigned8, 120474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet {"char", "char2", "char3", "char4"}}, 121474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet {clang::BuiltinType::SChar, RSExportPrimitiveType::DataTypeSigned8, 122474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet {"char", "char2", "char3", "char4"}}, 123474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet {clang::BuiltinType::Short, RSExportPrimitiveType::DataTypeSigned16, 124474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet {"short", "short2", "short3", "short4"}}, 125474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet {clang::BuiltinType::Int, RSExportPrimitiveType::DataTypeSigned32, 126474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet {"int", "int2", "int3", "int4"}}, 127474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet {clang::BuiltinType::Long, RSExportPrimitiveType::DataTypeSigned64, 128474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet {"long", "long2", "long3", "long4"}}, 129474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet {clang::BuiltinType::LongLong, RSExportPrimitiveType::DataTypeSigned64, 130474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet {"long", "long2", "long3", "long4"}}, 131474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet {clang::BuiltinType::Float, RSExportPrimitiveType::DataTypeFloat32, 132474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet {"float", "float2", "float3", "float4"}}, 133474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet {clang::BuiltinType::Double, RSExportPrimitiveType::DataTypeFloat64, 134474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet {"double", "double2", "double3", "double4"}}, 135474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet}; 136474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouilletconst int BuiltinInfoTableCount = sizeof(BuiltinInfoTable) / sizeof(BuiltinInfoTable[0]); 137474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet 138474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouilletstruct NameAndPrimitiveType { 139474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet const char *name; 140474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet RSExportPrimitiveType::DataType dataType; 141474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet}; 142474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet 143474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouilletstatic NameAndPrimitiveType MatrixAndObjectDataTypes[] = { 144474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet {"rs_matrix2x2", RSExportPrimitiveType::DataTypeRSMatrix2x2}, 145474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet {"rs_matrix3x3", RSExportPrimitiveType::DataTypeRSMatrix3x3}, 146474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet {"rs_matrix4x4", RSExportPrimitiveType::DataTypeRSMatrix4x4}, 147474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet {"rs_element", RSExportPrimitiveType::DataTypeRSElement}, 148474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet {"rs_type", RSExportPrimitiveType::DataTypeRSType}, 149474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet {"rs_allocation", RSExportPrimitiveType::DataTypeRSAllocation}, 150474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet {"rs_sampler", RSExportPrimitiveType::DataTypeRSSampler}, 151474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet {"rs_script", RSExportPrimitiveType::DataTypeRSScript}, 152474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet {"rs_mesh", RSExportPrimitiveType::DataTypeRSMesh}, 153474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet {"rs_path", RSExportPrimitiveType::DataTypeRSPath}, 154474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet {"rs_program_fragment", RSExportPrimitiveType::DataTypeRSProgramFragment}, 155474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet {"rs_program_vertex", RSExportPrimitiveType::DataTypeRSProgramVertex}, 156474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet {"rs_program_raster", RSExportPrimitiveType::DataTypeRSProgramRaster}, 157474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet {"rs_program_store", RSExportPrimitiveType::DataTypeRSProgramStore}, 158474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet {"rs_font", RSExportPrimitiveType::DataTypeRSFont}, 159fdd1ba13a69501a1b91fdc9be31413215d467497Stephen Hines}; 160fdd1ba13a69501a1b91fdc9be31413215d467497Stephen Hines 161474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouilletconst int MatrixAndObjectDataTypesCount = 162474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet sizeof(MatrixAndObjectDataTypes) / sizeof(MatrixAndObjectDataTypes[0]); 163474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet 16424e79f69125cf87fcaa78c04510a831037203eebStephen Hinesstatic const clang::Type *TypeExportableHelper( 16524e79f69125cf87fcaa78c04510a831037203eebStephen Hines const clang::Type *T, 16624e79f69125cf87fcaa78c04510a831037203eebStephen Hines llvm::SmallPtrSet<const clang::Type*, 8>& SPS, 16748d893dc7794b3cfb74f35955ca763ee4170f9adStephen Hines slang::RSContext *Context, 16824e79f69125cf87fcaa78c04510a831037203eebStephen Hines const clang::VarDecl *VD, 1695bfec8dd08b3bde9ba3b331e2115210b0e910eaeStephen Hines const clang::RecordDecl *TopLevelRecord); 17024e79f69125cf87fcaa78c04510a831037203eebStephen Hines 171ee4016d1247d3fbe50822de279d3da273d8aef4cTim Murraytemplate <unsigned N> 172d3f7527b105d21f1c69d3473eb88a762f2c3ab5aJean-Luc Brouilletstatic void ReportTypeError(slang::RSContext *Context, 17311274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines const clang::NamedDecl *ND, 17424e79f69125cf87fcaa78c04510a831037203eebStephen Hines const clang::RecordDecl *TopLevelRecord, 175ee4016d1247d3fbe50822de279d3da273d8aef4cTim Murray const char (&Message)[N], 176d5a84f6d49d64738e4bb7c9dea7242e48acad959Stephen Hines unsigned int TargetAPI = 0) { 17724e79f69125cf87fcaa78c04510a831037203eebStephen Hines // Attempt to use the type declaration first (if we have one). 17824e79f69125cf87fcaa78c04510a831037203eebStephen Hines // Fall back to the variable definition, if we are looking at something 17924e79f69125cf87fcaa78c04510a831037203eebStephen Hines // like an array declaration that can't be exported. 18024e79f69125cf87fcaa78c04510a831037203eebStephen Hines if (TopLevelRecord) { 181d3f7527b105d21f1c69d3473eb88a762f2c3ab5aJean-Luc Brouillet Context->ReportError(TopLevelRecord->getLocation(), Message) 182d3f7527b105d21f1c69d3473eb88a762f2c3ab5aJean-Luc Brouillet << TopLevelRecord->getName() << TargetAPI; 18311274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines } else if (ND) { 184d3f7527b105d21f1c69d3473eb88a762f2c3ab5aJean-Luc Brouillet Context->ReportError(ND->getLocation(), Message) << ND->getName() 185d3f7527b105d21f1c69d3473eb88a762f2c3ab5aJean-Luc Brouillet << TargetAPI; 18624e79f69125cf87fcaa78c04510a831037203eebStephen Hines } else { 1876e6578a360497f78a181e63d7783422a9c9bfb15Stephen Hines slangAssert(false && "Variables should be validated before exporting"); 18824e79f69125cf87fcaa78c04510a831037203eebStephen Hines } 18924e79f69125cf87fcaa78c04510a831037203eebStephen Hines} 19024e79f69125cf87fcaa78c04510a831037203eebStephen Hines 19124e79f69125cf87fcaa78c04510a831037203eebStephen Hinesstatic const clang::Type *ConstantArrayTypeExportableHelper( 19224e79f69125cf87fcaa78c04510a831037203eebStephen Hines const clang::ConstantArrayType *CAT, 19324e79f69125cf87fcaa78c04510a831037203eebStephen Hines llvm::SmallPtrSet<const clang::Type*, 8>& SPS, 19448d893dc7794b3cfb74f35955ca763ee4170f9adStephen Hines slang::RSContext *Context, 19524e79f69125cf87fcaa78c04510a831037203eebStephen Hines const clang::VarDecl *VD, 1965bfec8dd08b3bde9ba3b331e2115210b0e910eaeStephen Hines const clang::RecordDecl *TopLevelRecord) { 19724e79f69125cf87fcaa78c04510a831037203eebStephen Hines // Check element type 19824e79f69125cf87fcaa78c04510a831037203eebStephen Hines const clang::Type *ElementType = GET_CONSTANT_ARRAY_ELEMENT_TYPE(CAT); 19924e79f69125cf87fcaa78c04510a831037203eebStephen Hines if (ElementType->isArrayType()) { 200d3f7527b105d21f1c69d3473eb88a762f2c3ab5aJean-Luc Brouillet ReportTypeError(Context, VD, TopLevelRecord, 2019207a2e495c8363606861e4f034504ec5c153dabLogan Chien "multidimensional arrays cannot be exported: '%0'"); 20224e79f69125cf87fcaa78c04510a831037203eebStephen Hines return NULL; 20324e79f69125cf87fcaa78c04510a831037203eebStephen Hines } else if (ElementType->isExtVectorType()) { 20424e79f69125cf87fcaa78c04510a831037203eebStephen Hines const clang::ExtVectorType *EVT = 20524e79f69125cf87fcaa78c04510a831037203eebStephen Hines static_cast<const clang::ExtVectorType*>(ElementType); 20624e79f69125cf87fcaa78c04510a831037203eebStephen Hines unsigned numElements = EVT->getNumElements(); 20724e79f69125cf87fcaa78c04510a831037203eebStephen Hines 20824e79f69125cf87fcaa78c04510a831037203eebStephen Hines const clang::Type *BaseElementType = GET_EXT_VECTOR_ELEMENT_TYPE(EVT); 20924e79f69125cf87fcaa78c04510a831037203eebStephen Hines if (!RSExportPrimitiveType::IsPrimitiveType(BaseElementType)) { 210d3f7527b105d21f1c69d3473eb88a762f2c3ab5aJean-Luc Brouillet ReportTypeError(Context, VD, TopLevelRecord, 2119207a2e495c8363606861e4f034504ec5c153dabLogan Chien "vectors of non-primitive types cannot be exported: '%0'"); 21224e79f69125cf87fcaa78c04510a831037203eebStephen Hines return NULL; 21324e79f69125cf87fcaa78c04510a831037203eebStephen Hines } 21424e79f69125cf87fcaa78c04510a831037203eebStephen Hines 21524e79f69125cf87fcaa78c04510a831037203eebStephen Hines if (numElements == 3 && CAT->getSize() != 1) { 216d3f7527b105d21f1c69d3473eb88a762f2c3ab5aJean-Luc Brouillet ReportTypeError(Context, VD, TopLevelRecord, 2179207a2e495c8363606861e4f034504ec5c153dabLogan Chien "arrays of width 3 vector types cannot be exported: '%0'"); 21824e79f69125cf87fcaa78c04510a831037203eebStephen Hines return NULL; 21924e79f69125cf87fcaa78c04510a831037203eebStephen Hines } 22024e79f69125cf87fcaa78c04510a831037203eebStephen Hines } 22124e79f69125cf87fcaa78c04510a831037203eebStephen Hines 22248d893dc7794b3cfb74f35955ca763ee4170f9adStephen Hines if (TypeExportableHelper(ElementType, SPS, Context, VD, 223d5a84f6d49d64738e4bb7c9dea7242e48acad959Stephen Hines TopLevelRecord) == NULL) { 22424e79f69125cf87fcaa78c04510a831037203eebStephen Hines return NULL; 225d5a84f6d49d64738e4bb7c9dea7242e48acad959Stephen Hines } else { 22624e79f69125cf87fcaa78c04510a831037203eebStephen Hines return CAT; 227d5a84f6d49d64738e4bb7c9dea7242e48acad959Stephen Hines } 22824e79f69125cf87fcaa78c04510a831037203eebStephen Hines} 22924e79f69125cf87fcaa78c04510a831037203eebStephen Hines 230474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc BrouilletBuiltinInfo *FindBuiltinType(clang::BuiltinType::Kind builtinTypeKind) { 231474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet for (int i = 0; i < BuiltinInfoTableCount; i++) { 232474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet if (builtinTypeKind == BuiltinInfoTable[i].builtinTypeKind) { 233474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet return &BuiltinInfoTable[i]; 234474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet } 235474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet } 236474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet return NULL; 237474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet} 238474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet 23924e79f69125cf87fcaa78c04510a831037203eebStephen Hinesstatic const clang::Type *TypeExportableHelper( 240e67239de8d94975e7e2216ee6860ae2e6cb8b15aStephen Hines clang::Type const *T, 241e67239de8d94975e7e2216ee6860ae2e6cb8b15aStephen Hines llvm::SmallPtrSet<clang::Type const *, 8> &SPS, 24248d893dc7794b3cfb74f35955ca763ee4170f9adStephen Hines slang::RSContext *Context, 243e67239de8d94975e7e2216ee6860ae2e6cb8b15aStephen Hines clang::VarDecl const *VD, 2445bfec8dd08b3bde9ba3b331e2115210b0e910eaeStephen Hines clang::RecordDecl const *TopLevelRecord) { 2459ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // Normalize first 2469ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao if ((T = GET_CANONICAL_TYPE(T)) == NULL) 2479ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return NULL; 248462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 2499ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao if (SPS.count(T)) 2509ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return T; 2511f0d88fbff28e4e2dd563d93c8fe0047381c09ccShih-wei Liao 2529ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao switch (T->getTypeClass()) { 2539ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao case clang::Type::Builtin: { 254be27482cdeaf08576bc39b72a15d35d13014a636Logan const clang::BuiltinType *BT = 255be27482cdeaf08576bc39b72a15d35d13014a636Logan UNSAFE_CAST_TYPE(const clang::BuiltinType, T); 256474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet return FindBuiltinType(BT->getKind()) == NULL ? NULL : T; 2579ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 2589ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao case clang::Type::Record: { 259b1771ef128b10c4d4575634828006bfba20b1d9cZonr Chang if (RSExportPrimitiveType::GetRSSpecificType(T) != 260d5a84f6d49d64738e4bb7c9dea7242e48acad959Stephen Hines RSExportPrimitiveType::DataTypeUnknown) { 2616315f76e3cc6ff2d012d1183a0b030d4ff0dc808zonr return T; // RS object type, no further checks are needed 262d5a84f6d49d64738e4bb7c9dea7242e48acad959Stephen Hines } 263462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 2649ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // Check internal struct 265cd440ee9b3bdb7985a20b2cd4b0f8229de34f0a9Stephen Hines if (T->isUnionType()) { 266d3f7527b105d21f1c69d3473eb88a762f2c3ab5aJean-Luc Brouillet ReportTypeError(Context, VD, T->getAsUnionType()->getDecl(), 2679207a2e495c8363606861e4f034504ec5c153dabLogan Chien "unions cannot be exported: '%0'"); 268cd440ee9b3bdb7985a20b2cd4b0f8229de34f0a9Stephen Hines return NULL; 269cd440ee9b3bdb7985a20b2cd4b0f8229de34f0a9Stephen Hines } else if (!T->isStructureType()) { 2706e6578a360497f78a181e63d7783422a9c9bfb15Stephen Hines slangAssert(false && "Unknown type cannot be exported"); 271cd440ee9b3bdb7985a20b2cd4b0f8229de34f0a9Stephen Hines return NULL; 272cd440ee9b3bdb7985a20b2cd4b0f8229de34f0a9Stephen Hines } 273cd440ee9b3bdb7985a20b2cd4b0f8229de34f0a9Stephen Hines 27424e79f69125cf87fcaa78c04510a831037203eebStephen Hines clang::RecordDecl *RD = T->getAsStructureType()->getDecl(); 2752ef9bc0cfbca2152d972c0975005f8c897c2a42cStephen Hines if (RD != NULL) { 2769ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao RD = RD->getDefinition(); 2772ef9bc0cfbca2152d972c0975005f8c897c2a42cStephen Hines if (RD == NULL) { 278d3f7527b105d21f1c69d3473eb88a762f2c3ab5aJean-Luc Brouillet ReportTypeError(Context, NULL, T->getAsStructureType()->getDecl(), 2799207a2e495c8363606861e4f034504ec5c153dabLogan Chien "struct is not defined in this module"); 2802ef9bc0cfbca2152d972c0975005f8c897c2a42cStephen Hines return NULL; 2812ef9bc0cfbca2152d972c0975005f8c897c2a42cStephen Hines } 2822ef9bc0cfbca2152d972c0975005f8c897c2a42cStephen Hines } 283f8149d9e5a3795e9952717ee6346789a134c55c7Shih-wei Liao 284e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines if (!TopLevelRecord) { 285e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines TopLevelRecord = RD; 286e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines } 287e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines if (RD->getName().empty()) { 288d3f7527b105d21f1c69d3473eb88a762f2c3ab5aJean-Luc Brouillet ReportTypeError(Context, NULL, RD, 2899207a2e495c8363606861e4f034504ec5c153dabLogan Chien "anonymous structures cannot be exported"); 290e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines return NULL; 291e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines } 292e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines 2939ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // Fast check 2949ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao if (RD->hasFlexibleArrayMember() || RD->hasObjectMember()) 2959ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return NULL; 296f8149d9e5a3795e9952717ee6346789a134c55c7Shih-wei Liao 2979ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // Insert myself into checking set 2989ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao SPS.insert(T); 299f8149d9e5a3795e9952717ee6346789a134c55c7Shih-wei Liao 3009ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // Check all element 3019ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao for (clang::RecordDecl::field_iterator FI = RD->field_begin(), 3029ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao FE = RD->field_end(); 3039ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao FI != FE; 3049ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao FI++) { 3050da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang const clang::FieldDecl *FD = *FI; 306e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines const clang::Type *FT = RSExportType::GetTypeOfDecl(FD); 3079ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao FT = GET_CANONICAL_TYPE(FT); 308462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 30948d893dc7794b3cfb74f35955ca763ee4170f9adStephen Hines if (!TypeExportableHelper(FT, SPS, Context, VD, TopLevelRecord)) { 3109ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return NULL; 3110da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang } 3122ef9bc0cfbca2152d972c0975005f8c897c2a42cStephen Hines 3132ef9bc0cfbca2152d972c0975005f8c897c2a42cStephen Hines // We don't support bit fields yet 3142ef9bc0cfbca2152d972c0975005f8c897c2a42cStephen Hines // 3152ef9bc0cfbca2152d972c0975005f8c897c2a42cStephen Hines // TODO(zonr/srhines): allow bit fields of size 8, 16, 32 3162ef9bc0cfbca2152d972c0975005f8c897c2a42cStephen Hines if (FD->isBitField()) { 317d3f7527b105d21f1c69d3473eb88a762f2c3ab5aJean-Luc Brouillet Context->ReportError( 318d3f7527b105d21f1c69d3473eb88a762f2c3ab5aJean-Luc Brouillet FD->getLocation(), 319d3f7527b105d21f1c69d3473eb88a762f2c3ab5aJean-Luc Brouillet "bit fields are not able to be exported: '%0.%1'") 320d3f7527b105d21f1c69d3473eb88a762f2c3ab5aJean-Luc Brouillet << RD->getName() << FD->getName(); 3212ef9bc0cfbca2152d972c0975005f8c897c2a42cStephen Hines return NULL; 3222ef9bc0cfbca2152d972c0975005f8c897c2a42cStephen Hines } 3239ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 324462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 3259ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return T; 3269ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 3279ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao case clang::Type::Pointer: { 328e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines if (TopLevelRecord) { 329d3f7527b105d21f1c69d3473eb88a762f2c3ab5aJean-Luc Brouillet ReportTypeError(Context, VD, TopLevelRecord, 330aa82e74b08fcdc2e4e6c1f6796699566b331b656Stephen Hines "structures containing pointers cannot be exported: '%0'"); 331c808a99831115928b4648f4c8b86dc682594217aStephen Hines return NULL; 332c808a99831115928b4648f4c8b86dc682594217aStephen Hines } 33324e79f69125cf87fcaa78c04510a831037203eebStephen Hines 334be27482cdeaf08576bc39b72a15d35d13014a636Logan const clang::PointerType *PT = 335be27482cdeaf08576bc39b72a15d35d13014a636Logan UNSAFE_CAST_TYPE(const clang::PointerType, T); 3369ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao const clang::Type *PointeeType = GET_POINTEE_TYPE(PT); 337462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 338aa82e74b08fcdc2e4e6c1f6796699566b331b656Stephen Hines if (PointeeType->getTypeClass() == clang::Type::Pointer) { 339d3f7527b105d21f1c69d3473eb88a762f2c3ab5aJean-Luc Brouillet ReportTypeError(Context, VD, TopLevelRecord, 340aa82e74b08fcdc2e4e6c1f6796699566b331b656Stephen Hines "multiple levels of pointers cannot be exported: '%0'"); 341aa82e74b08fcdc2e4e6c1f6796699566b331b656Stephen Hines return NULL; 342aa82e74b08fcdc2e4e6c1f6796699566b331b656Stephen Hines } 3432e1dba6c779a0ae55c76d36a3c03553e16725ab7Zonr Chang // We don't support pointer with array-type pointee or unsupported pointee 3442e1dba6c779a0ae55c76d36a3c03553e16725ab7Zonr Chang // type 3452e1dba6c779a0ae55c76d36a3c03553e16725ab7Zonr Chang if (PointeeType->isArrayType() || 34648d893dc7794b3cfb74f35955ca763ee4170f9adStephen Hines (TypeExportableHelper(PointeeType, SPS, Context, VD, 3475bfec8dd08b3bde9ba3b331e2115210b0e910eaeStephen Hines TopLevelRecord) == NULL)) 3489ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return NULL; 3499ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao else 3509ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return T; 3519ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 3529ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao case clang::Type::ExtVector: { 3539ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao const clang::ExtVectorType *EVT = 354be27482cdeaf08576bc39b72a15d35d13014a636Logan UNSAFE_CAST_TYPE(const clang::ExtVectorType, T); 3559ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // Only vector with size 2, 3 and 4 are supported. 3569ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao if (EVT->getNumElements() < 2 || EVT->getNumElements() > 4) 3579ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return NULL; 358f8149d9e5a3795e9952717ee6346789a134c55c7Shih-wei Liao 3599ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // Check base element type 3609ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao const clang::Type *ElementType = GET_EXT_VECTOR_ELEMENT_TYPE(EVT); 361462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 3629ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao if ((ElementType->getTypeClass() != clang::Type::Builtin) || 36348d893dc7794b3cfb74f35955ca763ee4170f9adStephen Hines (TypeExportableHelper(ElementType, SPS, Context, VD, 3645bfec8dd08b3bde9ba3b331e2115210b0e910eaeStephen Hines TopLevelRecord) == NULL)) 3659ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return NULL; 3669ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao else 3679ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return T; 3689ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 3692e1dba6c779a0ae55c76d36a3c03553e16725ab7Zonr Chang case clang::Type::ConstantArray: { 3702e1dba6c779a0ae55c76d36a3c03553e16725ab7Zonr Chang const clang::ConstantArrayType *CAT = 371be27482cdeaf08576bc39b72a15d35d13014a636Logan UNSAFE_CAST_TYPE(const clang::ConstantArrayType, T); 3722e1dba6c779a0ae55c76d36a3c03553e16725ab7Zonr Chang 37348d893dc7794b3cfb74f35955ca763ee4170f9adStephen Hines return ConstantArrayTypeExportableHelper(CAT, SPS, Context, VD, 3745bfec8dd08b3bde9ba3b331e2115210b0e910eaeStephen Hines TopLevelRecord); 3752e1dba6c779a0ae55c76d36a3c03553e16725ab7Zonr Chang } 37648d893dc7794b3cfb74f35955ca763ee4170f9adStephen Hines case clang::Type::Enum: { 37748d893dc7794b3cfb74f35955ca763ee4170f9adStephen Hines // FIXME: We currently convert enums to integers, rather than reflecting 37848d893dc7794b3cfb74f35955ca763ee4170f9adStephen Hines // a more complete (and nicer type-safe Java version). 37948d893dc7794b3cfb74f35955ca763ee4170f9adStephen Hines return Context->getASTContext().IntTy.getTypePtr(); 38048d893dc7794b3cfb74f35955ca763ee4170f9adStephen Hines } 3819ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao default: { 38248d893dc7794b3cfb74f35955ca763ee4170f9adStephen Hines slangAssert(false && "Unknown type cannot be validated"); 3839ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return NULL; 384462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao } 3859ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 3869ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao} 387462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 388e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines// Return the type that can be used to create RSExportType, will always return 389e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines// the canonical type 3909207a2e495c8363606861e4f034504ec5c153dabLogan Chien// If the Type T is not exportable, this function returns NULL. DiagEngine is 39178e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines// used to generate proper Clang diagnostic messages when a 392e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines// non-exportable type is detected. TopLevelRecord is used to capture the 393e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines// highest struct (in the case of a nested hierarchy) for detecting other 394e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines// types that cannot be exported (mostly pointers within a struct). 395e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hinesstatic const clang::Type *TypeExportable(const clang::Type *T, 39648d893dc7794b3cfb74f35955ca763ee4170f9adStephen Hines slang::RSContext *Context, 3975bfec8dd08b3bde9ba3b331e2115210b0e910eaeStephen Hines const clang::VarDecl *VD) { 398e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines llvm::SmallPtrSet<const clang::Type*, 8> SPS = 399e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines llvm::SmallPtrSet<const clang::Type*, 8>(); 400e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines 40148d893dc7794b3cfb74f35955ca763ee4170f9adStephen Hines return TypeExportableHelper(T, SPS, Context, VD, NULL); 40278e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines} 40378e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines 404d3f7527b105d21f1c69d3473eb88a762f2c3ab5aJean-Luc Brouilletstatic bool ValidateRSObjectInVarDecl(slang::RSContext *Context, 405d3f7527b105d21f1c69d3473eb88a762f2c3ab5aJean-Luc Brouillet clang::VarDecl *VD, bool InCompositeType, 406d5a84f6d49d64738e4bb7c9dea7242e48acad959Stephen Hines unsigned int TargetAPI) { 407d5a84f6d49d64738e4bb7c9dea7242e48acad959Stephen Hines if (TargetAPI < SLANG_JB_TARGET_API) { 408d5a84f6d49d64738e4bb7c9dea7242e48acad959Stephen Hines // Only if we are already in a composite type (like an array or structure). 409d5a84f6d49d64738e4bb7c9dea7242e48acad959Stephen Hines if (InCompositeType) { 410d5a84f6d49d64738e4bb7c9dea7242e48acad959Stephen Hines // Only if we are actually exported (i.e. non-static). 41144f10063c2c08dab103a44cded0c3a288d65d43bStephen Hines if (VD->hasLinkage() && 41244f10063c2c08dab103a44cded0c3a288d65d43bStephen Hines (VD->getFormalLinkage() == clang::ExternalLinkage)) { 413d5a84f6d49d64738e4bb7c9dea7242e48acad959Stephen Hines // Only if we are not a pointer to an object. 414d5a84f6d49d64738e4bb7c9dea7242e48acad959Stephen Hines const clang::Type *T = GET_CANONICAL_TYPE(VD->getType().getTypePtr()); 415d5a84f6d49d64738e4bb7c9dea7242e48acad959Stephen Hines if (T->getTypeClass() != clang::Type::Pointer) { 416d3f7527b105d21f1c69d3473eb88a762f2c3ab5aJean-Luc Brouillet ReportTypeError(Context, VD, NULL, 417d5a84f6d49d64738e4bb7c9dea7242e48acad959Stephen Hines "arrays/structures containing RS object types " 418d5a84f6d49d64738e4bb7c9dea7242e48acad959Stephen Hines "cannot be exported in target API < %1: '%0'", 419d5a84f6d49d64738e4bb7c9dea7242e48acad959Stephen Hines SLANG_JB_TARGET_API); 420d5a84f6d49d64738e4bb7c9dea7242e48acad959Stephen Hines return false; 421d5a84f6d49d64738e4bb7c9dea7242e48acad959Stephen Hines } 422d5a84f6d49d64738e4bb7c9dea7242e48acad959Stephen Hines } 423d5a84f6d49d64738e4bb7c9dea7242e48acad959Stephen Hines } 424d5a84f6d49d64738e4bb7c9dea7242e48acad959Stephen Hines } 425d5a84f6d49d64738e4bb7c9dea7242e48acad959Stephen Hines 426d5a84f6d49d64738e4bb7c9dea7242e48acad959Stephen Hines return true; 427d5a84f6d49d64738e4bb7c9dea7242e48acad959Stephen Hines} 428d5a84f6d49d64738e4bb7c9dea7242e48acad959Stephen Hines 42911274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines// Helper function for ValidateType(). We do a recursive descent on the 430d5a84f6d49d64738e4bb7c9dea7242e48acad959Stephen Hines// type hierarchy to ensure that we can properly export/handle the 431d5a84f6d49d64738e4bb7c9dea7242e48acad959Stephen Hines// declaration. 432d5a84f6d49d64738e4bb7c9dea7242e48acad959Stephen Hines// \return true if the variable declaration is valid, 433d5a84f6d49d64738e4bb7c9dea7242e48acad959Stephen Hines// false if it is invalid (along with proper diagnostics). 434d5a84f6d49d64738e4bb7c9dea7242e48acad959Stephen Hines// 43511274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines// C - ASTContext (for diagnostics + builtin types). 43611274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines// T - sub-type that we are validating. 43711274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines// ND - (optional) top-level named declaration that we are validating. 438d5a84f6d49d64738e4bb7c9dea7242e48acad959Stephen Hines// SPS - set of types we have already seen/validated. 439d5a84f6d49d64738e4bb7c9dea7242e48acad959Stephen Hines// InCompositeType - true if we are within an outer composite type. 440d5a84f6d49d64738e4bb7c9dea7242e48acad959Stephen Hines// UnionDecl - set if we are in a sub-type of a union. 441d5a84f6d49d64738e4bb7c9dea7242e48acad959Stephen Hines// TargetAPI - target SDK API level. 44211274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines// IsFilterscript - whether or not we are compiling for Filterscript 44311274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hinesstatic bool ValidateTypeHelper( 444d3f7527b105d21f1c69d3473eb88a762f2c3ab5aJean-Luc Brouillet slang::RSContext *Context, 44511274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines clang::ASTContext &C, 44678e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines const clang::Type *&T, 44711274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines clang::NamedDecl *ND, 44811274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines clang::SourceLocation Loc, 44978e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines llvm::SmallPtrSet<const clang::Type*, 8>& SPS, 450d5a84f6d49d64738e4bb7c9dea7242e48acad959Stephen Hines bool InCompositeType, 451d5a84f6d49d64738e4bb7c9dea7242e48acad959Stephen Hines clang::RecordDecl *UnionDecl, 45211274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines unsigned int TargetAPI, 45311274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines bool IsFilterscript) { 45478e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines if ((T = GET_CANONICAL_TYPE(T)) == NULL) 45578e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines return true; 45678e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines 45778e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines if (SPS.count(T)) 45878e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines return true; 45978e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines 46078e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines switch (T->getTypeClass()) { 46178e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines case clang::Type::Record: { 462d5a84f6d49d64738e4bb7c9dea7242e48acad959Stephen Hines if (RSExportPrimitiveType::IsRSObjectType(T)) { 46311274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines clang::VarDecl *VD = (ND ? llvm::dyn_cast<clang::VarDecl>(ND) : NULL); 464d3f7527b105d21f1c69d3473eb88a762f2c3ab5aJean-Luc Brouillet if (VD && !ValidateRSObjectInVarDecl(Context, VD, InCompositeType, 465d3f7527b105d21f1c69d3473eb88a762f2c3ab5aJean-Luc Brouillet TargetAPI)) { 466d5a84f6d49d64738e4bb7c9dea7242e48acad959Stephen Hines return false; 467d5a84f6d49d64738e4bb7c9dea7242e48acad959Stephen Hines } 468d5a84f6d49d64738e4bb7c9dea7242e48acad959Stephen Hines } 469d5a84f6d49d64738e4bb7c9dea7242e48acad959Stephen Hines 47078e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines if (RSExportPrimitiveType::GetRSSpecificType(T) != 47178e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines RSExportPrimitiveType::DataTypeUnknown) { 47278e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines if (!UnionDecl) { 47378e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines return true; 47478e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines } else if (RSExportPrimitiveType::IsRSObjectType(T)) { 475d3f7527b105d21f1c69d3473eb88a762f2c3ab5aJean-Luc Brouillet ReportTypeError(Context, NULL, UnionDecl, 47678e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines "unions containing RS object types are not allowed"); 47778e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines return false; 47878e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines } 47978e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines } 48078e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines 48178e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines clang::RecordDecl *RD = NULL; 48278e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines 48378e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines // Check internal struct 48478e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines if (T->isUnionType()) { 48578e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines RD = T->getAsUnionType()->getDecl(); 48678e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines UnionDecl = RD; 48778e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines } else if (T->isStructureType()) { 48878e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines RD = T->getAsStructureType()->getDecl(); 48978e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines } else { 49078e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines slangAssert(false && "Unknown type cannot be exported"); 49178e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines return false; 49278e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines } 49378e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines 49478e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines if (RD != NULL) { 49578e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines RD = RD->getDefinition(); 49678e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines if (RD == NULL) { 49778e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines // FIXME 49878e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines return true; 49978e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines } 50078e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines } 50178e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines 50278e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines // Fast check 50378e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines if (RD->hasFlexibleArrayMember() || RD->hasObjectMember()) 50478e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines return false; 50578e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines 50678e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines // Insert myself into checking set 50778e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines SPS.insert(T); 50878e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines 50978e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines // Check all elements 51078e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines for (clang::RecordDecl::field_iterator FI = RD->field_begin(), 51178e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines FE = RD->field_end(); 51278e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines FI != FE; 51378e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines FI++) { 51478e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines const clang::FieldDecl *FD = *FI; 51578e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines const clang::Type *FT = RSExportType::GetTypeOfDecl(FD); 51678e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines FT = GET_CANONICAL_TYPE(FT); 51778e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines 518d3f7527b105d21f1c69d3473eb88a762f2c3ab5aJean-Luc Brouillet if (!ValidateTypeHelper(Context, C, FT, ND, Loc, SPS, true, UnionDecl, 51911274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines TargetAPI, IsFilterscript)) { 52078e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines return false; 52178e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines } 52278e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines } 52378e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines 52478e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines return true; 52578e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines } 52678e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines 52778e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines case clang::Type::Builtin: { 52811274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines if (IsFilterscript) { 52911274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines clang::QualType QT = T->getCanonicalTypeInternal(); 53011274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines if (QT == C.DoubleTy || 53111274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines QT == C.LongDoubleTy || 53211274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines QT == C.LongTy || 53311274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines QT == C.LongLongTy) { 53411274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines if (ND) { 535d3f7527b105d21f1c69d3473eb88a762f2c3ab5aJean-Luc Brouillet Context->ReportError( 536d3f7527b105d21f1c69d3473eb88a762f2c3ab5aJean-Luc Brouillet Loc, 53711274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines "Builtin types > 32 bits in size are forbidden in " 538d3f7527b105d21f1c69d3473eb88a762f2c3ab5aJean-Luc Brouillet "Filterscript: '%0'") 539d3f7527b105d21f1c69d3473eb88a762f2c3ab5aJean-Luc Brouillet << ND->getName(); 54011274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines } else { 541d3f7527b105d21f1c69d3473eb88a762f2c3ab5aJean-Luc Brouillet Context->ReportError( 542d3f7527b105d21f1c69d3473eb88a762f2c3ab5aJean-Luc Brouillet Loc, 54311274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines "Builtin types > 32 bits in size are forbidden in " 544d3f7527b105d21f1c69d3473eb88a762f2c3ab5aJean-Luc Brouillet "Filterscript"); 54511274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines } 54611274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines return false; 54711274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines } 54811274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines } 54978e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines break; 55078e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines } 55178e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines 55278e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines case clang::Type::Pointer: { 55311274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines if (IsFilterscript) { 55411274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines if (ND) { 555d3f7527b105d21f1c69d3473eb88a762f2c3ab5aJean-Luc Brouillet Context->ReportError(Loc, 556d3f7527b105d21f1c69d3473eb88a762f2c3ab5aJean-Luc Brouillet "Pointers are forbidden in Filterscript: '%0'") 557d3f7527b105d21f1c69d3473eb88a762f2c3ab5aJean-Luc Brouillet << ND->getName(); 55811274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines return false; 55911274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines } else { 56011274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines // TODO(srhines): Find a better way to handle expressions (i.e. no 56111274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines // NamedDecl) involving pointers in FS that should be allowed. 56211274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines // An example would be calls to library functions like 56311274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines // rsMatrixMultiply() that take rs_matrixNxN * types. 56411274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines } 56511274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines } 56611274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines 56778e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines const clang::PointerType *PT = 56878e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines UNSAFE_CAST_TYPE(const clang::PointerType, T); 56978e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines const clang::Type *PointeeType = GET_POINTEE_TYPE(PT); 57078e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines 571d3f7527b105d21f1c69d3473eb88a762f2c3ab5aJean-Luc Brouillet return ValidateTypeHelper(Context, C, PointeeType, ND, Loc, SPS, 572d3f7527b105d21f1c69d3473eb88a762f2c3ab5aJean-Luc Brouillet InCompositeType, UnionDecl, TargetAPI, 573d3f7527b105d21f1c69d3473eb88a762f2c3ab5aJean-Luc Brouillet IsFilterscript); 57478e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines } 57578e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines 57678e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines case clang::Type::ExtVector: { 57778e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines const clang::ExtVectorType *EVT = 57878e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines UNSAFE_CAST_TYPE(const clang::ExtVectorType, T); 57978e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines const clang::Type *ElementType = GET_EXT_VECTOR_ELEMENT_TYPE(EVT); 580b13b85e31ac978254cb1ed7653f149f8a3eef460Stephen Hines if (TargetAPI < SLANG_ICS_TARGET_API && 581b13b85e31ac978254cb1ed7653f149f8a3eef460Stephen Hines InCompositeType && 582fdae63e8142f56521813f59e0c506ed3a1636021Stephen Hines EVT->getNumElements() == 3 && 583fdae63e8142f56521813f59e0c506ed3a1636021Stephen Hines ND && 58444f10063c2c08dab103a44cded0c3a288d65d43bStephen Hines ND->getFormalLinkage() == clang::ExternalLinkage) { 585d3f7527b105d21f1c69d3473eb88a762f2c3ab5aJean-Luc Brouillet ReportTypeError(Context, ND, NULL, 586b13b85e31ac978254cb1ed7653f149f8a3eef460Stephen Hines "structs containing vectors of dimension 3 cannot " 587b13b85e31ac978254cb1ed7653f149f8a3eef460Stephen Hines "be exported at this API level: '%0'"); 588b13b85e31ac978254cb1ed7653f149f8a3eef460Stephen Hines return false; 589b13b85e31ac978254cb1ed7653f149f8a3eef460Stephen Hines } 590d3f7527b105d21f1c69d3473eb88a762f2c3ab5aJean-Luc Brouillet return ValidateTypeHelper(Context, C, ElementType, ND, Loc, SPS, true, 591d3f7527b105d21f1c69d3473eb88a762f2c3ab5aJean-Luc Brouillet UnionDecl, TargetAPI, IsFilterscript); 59278e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines } 59378e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines 59478e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines case clang::Type::ConstantArray: { 59578e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines const clang::ConstantArrayType *CAT = 59678e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines UNSAFE_CAST_TYPE(const clang::ConstantArrayType, T); 59778e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines const clang::Type *ElementType = GET_CONSTANT_ARRAY_ELEMENT_TYPE(CAT); 598d3f7527b105d21f1c69d3473eb88a762f2c3ab5aJean-Luc Brouillet return ValidateTypeHelper(Context, C, ElementType, ND, Loc, SPS, true, 599d3f7527b105d21f1c69d3473eb88a762f2c3ab5aJean-Luc Brouillet UnionDecl, TargetAPI, IsFilterscript); 60078e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines } 60178e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines 60278e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines default: { 60378e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines break; 60478e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines } 60578e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines } 60678e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines 60778e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines return true; 608e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines} 609e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines 610e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines} // namespace 611e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines 612e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines/****************************** RSExportType ******************************/ 613e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hinesbool RSExportType::NormalizeType(const clang::Type *&T, 614e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines llvm::StringRef &TypeName, 61548d893dc7794b3cfb74f35955ca763ee4170f9adStephen Hines RSContext *Context, 6165bfec8dd08b3bde9ba3b331e2115210b0e910eaeStephen Hines const clang::VarDecl *VD) { 61748d893dc7794b3cfb74f35955ca763ee4170f9adStephen Hines if ((T = TypeExportable(T, Context, VD)) == NULL) { 618e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines return false; 619e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines } 620e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines // Get type name 621e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines TypeName = RSExportType::GetTypeName(T); 62248d893dc7794b3cfb74f35955ca763ee4170f9adStephen Hines if (Context && TypeName.empty()) { 62348d893dc7794b3cfb74f35955ca763ee4170f9adStephen Hines if (VD) { 624d3f7527b105d21f1c69d3473eb88a762f2c3ab5aJean-Luc Brouillet Context->ReportError(VD->getLocation(), 625d3f7527b105d21f1c69d3473eb88a762f2c3ab5aJean-Luc Brouillet "anonymous types cannot be exported"); 62648d893dc7794b3cfb74f35955ca763ee4170f9adStephen Hines } else { 627d3f7527b105d21f1c69d3473eb88a762f2c3ab5aJean-Luc Brouillet Context->ReportError("anonymous types cannot be exported"); 628e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines } 629e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines return false; 630e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines } 631e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines 632e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines return true; 633e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines} 634e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines 635d3f7527b105d21f1c69d3473eb88a762f2c3ab5aJean-Luc Brouilletbool RSExportType::ValidateType(slang::RSContext *Context, clang::ASTContext &C, 636d3f7527b105d21f1c69d3473eb88a762f2c3ab5aJean-Luc Brouillet clang::QualType QT, clang::NamedDecl *ND, 637d3f7527b105d21f1c69d3473eb88a762f2c3ab5aJean-Luc Brouillet clang::SourceLocation Loc, 638d3f7527b105d21f1c69d3473eb88a762f2c3ab5aJean-Luc Brouillet unsigned int TargetAPI, bool IsFilterscript) { 63911274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines const clang::Type *T = QT.getTypePtr(); 64078e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines llvm::SmallPtrSet<const clang::Type*, 8> SPS = 64178e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines llvm::SmallPtrSet<const clang::Type*, 8>(); 64278e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines 643d3f7527b105d21f1c69d3473eb88a762f2c3ab5aJean-Luc Brouillet return ValidateTypeHelper(Context, C, T, ND, Loc, SPS, false, NULL, TargetAPI, 64411274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines IsFilterscript); 64511274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines return true; 64611274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines} 64711274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines 648d3f7527b105d21f1c69d3473eb88a762f2c3ab5aJean-Luc Brouilletbool RSExportType::ValidateVarDecl(slang::RSContext *Context, 649d3f7527b105d21f1c69d3473eb88a762f2c3ab5aJean-Luc Brouillet clang::VarDecl *VD, unsigned int TargetAPI, 65011274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines bool IsFilterscript) { 651d3f7527b105d21f1c69d3473eb88a762f2c3ab5aJean-Luc Brouillet return ValidateType(Context, VD->getASTContext(), VD->getType(), VD, 65211274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines VD->getLocation(), TargetAPI, IsFilterscript); 65378e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines} 65478e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines 655e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hinesconst clang::Type 656e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines*RSExportType::GetTypeOfDecl(const clang::DeclaratorDecl *DD) { 657e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines if (DD) { 6588de1922e037612f2521acac2f4c4289a9f71450dStephen Hines clang::QualType T = DD->getType(); 659e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines 660e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines if (T.isNull()) 661e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines return NULL; 662e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines else 663e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines return T.getTypePtr(); 664e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines } 665e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines return NULL; 666e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines} 667e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines 668e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hinesllvm::StringRef RSExportType::GetTypeName(const clang::Type* T) { 669e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines T = GET_CANONICAL_TYPE(T); 670e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines if (T == NULL) 671e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines return llvm::StringRef(); 672e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines 673e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines switch (T->getTypeClass()) { 674e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines case clang::Type::Builtin: { 675be27482cdeaf08576bc39b72a15d35d13014a636Logan const clang::BuiltinType *BT = 676be27482cdeaf08576bc39b72a15d35d13014a636Logan UNSAFE_CAST_TYPE(const clang::BuiltinType, T); 677474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet BuiltinInfo *info = FindBuiltinType(BT->getKind()); 678474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet if (info != NULL) { 679474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet return info->cname[0]; 680e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines } 681474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet slangAssert(false && "Unknown data type of the builtin"); 682e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines break; 683e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines } 684e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines case clang::Type::Record: { 685cd440ee9b3bdb7985a20b2cd4b0f8229de34f0a9Stephen Hines clang::RecordDecl *RD; 686cd440ee9b3bdb7985a20b2cd4b0f8229de34f0a9Stephen Hines if (T->isStructureType()) { 687cd440ee9b3bdb7985a20b2cd4b0f8229de34f0a9Stephen Hines RD = T->getAsStructureType()->getDecl(); 688dd6206bb61bf8df2ed6b643abe8a29c48a315685Stephen Hines } else { 689cd440ee9b3bdb7985a20b2cd4b0f8229de34f0a9Stephen Hines break; 690cd440ee9b3bdb7985a20b2cd4b0f8229de34f0a9Stephen Hines } 691cd440ee9b3bdb7985a20b2cd4b0f8229de34f0a9Stephen Hines 692e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines llvm::StringRef Name = RD->getName(); 693e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines if (Name.empty()) { 69483f0c6261efc8f397fc2509e3862bc6d0eb1e1c4Shih-wei Liao if (RD->getTypedefNameForAnonDecl() != NULL) { 69583f0c6261efc8f397fc2509e3862bc6d0eb1e1c4Shih-wei Liao Name = RD->getTypedefNameForAnonDecl()->getName(); 69683f0c6261efc8f397fc2509e3862bc6d0eb1e1c4Shih-wei Liao } 69783f0c6261efc8f397fc2509e3862bc6d0eb1e1c4Shih-wei Liao 69883f0c6261efc8f397fc2509e3862bc6d0eb1e1c4Shih-wei Liao if (Name.empty()) { 69983f0c6261efc8f397fc2509e3862bc6d0eb1e1c4Shih-wei Liao // Try to find a name from redeclaration (i.e. typedef) 70083f0c6261efc8f397fc2509e3862bc6d0eb1e1c4Shih-wei Liao for (clang::TagDecl::redecl_iterator RI = RD->redecls_begin(), 70183f0c6261efc8f397fc2509e3862bc6d0eb1e1c4Shih-wei Liao RE = RD->redecls_end(); 70283f0c6261efc8f397fc2509e3862bc6d0eb1e1c4Shih-wei Liao RI != RE; 70383f0c6261efc8f397fc2509e3862bc6d0eb1e1c4Shih-wei Liao RI++) { 70483f0c6261efc8f397fc2509e3862bc6d0eb1e1c4Shih-wei Liao slangAssert(*RI != NULL && "cannot be NULL object"); 70583f0c6261efc8f397fc2509e3862bc6d0eb1e1c4Shih-wei Liao 70683f0c6261efc8f397fc2509e3862bc6d0eb1e1c4Shih-wei Liao Name = (*RI)->getName(); 70783f0c6261efc8f397fc2509e3862bc6d0eb1e1c4Shih-wei Liao if (!Name.empty()) 70883f0c6261efc8f397fc2509e3862bc6d0eb1e1c4Shih-wei Liao break; 70983f0c6261efc8f397fc2509e3862bc6d0eb1e1c4Shih-wei Liao } 71083f0c6261efc8f397fc2509e3862bc6d0eb1e1c4Shih-wei Liao } 711e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines } 712e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines return Name; 713e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines } 714e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines case clang::Type::Pointer: { 715e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines // "*" plus pointee name 716e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines const clang::Type *PT = GET_POINTEE_TYPE(T); 717e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines llvm::StringRef PointeeName; 7185bfec8dd08b3bde9ba3b331e2115210b0e910eaeStephen Hines if (NormalizeType(PT, PointeeName, NULL, NULL)) { 719e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines char *Name = new char[ 1 /* * */ + PointeeName.size() + 1 ]; 720e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines Name[0] = '*'; 721e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines memcpy(Name + 1, PointeeName.data(), PointeeName.size()); 722e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines Name[PointeeName.size() + 1] = '\0'; 723e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines return Name; 724e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines } 725e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines break; 726e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines } 727e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines case clang::Type::ExtVector: { 728e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines const clang::ExtVectorType *EVT = 729be27482cdeaf08576bc39b72a15d35d13014a636Logan UNSAFE_CAST_TYPE(const clang::ExtVectorType, T); 730e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines return RSExportVectorType::GetTypeName(EVT); 731e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines break; 732e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines } 733e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines case clang::Type::ConstantArray : { 734e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines // Construct name for a constant array is too complicated. 735e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines return DUMMY_TYPE_NAME_FOR_RS_CONSTANT_ARRAY_TYPE; 736e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines } 737e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines default: { 738e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines break; 739e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines } 740e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines } 741e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines 742e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines return llvm::StringRef(); 743e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines} 744e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines 745e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines 7469ef2f785e0cc490af678dfd685995dec787321ffShih-wei LiaoRSExportType *RSExportType::Create(RSContext *Context, 7479ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao const clang::Type *T, 7489ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao const llvm::StringRef &TypeName) { 7499ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // Lookup the context to see whether the type was processed before. 7509ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // Newly created RSExportType will insert into context 7519ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // in RSExportType::RSExportType() 7529ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao RSContext::export_type_iterator ETI = Context->findExportType(TypeName); 7539ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao 7549ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao if (ETI != Context->export_types_end()) 7559ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return ETI->second; 7569ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao 7579ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao RSExportType *ET = NULL; 7589ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao switch (T->getTypeClass()) { 7599ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao case clang::Type::Record: { 7609ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao RSExportPrimitiveType::DataType dt = 761b1771ef128b10c4d4575634828006bfba20b1d9cZonr Chang RSExportPrimitiveType::GetRSSpecificType(TypeName); 7629ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao switch (dt) { 76392b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang case RSExportPrimitiveType::DataTypeUnknown: { 76492b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang // User-defined types 7659ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao ET = RSExportRecordType::Create(Context, 7669ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao T->getAsStructureType(), 7679ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao TypeName); 7689ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao break; 7699ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 77092b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang case RSExportPrimitiveType::DataTypeRSMatrix2x2: { 77192b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang // 2 x 2 Matrix type 77292b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang ET = RSExportMatrixType::Create(Context, 77392b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang T->getAsStructureType(), 77492b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang TypeName, 77592b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang 2); 77692b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang break; 77792b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang } 77892b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang case RSExportPrimitiveType::DataTypeRSMatrix3x3: { 77992b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang // 3 x 3 Matrix type 78092b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang ET = RSExportMatrixType::Create(Context, 78192b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang T->getAsStructureType(), 78292b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang TypeName, 78392b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang 3); 78492b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang break; 78592b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang } 7869ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao case RSExportPrimitiveType::DataTypeRSMatrix4x4: { 78792b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang // 4 x 4 Matrix type 78892b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang ET = RSExportMatrixType::Create(Context, 78992b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang T->getAsStructureType(), 79092b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang TypeName, 79192b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang 4); 7929ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao break; 7939ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 7949ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao default: { 79592b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang // Others are primitive types 7969ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao ET = RSExportPrimitiveType::Create(Context, T, TypeName); 7979ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao break; 7989ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 7999ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 8009ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao break; 8019ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 8029ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao case clang::Type::Builtin: { 8039ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao ET = RSExportPrimitiveType::Create(Context, T, TypeName); 8049ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao break; 8059ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 8069ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao case clang::Type::Pointer: { 8079ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao ET = RSExportPointerType::Create(Context, 8085baf6324a97430016026419deaef246ad75430fcStephen Hines UNSAFE_CAST_TYPE(const clang::PointerType, T), TypeName); 80992b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang // FIXME: free the name (allocated in RSExportType::GetTypeName) 8109ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao delete [] TypeName.data(); 8119ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao break; 8129ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 8139ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao case clang::Type::ExtVector: { 8149ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao ET = RSExportVectorType::Create(Context, 8155baf6324a97430016026419deaef246ad75430fcStephen Hines UNSAFE_CAST_TYPE(const clang::ExtVectorType, T), TypeName); 8169ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao break; 8179ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 8182e1dba6c779a0ae55c76d36a3c03553e16725ab7Zonr Chang case clang::Type::ConstantArray: { 8192e1dba6c779a0ae55c76d36a3c03553e16725ab7Zonr Chang ET = RSExportConstantArrayType::Create( 8202e1dba6c779a0ae55c76d36a3c03553e16725ab7Zonr Chang Context, 821be27482cdeaf08576bc39b72a15d35d13014a636Logan UNSAFE_CAST_TYPE(const clang::ConstantArrayType, T)); 8222e1dba6c779a0ae55c76d36a3c03553e16725ab7Zonr Chang break; 8232e1dba6c779a0ae55c76d36a3c03553e16725ab7Zonr Chang } 8249ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao default: { 825d3f7527b105d21f1c69d3473eb88a762f2c3ab5aJean-Luc Brouillet Context->ReportError("unknown type cannot be exported: '%0'") 826d3f7527b105d21f1c69d3473eb88a762f2c3ab5aJean-Luc Brouillet << T->getTypeClassName(); 8279ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao break; 8289ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 8299ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 8309ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao 8319ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return ET; 832462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao} 8331f0d88fbff28e4e2dd563d93c8fe0047381c09ccShih-wei Liao 8346315f76e3cc6ff2d012d1183a0b030d4ff0dc808zonrRSExportType *RSExportType::Create(RSContext *Context, const clang::Type *T) { 8359ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao llvm::StringRef TypeName; 83648d893dc7794b3cfb74f35955ca763ee4170f9adStephen Hines if (NormalizeType(T, TypeName, Context, NULL)) { 8379ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return Create(Context, T, TypeName); 838d5a84f6d49d64738e4bb7c9dea7242e48acad959Stephen Hines } else { 8399ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return NULL; 840d5a84f6d49d64738e4bb7c9dea7242e48acad959Stephen Hines } 841462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao} 842462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 8439ef2f785e0cc490af678dfd685995dec787321ffShih-wei LiaoRSExportType *RSExportType::CreateFromDecl(RSContext *Context, 8449ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao const clang::VarDecl *VD) { 8459ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return RSExportType::Create(Context, GetTypeOfDecl(VD)); 846462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao} 847462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 8489ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liaosize_t RSExportType::GetTypeStoreSize(const RSExportType *ET) { 84923c4358f12bd9d0ba7166eceebd683db95a41b3fStephen Hines return ET->getRSContext()->getDataLayout()->getTypeStoreSize( 8506315f76e3cc6ff2d012d1183a0b030d4ff0dc808zonr ET->getLLVMType()); 851462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao} 852462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 8539ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liaosize_t RSExportType::GetTypeAllocSize(const RSExportType *ET) { 8549ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao if (ET->getClass() == RSExportType::ExportClassRecord) 8559ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return static_cast<const RSExportRecordType*>(ET)->getAllocSize(); 8569ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao else 85723c4358f12bd9d0ba7166eceebd683db95a41b3fStephen Hines return ET->getRSContext()->getDataLayout()->getTypeAllocSize( 8586315f76e3cc6ff2d012d1183a0b030d4ff0dc808zonr ET->getLLVMType()); 859462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao} 860462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 8616b6320ad5faee29e0f75fe937e40156746ef9e80Zonr ChangRSExportType::RSExportType(RSContext *Context, 8626b6320ad5faee29e0f75fe937e40156746ef9e80Zonr Chang ExportClass Class, 8636b6320ad5faee29e0f75fe937e40156746ef9e80Zonr Chang const llvm::StringRef &Name) 864a41ce1d98094da84643995d40d71c529905123fcZonr Chang : RSExportable(Context, RSExportable::EX_TYPE), 8656b6320ad5faee29e0f75fe937e40156746ef9e80Zonr Chang mClass(Class), 8660da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang // Make a copy on Name since memory stored @Name is either allocated in 8670da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang // ASTContext or allocated in GetTypeName which will be destroyed later. 8686315f76e3cc6ff2d012d1183a0b030d4ff0dc808zonr mName(Name.data(), Name.size()), 8692354442e34a47e27dad019df96062c7f620e853aJean-Luc Brouillet mLLVMType(NULL) { 8700da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang // Don't cache the type whose name start with '<'. Those type failed to 8710da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang // get their name since constructing their name in GetTypeName() requiring 8720da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang // complicated work. 8730da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang if (!Name.startswith(DUMMY_RS_TYPE_NAME_PREFIX)) 8740da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang // TODO(zonr): Need to check whether the insertion is successful or not. 8750da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang Context->insertExportType(llvm::StringRef(Name), this); 8769ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return; 877462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao} 878462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 8793cd3dd327445fcfa49f0e96cb2de2055bce541e9Zonr Changbool RSExportType::keep() { 8803cd3dd327445fcfa49f0e96cb2de2055bce541e9Zonr Chang if (!RSExportable::keep()) 8813cd3dd327445fcfa49f0e96cb2de2055bce541e9Zonr Chang return false; 882641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang // Invalidate converted LLVM type. 883641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang mLLVMType = NULL; 8843cd3dd327445fcfa49f0e96cb2de2055bce541e9Zonr Chang return true; 885641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang} 886641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang 887641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Changbool RSExportType::equals(const RSExportable *E) const { 888641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang CHECK_PARENT_EQUALITY(RSExportable, E); 889641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang return (static_cast<const RSExportType*>(E)->getClass() == getClass()); 890641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang} 891641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang 892a7a828d1ff95c5a8f2327f56a137a2bcb3a9a8faZonr ChangRSExportType::~RSExportType() { 893a7a828d1ff95c5a8f2327f56a137a2bcb3a9a8faZonr Chang} 894a7a828d1ff95c5a8f2327f56a137a2bcb3a9a8faZonr Chang 8959ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao/************************** RSExportPrimitiveType **************************/ 896b1771ef128b10c4d4575634828006bfba20b1d9cZonr Changllvm::ManagedStatic<RSExportPrimitiveType::RSSpecificTypeMapTy> 897b1771ef128b10c4d4575634828006bfba20b1d9cZonr ChangRSExportPrimitiveType::RSSpecificTypeMap; 8989ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao 8996315f76e3cc6ff2d012d1183a0b030d4ff0dc808zonrllvm::Type *RSExportPrimitiveType::RSObjectLLVMType = NULL; 900462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 9019ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liaobool RSExportPrimitiveType::IsPrimitiveType(const clang::Type *T) { 9029ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao if ((T != NULL) && (T->getTypeClass() == clang::Type::Builtin)) 9039ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return true; 9049ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao else 9059ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return false; 906462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao} 907462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 9089ef2f785e0cc490af678dfd685995dec787321ffShih-wei LiaoRSExportPrimitiveType::DataType 909b1771ef128b10c4d4575634828006bfba20b1d9cZonr ChangRSExportPrimitiveType::GetRSSpecificType(const llvm::StringRef &TypeName) { 9109ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao if (TypeName.empty()) 9119ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return DataTypeUnknown; 912462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 913b1771ef128b10c4d4575634828006bfba20b1d9cZonr Chang if (RSSpecificTypeMap->empty()) { 914474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet for (int i = 0; i < MatrixAndObjectDataTypesCount; i++) { 915474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet RSSpecificTypeMap->GetOrCreateValue(MatrixAndObjectDataTypes[i].name, 916474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet MatrixAndObjectDataTypes[i].dataType); 917474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet } 9189ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 919462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 920b1771ef128b10c4d4575634828006bfba20b1d9cZonr Chang RSSpecificTypeMapTy::const_iterator I = RSSpecificTypeMap->find(TypeName); 921b1771ef128b10c4d4575634828006bfba20b1d9cZonr Chang if (I == RSSpecificTypeMap->end()) 9229ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return DataTypeUnknown; 9239ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao else 9249ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return I->getValue(); 9259ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao} 9269ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao 9279ef2f785e0cc490af678dfd685995dec787321ffShih-wei LiaoRSExportPrimitiveType::DataType 928b1771ef128b10c4d4575634828006bfba20b1d9cZonr ChangRSExportPrimitiveType::GetRSSpecificType(const clang::Type *T) { 9299ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao T = GET_CANONICAL_TYPE(T); 9309ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao if ((T == NULL) || (T->getTypeClass() != clang::Type::Record)) 9319ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return DataTypeUnknown; 9329ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao 933b1771ef128b10c4d4575634828006bfba20b1d9cZonr Chang return GetRSSpecificType( RSExportType::GetTypeName(T) ); 934b1771ef128b10c4d4575634828006bfba20b1d9cZonr Chang} 935b1771ef128b10c4d4575634828006bfba20b1d9cZonr Chang 936b1771ef128b10c4d4575634828006bfba20b1d9cZonr Changbool RSExportPrimitiveType::IsRSMatrixType(DataType DT) { 937474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet if (DT < 0 || DT >= DataTypeMax) { 938474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet return false; 939474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet } 940474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet return gReflectionTypes[DT].category == MatrixDataType; 941b1771ef128b10c4d4575634828006bfba20b1d9cZonr Chang} 942b1771ef128b10c4d4575634828006bfba20b1d9cZonr Chang 943b1771ef128b10c4d4575634828006bfba20b1d9cZonr Changbool RSExportPrimitiveType::IsRSObjectType(DataType DT) { 944474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet if (DT < 0 || DT >= DataTypeMax) { 945474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet return false; 946474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet } 947474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet return gReflectionTypes[DT].category == ObjectDataType; 9489ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao} 9499ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao 950feaca06fcb0772e9e972a0d61b17259fc5124d50Stephen Hinesbool RSExportPrimitiveType::IsStructureTypeWithRSObject(const clang::Type *T) { 951feaca06fcb0772e9e972a0d61b17259fc5124d50Stephen Hines bool RSObjectTypeSeen = false; 952feaca06fcb0772e9e972a0d61b17259fc5124d50Stephen Hines while (T && T->isArrayType()) { 953feaca06fcb0772e9e972a0d61b17259fc5124d50Stephen Hines T = T->getArrayElementTypeNoTypeQual(); 954feaca06fcb0772e9e972a0d61b17259fc5124d50Stephen Hines } 955feaca06fcb0772e9e972a0d61b17259fc5124d50Stephen Hines 956feaca06fcb0772e9e972a0d61b17259fc5124d50Stephen Hines const clang::RecordType *RT = T->getAsStructureType(); 957feaca06fcb0772e9e972a0d61b17259fc5124d50Stephen Hines if (!RT) { 958feaca06fcb0772e9e972a0d61b17259fc5124d50Stephen Hines return false; 959feaca06fcb0772e9e972a0d61b17259fc5124d50Stephen Hines } 960b0fabe574945bfa85e688e77e9dcb5341fe08840Stephen Hines 961feaca06fcb0772e9e972a0d61b17259fc5124d50Stephen Hines const clang::RecordDecl *RD = RT->getDecl(); 962b0fabe574945bfa85e688e77e9dcb5341fe08840Stephen Hines if (RD) { 963b0fabe574945bfa85e688e77e9dcb5341fe08840Stephen Hines RD = RD->getDefinition(); 964b0fabe574945bfa85e688e77e9dcb5341fe08840Stephen Hines } 965b0fabe574945bfa85e688e77e9dcb5341fe08840Stephen Hines if (!RD) { 966b0fabe574945bfa85e688e77e9dcb5341fe08840Stephen Hines return false; 967b0fabe574945bfa85e688e77e9dcb5341fe08840Stephen Hines } 968b0fabe574945bfa85e688e77e9dcb5341fe08840Stephen Hines 969feaca06fcb0772e9e972a0d61b17259fc5124d50Stephen Hines for (clang::RecordDecl::field_iterator FI = RD->field_begin(), 970feaca06fcb0772e9e972a0d61b17259fc5124d50Stephen Hines FE = RD->field_end(); 971feaca06fcb0772e9e972a0d61b17259fc5124d50Stephen Hines FI != FE; 972feaca06fcb0772e9e972a0d61b17259fc5124d50Stephen Hines FI++) { 973feaca06fcb0772e9e972a0d61b17259fc5124d50Stephen Hines // We just look through all field declarations to see if we find a 974feaca06fcb0772e9e972a0d61b17259fc5124d50Stephen Hines // declaration for an RS object type (or an array of one). 975feaca06fcb0772e9e972a0d61b17259fc5124d50Stephen Hines const clang::FieldDecl *FD = *FI; 976feaca06fcb0772e9e972a0d61b17259fc5124d50Stephen Hines const clang::Type *FT = RSExportType::GetTypeOfDecl(FD); 977feaca06fcb0772e9e972a0d61b17259fc5124d50Stephen Hines while (FT && FT->isArrayType()) { 978feaca06fcb0772e9e972a0d61b17259fc5124d50Stephen Hines FT = FT->getArrayElementTypeNoTypeQual(); 979feaca06fcb0772e9e972a0d61b17259fc5124d50Stephen Hines } 980feaca06fcb0772e9e972a0d61b17259fc5124d50Stephen Hines 981feaca06fcb0772e9e972a0d61b17259fc5124d50Stephen Hines RSExportPrimitiveType::DataType DT = GetRSSpecificType(FT); 982feaca06fcb0772e9e972a0d61b17259fc5124d50Stephen Hines if (IsRSObjectType(DT)) { 983feaca06fcb0772e9e972a0d61b17259fc5124d50Stephen Hines // RS object types definitely need to be zero-initialized 984feaca06fcb0772e9e972a0d61b17259fc5124d50Stephen Hines RSObjectTypeSeen = true; 985feaca06fcb0772e9e972a0d61b17259fc5124d50Stephen Hines } else { 986feaca06fcb0772e9e972a0d61b17259fc5124d50Stephen Hines switch (DT) { 987feaca06fcb0772e9e972a0d61b17259fc5124d50Stephen Hines case RSExportPrimitiveType::DataTypeRSMatrix2x2: 988feaca06fcb0772e9e972a0d61b17259fc5124d50Stephen Hines case RSExportPrimitiveType::DataTypeRSMatrix3x3: 989feaca06fcb0772e9e972a0d61b17259fc5124d50Stephen Hines case RSExportPrimitiveType::DataTypeRSMatrix4x4: 990feaca06fcb0772e9e972a0d61b17259fc5124d50Stephen Hines // Matrix types should get zero-initialized as well 991feaca06fcb0772e9e972a0d61b17259fc5124d50Stephen Hines RSObjectTypeSeen = true; 992feaca06fcb0772e9e972a0d61b17259fc5124d50Stephen Hines break; 993feaca06fcb0772e9e972a0d61b17259fc5124d50Stephen Hines default: 994feaca06fcb0772e9e972a0d61b17259fc5124d50Stephen Hines // Ignore all other primitive types 995feaca06fcb0772e9e972a0d61b17259fc5124d50Stephen Hines break; 996feaca06fcb0772e9e972a0d61b17259fc5124d50Stephen Hines } 997feaca06fcb0772e9e972a0d61b17259fc5124d50Stephen Hines while (FT && FT->isArrayType()) { 998feaca06fcb0772e9e972a0d61b17259fc5124d50Stephen Hines FT = FT->getArrayElementTypeNoTypeQual(); 999feaca06fcb0772e9e972a0d61b17259fc5124d50Stephen Hines } 1000feaca06fcb0772e9e972a0d61b17259fc5124d50Stephen Hines if (FT->isStructureType()) { 1001feaca06fcb0772e9e972a0d61b17259fc5124d50Stephen Hines // Recursively handle structs of structs (even though these can't 1002feaca06fcb0772e9e972a0d61b17259fc5124d50Stephen Hines // be exported, it is possible for a user to have them internally). 1003feaca06fcb0772e9e972a0d61b17259fc5124d50Stephen Hines RSObjectTypeSeen |= IsStructureTypeWithRSObject(FT); 1004feaca06fcb0772e9e972a0d61b17259fc5124d50Stephen Hines } 1005feaca06fcb0772e9e972a0d61b17259fc5124d50Stephen Hines } 1006feaca06fcb0772e9e972a0d61b17259fc5124d50Stephen Hines } 1007feaca06fcb0772e9e972a0d61b17259fc5124d50Stephen Hines 1008feaca06fcb0772e9e972a0d61b17259fc5124d50Stephen Hines return RSObjectTypeSeen; 1009feaca06fcb0772e9e972a0d61b17259fc5124d50Stephen Hines} 1010feaca06fcb0772e9e972a0d61b17259fc5124d50Stephen Hines 10119ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liaosize_t RSExportPrimitiveType::GetSizeInBits(const RSExportPrimitiveType *EPT) { 1012474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet int type = EPT->getType(); 1013474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet slangAssert((type > DataTypeUnknown && type < DataTypeMax) && 10146e6578a360497f78a181e63d7783422a9c9bfb15Stephen Hines "RSExportPrimitiveType::GetSizeInBits : unknown data type"); 1015474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet return gReflectionTypes[type].size_in_bits; 1016462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao} 1017462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 10189ef2f785e0cc490af678dfd685995dec787321ffShih-wei LiaoRSExportPrimitiveType::DataType 10192ef9bc0cfbca2152d972c0975005f8c897c2a42cStephen HinesRSExportPrimitiveType::GetDataType(RSContext *Context, const clang::Type *T) { 10209ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao if (T == NULL) 10219ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return DataTypeUnknown; 1022462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 10239ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao switch (T->getTypeClass()) { 10249ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao case clang::Type::Builtin: { 1025be27482cdeaf08576bc39b72a15d35d13014a636Logan const clang::BuiltinType *BT = 1026be27482cdeaf08576bc39b72a15d35d13014a636Logan UNSAFE_CAST_TYPE(const clang::BuiltinType, T); 1027474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet BuiltinInfo *info = FindBuiltinType(BT->getKind()); 1028474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet if (info != NULL) { 1029474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet return info->type; 10309ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 1031474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet // The size of type WChar depend on platform so we abandon the support 1032474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet // to them. 1033474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet Context->ReportError("built-in type cannot be exported: '%0'") 1034474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet << T->getTypeClassName(); 10359ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao break; 10369ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 10379ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao case clang::Type::Record: { 10389ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // must be RS object type 1039b1771ef128b10c4d4575634828006bfba20b1d9cZonr Chang return RSExportPrimitiveType::GetRSSpecificType(T); 10409ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 10419ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao default: { 1042d3f7527b105d21f1c69d3473eb88a762f2c3ab5aJean-Luc Brouillet Context->ReportError("primitive type cannot be exported: '%0'") 10432ef9bc0cfbca2152d972c0975005f8c897c2a42cStephen Hines << T->getTypeClassName(); 10449ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao break; 1045462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao } 10469ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 1047462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 10489ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return DataTypeUnknown; 1049462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao} 1050462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 10519ef2f785e0cc490af678dfd685995dec787321ffShih-wei LiaoRSExportPrimitiveType 10529ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao*RSExportPrimitiveType::Create(RSContext *Context, 10539ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao const clang::Type *T, 10549ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao const llvm::StringRef &TypeName, 10559ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao bool Normalized) { 10562ef9bc0cfbca2152d972c0975005f8c897c2a42cStephen Hines DataType DT = GetDataType(Context, T); 1057462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 10589ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao if ((DT == DataTypeUnknown) || TypeName.empty()) 10599ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return NULL; 10609ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao else 10616b6320ad5faee29e0f75fe937e40156746ef9e80Zonr Chang return new RSExportPrimitiveType(Context, ExportClassPrimitive, TypeName, 10622b8fb64be3047df940a219872b331eb11de2758dStephen Hines DT, Normalized); 1063462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao} 1064462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 10659ef2f785e0cc490af678dfd685995dec787321ffShih-wei LiaoRSExportPrimitiveType *RSExportPrimitiveType::Create(RSContext *Context, 10662b8fb64be3047df940a219872b331eb11de2758dStephen Hines const clang::Type *T) { 10679ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao llvm::StringRef TypeName; 106848d893dc7794b3cfb74f35955ca763ee4170f9adStephen Hines if (RSExportType::NormalizeType(T, TypeName, Context, NULL) 106978e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines && IsPrimitiveType(T)) { 10702b8fb64be3047df940a219872b331eb11de2758dStephen Hines return Create(Context, T, TypeName); 1071e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines } else { 10729ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return NULL; 1073e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines } 1074462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao} 1075462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 10767c67e578c760408dba0c2f64da6e074dd8b56fd9Shih-wei Liaollvm::Type *RSExportPrimitiveType::convertToLLVMType() const { 10779ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao llvm::LLVMContext &C = getRSContext()->getLLVMContext(); 10789ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao 10799ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao if (isRSObjectType()) { 10809ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // struct { 10819ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // int *p; 10829ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // } __attribute__((packed, aligned(pointer_size))) 10839ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // 10849ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // which is 10859ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // 10869ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // <{ [1 x i32] }> in LLVM 10879ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // 10889ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao if (RSObjectLLVMType == NULL) { 10897c67e578c760408dba0c2f64da6e074dd8b56fd9Shih-wei Liao std::vector<llvm::Type *> Elements; 10906315f76e3cc6ff2d012d1183a0b030d4ff0dc808zonr Elements.push_back(llvm::ArrayType::get(llvm::Type::getInt32Ty(C), 1)); 1091a67e4451d0d03b4ab7866b64807d95a8399c73a0Stephen Hines RSObjectLLVMType = llvm::StructType::get(C, Elements, true); 1092462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao } 10939ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return RSObjectLLVMType; 10949ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 1095462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 10969ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao switch (mType) { 10979ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao case DataTypeFloat32: { 10989ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return llvm::Type::getFloatTy(C); 10999ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao break; 11009ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 11019ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao case DataTypeFloat64: { 11029ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return llvm::Type::getDoubleTy(C); 11039ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao break; 11049ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 110591a3783ce1f4eb9ad6e9c1ecdbd27f3d6dc58634Shih-wei Liao case DataTypeBoolean: { 110691a3783ce1f4eb9ad6e9c1ecdbd27f3d6dc58634Shih-wei Liao return llvm::Type::getInt1Ty(C); 110791a3783ce1f4eb9ad6e9c1ecdbd27f3d6dc58634Shih-wei Liao break; 110891a3783ce1f4eb9ad6e9c1ecdbd27f3d6dc58634Shih-wei Liao } 11099ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao case DataTypeSigned8: 11109ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao case DataTypeUnsigned8: { 11119ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return llvm::Type::getInt8Ty(C); 11129ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao break; 11139ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 11149ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao case DataTypeSigned16: 11159ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao case DataTypeUnsigned16: 11169ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao case DataTypeUnsigned565: 11179ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao case DataTypeUnsigned5551: 11189ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao case DataTypeUnsigned4444: { 11199ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return llvm::Type::getInt16Ty(C); 11209ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao break; 11219ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 11229ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao case DataTypeSigned32: 11239ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao case DataTypeUnsigned32: { 11249ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return llvm::Type::getInt32Ty(C); 11259ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao break; 11269ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 1127a5d2c232d56b04292cb51c8fb343aef990f7970fStephen Hines case DataTypeSigned64: 1128a5d2c232d56b04292cb51c8fb343aef990f7970fStephen Hines case DataTypeUnsigned64: { 11299ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return llvm::Type::getInt64Ty(C); 11309ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao break; 11319ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 11329ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao default: { 11336e6578a360497f78a181e63d7783422a9c9bfb15Stephen Hines slangAssert(false && "Unknown data type"); 1134462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao } 11359ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 1136462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 11379ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return NULL; 1138462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao} 1139462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 1140641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Changbool RSExportPrimitiveType::equals(const RSExportable *E) const { 1141641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang CHECK_PARENT_EQUALITY(RSExportType, E); 1142641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang return (static_cast<const RSExportPrimitiveType*>(E)->getType() == getType()); 1143641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang} 1144641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang 1145fdd1ba13a69501a1b91fdc9be31413215d467497Stephen HinesRSReflectionType *RSExportPrimitiveType::getRSReflectionType(DataType DT) { 1146fdd1ba13a69501a1b91fdc9be31413215d467497Stephen Hines if (DT > DataTypeUnknown && DT < DataTypeMax) { 1147fdd1ba13a69501a1b91fdc9be31413215d467497Stephen Hines return &gReflectionTypes[DT]; 1148fdd1ba13a69501a1b91fdc9be31413215d467497Stephen Hines } else { 1149fdd1ba13a69501a1b91fdc9be31413215d467497Stephen Hines return NULL; 1150fdd1ba13a69501a1b91fdc9be31413215d467497Stephen Hines } 1151fdd1ba13a69501a1b91fdc9be31413215d467497Stephen Hines} 1152fdd1ba13a69501a1b91fdc9be31413215d467497Stephen Hines 11539ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao/**************************** RSExportPointerType ****************************/ 1154462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 11559ef2f785e0cc490af678dfd685995dec787321ffShih-wei LiaoRSExportPointerType 11569ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao*RSExportPointerType::Create(RSContext *Context, 11579ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao const clang::PointerType *PT, 11589ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao const llvm::StringRef &TypeName) { 11599ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao const clang::Type *PointeeType = GET_POINTEE_TYPE(PT); 11609ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao const RSExportType *PointeeET; 1161462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 11629ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao if (PointeeType->getTypeClass() != clang::Type::Pointer) { 11639ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao PointeeET = RSExportType::Create(Context, PointeeType); 11649ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } else { 11659ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // Double or higher dimension of pointer, export as int* 11662ef9bc0cfbca2152d972c0975005f8c897c2a42cStephen Hines PointeeET = RSExportPrimitiveType::Create(Context, 11672ef9bc0cfbca2152d972c0975005f8c897c2a42cStephen Hines Context->getASTContext().IntTy.getTypePtr()); 11689ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 1169462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 11709ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao if (PointeeET == NULL) { 11712ef9bc0cfbca2152d972c0975005f8c897c2a42cStephen Hines // Error diagnostic is emitted for corresponding pointee type 11729ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return NULL; 11739ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 1174462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 11759ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return new RSExportPointerType(Context, TypeName, PointeeET); 1176462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao} 1177462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 11787c67e578c760408dba0c2f64da6e074dd8b56fd9Shih-wei Liaollvm::Type *RSExportPointerType::convertToLLVMType() const { 11797c67e578c760408dba0c2f64da6e074dd8b56fd9Shih-wei Liao llvm::Type *PointeeType = mPointeeType->getLLVMType(); 11809ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return llvm::PointerType::getUnqual(PointeeType); 1181462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao} 1182462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 11833cd3dd327445fcfa49f0e96cb2de2055bce541e9Zonr Changbool RSExportPointerType::keep() { 11843cd3dd327445fcfa49f0e96cb2de2055bce541e9Zonr Chang if (!RSExportType::keep()) 11853cd3dd327445fcfa49f0e96cb2de2055bce541e9Zonr Chang return false; 1186641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang const_cast<RSExportType*>(mPointeeType)->keep(); 11873cd3dd327445fcfa49f0e96cb2de2055bce541e9Zonr Chang return true; 1188641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang} 1189641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang 1190641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Changbool RSExportPointerType::equals(const RSExportable *E) const { 1191641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang CHECK_PARENT_EQUALITY(RSExportType, E); 1192641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang return (static_cast<const RSExportPointerType*>(E) 1193641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang ->getPointeeType()->equals(getPointeeType())); 1194641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang} 1195641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang 11966315f76e3cc6ff2d012d1183a0b030d4ff0dc808zonr/***************************** RSExportVectorType *****************************/ 11976315f76e3cc6ff2d012d1183a0b030d4ff0dc808zonrllvm::StringRef 11986315f76e3cc6ff2d012d1183a0b030d4ff0dc808zonrRSExportVectorType::GetTypeName(const clang::ExtVectorType *EVT) { 11999ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao const clang::Type *ElementType = GET_EXT_VECTOR_ELEMENT_TYPE(EVT); 1200474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet llvm::StringRef name; 1201462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 12029ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao if ((ElementType->getTypeClass() != clang::Type::Builtin)) 1203474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet return name; 12049ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao 1205be27482cdeaf08576bc39b72a15d35d13014a636Logan const clang::BuiltinType *BT = UNSAFE_CAST_TYPE(const clang::BuiltinType, 12069ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao ElementType); 1207a65ec168e41e3ee9c6e8ac04cde694bbbfc2590aZonr Chang if ((EVT->getNumElements() < 1) || 1208a65ec168e41e3ee9c6e8ac04cde694bbbfc2590aZonr Chang (EVT->getNumElements() > 4)) 1209474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet return name; 12109ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao 1211474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet BuiltinInfo *info = FindBuiltinType(BT->getKind()); 1212474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet if (info != NULL) { 12139ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // Compiler is smart enough to optimize following *big if branches* since 12149ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // they all become "constant comparison" after macro expansion 1215474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet int I = EVT->getNumElements() - 1; 1216474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet if (I < kMaxVectorSize) { 1217474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet name = info->cname[I]; 1218474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet } else { 1219474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet slangAssert(false && "Max vector is 4"); 1220462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao } 12219ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 1222474655a402e70cb329e1bcd4ebbe00bdc5be4206Jean-Luc Brouillet return name; 1223462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao} 1224462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 12259ef2f785e0cc490af678dfd685995dec787321ffShih-wei LiaoRSExportVectorType *RSExportVectorType::Create(RSContext *Context, 12269ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao const clang::ExtVectorType *EVT, 12279ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao const llvm::StringRef &TypeName, 12289ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao bool Normalized) { 12296e6578a360497f78a181e63d7783422a9c9bfb15Stephen Hines slangAssert(EVT != NULL && EVT->getTypeClass() == clang::Type::ExtVector); 1230462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 12319ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao const clang::Type *ElementType = GET_EXT_VECTOR_ELEMENT_TYPE(EVT); 12329ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao RSExportPrimitiveType::DataType DT = 12332ef9bc0cfbca2152d972c0975005f8c897c2a42cStephen Hines RSExportPrimitiveType::GetDataType(Context, ElementType); 1234462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 12359ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao if (DT != RSExportPrimitiveType::DataTypeUnknown) 12369ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return new RSExportVectorType(Context, 12379ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao TypeName, 12389ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao DT, 12399ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao Normalized, 12409ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao EVT->getNumElements()); 12419ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao else 12422ef9bc0cfbca2152d972c0975005f8c897c2a42cStephen Hines return NULL; 1243462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao} 1244462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 12457c67e578c760408dba0c2f64da6e074dd8b56fd9Shih-wei Liaollvm::Type *RSExportVectorType::convertToLLVMType() const { 12467c67e578c760408dba0c2f64da6e074dd8b56fd9Shih-wei Liao llvm::Type *ElementType = RSExportPrimitiveType::convertToLLVMType(); 12479ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return llvm::VectorType::get(ElementType, getNumElement()); 1248462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao} 1249462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 1250641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Changbool RSExportVectorType::equals(const RSExportable *E) const { 1251641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang CHECK_PARENT_EQUALITY(RSExportPrimitiveType, E); 1252641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang return (static_cast<const RSExportVectorType*>(E)->getNumElement() 1253641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang == getNumElement()); 1254641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang} 1255641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang 125692b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang/***************************** RSExportMatrixType *****************************/ 125792b344a51c6c4934e96882bd401e4b13d6d03db8Zonr ChangRSExportMatrixType *RSExportMatrixType::Create(RSContext *Context, 125892b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang const clang::RecordType *RT, 125992b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang const llvm::StringRef &TypeName, 126092b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang unsigned Dim) { 12616e6578a360497f78a181e63d7783422a9c9bfb15Stephen Hines slangAssert((RT != NULL) && (RT->getTypeClass() == clang::Type::Record)); 12626e6578a360497f78a181e63d7783422a9c9bfb15Stephen Hines slangAssert((Dim > 1) && "Invalid dimension of matrix"); 126392b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang 126492b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang // Check whether the struct rs_matrix is in our expected form (but assume it's 126592b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang // correct if we're not sure whether it's correct or not) 126692b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang const clang::RecordDecl* RD = RT->getDecl(); 126792b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang RD = RD->getDefinition(); 126892b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang if (RD != NULL) { 126992b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang // Find definition, perform further examination 127092b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang if (RD->field_empty()) { 1271d3f7527b105d21f1c69d3473eb88a762f2c3ab5aJean-Luc Brouillet Context->ReportError( 1272d3f7527b105d21f1c69d3473eb88a762f2c3ab5aJean-Luc Brouillet RD->getLocation(), 1273d3f7527b105d21f1c69d3473eb88a762f2c3ab5aJean-Luc Brouillet "invalid matrix struct: must have 1 field for saving values: '%0'") 1274d3f7527b105d21f1c69d3473eb88a762f2c3ab5aJean-Luc Brouillet << RD->getName(); 127592b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang return NULL; 127692b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang } 127792b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang 127892b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang clang::RecordDecl::field_iterator FIT = RD->field_begin(); 127992b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang const clang::FieldDecl *FD = *FIT; 128092b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang const clang::Type *FT = RSExportType::GetTypeOfDecl(FD); 128192b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang if ((FT == NULL) || (FT->getTypeClass() != clang::Type::ConstantArray)) { 1282d3f7527b105d21f1c69d3473eb88a762f2c3ab5aJean-Luc Brouillet Context->ReportError(RD->getLocation(), 1283d3f7527b105d21f1c69d3473eb88a762f2c3ab5aJean-Luc Brouillet "invalid matrix struct: first field should" 1284d3f7527b105d21f1c69d3473eb88a762f2c3ab5aJean-Luc Brouillet " be an array with constant size: '%0'") 1285d3f7527b105d21f1c69d3473eb88a762f2c3ab5aJean-Luc Brouillet << RD->getName(); 128692b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang return NULL; 128792b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang } 128892b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang const clang::ConstantArrayType *CAT = 128992b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang static_cast<const clang::ConstantArrayType *>(FT); 12902e1dba6c779a0ae55c76d36a3c03553e16725ab7Zonr Chang const clang::Type *ElementType = GET_CONSTANT_ARRAY_ELEMENT_TYPE(CAT); 129192b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang if ((ElementType == NULL) || 129292b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang (ElementType->getTypeClass() != clang::Type::Builtin) || 12939207a2e495c8363606861e4f034504ec5c153dabLogan Chien (static_cast<const clang::BuiltinType *>(ElementType)->getKind() != 12949207a2e495c8363606861e4f034504ec5c153dabLogan Chien clang::BuiltinType::Float)) { 1295d3f7527b105d21f1c69d3473eb88a762f2c3ab5aJean-Luc Brouillet Context->ReportError(RD->getLocation(), 1296d3f7527b105d21f1c69d3473eb88a762f2c3ab5aJean-Luc Brouillet "invalid matrix struct: first field " 1297d3f7527b105d21f1c69d3473eb88a762f2c3ab5aJean-Luc Brouillet "should be a float array: '%0'") 1298d3f7527b105d21f1c69d3473eb88a762f2c3ab5aJean-Luc Brouillet << RD->getName(); 129992b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang return NULL; 130092b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang } 130192b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang 130292b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang if (CAT->getSize() != Dim * Dim) { 1303d3f7527b105d21f1c69d3473eb88a762f2c3ab5aJean-Luc Brouillet Context->ReportError(RD->getLocation(), 1304d3f7527b105d21f1c69d3473eb88a762f2c3ab5aJean-Luc Brouillet "invalid matrix struct: first field " 1305d3f7527b105d21f1c69d3473eb88a762f2c3ab5aJean-Luc Brouillet "should be an array with size %0: '%1'") 1306d3f7527b105d21f1c69d3473eb88a762f2c3ab5aJean-Luc Brouillet << (Dim * Dim) << (RD->getName()); 130792b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang return NULL; 130892b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang } 130992b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang 131092b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang FIT++; 131192b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang if (FIT != RD->field_end()) { 1312d3f7527b105d21f1c69d3473eb88a762f2c3ab5aJean-Luc Brouillet Context->ReportError(RD->getLocation(), 1313d3f7527b105d21f1c69d3473eb88a762f2c3ab5aJean-Luc Brouillet "invalid matrix struct: must have " 1314d3f7527b105d21f1c69d3473eb88a762f2c3ab5aJean-Luc Brouillet "exactly 1 field: '%0'") 1315d3f7527b105d21f1c69d3473eb88a762f2c3ab5aJean-Luc Brouillet << RD->getName(); 131692b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang return NULL; 131792b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang } 131892b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang } 131992b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang 132092b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang return new RSExportMatrixType(Context, TypeName, Dim); 132192b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang} 132292b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang 13237c67e578c760408dba0c2f64da6e074dd8b56fd9Shih-wei Liaollvm::Type *RSExportMatrixType::convertToLLVMType() const { 132492b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang // Construct LLVM type: 132592b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang // struct { 132692b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang // float X[mDim * mDim]; 132792b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang // } 132892b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang 132992b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang llvm::LLVMContext &C = getRSContext()->getLLVMContext(); 133092b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang llvm::ArrayType *X = llvm::ArrayType::get(llvm::Type::getFloatTy(C), 133192b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang mDim * mDim); 1332a67e4451d0d03b4ab7866b64807d95a8399c73a0Stephen Hines return llvm::StructType::get(C, X, false); 133392b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang} 133492b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang 1335641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Changbool RSExportMatrixType::equals(const RSExportable *E) const { 1336641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang CHECK_PARENT_EQUALITY(RSExportType, E); 1337641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang return (static_cast<const RSExportMatrixType*>(E)->getDim() == getDim()); 1338641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang} 1339641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang 13402e1dba6c779a0ae55c76d36a3c03553e16725ab7Zonr Chang/************************* RSExportConstantArrayType *************************/ 13412e1dba6c779a0ae55c76d36a3c03553e16725ab7Zonr ChangRSExportConstantArrayType 13422e1dba6c779a0ae55c76d36a3c03553e16725ab7Zonr Chang*RSExportConstantArrayType::Create(RSContext *Context, 13432e1dba6c779a0ae55c76d36a3c03553e16725ab7Zonr Chang const clang::ConstantArrayType *CAT) { 13446e6578a360497f78a181e63d7783422a9c9bfb15Stephen Hines slangAssert(CAT != NULL && CAT->getTypeClass() == clang::Type::ConstantArray); 13452e1dba6c779a0ae55c76d36a3c03553e16725ab7Zonr Chang 13466e6578a360497f78a181e63d7783422a9c9bfb15Stephen Hines slangAssert((CAT->getSize().getActiveBits() < 32) && "array too large"); 13472e1dba6c779a0ae55c76d36a3c03553e16725ab7Zonr Chang 13482e1dba6c779a0ae55c76d36a3c03553e16725ab7Zonr Chang unsigned Size = static_cast<unsigned>(CAT->getSize().getZExtValue()); 13496e6578a360497f78a181e63d7783422a9c9bfb15Stephen Hines slangAssert((Size > 0) && "Constant array should have size greater than 0"); 13502e1dba6c779a0ae55c76d36a3c03553e16725ab7Zonr Chang 13512e1dba6c779a0ae55c76d36a3c03553e16725ab7Zonr Chang const clang::Type *ElementType = GET_CONSTANT_ARRAY_ELEMENT_TYPE(CAT); 13522e1dba6c779a0ae55c76d36a3c03553e16725ab7Zonr Chang RSExportType *ElementET = RSExportType::Create(Context, ElementType); 13532e1dba6c779a0ae55c76d36a3c03553e16725ab7Zonr Chang 13542e1dba6c779a0ae55c76d36a3c03553e16725ab7Zonr Chang if (ElementET == NULL) { 13552e1dba6c779a0ae55c76d36a3c03553e16725ab7Zonr Chang return NULL; 13562e1dba6c779a0ae55c76d36a3c03553e16725ab7Zonr Chang } 13572e1dba6c779a0ae55c76d36a3c03553e16725ab7Zonr Chang 13582e1dba6c779a0ae55c76d36a3c03553e16725ab7Zonr Chang return new RSExportConstantArrayType(Context, 13592e1dba6c779a0ae55c76d36a3c03553e16725ab7Zonr Chang ElementET, 13602e1dba6c779a0ae55c76d36a3c03553e16725ab7Zonr Chang Size); 13612e1dba6c779a0ae55c76d36a3c03553e16725ab7Zonr Chang} 13622e1dba6c779a0ae55c76d36a3c03553e16725ab7Zonr Chang 13637c67e578c760408dba0c2f64da6e074dd8b56fd9Shih-wei Liaollvm::Type *RSExportConstantArrayType::convertToLLVMType() const { 13642e1dba6c779a0ae55c76d36a3c03553e16725ab7Zonr Chang return llvm::ArrayType::get(mElementType->getLLVMType(), getSize()); 13652e1dba6c779a0ae55c76d36a3c03553e16725ab7Zonr Chang} 13662e1dba6c779a0ae55c76d36a3c03553e16725ab7Zonr Chang 13673cd3dd327445fcfa49f0e96cb2de2055bce541e9Zonr Changbool RSExportConstantArrayType::keep() { 13683cd3dd327445fcfa49f0e96cb2de2055bce541e9Zonr Chang if (!RSExportType::keep()) 13693cd3dd327445fcfa49f0e96cb2de2055bce541e9Zonr Chang return false; 1370641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang const_cast<RSExportType*>(mElementType)->keep(); 13713cd3dd327445fcfa49f0e96cb2de2055bce541e9Zonr Chang return true; 1372641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang} 1373641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang 1374641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Changbool RSExportConstantArrayType::equals(const RSExportable *E) const { 1375641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang CHECK_PARENT_EQUALITY(RSExportType, E); 1376a7b7518aa3725d5cff1c1a6319ec7a6b8b244e0eStephen Hines const RSExportConstantArrayType *RHS = 1377a7b7518aa3725d5cff1c1a6319ec7a6b8b244e0eStephen Hines static_cast<const RSExportConstantArrayType*>(E); 1378a7b7518aa3725d5cff1c1a6319ec7a6b8b244e0eStephen Hines return ((getSize() == RHS->getSize()) && 1379a7b7518aa3725d5cff1c1a6319ec7a6b8b244e0eStephen Hines (getElementType()->equals(RHS->getElementType()))); 1380641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang} 1381641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang 13829ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao/**************************** RSExportRecordType ****************************/ 13839ef2f785e0cc490af678dfd685995dec787321ffShih-wei LiaoRSExportRecordType *RSExportRecordType::Create(RSContext *Context, 13849ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao const clang::RecordType *RT, 13859ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao const llvm::StringRef &TypeName, 13869ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao bool mIsArtificial) { 13876e6578a360497f78a181e63d7783422a9c9bfb15Stephen Hines slangAssert(RT != NULL && RT->getTypeClass() == clang::Type::Record); 1388462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 13899ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao const clang::RecordDecl *RD = RT->getDecl(); 13906e6578a360497f78a181e63d7783422a9c9bfb15Stephen Hines slangAssert(RD->isStruct()); 1391462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 13929ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao RD = RD->getDefinition(); 13939ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao if (RD == NULL) { 13946e6578a360497f78a181e63d7783422a9c9bfb15Stephen Hines slangAssert(false && "struct is not defined in this module"); 13959ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return NULL; 13969ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 1397462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 13980da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang // Struct layout construct by clang. We rely on this for obtaining the 13990da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang // alloc size of a struct and offset of every field in that struct. 14000da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang const clang::ASTRecordLayout *RL = 14019e5b503349719144f63ccb7c62ee9c291a7d83b8Stephen Hines &Context->getASTContext().getASTRecordLayout(RD); 1402f2174cfd6a556b51aadf2b8765e50df080e8f18eStephen Hines slangAssert((RL != NULL) && 1403f2174cfd6a556b51aadf2b8765e50df080e8f18eStephen Hines "Failed to retrieve the struct layout from Clang."); 14040da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang 14050da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang RSExportRecordType *ERT = 14060da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang new RSExportRecordType(Context, 14070da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang TypeName, 14080da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang RD->hasAttr<clang::PackedAttr>(), 14090da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang mIsArtificial, 141068318a14fe6d2debc1b9dce3fe71c42f5916eef5Shih-wei Liao RL->getSize().getQuantity()); 14119ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao unsigned int Index = 0; 14129ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao 14139ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao for (clang::RecordDecl::field_iterator FI = RD->field_begin(), 14149ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao FE = RD->field_end(); 14159ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao FI != FE; 141691a3783ce1f4eb9ad6e9c1ecdbd27f3d6dc58634Shih-wei Liao FI++, Index++) { 14179ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao 14189ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // FIXME: All fields should be primitive type 141943730fe3c839af391efe6bdf56b0479860121924Shih-wei Liao slangAssert(FI->getKind() == clang::Decl::Field); 14209ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao clang::FieldDecl *FD = *FI; 14219ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao 14222ef9bc0cfbca2152d972c0975005f8c897c2a42cStephen Hines if (FD->isBitField()) { 14232ef9bc0cfbca2152d972c0975005f8c897c2a42cStephen Hines return NULL; 14242ef9bc0cfbca2152d972c0975005f8c897c2a42cStephen Hines } 14259ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao 14269ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // Type 14276315f76e3cc6ff2d012d1183a0b030d4ff0dc808zonr RSExportType *ET = RSExportElement::CreateFromDecl(Context, FD); 14289ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao 14292ef9bc0cfbca2152d972c0975005f8c897c2a42cStephen Hines if (ET != NULL) { 14300da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang ERT->mFields.push_back( 14310da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang new Field(ET, FD->getName(), ERT, 14320da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang static_cast<size_t>(RL->getFieldOffset(Index) >> 3))); 14332ef9bc0cfbca2152d972c0975005f8c897c2a42cStephen Hines } else { 1434d3f7527b105d21f1c69d3473eb88a762f2c3ab5aJean-Luc Brouillet Context->ReportError(RD->getLocation(), 1435d3f7527b105d21f1c69d3473eb88a762f2c3ab5aJean-Luc Brouillet "field type cannot be exported: '%0.%1'") 1436d3f7527b105d21f1c69d3473eb88a762f2c3ab5aJean-Luc Brouillet << RD->getName() << FD->getName(); 14372ef9bc0cfbca2152d972c0975005f8c897c2a42cStephen Hines return NULL; 14382ef9bc0cfbca2152d972c0975005f8c897c2a42cStephen Hines } 14399ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 14400a3f20ec28ed6f5ae1ed5d61f6b6e3e577f7f5d1Shih-wei Liao 14419ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return ERT; 1442462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao} 1443462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 14447c67e578c760408dba0c2f64da6e074dd8b56fd9Shih-wei Liaollvm::Type *RSExportRecordType::convertToLLVMType() const { 14453cd3dd327445fcfa49f0e96cb2de2055bce541e9Zonr Chang // Create an opaque type since struct may reference itself recursively. 14463cd3dd327445fcfa49f0e96cb2de2055bce541e9Zonr Chang 14477c67e578c760408dba0c2f64da6e074dd8b56fd9Shih-wei Liao // TODO(sliao): LLVM took out the OpaqueType. Any other to migrate to? 14487c67e578c760408dba0c2f64da6e074dd8b56fd9Shih-wei Liao std::vector<llvm::Type*> FieldTypes; 1449462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 14503cd3dd327445fcfa49f0e96cb2de2055bce541e9Zonr Chang for (const_field_iterator FI = fields_begin(), FE = fields_end(); 14519ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao FI != FE; 14529ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao FI++) { 14539ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao const Field *F = *FI; 14549ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao const RSExportType *FET = F->getType(); 14551f0d88fbff28e4e2dd563d93c8fe0047381c09ccShih-wei Liao 14569ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao FieldTypes.push_back(FET->getLLVMType()); 14579ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 1458462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 14593cd3dd327445fcfa49f0e96cb2de2055bce541e9Zonr Chang llvm::StructType *ST = llvm::StructType::get(getRSContext()->getLLVMContext(), 14603cd3dd327445fcfa49f0e96cb2de2055bce541e9Zonr Chang FieldTypes, 14613cd3dd327445fcfa49f0e96cb2de2055bce541e9Zonr Chang mIsPacked); 14627c67e578c760408dba0c2f64da6e074dd8b56fd9Shih-wei Liao if (ST != NULL) { 14637c67e578c760408dba0c2f64da6e074dd8b56fd9Shih-wei Liao return ST; 14647c67e578c760408dba0c2f64da6e074dd8b56fd9Shih-wei Liao } else { 14653cd3dd327445fcfa49f0e96cb2de2055bce541e9Zonr Chang return NULL; 14667c67e578c760408dba0c2f64da6e074dd8b56fd9Shih-wei Liao } 1467462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao} 1468641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang 14693cd3dd327445fcfa49f0e96cb2de2055bce541e9Zonr Changbool RSExportRecordType::keep() { 14703cd3dd327445fcfa49f0e96cb2de2055bce541e9Zonr Chang if (!RSExportType::keep()) 14713cd3dd327445fcfa49f0e96cb2de2055bce541e9Zonr Chang return false; 1472641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang for (std::list<const Field*>::iterator I = mFields.begin(), 1473641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang E = mFields.end(); 1474641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang I != E; 1475641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang I++) { 1476641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang const_cast<RSExportType*>((*I)->getType())->keep(); 1477641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang } 14783cd3dd327445fcfa49f0e96cb2de2055bce541e9Zonr Chang return true; 1479641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang} 1480641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang 1481641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Changbool RSExportRecordType::equals(const RSExportable *E) const { 1482641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang CHECK_PARENT_EQUALITY(RSExportType, E); 1483641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang 1484641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang const RSExportRecordType *ERT = static_cast<const RSExportRecordType*>(E); 1485641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang 1486641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang if (ERT->getFields().size() != getFields().size()) 1487641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang return false; 1488641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang 1489641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang const_field_iterator AI = fields_begin(), BI = ERT->fields_begin(); 1490641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang 1491641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang for (unsigned i = 0, e = getFields().size(); i != e; i++) { 1492641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang if (!(*AI)->getType()->equals((*BI)->getType())) 1493641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang return false; 1494641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang AI++; 1495641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang BI++; 1496641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang } 1497641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang 1498641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang return true; 1499641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang} 1500e639eb5caa2c386b4a60659a4929e8a6141a2cbeStephen Hines 15011b6a0883cd6984e11e59b0c847fb334df1f41afcJason Samsvoid RSExportType::convertToRTD(RSReflectionTypeData *rtd) const { 15021b6a0883cd6984e11e59b0c847fb334df1f41afcJason Sams memset(rtd, 0, sizeof(*rtd)); 15031b6a0883cd6984e11e59b0c847fb334df1f41afcJason Sams rtd->vecSize = 1; 15041b6a0883cd6984e11e59b0c847fb334df1f41afcJason Sams 15051b6a0883cd6984e11e59b0c847fb334df1f41afcJason Sams switch(getClass()) { 15061b6a0883cd6984e11e59b0c847fb334df1f41afcJason Sams case RSExportType::ExportClassPrimitive: { 15071b6a0883cd6984e11e59b0c847fb334df1f41afcJason Sams const RSExportPrimitiveType *EPT = static_cast<const RSExportPrimitiveType*>(this); 15081b6a0883cd6984e11e59b0c847fb334df1f41afcJason Sams rtd->type = RSExportPrimitiveType::getRSReflectionType(EPT); 15091b6a0883cd6984e11e59b0c847fb334df1f41afcJason Sams return; 15101b6a0883cd6984e11e59b0c847fb334df1f41afcJason Sams } 15111b6a0883cd6984e11e59b0c847fb334df1f41afcJason Sams case RSExportType::ExportClassPointer: { 15121b6a0883cd6984e11e59b0c847fb334df1f41afcJason Sams const RSExportPointerType *EPT = static_cast<const RSExportPointerType*>(this); 15131b6a0883cd6984e11e59b0c847fb334df1f41afcJason Sams const RSExportType *PointeeType = EPT->getPointeeType(); 15141b6a0883cd6984e11e59b0c847fb334df1f41afcJason Sams PointeeType->convertToRTD(rtd); 15151b6a0883cd6984e11e59b0c847fb334df1f41afcJason Sams rtd->isPointer = true; 15161b6a0883cd6984e11e59b0c847fb334df1f41afcJason Sams return; 15171b6a0883cd6984e11e59b0c847fb334df1f41afcJason Sams } 15181b6a0883cd6984e11e59b0c847fb334df1f41afcJason Sams case RSExportType::ExportClassVector: { 15191b6a0883cd6984e11e59b0c847fb334df1f41afcJason Sams const RSExportVectorType *EVT = static_cast<const RSExportVectorType*>(this); 15201b6a0883cd6984e11e59b0c847fb334df1f41afcJason Sams rtd->type = EVT->getRSReflectionType(EVT); 15211b6a0883cd6984e11e59b0c847fb334df1f41afcJason Sams rtd->vecSize = EVT->getNumElement(); 15221b6a0883cd6984e11e59b0c847fb334df1f41afcJason Sams return; 15231b6a0883cd6984e11e59b0c847fb334df1f41afcJason Sams } 15241b6a0883cd6984e11e59b0c847fb334df1f41afcJason Sams case RSExportType::ExportClassMatrix: { 15251b6a0883cd6984e11e59b0c847fb334df1f41afcJason Sams const RSExportMatrixType *EMT = static_cast<const RSExportMatrixType*>(this); 15261b6a0883cd6984e11e59b0c847fb334df1f41afcJason Sams unsigned Dim = EMT->getDim(); 15271b6a0883cd6984e11e59b0c847fb334df1f41afcJason Sams slangAssert((Dim >= 2) && (Dim <= 4)); 15281b6a0883cd6984e11e59b0c847fb334df1f41afcJason Sams rtd->type = &gReflectionTypes[15 + Dim-2]; 15291b6a0883cd6984e11e59b0c847fb334df1f41afcJason Sams return; 15301b6a0883cd6984e11e59b0c847fb334df1f41afcJason Sams } 15311b6a0883cd6984e11e59b0c847fb334df1f41afcJason Sams case RSExportType::ExportClassConstantArray: { 15321b6a0883cd6984e11e59b0c847fb334df1f41afcJason Sams const RSExportConstantArrayType* CAT = 15331b6a0883cd6984e11e59b0c847fb334df1f41afcJason Sams static_cast<const RSExportConstantArrayType*>(this); 15341b6a0883cd6984e11e59b0c847fb334df1f41afcJason Sams CAT->getElementType()->convertToRTD(rtd); 15351b6a0883cd6984e11e59b0c847fb334df1f41afcJason Sams rtd->arraySize = CAT->getSize(); 15361b6a0883cd6984e11e59b0c847fb334df1f41afcJason Sams return; 15371b6a0883cd6984e11e59b0c847fb334df1f41afcJason Sams } 15381b6a0883cd6984e11e59b0c847fb334df1f41afcJason Sams case RSExportType::ExportClassRecord: { 15391b6a0883cd6984e11e59b0c847fb334df1f41afcJason Sams slangAssert(!"RSExportType::ExportClassRecord not implemented"); 15401b6a0883cd6984e11e59b0c847fb334df1f41afcJason Sams return;// RS_TYPE_CLASS_NAME_PREFIX + ET->getName() + ".Item"; 15411b6a0883cd6984e11e59b0c847fb334df1f41afcJason Sams } 15421b6a0883cd6984e11e59b0c847fb334df1f41afcJason Sams default: { 15431b6a0883cd6984e11e59b0c847fb334df1f41afcJason Sams slangAssert(false && "Unknown class of type"); 15441b6a0883cd6984e11e59b0c847fb334df1f41afcJason Sams } 15451b6a0883cd6984e11e59b0c847fb334df1f41afcJason Sams } 15461b6a0883cd6984e11e59b0c847fb334df1f41afcJason Sams} 15471b6a0883cd6984e11e59b0c847fb334df1f41afcJason Sams 15481b6a0883cd6984e11e59b0c847fb334df1f41afcJason Sams 1549e639eb5caa2c386b4a60659a4929e8a6141a2cbeStephen Hines} // namespace slang 1550