slang_rs_export_type.cpp revision 44f10063c2c08dab103a44cded0c3a288d65d43b
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" 34a7a828d1ff95c5a8f2327f56a137a2bcb3a9a8faZonr Chang#include "slang_rs_type_spec.h" 35d5a84f6d49d64738e4bb7c9dea7242e48acad959Stephen Hines#include "slang_version.h" 36462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 37641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang#define CHECK_PARENT_EQUALITY(ParentClass, E) \ 38641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang if (!ParentClass::equals(E)) \ 39641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang return false; 40641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang 41e639eb5caa2c386b4a60659a4929e8a6141a2cbeStephen Hinesnamespace slang { 42462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 43e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hinesnamespace { 44462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 45fdd1ba13a69501a1b91fdc9be31413215d467497Stephen Hinesstatic RSReflectionType gReflectionTypes[] = { 46fdd1ba13a69501a1b91fdc9be31413215d467497Stephen Hines {"FLOAT_16", "F16", 16, "half", "half", "Half", "Half", false}, 47fdd1ba13a69501a1b91fdc9be31413215d467497Stephen Hines {"FLOAT_32", "F32", 32, "float", "float", "Float", "Float", false}, 48fdd1ba13a69501a1b91fdc9be31413215d467497Stephen Hines {"FLOAT_64", "F64", 64, "double", "double", "Double", "Double",false}, 49fdd1ba13a69501a1b91fdc9be31413215d467497Stephen Hines {"SIGNED_8", "I8", 8, "int8_t", "byte", "Byte", "Byte", false}, 50fdd1ba13a69501a1b91fdc9be31413215d467497Stephen Hines {"SIGNED_16", "I16", 16, "int16_t", "short", "Short", "Short", false}, 51fdd1ba13a69501a1b91fdc9be31413215d467497Stephen Hines {"SIGNED_32", "I32", 32, "int32_t", "int", "Int", "Int", false}, 52fdd1ba13a69501a1b91fdc9be31413215d467497Stephen Hines {"SIGNED_64", "I64", 64, "int64_t", "long", "Long", "Long", false}, 5347aca4e016665d333fdcd01a9cef16c13d7836a8Stephen Hines {"UNSIGNED_8", "U8", 8, "uint8_t", "short", "UByte", "Short", true}, 5447aca4e016665d333fdcd01a9cef16c13d7836a8Stephen Hines {"UNSIGNED_16", "U16", 16, "uint16_t", "int", "UShort", "Int", true}, 5547aca4e016665d333fdcd01a9cef16c13d7836a8Stephen Hines {"UNSIGNED_32", "U32", 32, "uint32_t", "long", "UInt", "Long", true}, 5647aca4e016665d333fdcd01a9cef16c13d7836a8Stephen Hines {"UNSIGNED_64", "U64", 64, "uint64_t", "long", "ULong", "Long", false}, 57fdd1ba13a69501a1b91fdc9be31413215d467497Stephen Hines 5847aca4e016665d333fdcd01a9cef16c13d7836a8Stephen Hines {"BOOLEAN", "BOOLEAN", 8, "bool", "boolean", NULL, NULL, false}, 59fdd1ba13a69501a1b91fdc9be31413215d467497Stephen Hines 60fdd1ba13a69501a1b91fdc9be31413215d467497Stephen Hines {"UNSIGNED_5_6_5", NULL, 16, NULL, NULL, NULL, NULL, false}, 61fdd1ba13a69501a1b91fdc9be31413215d467497Stephen Hines {"UNSIGNED_5_5_5_1", NULL, 16, NULL, NULL, NULL, NULL, false}, 62fdd1ba13a69501a1b91fdc9be31413215d467497Stephen Hines {"UNSIGNED_4_4_4_4", NULL, 16, NULL, NULL, NULL, NULL, false}, 63fdd1ba13a69501a1b91fdc9be31413215d467497Stephen Hines 64fdd1ba13a69501a1b91fdc9be31413215d467497Stephen Hines {"MATRIX_2X2", NULL, 4*32, "rsMatrix_2x2", "Matrix2f", NULL, NULL, false}, 65fdd1ba13a69501a1b91fdc9be31413215d467497Stephen Hines {"MATRIX_3X3", NULL, 9*32, "rsMatrix_3x3", "Matrix3f", NULL, NULL, false}, 66fdd1ba13a69501a1b91fdc9be31413215d467497Stephen Hines {"MATRIX_4X4", NULL, 16*32, "rsMatrix_4x4", "Matrix4f", NULL, NULL, false}, 67fdd1ba13a69501a1b91fdc9be31413215d467497Stephen Hines 68fdd1ba13a69501a1b91fdc9be31413215d467497Stephen Hines {"RS_ELEMENT", "ELEMENT", 32, "Element", "Element", NULL, NULL, false}, 69fdd1ba13a69501a1b91fdc9be31413215d467497Stephen Hines {"RS_TYPE", "TYPE", 32, "Type", "Type", NULL, NULL, false}, 70fdd1ba13a69501a1b91fdc9be31413215d467497Stephen Hines {"RS_ALLOCATION", "ALLOCATION", 32, "Allocation", "Allocation", NULL, NULL, false}, 71fdd1ba13a69501a1b91fdc9be31413215d467497Stephen Hines {"RS_SAMPLER", "SAMPLER", 32, "Sampler", "Sampler", NULL, NULL, false}, 72fdd1ba13a69501a1b91fdc9be31413215d467497Stephen Hines {"RS_SCRIPT", "SCRIPT", 32, "Script", "Script", NULL, NULL, false}, 73fdd1ba13a69501a1b91fdc9be31413215d467497Stephen Hines {"RS_MESH", "MESH", 32, "Mesh", "Mesh", NULL, NULL, false}, 74fdd1ba13a69501a1b91fdc9be31413215d467497Stephen Hines {"RS_PATH", "PATH", 32, "Path", "Path", NULL, NULL, false}, 75fdd1ba13a69501a1b91fdc9be31413215d467497Stephen Hines {"RS_PROGRAM_FRAGMENT", "PROGRAM_FRAGMENT", 32, "ProgramFragment", "ProgramFragment", NULL, NULL, false}, 76fdd1ba13a69501a1b91fdc9be31413215d467497Stephen Hines {"RS_PROGRAM_VERTEX", "PROGRAM_VERTEX", 32, "ProgramVertex", "ProgramVertex", NULL, NULL, false}, 77fdd1ba13a69501a1b91fdc9be31413215d467497Stephen Hines {"RS_PROGRAM_RASTER", "PROGRAM_RASTER", 32, "ProgramRaster", "ProgramRaster", NULL, NULL, false}, 78fdd1ba13a69501a1b91fdc9be31413215d467497Stephen Hines {"RS_PROGRAM_STORE", "PROGRAM_STORE", 32, "ProgramStore", "ProgramStore", NULL, NULL, false}, 79fdd1ba13a69501a1b91fdc9be31413215d467497Stephen Hines {"RS_FONT", "FONT", 32, "Font", "Font", NULL, NULL, false} 80fdd1ba13a69501a1b91fdc9be31413215d467497Stephen Hines}; 81fdd1ba13a69501a1b91fdc9be31413215d467497Stephen Hines 8224e79f69125cf87fcaa78c04510a831037203eebStephen Hinesstatic const clang::Type *TypeExportableHelper( 8324e79f69125cf87fcaa78c04510a831037203eebStephen Hines const clang::Type *T, 8424e79f69125cf87fcaa78c04510a831037203eebStephen Hines llvm::SmallPtrSet<const clang::Type*, 8>& SPS, 859207a2e495c8363606861e4f034504ec5c153dabLogan Chien clang::DiagnosticsEngine *DiagEngine, 8624e79f69125cf87fcaa78c04510a831037203eebStephen Hines const clang::VarDecl *VD, 875bfec8dd08b3bde9ba3b331e2115210b0e910eaeStephen Hines const clang::RecordDecl *TopLevelRecord); 8824e79f69125cf87fcaa78c04510a831037203eebStephen Hines 899207a2e495c8363606861e4f034504ec5c153dabLogan Chienstatic void ReportTypeError(clang::DiagnosticsEngine *DiagEngine, 9011274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines const clang::NamedDecl *ND, 9124e79f69125cf87fcaa78c04510a831037203eebStephen Hines const clang::RecordDecl *TopLevelRecord, 92d5a84f6d49d64738e4bb7c9dea7242e48acad959Stephen Hines const char *Message, 93d5a84f6d49d64738e4bb7c9dea7242e48acad959Stephen Hines unsigned int TargetAPI = 0) { 949207a2e495c8363606861e4f034504ec5c153dabLogan Chien if (!DiagEngine) { 9524e79f69125cf87fcaa78c04510a831037203eebStephen Hines return; 9624e79f69125cf87fcaa78c04510a831037203eebStephen Hines } 9724e79f69125cf87fcaa78c04510a831037203eebStephen Hines 989207a2e495c8363606861e4f034504ec5c153dabLogan Chien const clang::SourceManager &SM = DiagEngine->getSourceManager(); 9978e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines 10024e79f69125cf87fcaa78c04510a831037203eebStephen Hines // Attempt to use the type declaration first (if we have one). 10124e79f69125cf87fcaa78c04510a831037203eebStephen Hines // Fall back to the variable definition, if we are looking at something 10224e79f69125cf87fcaa78c04510a831037203eebStephen Hines // like an array declaration that can't be exported. 10324e79f69125cf87fcaa78c04510a831037203eebStephen Hines if (TopLevelRecord) { 1049207a2e495c8363606861e4f034504ec5c153dabLogan Chien DiagEngine->Report( 1059207a2e495c8363606861e4f034504ec5c153dabLogan Chien clang::FullSourceLoc(TopLevelRecord->getLocation(), SM), 1069207a2e495c8363606861e4f034504ec5c153dabLogan Chien DiagEngine->getCustomDiagID(clang::DiagnosticsEngine::Error, Message)) 107d5a84f6d49d64738e4bb7c9dea7242e48acad959Stephen Hines << TopLevelRecord->getName() << TargetAPI; 10811274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines } else if (ND) { 1099207a2e495c8363606861e4f034504ec5c153dabLogan Chien DiagEngine->Report( 11011274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines clang::FullSourceLoc(ND->getLocation(), SM), 1119207a2e495c8363606861e4f034504ec5c153dabLogan Chien DiagEngine->getCustomDiagID(clang::DiagnosticsEngine::Error, Message)) 11211274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines << ND->getName() << TargetAPI; 11324e79f69125cf87fcaa78c04510a831037203eebStephen Hines } else { 1146e6578a360497f78a181e63d7783422a9c9bfb15Stephen Hines slangAssert(false && "Variables should be validated before exporting"); 11524e79f69125cf87fcaa78c04510a831037203eebStephen Hines } 11624e79f69125cf87fcaa78c04510a831037203eebStephen Hines} 11724e79f69125cf87fcaa78c04510a831037203eebStephen Hines 11824e79f69125cf87fcaa78c04510a831037203eebStephen Hinesstatic const clang::Type *ConstantArrayTypeExportableHelper( 11924e79f69125cf87fcaa78c04510a831037203eebStephen Hines const clang::ConstantArrayType *CAT, 12024e79f69125cf87fcaa78c04510a831037203eebStephen Hines llvm::SmallPtrSet<const clang::Type*, 8>& SPS, 1219207a2e495c8363606861e4f034504ec5c153dabLogan Chien clang::DiagnosticsEngine *DiagEngine, 12224e79f69125cf87fcaa78c04510a831037203eebStephen Hines const clang::VarDecl *VD, 1235bfec8dd08b3bde9ba3b331e2115210b0e910eaeStephen Hines const clang::RecordDecl *TopLevelRecord) { 12424e79f69125cf87fcaa78c04510a831037203eebStephen Hines // Check element type 12524e79f69125cf87fcaa78c04510a831037203eebStephen Hines const clang::Type *ElementType = GET_CONSTANT_ARRAY_ELEMENT_TYPE(CAT); 12624e79f69125cf87fcaa78c04510a831037203eebStephen Hines if (ElementType->isArrayType()) { 1279207a2e495c8363606861e4f034504ec5c153dabLogan Chien ReportTypeError(DiagEngine, VD, TopLevelRecord, 1289207a2e495c8363606861e4f034504ec5c153dabLogan Chien "multidimensional arrays cannot be exported: '%0'"); 12924e79f69125cf87fcaa78c04510a831037203eebStephen Hines return NULL; 13024e79f69125cf87fcaa78c04510a831037203eebStephen Hines } else if (ElementType->isExtVectorType()) { 13124e79f69125cf87fcaa78c04510a831037203eebStephen Hines const clang::ExtVectorType *EVT = 13224e79f69125cf87fcaa78c04510a831037203eebStephen Hines static_cast<const clang::ExtVectorType*>(ElementType); 13324e79f69125cf87fcaa78c04510a831037203eebStephen Hines unsigned numElements = EVT->getNumElements(); 13424e79f69125cf87fcaa78c04510a831037203eebStephen Hines 13524e79f69125cf87fcaa78c04510a831037203eebStephen Hines const clang::Type *BaseElementType = GET_EXT_VECTOR_ELEMENT_TYPE(EVT); 13624e79f69125cf87fcaa78c04510a831037203eebStephen Hines if (!RSExportPrimitiveType::IsPrimitiveType(BaseElementType)) { 1379207a2e495c8363606861e4f034504ec5c153dabLogan Chien ReportTypeError(DiagEngine, VD, TopLevelRecord, 1389207a2e495c8363606861e4f034504ec5c153dabLogan Chien "vectors of non-primitive types cannot be exported: '%0'"); 13924e79f69125cf87fcaa78c04510a831037203eebStephen Hines return NULL; 14024e79f69125cf87fcaa78c04510a831037203eebStephen Hines } 14124e79f69125cf87fcaa78c04510a831037203eebStephen Hines 14224e79f69125cf87fcaa78c04510a831037203eebStephen Hines if (numElements == 3 && CAT->getSize() != 1) { 1439207a2e495c8363606861e4f034504ec5c153dabLogan Chien ReportTypeError(DiagEngine, VD, TopLevelRecord, 1449207a2e495c8363606861e4f034504ec5c153dabLogan Chien "arrays of width 3 vector types cannot be exported: '%0'"); 14524e79f69125cf87fcaa78c04510a831037203eebStephen Hines return NULL; 14624e79f69125cf87fcaa78c04510a831037203eebStephen Hines } 14724e79f69125cf87fcaa78c04510a831037203eebStephen Hines } 14824e79f69125cf87fcaa78c04510a831037203eebStephen Hines 1499207a2e495c8363606861e4f034504ec5c153dabLogan Chien if (TypeExportableHelper(ElementType, SPS, DiagEngine, VD, 150d5a84f6d49d64738e4bb7c9dea7242e48acad959Stephen Hines TopLevelRecord) == NULL) { 15124e79f69125cf87fcaa78c04510a831037203eebStephen Hines return NULL; 152d5a84f6d49d64738e4bb7c9dea7242e48acad959Stephen Hines } else { 15324e79f69125cf87fcaa78c04510a831037203eebStephen Hines return CAT; 154d5a84f6d49d64738e4bb7c9dea7242e48acad959Stephen Hines } 15524e79f69125cf87fcaa78c04510a831037203eebStephen Hines} 15624e79f69125cf87fcaa78c04510a831037203eebStephen Hines 15724e79f69125cf87fcaa78c04510a831037203eebStephen Hinesstatic const clang::Type *TypeExportableHelper( 158e67239de8d94975e7e2216ee6860ae2e6cb8b15aStephen Hines clang::Type const *T, 159e67239de8d94975e7e2216ee6860ae2e6cb8b15aStephen Hines llvm::SmallPtrSet<clang::Type const *, 8> &SPS, 160e67239de8d94975e7e2216ee6860ae2e6cb8b15aStephen Hines clang::DiagnosticsEngine *DiagEngine, 161e67239de8d94975e7e2216ee6860ae2e6cb8b15aStephen Hines clang::VarDecl const *VD, 1625bfec8dd08b3bde9ba3b331e2115210b0e910eaeStephen Hines clang::RecordDecl const *TopLevelRecord) { 1639ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // Normalize first 1649ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao if ((T = GET_CANONICAL_TYPE(T)) == NULL) 1659ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return NULL; 166462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 1679ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao if (SPS.count(T)) 1689ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return T; 1691f0d88fbff28e4e2dd563d93c8fe0047381c09ccShih-wei Liao 1709ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao switch (T->getTypeClass()) { 1719ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao case clang::Type::Builtin: { 172be27482cdeaf08576bc39b72a15d35d13014a636Logan const clang::BuiltinType *BT = 173be27482cdeaf08576bc39b72a15d35d13014a636Logan UNSAFE_CAST_TYPE(const clang::BuiltinType, T); 174462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 1759ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao switch (BT->getKind()) { 176a65ec168e41e3ee9c6e8ac04cde694bbbfc2590aZonr Chang#define ENUM_SUPPORT_BUILTIN_TYPE(builtin_type, type, cname) \ 1779ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao case builtin_type: 178a65ec168e41e3ee9c6e8ac04cde694bbbfc2590aZonr Chang#include "RSClangBuiltinEnums.inc" 1799ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return T; 1809ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao default: { 1819ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return NULL; 182462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao } 1839ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 1849ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 1859ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao case clang::Type::Record: { 186b1771ef128b10c4d4575634828006bfba20b1d9cZonr Chang if (RSExportPrimitiveType::GetRSSpecificType(T) != 187d5a84f6d49d64738e4bb7c9dea7242e48acad959Stephen Hines RSExportPrimitiveType::DataTypeUnknown) { 1886315f76e3cc6ff2d012d1183a0b030d4ff0dc808zonr return T; // RS object type, no further checks are needed 189d5a84f6d49d64738e4bb7c9dea7242e48acad959Stephen Hines } 190462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 1919ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // Check internal struct 192cd440ee9b3bdb7985a20b2cd4b0f8229de34f0a9Stephen Hines if (T->isUnionType()) { 193d5a84f6d49d64738e4bb7c9dea7242e48acad959Stephen Hines ReportTypeError(DiagEngine, VD, T->getAsUnionType()->getDecl(), 1949207a2e495c8363606861e4f034504ec5c153dabLogan Chien "unions cannot be exported: '%0'"); 195cd440ee9b3bdb7985a20b2cd4b0f8229de34f0a9Stephen Hines return NULL; 196cd440ee9b3bdb7985a20b2cd4b0f8229de34f0a9Stephen Hines } else if (!T->isStructureType()) { 1976e6578a360497f78a181e63d7783422a9c9bfb15Stephen Hines slangAssert(false && "Unknown type cannot be exported"); 198cd440ee9b3bdb7985a20b2cd4b0f8229de34f0a9Stephen Hines return NULL; 199cd440ee9b3bdb7985a20b2cd4b0f8229de34f0a9Stephen Hines } 200cd440ee9b3bdb7985a20b2cd4b0f8229de34f0a9Stephen Hines 20124e79f69125cf87fcaa78c04510a831037203eebStephen Hines clang::RecordDecl *RD = T->getAsStructureType()->getDecl(); 2022ef9bc0cfbca2152d972c0975005f8c897c2a42cStephen Hines if (RD != NULL) { 2039ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao RD = RD->getDefinition(); 2042ef9bc0cfbca2152d972c0975005f8c897c2a42cStephen Hines if (RD == NULL) { 2059207a2e495c8363606861e4f034504ec5c153dabLogan Chien ReportTypeError(DiagEngine, NULL, T->getAsStructureType()->getDecl(), 2069207a2e495c8363606861e4f034504ec5c153dabLogan Chien "struct is not defined in this module"); 2072ef9bc0cfbca2152d972c0975005f8c897c2a42cStephen Hines return NULL; 2082ef9bc0cfbca2152d972c0975005f8c897c2a42cStephen Hines } 2092ef9bc0cfbca2152d972c0975005f8c897c2a42cStephen Hines } 210f8149d9e5a3795e9952717ee6346789a134c55c7Shih-wei Liao 211e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines if (!TopLevelRecord) { 212e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines TopLevelRecord = RD; 213e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines } 214e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines if (RD->getName().empty()) { 2159207a2e495c8363606861e4f034504ec5c153dabLogan Chien ReportTypeError(DiagEngine, NULL, RD, 2169207a2e495c8363606861e4f034504ec5c153dabLogan Chien "anonymous structures cannot be exported"); 217e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines return NULL; 218e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines } 219e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines 2209ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // Fast check 2219ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao if (RD->hasFlexibleArrayMember() || RD->hasObjectMember()) 2229ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return NULL; 223f8149d9e5a3795e9952717ee6346789a134c55c7Shih-wei Liao 2249ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // Insert myself into checking set 2259ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao SPS.insert(T); 226f8149d9e5a3795e9952717ee6346789a134c55c7Shih-wei Liao 2279ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // Check all element 2289ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao for (clang::RecordDecl::field_iterator FI = RD->field_begin(), 2299ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao FE = RD->field_end(); 2309ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao FI != FE; 2319ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao FI++) { 2320da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang const clang::FieldDecl *FD = *FI; 233e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines const clang::Type *FT = RSExportType::GetTypeOfDecl(FD); 2349ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao FT = GET_CANONICAL_TYPE(FT); 235462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 2365bfec8dd08b3bde9ba3b331e2115210b0e910eaeStephen Hines if (!TypeExportableHelper(FT, SPS, DiagEngine, VD, TopLevelRecord)) { 2379ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return NULL; 2380da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang } 2392ef9bc0cfbca2152d972c0975005f8c897c2a42cStephen Hines 2402ef9bc0cfbca2152d972c0975005f8c897c2a42cStephen Hines // We don't support bit fields yet 2412ef9bc0cfbca2152d972c0975005f8c897c2a42cStephen Hines // 2422ef9bc0cfbca2152d972c0975005f8c897c2a42cStephen Hines // TODO(zonr/srhines): allow bit fields of size 8, 16, 32 2432ef9bc0cfbca2152d972c0975005f8c897c2a42cStephen Hines if (FD->isBitField()) { 2449207a2e495c8363606861e4f034504ec5c153dabLogan Chien if (DiagEngine) { 2459207a2e495c8363606861e4f034504ec5c153dabLogan Chien DiagEngine->Report( 2469207a2e495c8363606861e4f034504ec5c153dabLogan Chien clang::FullSourceLoc(FD->getLocation(), 2479207a2e495c8363606861e4f034504ec5c153dabLogan Chien DiagEngine->getSourceManager()), 2489207a2e495c8363606861e4f034504ec5c153dabLogan Chien DiagEngine->getCustomDiagID( 2499207a2e495c8363606861e4f034504ec5c153dabLogan Chien clang::DiagnosticsEngine::Error, 2509207a2e495c8363606861e4f034504ec5c153dabLogan Chien "bit fields are not able to be exported: '%0.%1'")) 2519207a2e495c8363606861e4f034504ec5c153dabLogan Chien << RD->getName() 2529207a2e495c8363606861e4f034504ec5c153dabLogan Chien << FD->getName(); 2532ef9bc0cfbca2152d972c0975005f8c897c2a42cStephen Hines } 2542ef9bc0cfbca2152d972c0975005f8c897c2a42cStephen Hines return NULL; 2552ef9bc0cfbca2152d972c0975005f8c897c2a42cStephen Hines } 2569ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 257462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 2589ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return T; 2599ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 2609ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao case clang::Type::Pointer: { 261e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines if (TopLevelRecord) { 262aa82e74b08fcdc2e4e6c1f6796699566b331b656Stephen Hines ReportTypeError(DiagEngine, VD, TopLevelRecord, 263aa82e74b08fcdc2e4e6c1f6796699566b331b656Stephen Hines "structures containing pointers cannot be exported: '%0'"); 264c808a99831115928b4648f4c8b86dc682594217aStephen Hines return NULL; 265c808a99831115928b4648f4c8b86dc682594217aStephen Hines } 26624e79f69125cf87fcaa78c04510a831037203eebStephen Hines 267be27482cdeaf08576bc39b72a15d35d13014a636Logan const clang::PointerType *PT = 268be27482cdeaf08576bc39b72a15d35d13014a636Logan UNSAFE_CAST_TYPE(const clang::PointerType, T); 2699ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao const clang::Type *PointeeType = GET_POINTEE_TYPE(PT); 270462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 271aa82e74b08fcdc2e4e6c1f6796699566b331b656Stephen Hines if (PointeeType->getTypeClass() == clang::Type::Pointer) { 272aa82e74b08fcdc2e4e6c1f6796699566b331b656Stephen Hines ReportTypeError(DiagEngine, VD, TopLevelRecord, 273aa82e74b08fcdc2e4e6c1f6796699566b331b656Stephen Hines "multiple levels of pointers cannot be exported: '%0'"); 274aa82e74b08fcdc2e4e6c1f6796699566b331b656Stephen Hines return NULL; 275aa82e74b08fcdc2e4e6c1f6796699566b331b656Stephen Hines } 2762e1dba6c779a0ae55c76d36a3c03553e16725ab7Zonr Chang // We don't support pointer with array-type pointee or unsupported pointee 2772e1dba6c779a0ae55c76d36a3c03553e16725ab7Zonr Chang // type 2782e1dba6c779a0ae55c76d36a3c03553e16725ab7Zonr Chang if (PointeeType->isArrayType() || 2799207a2e495c8363606861e4f034504ec5c153dabLogan Chien (TypeExportableHelper(PointeeType, SPS, DiagEngine, VD, 2805bfec8dd08b3bde9ba3b331e2115210b0e910eaeStephen Hines TopLevelRecord) == NULL)) 2819ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return NULL; 2829ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao else 2839ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return T; 2849ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 2859ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao case clang::Type::ExtVector: { 2869ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao const clang::ExtVectorType *EVT = 287be27482cdeaf08576bc39b72a15d35d13014a636Logan UNSAFE_CAST_TYPE(const clang::ExtVectorType, T); 2889ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // Only vector with size 2, 3 and 4 are supported. 2899ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao if (EVT->getNumElements() < 2 || EVT->getNumElements() > 4) 2909ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return NULL; 291f8149d9e5a3795e9952717ee6346789a134c55c7Shih-wei Liao 2929ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // Check base element type 2939ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao const clang::Type *ElementType = GET_EXT_VECTOR_ELEMENT_TYPE(EVT); 294462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 2959ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao if ((ElementType->getTypeClass() != clang::Type::Builtin) || 2969207a2e495c8363606861e4f034504ec5c153dabLogan Chien (TypeExportableHelper(ElementType, SPS, DiagEngine, VD, 2975bfec8dd08b3bde9ba3b331e2115210b0e910eaeStephen Hines TopLevelRecord) == NULL)) 2989ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return NULL; 2999ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao else 3009ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return T; 3019ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 3022e1dba6c779a0ae55c76d36a3c03553e16725ab7Zonr Chang case clang::Type::ConstantArray: { 3032e1dba6c779a0ae55c76d36a3c03553e16725ab7Zonr Chang const clang::ConstantArrayType *CAT = 304be27482cdeaf08576bc39b72a15d35d13014a636Logan UNSAFE_CAST_TYPE(const clang::ConstantArrayType, T); 3052e1dba6c779a0ae55c76d36a3c03553e16725ab7Zonr Chang 3069207a2e495c8363606861e4f034504ec5c153dabLogan Chien return ConstantArrayTypeExportableHelper(CAT, SPS, DiagEngine, VD, 3075bfec8dd08b3bde9ba3b331e2115210b0e910eaeStephen Hines TopLevelRecord); 3082e1dba6c779a0ae55c76d36a3c03553e16725ab7Zonr Chang } 3099ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao default: { 3109ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return NULL; 311462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao } 3129ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 3139ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao} 314462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 315e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines// Return the type that can be used to create RSExportType, will always return 316e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines// the canonical type 3179207a2e495c8363606861e4f034504ec5c153dabLogan Chien// If the Type T is not exportable, this function returns NULL. DiagEngine is 31878e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines// used to generate proper Clang diagnostic messages when a 319e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines// non-exportable type is detected. TopLevelRecord is used to capture the 320e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines// highest struct (in the case of a nested hierarchy) for detecting other 321e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines// types that cannot be exported (mostly pointers within a struct). 322e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hinesstatic const clang::Type *TypeExportable(const clang::Type *T, 3239207a2e495c8363606861e4f034504ec5c153dabLogan Chien clang::DiagnosticsEngine *DiagEngine, 3245bfec8dd08b3bde9ba3b331e2115210b0e910eaeStephen Hines const clang::VarDecl *VD) { 325e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines llvm::SmallPtrSet<const clang::Type*, 8> SPS = 326e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines llvm::SmallPtrSet<const clang::Type*, 8>(); 327e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines 3285bfec8dd08b3bde9ba3b331e2115210b0e910eaeStephen Hines return TypeExportableHelper(T, SPS, DiagEngine, VD, NULL); 32978e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines} 33078e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines 331d5a84f6d49d64738e4bb7c9dea7242e48acad959Stephen Hinesstatic bool ValidateRSObjectInVarDecl(clang::VarDecl *VD, 332d5a84f6d49d64738e4bb7c9dea7242e48acad959Stephen Hines bool InCompositeType, 333d5a84f6d49d64738e4bb7c9dea7242e48acad959Stephen Hines unsigned int TargetAPI) { 334d5a84f6d49d64738e4bb7c9dea7242e48acad959Stephen Hines if (TargetAPI < SLANG_JB_TARGET_API) { 335d5a84f6d49d64738e4bb7c9dea7242e48acad959Stephen Hines // Only if we are already in a composite type (like an array or structure). 336d5a84f6d49d64738e4bb7c9dea7242e48acad959Stephen Hines if (InCompositeType) { 337d5a84f6d49d64738e4bb7c9dea7242e48acad959Stephen Hines // Only if we are actually exported (i.e. non-static). 33844f10063c2c08dab103a44cded0c3a288d65d43bStephen Hines if (VD->hasLinkage() && 33944f10063c2c08dab103a44cded0c3a288d65d43bStephen Hines (VD->getFormalLinkage() == clang::ExternalLinkage)) { 340d5a84f6d49d64738e4bb7c9dea7242e48acad959Stephen Hines // Only if we are not a pointer to an object. 341d5a84f6d49d64738e4bb7c9dea7242e48acad959Stephen Hines const clang::Type *T = GET_CANONICAL_TYPE(VD->getType().getTypePtr()); 342d5a84f6d49d64738e4bb7c9dea7242e48acad959Stephen Hines if (T->getTypeClass() != clang::Type::Pointer) { 343d5a84f6d49d64738e4bb7c9dea7242e48acad959Stephen Hines clang::ASTContext &C = VD->getASTContext(); 344d5a84f6d49d64738e4bb7c9dea7242e48acad959Stephen Hines ReportTypeError(&C.getDiagnostics(), VD, NULL, 345d5a84f6d49d64738e4bb7c9dea7242e48acad959Stephen Hines "arrays/structures containing RS object types " 346d5a84f6d49d64738e4bb7c9dea7242e48acad959Stephen Hines "cannot be exported in target API < %1: '%0'", 347d5a84f6d49d64738e4bb7c9dea7242e48acad959Stephen Hines SLANG_JB_TARGET_API); 348d5a84f6d49d64738e4bb7c9dea7242e48acad959Stephen Hines return false; 349d5a84f6d49d64738e4bb7c9dea7242e48acad959Stephen Hines } 350d5a84f6d49d64738e4bb7c9dea7242e48acad959Stephen Hines } 351d5a84f6d49d64738e4bb7c9dea7242e48acad959Stephen Hines } 352d5a84f6d49d64738e4bb7c9dea7242e48acad959Stephen Hines } 353d5a84f6d49d64738e4bb7c9dea7242e48acad959Stephen Hines 354d5a84f6d49d64738e4bb7c9dea7242e48acad959Stephen Hines return true; 355d5a84f6d49d64738e4bb7c9dea7242e48acad959Stephen Hines} 356d5a84f6d49d64738e4bb7c9dea7242e48acad959Stephen Hines 35711274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines// Helper function for ValidateType(). We do a recursive descent on the 358d5a84f6d49d64738e4bb7c9dea7242e48acad959Stephen Hines// type hierarchy to ensure that we can properly export/handle the 359d5a84f6d49d64738e4bb7c9dea7242e48acad959Stephen Hines// declaration. 360d5a84f6d49d64738e4bb7c9dea7242e48acad959Stephen Hines// \return true if the variable declaration is valid, 361d5a84f6d49d64738e4bb7c9dea7242e48acad959Stephen Hines// false if it is invalid (along with proper diagnostics). 362d5a84f6d49d64738e4bb7c9dea7242e48acad959Stephen Hines// 36311274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines// C - ASTContext (for diagnostics + builtin types). 36411274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines// T - sub-type that we are validating. 36511274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines// ND - (optional) top-level named declaration that we are validating. 366d5a84f6d49d64738e4bb7c9dea7242e48acad959Stephen Hines// SPS - set of types we have already seen/validated. 367d5a84f6d49d64738e4bb7c9dea7242e48acad959Stephen Hines// InCompositeType - true if we are within an outer composite type. 368d5a84f6d49d64738e4bb7c9dea7242e48acad959Stephen Hines// UnionDecl - set if we are in a sub-type of a union. 369d5a84f6d49d64738e4bb7c9dea7242e48acad959Stephen Hines// TargetAPI - target SDK API level. 37011274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines// IsFilterscript - whether or not we are compiling for Filterscript 37111274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hinesstatic bool ValidateTypeHelper( 37211274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines clang::ASTContext &C, 37378e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines const clang::Type *&T, 37411274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines clang::NamedDecl *ND, 37511274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines clang::SourceLocation Loc, 37678e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines llvm::SmallPtrSet<const clang::Type*, 8>& SPS, 377d5a84f6d49d64738e4bb7c9dea7242e48acad959Stephen Hines bool InCompositeType, 378d5a84f6d49d64738e4bb7c9dea7242e48acad959Stephen Hines clang::RecordDecl *UnionDecl, 37911274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines unsigned int TargetAPI, 38011274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines bool IsFilterscript) { 38178e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines if ((T = GET_CANONICAL_TYPE(T)) == NULL) 38278e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines return true; 38378e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines 38478e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines if (SPS.count(T)) 38578e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines return true; 38678e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines 38778e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines switch (T->getTypeClass()) { 38878e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines case clang::Type::Record: { 389d5a84f6d49d64738e4bb7c9dea7242e48acad959Stephen Hines if (RSExportPrimitiveType::IsRSObjectType(T)) { 39011274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines clang::VarDecl *VD = (ND ? llvm::dyn_cast<clang::VarDecl>(ND) : NULL); 39111274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines if (VD && !ValidateRSObjectInVarDecl(VD, InCompositeType, TargetAPI)) { 392d5a84f6d49d64738e4bb7c9dea7242e48acad959Stephen Hines return false; 393d5a84f6d49d64738e4bb7c9dea7242e48acad959Stephen Hines } 394d5a84f6d49d64738e4bb7c9dea7242e48acad959Stephen Hines } 395d5a84f6d49d64738e4bb7c9dea7242e48acad959Stephen Hines 39678e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines if (RSExportPrimitiveType::GetRSSpecificType(T) != 39778e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines RSExportPrimitiveType::DataTypeUnknown) { 39878e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines if (!UnionDecl) { 39978e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines return true; 40078e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines } else if (RSExportPrimitiveType::IsRSObjectType(T)) { 40111274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines ReportTypeError(&C.getDiagnostics(), NULL, UnionDecl, 40278e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines "unions containing RS object types are not allowed"); 40378e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines return false; 40478e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines } 40578e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines } 40678e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines 40778e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines clang::RecordDecl *RD = NULL; 40878e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines 40978e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines // Check internal struct 41078e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines if (T->isUnionType()) { 41178e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines RD = T->getAsUnionType()->getDecl(); 41278e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines UnionDecl = RD; 41378e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines } else if (T->isStructureType()) { 41478e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines RD = T->getAsStructureType()->getDecl(); 41578e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines } else { 41678e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines slangAssert(false && "Unknown type cannot be exported"); 41778e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines return false; 41878e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines } 41978e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines 42078e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines if (RD != NULL) { 42178e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines RD = RD->getDefinition(); 42278e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines if (RD == NULL) { 42378e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines // FIXME 42478e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines return true; 42578e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines } 42678e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines } 42778e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines 42878e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines // Fast check 42978e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines if (RD->hasFlexibleArrayMember() || RD->hasObjectMember()) 43078e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines return false; 43178e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines 43278e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines // Insert myself into checking set 43378e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines SPS.insert(T); 43478e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines 43578e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines // Check all elements 43678e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines for (clang::RecordDecl::field_iterator FI = RD->field_begin(), 43778e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines FE = RD->field_end(); 43878e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines FI != FE; 43978e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines FI++) { 44078e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines const clang::FieldDecl *FD = *FI; 44178e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines const clang::Type *FT = RSExportType::GetTypeOfDecl(FD); 44278e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines FT = GET_CANONICAL_TYPE(FT); 44378e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines 44411274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines if (!ValidateTypeHelper(C, FT, ND, Loc, SPS, true, UnionDecl, 44511274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines TargetAPI, IsFilterscript)) { 44678e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines return false; 44778e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines } 44878e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines } 44978e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines 45078e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines return true; 45178e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines } 45278e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines 45378e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines case clang::Type::Builtin: { 45411274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines if (IsFilterscript) { 45511274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines clang::QualType QT = T->getCanonicalTypeInternal(); 45611274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines if (QT == C.DoubleTy || 45711274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines QT == C.LongDoubleTy || 45811274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines QT == C.LongTy || 45911274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines QT == C.LongLongTy) { 46011274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines clang::DiagnosticsEngine &DiagEngine = C.getDiagnostics(); 46111274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines if (ND) { 46211274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines DiagEngine.Report( 46311274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines clang::FullSourceLoc(Loc, C.getSourceManager()), 46411274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines DiagEngine.getCustomDiagID( 46511274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines clang::DiagnosticsEngine::Error, 46611274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines "Builtin types > 32 bits in size are forbidden in " 46711274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines "Filterscript: '%0'")) << ND->getName(); 46811274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines } else { 46911274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines DiagEngine.Report( 47011274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines clang::FullSourceLoc(Loc, C.getSourceManager()), 47111274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines DiagEngine.getCustomDiagID( 47211274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines clang::DiagnosticsEngine::Error, 47311274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines "Builtin types > 32 bits in size are forbidden in " 47411274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines "Filterscript")); 47511274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines } 47611274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines return false; 47711274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines } 47811274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines } 47978e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines break; 48078e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines } 48178e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines 48278e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines case clang::Type::Pointer: { 48311274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines if (IsFilterscript) { 48411274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines if (ND) { 48511274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines clang::DiagnosticsEngine &DiagEngine = C.getDiagnostics(); 48611274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines DiagEngine.Report( 48711274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines clang::FullSourceLoc(Loc, C.getSourceManager()), 48811274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines DiagEngine.getCustomDiagID( 48911274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines clang::DiagnosticsEngine::Error, 49011274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines "Pointers are forbidden in Filterscript: '%0'")) << ND->getName(); 49111274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines return false; 49211274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines } else { 49311274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines // TODO(srhines): Find a better way to handle expressions (i.e. no 49411274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines // NamedDecl) involving pointers in FS that should be allowed. 49511274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines // An example would be calls to library functions like 49611274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines // rsMatrixMultiply() that take rs_matrixNxN * types. 49711274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines } 49811274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines } 49911274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines 50078e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines const clang::PointerType *PT = 50178e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines UNSAFE_CAST_TYPE(const clang::PointerType, T); 50278e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines const clang::Type *PointeeType = GET_POINTEE_TYPE(PT); 50378e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines 50411274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines return ValidateTypeHelper(C, PointeeType, ND, Loc, SPS, InCompositeType, 50511274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines UnionDecl, TargetAPI, IsFilterscript); 50678e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines } 50778e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines 50878e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines case clang::Type::ExtVector: { 50978e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines const clang::ExtVectorType *EVT = 51078e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines UNSAFE_CAST_TYPE(const clang::ExtVectorType, T); 51178e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines const clang::Type *ElementType = GET_EXT_VECTOR_ELEMENT_TYPE(EVT); 512b13b85e31ac978254cb1ed7653f149f8a3eef460Stephen Hines if (TargetAPI < SLANG_ICS_TARGET_API && 513b13b85e31ac978254cb1ed7653f149f8a3eef460Stephen Hines InCompositeType && 514fdae63e8142f56521813f59e0c506ed3a1636021Stephen Hines EVT->getNumElements() == 3 && 515fdae63e8142f56521813f59e0c506ed3a1636021Stephen Hines ND && 51644f10063c2c08dab103a44cded0c3a288d65d43bStephen Hines ND->getFormalLinkage() == clang::ExternalLinkage) { 51711274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines ReportTypeError(&C.getDiagnostics(), ND, NULL, 518b13b85e31ac978254cb1ed7653f149f8a3eef460Stephen Hines "structs containing vectors of dimension 3 cannot " 519b13b85e31ac978254cb1ed7653f149f8a3eef460Stephen Hines "be exported at this API level: '%0'"); 520b13b85e31ac978254cb1ed7653f149f8a3eef460Stephen Hines return false; 521b13b85e31ac978254cb1ed7653f149f8a3eef460Stephen Hines } 52211274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines return ValidateTypeHelper(C, ElementType, ND, Loc, SPS, true, UnionDecl, 52311274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines TargetAPI, IsFilterscript); 52478e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines } 52578e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines 52678e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines case clang::Type::ConstantArray: { 52778e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines const clang::ConstantArrayType *CAT = 52878e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines UNSAFE_CAST_TYPE(const clang::ConstantArrayType, T); 52978e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines const clang::Type *ElementType = GET_CONSTANT_ARRAY_ELEMENT_TYPE(CAT); 53011274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines return ValidateTypeHelper(C, ElementType, ND, Loc, SPS, true, UnionDecl, 53111274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines TargetAPI, IsFilterscript); 53278e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines } 53378e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines 53478e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines default: { 53578e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines break; 53678e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines } 53778e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines } 53878e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines 53978e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines return true; 540e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines} 541e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines 542e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines} // namespace 543e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines 544e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines/****************************** RSExportType ******************************/ 545e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hinesbool RSExportType::NormalizeType(const clang::Type *&T, 546e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines llvm::StringRef &TypeName, 5479207a2e495c8363606861e4f034504ec5c153dabLogan Chien clang::DiagnosticsEngine *DiagEngine, 5485bfec8dd08b3bde9ba3b331e2115210b0e910eaeStephen Hines const clang::VarDecl *VD) { 5495bfec8dd08b3bde9ba3b331e2115210b0e910eaeStephen Hines if ((T = TypeExportable(T, DiagEngine, VD)) == NULL) { 550e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines return false; 551e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines } 552e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines // Get type name 553e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines TypeName = RSExportType::GetTypeName(T); 554e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines if (TypeName.empty()) { 5559207a2e495c8363606861e4f034504ec5c153dabLogan Chien if (DiagEngine) { 55624e79f69125cf87fcaa78c04510a831037203eebStephen Hines if (VD) { 5579207a2e495c8363606861e4f034504ec5c153dabLogan Chien DiagEngine->Report( 5589207a2e495c8363606861e4f034504ec5c153dabLogan Chien clang::FullSourceLoc(VD->getLocation(), 5599207a2e495c8363606861e4f034504ec5c153dabLogan Chien DiagEngine->getSourceManager()), 5609207a2e495c8363606861e4f034504ec5c153dabLogan Chien DiagEngine->getCustomDiagID(clang::DiagnosticsEngine::Error, 5619207a2e495c8363606861e4f034504ec5c153dabLogan Chien "anonymous types cannot be exported")); 56224e79f69125cf87fcaa78c04510a831037203eebStephen Hines } else { 5639207a2e495c8363606861e4f034504ec5c153dabLogan Chien DiagEngine->Report( 5649207a2e495c8363606861e4f034504ec5c153dabLogan Chien DiagEngine->getCustomDiagID(clang::DiagnosticsEngine::Error, 5659207a2e495c8363606861e4f034504ec5c153dabLogan Chien "anonymous types cannot be exported")); 56624e79f69125cf87fcaa78c04510a831037203eebStephen Hines } 567e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines } 568e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines return false; 569e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines } 570e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines 571e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines return true; 572e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines} 573e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines 57411274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hinesbool RSExportType::ValidateType(clang::ASTContext &C, clang::QualType QT, 57511274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines clang::NamedDecl *ND, clang::SourceLocation Loc, unsigned int TargetAPI, 57611274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines bool IsFilterscript) { 57711274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines const clang::Type *T = QT.getTypePtr(); 57878e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines llvm::SmallPtrSet<const clang::Type*, 8> SPS = 57978e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines llvm::SmallPtrSet<const clang::Type*, 8>(); 58078e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines 58111274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines return ValidateTypeHelper(C, T, ND, Loc, SPS, false, NULL, TargetAPI, 58211274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines IsFilterscript); 58311274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines return true; 58411274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines} 58511274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines 58611274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hinesbool RSExportType::ValidateVarDecl(clang::VarDecl *VD, unsigned int TargetAPI, 58711274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines bool IsFilterscript) { 58811274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines return ValidateType(VD->getASTContext(), VD->getType(), VD, 58911274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines VD->getLocation(), TargetAPI, IsFilterscript); 59078e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines} 59178e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines 592e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hinesconst clang::Type 593e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines*RSExportType::GetTypeOfDecl(const clang::DeclaratorDecl *DD) { 594e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines if (DD) { 595e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines clang::QualType T; 596e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines if (DD->getTypeSourceInfo()) 597e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines T = DD->getTypeSourceInfo()->getType(); 598e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines else 599e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines T = DD->getType(); 600e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines 601e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines if (T.isNull()) 602e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines return NULL; 603e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines else 604e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines return T.getTypePtr(); 605e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines } 606e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines return NULL; 607e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines} 608e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines 609e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hinesllvm::StringRef RSExportType::GetTypeName(const clang::Type* T) { 610e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines T = GET_CANONICAL_TYPE(T); 611e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines if (T == NULL) 612e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines return llvm::StringRef(); 613e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines 614e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines switch (T->getTypeClass()) { 615e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines case clang::Type::Builtin: { 616be27482cdeaf08576bc39b72a15d35d13014a636Logan const clang::BuiltinType *BT = 617be27482cdeaf08576bc39b72a15d35d13014a636Logan UNSAFE_CAST_TYPE(const clang::BuiltinType, T); 618e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines 619e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines switch (BT->getKind()) { 620e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines#define ENUM_SUPPORT_BUILTIN_TYPE(builtin_type, type, cname) \ 621e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines case builtin_type: \ 622e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines return cname; \ 623e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines break; 624e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines#include "RSClangBuiltinEnums.inc" 625e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines default: { 6266e6578a360497f78a181e63d7783422a9c9bfb15Stephen Hines slangAssert(false && "Unknown data type of the builtin"); 627e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines break; 628e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines } 629e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines } 630e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines break; 631e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines } 632e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines case clang::Type::Record: { 633cd440ee9b3bdb7985a20b2cd4b0f8229de34f0a9Stephen Hines clang::RecordDecl *RD; 634cd440ee9b3bdb7985a20b2cd4b0f8229de34f0a9Stephen Hines if (T->isStructureType()) { 635cd440ee9b3bdb7985a20b2cd4b0f8229de34f0a9Stephen Hines RD = T->getAsStructureType()->getDecl(); 636dd6206bb61bf8df2ed6b643abe8a29c48a315685Stephen Hines } else { 637cd440ee9b3bdb7985a20b2cd4b0f8229de34f0a9Stephen Hines break; 638cd440ee9b3bdb7985a20b2cd4b0f8229de34f0a9Stephen Hines } 639cd440ee9b3bdb7985a20b2cd4b0f8229de34f0a9Stephen Hines 640e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines llvm::StringRef Name = RD->getName(); 641e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines if (Name.empty()) { 64283f0c6261efc8f397fc2509e3862bc6d0eb1e1c4Shih-wei Liao if (RD->getTypedefNameForAnonDecl() != NULL) { 64383f0c6261efc8f397fc2509e3862bc6d0eb1e1c4Shih-wei Liao Name = RD->getTypedefNameForAnonDecl()->getName(); 64483f0c6261efc8f397fc2509e3862bc6d0eb1e1c4Shih-wei Liao } 64583f0c6261efc8f397fc2509e3862bc6d0eb1e1c4Shih-wei Liao 64683f0c6261efc8f397fc2509e3862bc6d0eb1e1c4Shih-wei Liao if (Name.empty()) { 64783f0c6261efc8f397fc2509e3862bc6d0eb1e1c4Shih-wei Liao // Try to find a name from redeclaration (i.e. typedef) 64883f0c6261efc8f397fc2509e3862bc6d0eb1e1c4Shih-wei Liao for (clang::TagDecl::redecl_iterator RI = RD->redecls_begin(), 64983f0c6261efc8f397fc2509e3862bc6d0eb1e1c4Shih-wei Liao RE = RD->redecls_end(); 65083f0c6261efc8f397fc2509e3862bc6d0eb1e1c4Shih-wei Liao RI != RE; 65183f0c6261efc8f397fc2509e3862bc6d0eb1e1c4Shih-wei Liao RI++) { 65283f0c6261efc8f397fc2509e3862bc6d0eb1e1c4Shih-wei Liao slangAssert(*RI != NULL && "cannot be NULL object"); 65383f0c6261efc8f397fc2509e3862bc6d0eb1e1c4Shih-wei Liao 65483f0c6261efc8f397fc2509e3862bc6d0eb1e1c4Shih-wei Liao Name = (*RI)->getName(); 65583f0c6261efc8f397fc2509e3862bc6d0eb1e1c4Shih-wei Liao if (!Name.empty()) 65683f0c6261efc8f397fc2509e3862bc6d0eb1e1c4Shih-wei Liao break; 65783f0c6261efc8f397fc2509e3862bc6d0eb1e1c4Shih-wei Liao } 65883f0c6261efc8f397fc2509e3862bc6d0eb1e1c4Shih-wei Liao } 659e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines } 660e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines return Name; 661e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines } 662e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines case clang::Type::Pointer: { 663e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines // "*" plus pointee name 664e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines const clang::Type *PT = GET_POINTEE_TYPE(T); 665e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines llvm::StringRef PointeeName; 6665bfec8dd08b3bde9ba3b331e2115210b0e910eaeStephen Hines if (NormalizeType(PT, PointeeName, NULL, NULL)) { 667e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines char *Name = new char[ 1 /* * */ + PointeeName.size() + 1 ]; 668e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines Name[0] = '*'; 669e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines memcpy(Name + 1, PointeeName.data(), PointeeName.size()); 670e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines Name[PointeeName.size() + 1] = '\0'; 671e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines return Name; 672e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines } 673e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines break; 674e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines } 675e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines case clang::Type::ExtVector: { 676e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines const clang::ExtVectorType *EVT = 677be27482cdeaf08576bc39b72a15d35d13014a636Logan UNSAFE_CAST_TYPE(const clang::ExtVectorType, T); 678e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines return RSExportVectorType::GetTypeName(EVT); 679e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines break; 680e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines } 681e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines case clang::Type::ConstantArray : { 682e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines // Construct name for a constant array is too complicated. 683e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines return DUMMY_TYPE_NAME_FOR_RS_CONSTANT_ARRAY_TYPE; 684e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines } 685e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines default: { 686e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines break; 687e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines } 688e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines } 689e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines 690e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines return llvm::StringRef(); 691e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines} 692e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines 693e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines 6949ef2f785e0cc490af678dfd685995dec787321ffShih-wei LiaoRSExportType *RSExportType::Create(RSContext *Context, 6959ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao const clang::Type *T, 6969ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao const llvm::StringRef &TypeName) { 6979ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // Lookup the context to see whether the type was processed before. 6989ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // Newly created RSExportType will insert into context 6999ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // in RSExportType::RSExportType() 7009ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao RSContext::export_type_iterator ETI = Context->findExportType(TypeName); 7019ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao 7029ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao if (ETI != Context->export_types_end()) 7039ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return ETI->second; 7049ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao 7059ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao RSExportType *ET = NULL; 7069ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao switch (T->getTypeClass()) { 7079ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao case clang::Type::Record: { 7089ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao RSExportPrimitiveType::DataType dt = 709b1771ef128b10c4d4575634828006bfba20b1d9cZonr Chang RSExportPrimitiveType::GetRSSpecificType(TypeName); 7109ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao switch (dt) { 71192b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang case RSExportPrimitiveType::DataTypeUnknown: { 71292b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang // User-defined types 7139ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao ET = RSExportRecordType::Create(Context, 7149ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao T->getAsStructureType(), 7159ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao TypeName); 7169ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao break; 7179ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 71892b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang case RSExportPrimitiveType::DataTypeRSMatrix2x2: { 71992b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang // 2 x 2 Matrix type 72092b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang ET = RSExportMatrixType::Create(Context, 72192b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang T->getAsStructureType(), 72292b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang TypeName, 72392b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang 2); 72492b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang break; 72592b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang } 72692b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang case RSExportPrimitiveType::DataTypeRSMatrix3x3: { 72792b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang // 3 x 3 Matrix type 72892b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang ET = RSExportMatrixType::Create(Context, 72992b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang T->getAsStructureType(), 73092b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang TypeName, 73192b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang 3); 73292b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang break; 73392b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang } 7349ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao case RSExportPrimitiveType::DataTypeRSMatrix4x4: { 73592b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang // 4 x 4 Matrix type 73692b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang ET = RSExportMatrixType::Create(Context, 73792b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang T->getAsStructureType(), 73892b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang TypeName, 73992b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang 4); 7409ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao break; 7419ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 7429ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao default: { 74392b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang // Others are primitive types 7449ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao ET = RSExportPrimitiveType::Create(Context, T, TypeName); 7459ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao break; 7469ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 7479ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 7489ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao break; 7499ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 7509ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao case clang::Type::Builtin: { 7519ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao ET = RSExportPrimitiveType::Create(Context, T, TypeName); 7529ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao break; 7539ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 7549ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao case clang::Type::Pointer: { 7559ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao ET = RSExportPointerType::Create(Context, 7565baf6324a97430016026419deaef246ad75430fcStephen Hines UNSAFE_CAST_TYPE(const clang::PointerType, T), TypeName); 75792b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang // FIXME: free the name (allocated in RSExportType::GetTypeName) 7589ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao delete [] TypeName.data(); 7599ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao break; 7609ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 7619ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao case clang::Type::ExtVector: { 7629ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao ET = RSExportVectorType::Create(Context, 7635baf6324a97430016026419deaef246ad75430fcStephen Hines UNSAFE_CAST_TYPE(const clang::ExtVectorType, T), TypeName); 7649ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao break; 7659ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 7662e1dba6c779a0ae55c76d36a3c03553e16725ab7Zonr Chang case clang::Type::ConstantArray: { 7672e1dba6c779a0ae55c76d36a3c03553e16725ab7Zonr Chang ET = RSExportConstantArrayType::Create( 7682e1dba6c779a0ae55c76d36a3c03553e16725ab7Zonr Chang Context, 769be27482cdeaf08576bc39b72a15d35d13014a636Logan UNSAFE_CAST_TYPE(const clang::ConstantArrayType, T)); 7702e1dba6c779a0ae55c76d36a3c03553e16725ab7Zonr Chang break; 7712e1dba6c779a0ae55c76d36a3c03553e16725ab7Zonr Chang } 7729ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao default: { 7739207a2e495c8363606861e4f034504ec5c153dabLogan Chien clang::DiagnosticsEngine *DiagEngine = Context->getDiagnostics(); 7749207a2e495c8363606861e4f034504ec5c153dabLogan Chien DiagEngine->Report( 7759207a2e495c8363606861e4f034504ec5c153dabLogan Chien DiagEngine->getCustomDiagID(clang::DiagnosticsEngine::Error, 7769207a2e495c8363606861e4f034504ec5c153dabLogan Chien "unknown type cannot be exported: '%0'")) 7779207a2e495c8363606861e4f034504ec5c153dabLogan Chien << T->getTypeClassName(); 7789ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao break; 7799ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 7809ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 7819ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao 7829ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return ET; 783462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao} 7841f0d88fbff28e4e2dd563d93c8fe0047381c09ccShih-wei Liao 7856315f76e3cc6ff2d012d1183a0b030d4ff0dc808zonrRSExportType *RSExportType::Create(RSContext *Context, const clang::Type *T) { 7869ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao llvm::StringRef TypeName; 787d5a84f6d49d64738e4bb7c9dea7242e48acad959Stephen Hines if (NormalizeType(T, TypeName, Context->getDiagnostics(), NULL)) { 7889ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return Create(Context, T, TypeName); 789d5a84f6d49d64738e4bb7c9dea7242e48acad959Stephen Hines } else { 7909ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return NULL; 791d5a84f6d49d64738e4bb7c9dea7242e48acad959Stephen Hines } 792462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao} 793462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 7949ef2f785e0cc490af678dfd685995dec787321ffShih-wei LiaoRSExportType *RSExportType::CreateFromDecl(RSContext *Context, 7959ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao const clang::VarDecl *VD) { 7969ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return RSExportType::Create(Context, GetTypeOfDecl(VD)); 797462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao} 798462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 7999ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liaosize_t RSExportType::GetTypeStoreSize(const RSExportType *ET) { 80023c4358f12bd9d0ba7166eceebd683db95a41b3fStephen Hines return ET->getRSContext()->getDataLayout()->getTypeStoreSize( 8016315f76e3cc6ff2d012d1183a0b030d4ff0dc808zonr ET->getLLVMType()); 802462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao} 803462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 8049ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liaosize_t RSExportType::GetTypeAllocSize(const RSExportType *ET) { 8059ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao if (ET->getClass() == RSExportType::ExportClassRecord) 8069ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return static_cast<const RSExportRecordType*>(ET)->getAllocSize(); 8079ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao else 80823c4358f12bd9d0ba7166eceebd683db95a41b3fStephen Hines return ET->getRSContext()->getDataLayout()->getTypeAllocSize( 8096315f76e3cc6ff2d012d1183a0b030d4ff0dc808zonr ET->getLLVMType()); 810462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao} 811462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 8126b6320ad5faee29e0f75fe937e40156746ef9e80Zonr ChangRSExportType::RSExportType(RSContext *Context, 8136b6320ad5faee29e0f75fe937e40156746ef9e80Zonr Chang ExportClass Class, 8146b6320ad5faee29e0f75fe937e40156746ef9e80Zonr Chang const llvm::StringRef &Name) 815a41ce1d98094da84643995d40d71c529905123fcZonr Chang : RSExportable(Context, RSExportable::EX_TYPE), 8166b6320ad5faee29e0f75fe937e40156746ef9e80Zonr Chang mClass(Class), 8170da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang // Make a copy on Name since memory stored @Name is either allocated in 8180da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang // ASTContext or allocated in GetTypeName which will be destroyed later. 8196315f76e3cc6ff2d012d1183a0b030d4ff0dc808zonr mName(Name.data(), Name.size()), 820a7a828d1ff95c5a8f2327f56a137a2bcb3a9a8faZonr Chang mLLVMType(NULL), 821a7a828d1ff95c5a8f2327f56a137a2bcb3a9a8faZonr Chang mSpecType(NULL) { 8220da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang // Don't cache the type whose name start with '<'. Those type failed to 8230da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang // get their name since constructing their name in GetTypeName() requiring 8240da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang // complicated work. 8250da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang if (!Name.startswith(DUMMY_RS_TYPE_NAME_PREFIX)) 8260da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang // TODO(zonr): Need to check whether the insertion is successful or not. 8270da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang Context->insertExportType(llvm::StringRef(Name), this); 8289ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return; 829462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao} 830462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 8313cd3dd327445fcfa49f0e96cb2de2055bce541e9Zonr Changbool RSExportType::keep() { 8323cd3dd327445fcfa49f0e96cb2de2055bce541e9Zonr Chang if (!RSExportable::keep()) 8333cd3dd327445fcfa49f0e96cb2de2055bce541e9Zonr Chang return false; 834641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang // Invalidate converted LLVM type. 835641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang mLLVMType = NULL; 8363cd3dd327445fcfa49f0e96cb2de2055bce541e9Zonr Chang return true; 837641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang} 838641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang 839641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Changbool RSExportType::equals(const RSExportable *E) const { 840641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang CHECK_PARENT_EQUALITY(RSExportable, E); 841641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang return (static_cast<const RSExportType*>(E)->getClass() == getClass()); 842641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang} 843641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang 844a7a828d1ff95c5a8f2327f56a137a2bcb3a9a8faZonr ChangRSExportType::~RSExportType() { 845a7a828d1ff95c5a8f2327f56a137a2bcb3a9a8faZonr Chang delete mSpecType; 846a7a828d1ff95c5a8f2327f56a137a2bcb3a9a8faZonr Chang} 847a7a828d1ff95c5a8f2327f56a137a2bcb3a9a8faZonr Chang 8489ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao/************************** RSExportPrimitiveType **************************/ 849b1771ef128b10c4d4575634828006bfba20b1d9cZonr Changllvm::ManagedStatic<RSExportPrimitiveType::RSSpecificTypeMapTy> 850b1771ef128b10c4d4575634828006bfba20b1d9cZonr ChangRSExportPrimitiveType::RSSpecificTypeMap; 8519ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao 8526315f76e3cc6ff2d012d1183a0b030d4ff0dc808zonrllvm::Type *RSExportPrimitiveType::RSObjectLLVMType = NULL; 853462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 8549ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liaobool RSExportPrimitiveType::IsPrimitiveType(const clang::Type *T) { 8559ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao if ((T != NULL) && (T->getTypeClass() == clang::Type::Builtin)) 8569ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return true; 8579ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao else 8589ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return false; 859462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao} 860462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 8619ef2f785e0cc490af678dfd685995dec787321ffShih-wei LiaoRSExportPrimitiveType::DataType 862b1771ef128b10c4d4575634828006bfba20b1d9cZonr ChangRSExportPrimitiveType::GetRSSpecificType(const llvm::StringRef &TypeName) { 8639ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao if (TypeName.empty()) 8649ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return DataTypeUnknown; 865462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 866b1771ef128b10c4d4575634828006bfba20b1d9cZonr Chang if (RSSpecificTypeMap->empty()) { 867b1771ef128b10c4d4575634828006bfba20b1d9cZonr Chang#define ENUM_RS_MATRIX_TYPE(type, cname, dim) \ 868b1771ef128b10c4d4575634828006bfba20b1d9cZonr Chang RSSpecificTypeMap->GetOrCreateValue(cname, DataType ## type); 869b1771ef128b10c4d4575634828006bfba20b1d9cZonr Chang#include "RSMatrixTypeEnums.inc" 870a65ec168e41e3ee9c6e8ac04cde694bbbfc2590aZonr Chang#define ENUM_RS_OBJECT_TYPE(type, cname) \ 871b1771ef128b10c4d4575634828006bfba20b1d9cZonr Chang RSSpecificTypeMap->GetOrCreateValue(cname, DataType ## type); 872a65ec168e41e3ee9c6e8ac04cde694bbbfc2590aZonr Chang#include "RSObjectTypeEnums.inc" 8739ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 874462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 875b1771ef128b10c4d4575634828006bfba20b1d9cZonr Chang RSSpecificTypeMapTy::const_iterator I = RSSpecificTypeMap->find(TypeName); 876b1771ef128b10c4d4575634828006bfba20b1d9cZonr Chang if (I == RSSpecificTypeMap->end()) 8779ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return DataTypeUnknown; 8789ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao else 8799ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return I->getValue(); 8809ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao} 8819ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao 8829ef2f785e0cc490af678dfd685995dec787321ffShih-wei LiaoRSExportPrimitiveType::DataType 883b1771ef128b10c4d4575634828006bfba20b1d9cZonr ChangRSExportPrimitiveType::GetRSSpecificType(const clang::Type *T) { 8849ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao T = GET_CANONICAL_TYPE(T); 8859ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao if ((T == NULL) || (T->getTypeClass() != clang::Type::Record)) 8869ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return DataTypeUnknown; 8879ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao 888b1771ef128b10c4d4575634828006bfba20b1d9cZonr Chang return GetRSSpecificType( RSExportType::GetTypeName(T) ); 889b1771ef128b10c4d4575634828006bfba20b1d9cZonr Chang} 890b1771ef128b10c4d4575634828006bfba20b1d9cZonr Chang 891b1771ef128b10c4d4575634828006bfba20b1d9cZonr Changbool RSExportPrimitiveType::IsRSMatrixType(DataType DT) { 892b1771ef128b10c4d4575634828006bfba20b1d9cZonr Chang return ((DT >= FirstRSMatrixType) && (DT <= LastRSMatrixType)); 893b1771ef128b10c4d4575634828006bfba20b1d9cZonr Chang} 894b1771ef128b10c4d4575634828006bfba20b1d9cZonr Chang 895b1771ef128b10c4d4575634828006bfba20b1d9cZonr Changbool RSExportPrimitiveType::IsRSObjectType(DataType DT) { 896b1771ef128b10c4d4575634828006bfba20b1d9cZonr Chang return ((DT >= FirstRSObjectType) && (DT <= LastRSObjectType)); 8979ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao} 8989ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao 899feaca06fcb0772e9e972a0d61b17259fc5124d50Stephen Hinesbool RSExportPrimitiveType::IsStructureTypeWithRSObject(const clang::Type *T) { 900feaca06fcb0772e9e972a0d61b17259fc5124d50Stephen Hines bool RSObjectTypeSeen = false; 901feaca06fcb0772e9e972a0d61b17259fc5124d50Stephen Hines while (T && T->isArrayType()) { 902feaca06fcb0772e9e972a0d61b17259fc5124d50Stephen Hines T = T->getArrayElementTypeNoTypeQual(); 903feaca06fcb0772e9e972a0d61b17259fc5124d50Stephen Hines } 904feaca06fcb0772e9e972a0d61b17259fc5124d50Stephen Hines 905feaca06fcb0772e9e972a0d61b17259fc5124d50Stephen Hines const clang::RecordType *RT = T->getAsStructureType(); 906feaca06fcb0772e9e972a0d61b17259fc5124d50Stephen Hines if (!RT) { 907feaca06fcb0772e9e972a0d61b17259fc5124d50Stephen Hines return false; 908feaca06fcb0772e9e972a0d61b17259fc5124d50Stephen Hines } 909b0fabe574945bfa85e688e77e9dcb5341fe08840Stephen Hines 910feaca06fcb0772e9e972a0d61b17259fc5124d50Stephen Hines const clang::RecordDecl *RD = RT->getDecl(); 911b0fabe574945bfa85e688e77e9dcb5341fe08840Stephen Hines if (RD) { 912b0fabe574945bfa85e688e77e9dcb5341fe08840Stephen Hines RD = RD->getDefinition(); 913b0fabe574945bfa85e688e77e9dcb5341fe08840Stephen Hines } 914b0fabe574945bfa85e688e77e9dcb5341fe08840Stephen Hines if (!RD) { 915b0fabe574945bfa85e688e77e9dcb5341fe08840Stephen Hines return false; 916b0fabe574945bfa85e688e77e9dcb5341fe08840Stephen Hines } 917b0fabe574945bfa85e688e77e9dcb5341fe08840Stephen Hines 918feaca06fcb0772e9e972a0d61b17259fc5124d50Stephen Hines for (clang::RecordDecl::field_iterator FI = RD->field_begin(), 919feaca06fcb0772e9e972a0d61b17259fc5124d50Stephen Hines FE = RD->field_end(); 920feaca06fcb0772e9e972a0d61b17259fc5124d50Stephen Hines FI != FE; 921feaca06fcb0772e9e972a0d61b17259fc5124d50Stephen Hines FI++) { 922feaca06fcb0772e9e972a0d61b17259fc5124d50Stephen Hines // We just look through all field declarations to see if we find a 923feaca06fcb0772e9e972a0d61b17259fc5124d50Stephen Hines // declaration for an RS object type (or an array of one). 924feaca06fcb0772e9e972a0d61b17259fc5124d50Stephen Hines const clang::FieldDecl *FD = *FI; 925feaca06fcb0772e9e972a0d61b17259fc5124d50Stephen Hines const clang::Type *FT = RSExportType::GetTypeOfDecl(FD); 926feaca06fcb0772e9e972a0d61b17259fc5124d50Stephen Hines while (FT && FT->isArrayType()) { 927feaca06fcb0772e9e972a0d61b17259fc5124d50Stephen Hines FT = FT->getArrayElementTypeNoTypeQual(); 928feaca06fcb0772e9e972a0d61b17259fc5124d50Stephen Hines } 929feaca06fcb0772e9e972a0d61b17259fc5124d50Stephen Hines 930feaca06fcb0772e9e972a0d61b17259fc5124d50Stephen Hines RSExportPrimitiveType::DataType DT = GetRSSpecificType(FT); 931feaca06fcb0772e9e972a0d61b17259fc5124d50Stephen Hines if (IsRSObjectType(DT)) { 932feaca06fcb0772e9e972a0d61b17259fc5124d50Stephen Hines // RS object types definitely need to be zero-initialized 933feaca06fcb0772e9e972a0d61b17259fc5124d50Stephen Hines RSObjectTypeSeen = true; 934feaca06fcb0772e9e972a0d61b17259fc5124d50Stephen Hines } else { 935feaca06fcb0772e9e972a0d61b17259fc5124d50Stephen Hines switch (DT) { 936feaca06fcb0772e9e972a0d61b17259fc5124d50Stephen Hines case RSExportPrimitiveType::DataTypeRSMatrix2x2: 937feaca06fcb0772e9e972a0d61b17259fc5124d50Stephen Hines case RSExportPrimitiveType::DataTypeRSMatrix3x3: 938feaca06fcb0772e9e972a0d61b17259fc5124d50Stephen Hines case RSExportPrimitiveType::DataTypeRSMatrix4x4: 939feaca06fcb0772e9e972a0d61b17259fc5124d50Stephen Hines // Matrix types should get zero-initialized as well 940feaca06fcb0772e9e972a0d61b17259fc5124d50Stephen Hines RSObjectTypeSeen = true; 941feaca06fcb0772e9e972a0d61b17259fc5124d50Stephen Hines break; 942feaca06fcb0772e9e972a0d61b17259fc5124d50Stephen Hines default: 943feaca06fcb0772e9e972a0d61b17259fc5124d50Stephen Hines // Ignore all other primitive types 944feaca06fcb0772e9e972a0d61b17259fc5124d50Stephen Hines break; 945feaca06fcb0772e9e972a0d61b17259fc5124d50Stephen Hines } 946feaca06fcb0772e9e972a0d61b17259fc5124d50Stephen Hines while (FT && FT->isArrayType()) { 947feaca06fcb0772e9e972a0d61b17259fc5124d50Stephen Hines FT = FT->getArrayElementTypeNoTypeQual(); 948feaca06fcb0772e9e972a0d61b17259fc5124d50Stephen Hines } 949feaca06fcb0772e9e972a0d61b17259fc5124d50Stephen Hines if (FT->isStructureType()) { 950feaca06fcb0772e9e972a0d61b17259fc5124d50Stephen Hines // Recursively handle structs of structs (even though these can't 951feaca06fcb0772e9e972a0d61b17259fc5124d50Stephen Hines // be exported, it is possible for a user to have them internally). 952feaca06fcb0772e9e972a0d61b17259fc5124d50Stephen Hines RSObjectTypeSeen |= IsStructureTypeWithRSObject(FT); 953feaca06fcb0772e9e972a0d61b17259fc5124d50Stephen Hines } 954feaca06fcb0772e9e972a0d61b17259fc5124d50Stephen Hines } 955feaca06fcb0772e9e972a0d61b17259fc5124d50Stephen Hines } 956feaca06fcb0772e9e972a0d61b17259fc5124d50Stephen Hines 957feaca06fcb0772e9e972a0d61b17259fc5124d50Stephen Hines return RSObjectTypeSeen; 958feaca06fcb0772e9e972a0d61b17259fc5124d50Stephen Hines} 959feaca06fcb0772e9e972a0d61b17259fc5124d50Stephen Hines 960a65ec168e41e3ee9c6e8ac04cde694bbbfc2590aZonr Changconst size_t RSExportPrimitiveType::SizeOfDataTypeInBits[] = { 961a65ec168e41e3ee9c6e8ac04cde694bbbfc2590aZonr Chang#define ENUM_RS_DATA_TYPE(type, cname, bits) \ 962a65ec168e41e3ee9c6e8ac04cde694bbbfc2590aZonr Chang bits, 963a65ec168e41e3ee9c6e8ac04cde694bbbfc2590aZonr Chang#include "RSDataTypeEnums.inc" 964a65ec168e41e3ee9c6e8ac04cde694bbbfc2590aZonr Chang 0 // DataTypeMax 965462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao}; 966462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 9679ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liaosize_t RSExportPrimitiveType::GetSizeInBits(const RSExportPrimitiveType *EPT) { 9686e6578a360497f78a181e63d7783422a9c9bfb15Stephen Hines slangAssert(((EPT->getType() > DataTypeUnknown) && 9696e6578a360497f78a181e63d7783422a9c9bfb15Stephen Hines (EPT->getType() < DataTypeMax)) && 9706e6578a360497f78a181e63d7783422a9c9bfb15Stephen Hines "RSExportPrimitiveType::GetSizeInBits : unknown data type"); 9719ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return SizeOfDataTypeInBits[ static_cast<int>(EPT->getType()) ]; 972462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao} 973462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 9749ef2f785e0cc490af678dfd685995dec787321ffShih-wei LiaoRSExportPrimitiveType::DataType 9752ef9bc0cfbca2152d972c0975005f8c897c2a42cStephen HinesRSExportPrimitiveType::GetDataType(RSContext *Context, const clang::Type *T) { 9769ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao if (T == NULL) 9779ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return DataTypeUnknown; 978462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 9799ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao switch (T->getTypeClass()) { 9809ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao case clang::Type::Builtin: { 981be27482cdeaf08576bc39b72a15d35d13014a636Logan const clang::BuiltinType *BT = 982be27482cdeaf08576bc39b72a15d35d13014a636Logan UNSAFE_CAST_TYPE(const clang::BuiltinType, T); 9839ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao switch (BT->getKind()) { 984a65ec168e41e3ee9c6e8ac04cde694bbbfc2590aZonr Chang#define ENUM_SUPPORT_BUILTIN_TYPE(builtin_type, type, cname) \ 985a65ec168e41e3ee9c6e8ac04cde694bbbfc2590aZonr Chang case builtin_type: { \ 986a65ec168e41e3ee9c6e8ac04cde694bbbfc2590aZonr Chang return DataType ## type; \ 9879ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 988a65ec168e41e3ee9c6e8ac04cde694bbbfc2590aZonr Chang#include "RSClangBuiltinEnums.inc" 989a65ec168e41e3ee9c6e8ac04cde694bbbfc2590aZonr Chang // The size of type WChar depend on platform so we abandon the support 990a65ec168e41e3ee9c6e8ac04cde694bbbfc2590aZonr Chang // to them. 9919ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao default: { 9929207a2e495c8363606861e4f034504ec5c153dabLogan Chien clang::DiagnosticsEngine *DiagEngine = Context->getDiagnostics(); 9939207a2e495c8363606861e4f034504ec5c153dabLogan Chien DiagEngine->Report( 9949207a2e495c8363606861e4f034504ec5c153dabLogan Chien DiagEngine->getCustomDiagID( 9959207a2e495c8363606861e4f034504ec5c153dabLogan Chien clang::DiagnosticsEngine::Error, 9969207a2e495c8363606861e4f034504ec5c153dabLogan Chien "built-in type cannot be exported: '%0'")) 9979207a2e495c8363606861e4f034504ec5c153dabLogan Chien << T->getTypeClassName(); 9989ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao break; 999462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao } 10009ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 10019ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao break; 10029ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 10039ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao case clang::Type::Record: { 10049ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // must be RS object type 1005b1771ef128b10c4d4575634828006bfba20b1d9cZonr Chang return RSExportPrimitiveType::GetRSSpecificType(T); 10069ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 10079ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao default: { 10089207a2e495c8363606861e4f034504ec5c153dabLogan Chien clang::DiagnosticsEngine *DiagEngine = Context->getDiagnostics(); 10099207a2e495c8363606861e4f034504ec5c153dabLogan Chien DiagEngine->Report( 10109207a2e495c8363606861e4f034504ec5c153dabLogan Chien DiagEngine->getCustomDiagID(clang::DiagnosticsEngine::Error, 10119207a2e495c8363606861e4f034504ec5c153dabLogan Chien "primitive type cannot be exported: '%0'")) 10122ef9bc0cfbca2152d972c0975005f8c897c2a42cStephen Hines << T->getTypeClassName(); 10139ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao break; 1014462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao } 10159ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 1016462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 10179ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return DataTypeUnknown; 1018462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao} 1019462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 10209ef2f785e0cc490af678dfd685995dec787321ffShih-wei LiaoRSExportPrimitiveType 10219ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao*RSExportPrimitiveType::Create(RSContext *Context, 10229ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao const clang::Type *T, 10239ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao const llvm::StringRef &TypeName, 10249ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao bool Normalized) { 10252ef9bc0cfbca2152d972c0975005f8c897c2a42cStephen Hines DataType DT = GetDataType(Context, T); 1026462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 10279ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao if ((DT == DataTypeUnknown) || TypeName.empty()) 10289ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return NULL; 10299ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao else 10306b6320ad5faee29e0f75fe937e40156746ef9e80Zonr Chang return new RSExportPrimitiveType(Context, ExportClassPrimitive, TypeName, 10312b8fb64be3047df940a219872b331eb11de2758dStephen Hines DT, Normalized); 1032462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao} 1033462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 10349ef2f785e0cc490af678dfd685995dec787321ffShih-wei LiaoRSExportPrimitiveType *RSExportPrimitiveType::Create(RSContext *Context, 10352b8fb64be3047df940a219872b331eb11de2758dStephen Hines const clang::Type *T) { 10369ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao llvm::StringRef TypeName; 10375bfec8dd08b3bde9ba3b331e2115210b0e910eaeStephen Hines if (RSExportType::NormalizeType(T, TypeName, Context->getDiagnostics(), NULL) 103878e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines && IsPrimitiveType(T)) { 10392b8fb64be3047df940a219872b331eb11de2758dStephen Hines return Create(Context, T, TypeName); 1040e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines } else { 10419ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return NULL; 1042e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines } 1043462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao} 1044462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 10457c67e578c760408dba0c2f64da6e074dd8b56fd9Shih-wei Liaollvm::Type *RSExportPrimitiveType::convertToLLVMType() const { 10469ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao llvm::LLVMContext &C = getRSContext()->getLLVMContext(); 10479ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao 10489ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao if (isRSObjectType()) { 10499ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // struct { 10509ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // int *p; 10519ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // } __attribute__((packed, aligned(pointer_size))) 10529ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // 10539ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // which is 10549ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // 10559ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // <{ [1 x i32] }> in LLVM 10569ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // 10579ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao if (RSObjectLLVMType == NULL) { 10587c67e578c760408dba0c2f64da6e074dd8b56fd9Shih-wei Liao std::vector<llvm::Type *> Elements; 10596315f76e3cc6ff2d012d1183a0b030d4ff0dc808zonr Elements.push_back(llvm::ArrayType::get(llvm::Type::getInt32Ty(C), 1)); 1060a67e4451d0d03b4ab7866b64807d95a8399c73a0Stephen Hines RSObjectLLVMType = llvm::StructType::get(C, Elements, true); 1061462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao } 10629ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return RSObjectLLVMType; 10639ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 1064462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 10659ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao switch (mType) { 10669ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao case DataTypeFloat32: { 10679ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return llvm::Type::getFloatTy(C); 10689ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao break; 10699ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 10709ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao case DataTypeFloat64: { 10719ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return llvm::Type::getDoubleTy(C); 10729ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao break; 10739ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 107491a3783ce1f4eb9ad6e9c1ecdbd27f3d6dc58634Shih-wei Liao case DataTypeBoolean: { 107591a3783ce1f4eb9ad6e9c1ecdbd27f3d6dc58634Shih-wei Liao return llvm::Type::getInt1Ty(C); 107691a3783ce1f4eb9ad6e9c1ecdbd27f3d6dc58634Shih-wei Liao break; 107791a3783ce1f4eb9ad6e9c1ecdbd27f3d6dc58634Shih-wei Liao } 10789ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao case DataTypeSigned8: 10799ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao case DataTypeUnsigned8: { 10809ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return llvm::Type::getInt8Ty(C); 10819ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao break; 10829ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 10839ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao case DataTypeSigned16: 10849ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao case DataTypeUnsigned16: 10859ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao case DataTypeUnsigned565: 10869ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao case DataTypeUnsigned5551: 10879ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao case DataTypeUnsigned4444: { 10889ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return llvm::Type::getInt16Ty(C); 10899ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao break; 10909ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 10919ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao case DataTypeSigned32: 10929ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao case DataTypeUnsigned32: { 10939ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return llvm::Type::getInt32Ty(C); 10949ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao break; 10959ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 1096a5d2c232d56b04292cb51c8fb343aef990f7970fStephen Hines case DataTypeSigned64: 1097a5d2c232d56b04292cb51c8fb343aef990f7970fStephen Hines case DataTypeUnsigned64: { 10989ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return llvm::Type::getInt64Ty(C); 10999ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao break; 11009ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 11019ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao default: { 11026e6578a360497f78a181e63d7783422a9c9bfb15Stephen Hines slangAssert(false && "Unknown data type"); 1103462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao } 11049ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 1105462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 11069ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return NULL; 1107462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao} 1108462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 1109a7a828d1ff95c5a8f2327f56a137a2bcb3a9a8faZonr Changunion RSType *RSExportPrimitiveType::convertToSpecType() const { 1110a7a828d1ff95c5a8f2327f56a137a2bcb3a9a8faZonr Chang llvm::OwningPtr<union RSType> ST(new union RSType); 1111a7a828d1ff95c5a8f2327f56a137a2bcb3a9a8faZonr Chang RS_TYPE_SET_CLASS(ST, RS_TC_Primitive); 1112a7a828d1ff95c5a8f2327f56a137a2bcb3a9a8faZonr Chang // enum RSExportPrimitiveType::DataType is synced with enum RSDataType in 1113a7a828d1ff95c5a8f2327f56a137a2bcb3a9a8faZonr Chang // slang_rs_type_spec.h 1114a7a828d1ff95c5a8f2327f56a137a2bcb3a9a8faZonr Chang RS_PRIMITIVE_TYPE_SET_DATA_TYPE(ST, getType()); 1115a7a828d1ff95c5a8f2327f56a137a2bcb3a9a8faZonr Chang return ST.take(); 1116a7a828d1ff95c5a8f2327f56a137a2bcb3a9a8faZonr Chang} 1117a7a828d1ff95c5a8f2327f56a137a2bcb3a9a8faZonr Chang 1118641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Changbool RSExportPrimitiveType::equals(const RSExportable *E) const { 1119641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang CHECK_PARENT_EQUALITY(RSExportType, E); 1120641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang return (static_cast<const RSExportPrimitiveType*>(E)->getType() == getType()); 1121641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang} 1122641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang 1123fdd1ba13a69501a1b91fdc9be31413215d467497Stephen HinesRSReflectionType *RSExportPrimitiveType::getRSReflectionType(DataType DT) { 1124fdd1ba13a69501a1b91fdc9be31413215d467497Stephen Hines if (DT > DataTypeUnknown && DT < DataTypeMax) { 1125fdd1ba13a69501a1b91fdc9be31413215d467497Stephen Hines return &gReflectionTypes[DT]; 1126fdd1ba13a69501a1b91fdc9be31413215d467497Stephen Hines } else { 1127fdd1ba13a69501a1b91fdc9be31413215d467497Stephen Hines return NULL; 1128fdd1ba13a69501a1b91fdc9be31413215d467497Stephen Hines } 1129fdd1ba13a69501a1b91fdc9be31413215d467497Stephen Hines} 1130fdd1ba13a69501a1b91fdc9be31413215d467497Stephen Hines 11319ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao/**************************** RSExportPointerType ****************************/ 1132462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 11339ef2f785e0cc490af678dfd685995dec787321ffShih-wei LiaoRSExportPointerType 11349ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao*RSExportPointerType::Create(RSContext *Context, 11359ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao const clang::PointerType *PT, 11369ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao const llvm::StringRef &TypeName) { 11379ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao const clang::Type *PointeeType = GET_POINTEE_TYPE(PT); 11389ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao const RSExportType *PointeeET; 1139462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 11409ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao if (PointeeType->getTypeClass() != clang::Type::Pointer) { 11419ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao PointeeET = RSExportType::Create(Context, PointeeType); 11429ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } else { 11439ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // Double or higher dimension of pointer, export as int* 11442ef9bc0cfbca2152d972c0975005f8c897c2a42cStephen Hines PointeeET = RSExportPrimitiveType::Create(Context, 11452ef9bc0cfbca2152d972c0975005f8c897c2a42cStephen Hines Context->getASTContext().IntTy.getTypePtr()); 11469ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 1147462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 11489ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao if (PointeeET == NULL) { 11492ef9bc0cfbca2152d972c0975005f8c897c2a42cStephen Hines // Error diagnostic is emitted for corresponding pointee type 11509ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return NULL; 11519ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 1152462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 11539ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return new RSExportPointerType(Context, TypeName, PointeeET); 1154462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao} 1155462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 11567c67e578c760408dba0c2f64da6e074dd8b56fd9Shih-wei Liaollvm::Type *RSExportPointerType::convertToLLVMType() const { 11577c67e578c760408dba0c2f64da6e074dd8b56fd9Shih-wei Liao llvm::Type *PointeeType = mPointeeType->getLLVMType(); 11589ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return llvm::PointerType::getUnqual(PointeeType); 1159462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao} 1160462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 1161a7a828d1ff95c5a8f2327f56a137a2bcb3a9a8faZonr Changunion RSType *RSExportPointerType::convertToSpecType() const { 1162a7a828d1ff95c5a8f2327f56a137a2bcb3a9a8faZonr Chang llvm::OwningPtr<union RSType> ST(new union RSType); 1163a7a828d1ff95c5a8f2327f56a137a2bcb3a9a8faZonr Chang 1164a7a828d1ff95c5a8f2327f56a137a2bcb3a9a8faZonr Chang RS_TYPE_SET_CLASS(ST, RS_TC_Pointer); 1165a7a828d1ff95c5a8f2327f56a137a2bcb3a9a8faZonr Chang RS_POINTER_TYPE_SET_POINTEE_TYPE(ST, getPointeeType()->getSpecType()); 1166a7a828d1ff95c5a8f2327f56a137a2bcb3a9a8faZonr Chang 1167a7a828d1ff95c5a8f2327f56a137a2bcb3a9a8faZonr Chang if (RS_POINTER_TYPE_GET_POINTEE_TYPE(ST) != NULL) 1168a7a828d1ff95c5a8f2327f56a137a2bcb3a9a8faZonr Chang return ST.take(); 1169a7a828d1ff95c5a8f2327f56a137a2bcb3a9a8faZonr Chang else 1170a7a828d1ff95c5a8f2327f56a137a2bcb3a9a8faZonr Chang return NULL; 1171a7a828d1ff95c5a8f2327f56a137a2bcb3a9a8faZonr Chang} 1172a7a828d1ff95c5a8f2327f56a137a2bcb3a9a8faZonr Chang 11733cd3dd327445fcfa49f0e96cb2de2055bce541e9Zonr Changbool RSExportPointerType::keep() { 11743cd3dd327445fcfa49f0e96cb2de2055bce541e9Zonr Chang if (!RSExportType::keep()) 11753cd3dd327445fcfa49f0e96cb2de2055bce541e9Zonr Chang return false; 1176641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang const_cast<RSExportType*>(mPointeeType)->keep(); 11773cd3dd327445fcfa49f0e96cb2de2055bce541e9Zonr Chang return true; 1178641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang} 1179641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang 1180641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Changbool RSExportPointerType::equals(const RSExportable *E) const { 1181641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang CHECK_PARENT_EQUALITY(RSExportType, E); 1182641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang return (static_cast<const RSExportPointerType*>(E) 1183641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang ->getPointeeType()->equals(getPointeeType())); 1184641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang} 1185641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang 11866315f76e3cc6ff2d012d1183a0b030d4ff0dc808zonr/***************************** RSExportVectorType *****************************/ 11876315f76e3cc6ff2d012d1183a0b030d4ff0dc808zonrllvm::StringRef 11886315f76e3cc6ff2d012d1183a0b030d4ff0dc808zonrRSExportVectorType::GetTypeName(const clang::ExtVectorType *EVT) { 11899ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao const clang::Type *ElementType = GET_EXT_VECTOR_ELEMENT_TYPE(EVT); 1190462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 11919ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao if ((ElementType->getTypeClass() != clang::Type::Builtin)) 11929ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return llvm::StringRef(); 11939ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao 1194be27482cdeaf08576bc39b72a15d35d13014a636Logan const clang::BuiltinType *BT = UNSAFE_CAST_TYPE(const clang::BuiltinType, 11959ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao ElementType); 1196a65ec168e41e3ee9c6e8ac04cde694bbbfc2590aZonr Chang if ((EVT->getNumElements() < 1) || 1197a65ec168e41e3ee9c6e8ac04cde694bbbfc2590aZonr Chang (EVT->getNumElements() > 4)) 1198a65ec168e41e3ee9c6e8ac04cde694bbbfc2590aZonr Chang return llvm::StringRef(); 11999ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao 12009ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao switch (BT->getKind()) { 12019ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // Compiler is smart enough to optimize following *big if branches* since 12029ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // they all become "constant comparison" after macro expansion 1203a65ec168e41e3ee9c6e8ac04cde694bbbfc2590aZonr Chang#define ENUM_SUPPORT_BUILTIN_TYPE(builtin_type, type, cname) \ 1204a65ec168e41e3ee9c6e8ac04cde694bbbfc2590aZonr Chang case builtin_type: { \ 1205a65ec168e41e3ee9c6e8ac04cde694bbbfc2590aZonr Chang const char *Name[] = { cname"2", cname"3", cname"4" }; \ 1206a65ec168e41e3ee9c6e8ac04cde694bbbfc2590aZonr Chang return Name[EVT->getNumElements() - 2]; \ 1207a65ec168e41e3ee9c6e8ac04cde694bbbfc2590aZonr Chang break; \ 1208a65ec168e41e3ee9c6e8ac04cde694bbbfc2590aZonr Chang } 1209a65ec168e41e3ee9c6e8ac04cde694bbbfc2590aZonr Chang#include "RSClangBuiltinEnums.inc" 12109ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao default: { 12119ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return llvm::StringRef(); 1212462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao } 12139ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 1214462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao} 1215462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 12169ef2f785e0cc490af678dfd685995dec787321ffShih-wei LiaoRSExportVectorType *RSExportVectorType::Create(RSContext *Context, 12179ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao const clang::ExtVectorType *EVT, 12189ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao const llvm::StringRef &TypeName, 12199ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao bool Normalized) { 12206e6578a360497f78a181e63d7783422a9c9bfb15Stephen Hines slangAssert(EVT != NULL && EVT->getTypeClass() == clang::Type::ExtVector); 1221462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 12229ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao const clang::Type *ElementType = GET_EXT_VECTOR_ELEMENT_TYPE(EVT); 12239ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao RSExportPrimitiveType::DataType DT = 12242ef9bc0cfbca2152d972c0975005f8c897c2a42cStephen Hines RSExportPrimitiveType::GetDataType(Context, ElementType); 1225462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 12269ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao if (DT != RSExportPrimitiveType::DataTypeUnknown) 12279ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return new RSExportVectorType(Context, 12289ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao TypeName, 12299ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao DT, 12309ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao Normalized, 12319ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao EVT->getNumElements()); 12329ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao else 12332ef9bc0cfbca2152d972c0975005f8c897c2a42cStephen Hines return NULL; 1234462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao} 1235462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 12367c67e578c760408dba0c2f64da6e074dd8b56fd9Shih-wei Liaollvm::Type *RSExportVectorType::convertToLLVMType() const { 12377c67e578c760408dba0c2f64da6e074dd8b56fd9Shih-wei Liao llvm::Type *ElementType = RSExportPrimitiveType::convertToLLVMType(); 12389ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return llvm::VectorType::get(ElementType, getNumElement()); 1239462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao} 1240462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 1241a7a828d1ff95c5a8f2327f56a137a2bcb3a9a8faZonr Changunion RSType *RSExportVectorType::convertToSpecType() const { 1242a7a828d1ff95c5a8f2327f56a137a2bcb3a9a8faZonr Chang llvm::OwningPtr<union RSType> ST(new union RSType); 1243a7a828d1ff95c5a8f2327f56a137a2bcb3a9a8faZonr Chang 1244a7a828d1ff95c5a8f2327f56a137a2bcb3a9a8faZonr Chang RS_TYPE_SET_CLASS(ST, RS_TC_Vector); 1245a7a828d1ff95c5a8f2327f56a137a2bcb3a9a8faZonr Chang RS_VECTOR_TYPE_SET_ELEMENT_TYPE(ST, getType()); 1246a7a828d1ff95c5a8f2327f56a137a2bcb3a9a8faZonr Chang RS_VECTOR_TYPE_SET_VECTOR_SIZE(ST, getNumElement()); 1247a7a828d1ff95c5a8f2327f56a137a2bcb3a9a8faZonr Chang 1248a7a828d1ff95c5a8f2327f56a137a2bcb3a9a8faZonr Chang return ST.take(); 1249a7a828d1ff95c5a8f2327f56a137a2bcb3a9a8faZonr Chang} 1250a7a828d1ff95c5a8f2327f56a137a2bcb3a9a8faZonr Chang 1251641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Changbool RSExportVectorType::equals(const RSExportable *E) const { 1252641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang CHECK_PARENT_EQUALITY(RSExportPrimitiveType, E); 1253641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang return (static_cast<const RSExportVectorType*>(E)->getNumElement() 1254641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang == getNumElement()); 1255641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang} 1256641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang 125792b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang/***************************** RSExportMatrixType *****************************/ 125892b344a51c6c4934e96882bd401e4b13d6d03db8Zonr ChangRSExportMatrixType *RSExportMatrixType::Create(RSContext *Context, 125992b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang const clang::RecordType *RT, 126092b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang const llvm::StringRef &TypeName, 126192b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang unsigned Dim) { 12626e6578a360497f78a181e63d7783422a9c9bfb15Stephen Hines slangAssert((RT != NULL) && (RT->getTypeClass() == clang::Type::Record)); 12636e6578a360497f78a181e63d7783422a9c9bfb15Stephen Hines slangAssert((Dim > 1) && "Invalid dimension of matrix"); 126492b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang 126592b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang // Check whether the struct rs_matrix is in our expected form (but assume it's 126692b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang // correct if we're not sure whether it's correct or not) 126792b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang const clang::RecordDecl* RD = RT->getDecl(); 126892b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang RD = RD->getDefinition(); 126992b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang if (RD != NULL) { 12709207a2e495c8363606861e4f034504ec5c153dabLogan Chien clang::DiagnosticsEngine *DiagEngine = Context->getDiagnostics(); 12712ef9bc0cfbca2152d972c0975005f8c897c2a42cStephen Hines const clang::SourceManager *SM = Context->getSourceManager(); 127292b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang // Find definition, perform further examination 127392b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang if (RD->field_empty()) { 12749207a2e495c8363606861e4f034504ec5c153dabLogan Chien DiagEngine->Report( 12759207a2e495c8363606861e4f034504ec5c153dabLogan Chien clang::FullSourceLoc(RD->getLocation(), *SM), 12769207a2e495c8363606861e4f034504ec5c153dabLogan Chien DiagEngine->getCustomDiagID( 12779207a2e495c8363606861e4f034504ec5c153dabLogan Chien clang::DiagnosticsEngine::Error, 12789207a2e495c8363606861e4f034504ec5c153dabLogan Chien "invalid matrix struct: must have 1 field for saving values: '%0'")) 12792ef9bc0cfbca2152d972c0975005f8c897c2a42cStephen Hines << RD->getName(); 128092b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang return NULL; 128192b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang } 128292b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang 128392b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang clang::RecordDecl::field_iterator FIT = RD->field_begin(); 128492b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang const clang::FieldDecl *FD = *FIT; 128592b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang const clang::Type *FT = RSExportType::GetTypeOfDecl(FD); 128692b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang if ((FT == NULL) || (FT->getTypeClass() != clang::Type::ConstantArray)) { 12879207a2e495c8363606861e4f034504ec5c153dabLogan Chien DiagEngine->Report( 12889207a2e495c8363606861e4f034504ec5c153dabLogan Chien clang::FullSourceLoc(RD->getLocation(), *SM), 12899207a2e495c8363606861e4f034504ec5c153dabLogan Chien DiagEngine->getCustomDiagID(clang::DiagnosticsEngine::Error, 12909207a2e495c8363606861e4f034504ec5c153dabLogan Chien "invalid matrix struct: first field should" 12919207a2e495c8363606861e4f034504ec5c153dabLogan Chien " be an array with constant size: '%0'")) 12929207a2e495c8363606861e4f034504ec5c153dabLogan Chien << RD->getName(); 129392b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang return NULL; 129492b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang } 129592b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang const clang::ConstantArrayType *CAT = 129692b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang static_cast<const clang::ConstantArrayType *>(FT); 12972e1dba6c779a0ae55c76d36a3c03553e16725ab7Zonr Chang const clang::Type *ElementType = GET_CONSTANT_ARRAY_ELEMENT_TYPE(CAT); 129892b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang if ((ElementType == NULL) || 129992b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang (ElementType->getTypeClass() != clang::Type::Builtin) || 13009207a2e495c8363606861e4f034504ec5c153dabLogan Chien (static_cast<const clang::BuiltinType *>(ElementType)->getKind() != 13019207a2e495c8363606861e4f034504ec5c153dabLogan Chien clang::BuiltinType::Float)) { 13029207a2e495c8363606861e4f034504ec5c153dabLogan Chien DiagEngine->Report( 13039207a2e495c8363606861e4f034504ec5c153dabLogan Chien clang::FullSourceLoc(RD->getLocation(), *SM), 13049207a2e495c8363606861e4f034504ec5c153dabLogan Chien DiagEngine->getCustomDiagID(clang::DiagnosticsEngine::Error, 13059207a2e495c8363606861e4f034504ec5c153dabLogan Chien "invalid matrix struct: first field " 13069207a2e495c8363606861e4f034504ec5c153dabLogan Chien "should be a float array: '%0'")) 13079207a2e495c8363606861e4f034504ec5c153dabLogan Chien << RD->getName(); 130892b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang return NULL; 130992b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang } 131092b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang 131192b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang if (CAT->getSize() != Dim * Dim) { 13129207a2e495c8363606861e4f034504ec5c153dabLogan Chien DiagEngine->Report( 13139207a2e495c8363606861e4f034504ec5c153dabLogan Chien clang::FullSourceLoc(RD->getLocation(), *SM), 13149207a2e495c8363606861e4f034504ec5c153dabLogan Chien DiagEngine->getCustomDiagID(clang::DiagnosticsEngine::Error, 13159207a2e495c8363606861e4f034504ec5c153dabLogan Chien "invalid matrix struct: first field " 13169207a2e495c8363606861e4f034504ec5c153dabLogan Chien "should be an array with size %0: '%1'")) 13179207a2e495c8363606861e4f034504ec5c153dabLogan Chien << (Dim * Dim) << (RD->getName()); 131892b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang return NULL; 131992b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang } 132092b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang 132192b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang FIT++; 132292b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang if (FIT != RD->field_end()) { 13239207a2e495c8363606861e4f034504ec5c153dabLogan Chien DiagEngine->Report( 13249207a2e495c8363606861e4f034504ec5c153dabLogan Chien clang::FullSourceLoc(RD->getLocation(), *SM), 13259207a2e495c8363606861e4f034504ec5c153dabLogan Chien DiagEngine->getCustomDiagID(clang::DiagnosticsEngine::Error, 13269207a2e495c8363606861e4f034504ec5c153dabLogan Chien "invalid matrix struct: must have " 13279207a2e495c8363606861e4f034504ec5c153dabLogan Chien "exactly 1 field: '%0'")) 13289207a2e495c8363606861e4f034504ec5c153dabLogan Chien << RD->getName(); 132992b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang return NULL; 133092b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang } 133192b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang } 133292b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang 133392b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang return new RSExportMatrixType(Context, TypeName, Dim); 133492b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang} 133592b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang 13367c67e578c760408dba0c2f64da6e074dd8b56fd9Shih-wei Liaollvm::Type *RSExportMatrixType::convertToLLVMType() const { 133792b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang // Construct LLVM type: 133892b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang // struct { 133992b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang // float X[mDim * mDim]; 134092b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang // } 134192b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang 134292b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang llvm::LLVMContext &C = getRSContext()->getLLVMContext(); 134392b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang llvm::ArrayType *X = llvm::ArrayType::get(llvm::Type::getFloatTy(C), 134492b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang mDim * mDim); 1345a67e4451d0d03b4ab7866b64807d95a8399c73a0Stephen Hines return llvm::StructType::get(C, X, false); 134692b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang} 134792b344a51c6c4934e96882bd401e4b13d6d03db8Zonr Chang 1348a7a828d1ff95c5a8f2327f56a137a2bcb3a9a8faZonr Changunion RSType *RSExportMatrixType::convertToSpecType() const { 1349a7a828d1ff95c5a8f2327f56a137a2bcb3a9a8faZonr Chang llvm::OwningPtr<union RSType> ST(new union RSType); 1350a7a828d1ff95c5a8f2327f56a137a2bcb3a9a8faZonr Chang RS_TYPE_SET_CLASS(ST, RS_TC_Matrix); 1351a7a828d1ff95c5a8f2327f56a137a2bcb3a9a8faZonr Chang switch (getDim()) { 1352a7a828d1ff95c5a8f2327f56a137a2bcb3a9a8faZonr Chang case 2: RS_MATRIX_TYPE_SET_DATA_TYPE(ST, RS_DT_RSMatrix2x2); break; 1353a7a828d1ff95c5a8f2327f56a137a2bcb3a9a8faZonr Chang case 3: RS_MATRIX_TYPE_SET_DATA_TYPE(ST, RS_DT_RSMatrix3x3); break; 1354a7a828d1ff95c5a8f2327f56a137a2bcb3a9a8faZonr Chang case 4: RS_MATRIX_TYPE_SET_DATA_TYPE(ST, RS_DT_RSMatrix4x4); break; 13556e6578a360497f78a181e63d7783422a9c9bfb15Stephen Hines default: slangAssert(false && "Matrix type with unsupported dimension."); 1356a7a828d1ff95c5a8f2327f56a137a2bcb3a9a8faZonr Chang } 1357a7a828d1ff95c5a8f2327f56a137a2bcb3a9a8faZonr Chang return ST.take(); 1358a7a828d1ff95c5a8f2327f56a137a2bcb3a9a8faZonr Chang} 1359a7a828d1ff95c5a8f2327f56a137a2bcb3a9a8faZonr Chang 1360641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Changbool RSExportMatrixType::equals(const RSExportable *E) const { 1361641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang CHECK_PARENT_EQUALITY(RSExportType, E); 1362641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang return (static_cast<const RSExportMatrixType*>(E)->getDim() == getDim()); 1363641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang} 1364641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang 13652e1dba6c779a0ae55c76d36a3c03553e16725ab7Zonr Chang/************************* RSExportConstantArrayType *************************/ 13662e1dba6c779a0ae55c76d36a3c03553e16725ab7Zonr ChangRSExportConstantArrayType 13672e1dba6c779a0ae55c76d36a3c03553e16725ab7Zonr Chang*RSExportConstantArrayType::Create(RSContext *Context, 13682e1dba6c779a0ae55c76d36a3c03553e16725ab7Zonr Chang const clang::ConstantArrayType *CAT) { 13696e6578a360497f78a181e63d7783422a9c9bfb15Stephen Hines slangAssert(CAT != NULL && CAT->getTypeClass() == clang::Type::ConstantArray); 13702e1dba6c779a0ae55c76d36a3c03553e16725ab7Zonr Chang 13716e6578a360497f78a181e63d7783422a9c9bfb15Stephen Hines slangAssert((CAT->getSize().getActiveBits() < 32) && "array too large"); 13722e1dba6c779a0ae55c76d36a3c03553e16725ab7Zonr Chang 13732e1dba6c779a0ae55c76d36a3c03553e16725ab7Zonr Chang unsigned Size = static_cast<unsigned>(CAT->getSize().getZExtValue()); 13746e6578a360497f78a181e63d7783422a9c9bfb15Stephen Hines slangAssert((Size > 0) && "Constant array should have size greater than 0"); 13752e1dba6c779a0ae55c76d36a3c03553e16725ab7Zonr Chang 13762e1dba6c779a0ae55c76d36a3c03553e16725ab7Zonr Chang const clang::Type *ElementType = GET_CONSTANT_ARRAY_ELEMENT_TYPE(CAT); 13772e1dba6c779a0ae55c76d36a3c03553e16725ab7Zonr Chang RSExportType *ElementET = RSExportType::Create(Context, ElementType); 13782e1dba6c779a0ae55c76d36a3c03553e16725ab7Zonr Chang 13792e1dba6c779a0ae55c76d36a3c03553e16725ab7Zonr Chang if (ElementET == NULL) { 13802e1dba6c779a0ae55c76d36a3c03553e16725ab7Zonr Chang return NULL; 13812e1dba6c779a0ae55c76d36a3c03553e16725ab7Zonr Chang } 13822e1dba6c779a0ae55c76d36a3c03553e16725ab7Zonr Chang 13832e1dba6c779a0ae55c76d36a3c03553e16725ab7Zonr Chang return new RSExportConstantArrayType(Context, 13842e1dba6c779a0ae55c76d36a3c03553e16725ab7Zonr Chang ElementET, 13852e1dba6c779a0ae55c76d36a3c03553e16725ab7Zonr Chang Size); 13862e1dba6c779a0ae55c76d36a3c03553e16725ab7Zonr Chang} 13872e1dba6c779a0ae55c76d36a3c03553e16725ab7Zonr Chang 13887c67e578c760408dba0c2f64da6e074dd8b56fd9Shih-wei Liaollvm::Type *RSExportConstantArrayType::convertToLLVMType() const { 13892e1dba6c779a0ae55c76d36a3c03553e16725ab7Zonr Chang return llvm::ArrayType::get(mElementType->getLLVMType(), getSize()); 13902e1dba6c779a0ae55c76d36a3c03553e16725ab7Zonr Chang} 13912e1dba6c779a0ae55c76d36a3c03553e16725ab7Zonr Chang 1392a7a828d1ff95c5a8f2327f56a137a2bcb3a9a8faZonr Changunion RSType *RSExportConstantArrayType::convertToSpecType() const { 1393a7a828d1ff95c5a8f2327f56a137a2bcb3a9a8faZonr Chang llvm::OwningPtr<union RSType> ST(new union RSType); 1394a7a828d1ff95c5a8f2327f56a137a2bcb3a9a8faZonr Chang 1395a7a828d1ff95c5a8f2327f56a137a2bcb3a9a8faZonr Chang RS_TYPE_SET_CLASS(ST, RS_TC_ConstantArray); 1396a7a828d1ff95c5a8f2327f56a137a2bcb3a9a8faZonr Chang RS_CONSTANT_ARRAY_TYPE_SET_ELEMENT_TYPE( 1397a7a828d1ff95c5a8f2327f56a137a2bcb3a9a8faZonr Chang ST, getElementType()->getSpecType()); 1398a7a828d1ff95c5a8f2327f56a137a2bcb3a9a8faZonr Chang RS_CONSTANT_ARRAY_TYPE_SET_ELEMENT_SIZE(ST, getSize()); 1399a7a828d1ff95c5a8f2327f56a137a2bcb3a9a8faZonr Chang 1400a7a828d1ff95c5a8f2327f56a137a2bcb3a9a8faZonr Chang if (RS_CONSTANT_ARRAY_TYPE_GET_ELEMENT_TYPE(ST) != NULL) 1401a7a828d1ff95c5a8f2327f56a137a2bcb3a9a8faZonr Chang return ST.take(); 1402a7a828d1ff95c5a8f2327f56a137a2bcb3a9a8faZonr Chang else 1403a7a828d1ff95c5a8f2327f56a137a2bcb3a9a8faZonr Chang return NULL; 1404a7a828d1ff95c5a8f2327f56a137a2bcb3a9a8faZonr Chang} 1405a7a828d1ff95c5a8f2327f56a137a2bcb3a9a8faZonr Chang 14063cd3dd327445fcfa49f0e96cb2de2055bce541e9Zonr Changbool RSExportConstantArrayType::keep() { 14073cd3dd327445fcfa49f0e96cb2de2055bce541e9Zonr Chang if (!RSExportType::keep()) 14083cd3dd327445fcfa49f0e96cb2de2055bce541e9Zonr Chang return false; 1409641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang const_cast<RSExportType*>(mElementType)->keep(); 14103cd3dd327445fcfa49f0e96cb2de2055bce541e9Zonr Chang return true; 1411641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang} 1412641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang 1413641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Changbool RSExportConstantArrayType::equals(const RSExportable *E) const { 1414641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang CHECK_PARENT_EQUALITY(RSExportType, E); 1415a7b7518aa3725d5cff1c1a6319ec7a6b8b244e0eStephen Hines const RSExportConstantArrayType *RHS = 1416a7b7518aa3725d5cff1c1a6319ec7a6b8b244e0eStephen Hines static_cast<const RSExportConstantArrayType*>(E); 1417a7b7518aa3725d5cff1c1a6319ec7a6b8b244e0eStephen Hines return ((getSize() == RHS->getSize()) && 1418a7b7518aa3725d5cff1c1a6319ec7a6b8b244e0eStephen Hines (getElementType()->equals(RHS->getElementType()))); 1419641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang} 1420641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang 14219ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao/**************************** RSExportRecordType ****************************/ 14229ef2f785e0cc490af678dfd685995dec787321ffShih-wei LiaoRSExportRecordType *RSExportRecordType::Create(RSContext *Context, 14239ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao const clang::RecordType *RT, 14249ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao const llvm::StringRef &TypeName, 14259ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao bool mIsArtificial) { 14266e6578a360497f78a181e63d7783422a9c9bfb15Stephen Hines slangAssert(RT != NULL && RT->getTypeClass() == clang::Type::Record); 1427462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 14289ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao const clang::RecordDecl *RD = RT->getDecl(); 14296e6578a360497f78a181e63d7783422a9c9bfb15Stephen Hines slangAssert(RD->isStruct()); 1430462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 14319ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao RD = RD->getDefinition(); 14329ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao if (RD == NULL) { 14336e6578a360497f78a181e63d7783422a9c9bfb15Stephen Hines slangAssert(false && "struct is not defined in this module"); 14349ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return NULL; 14359ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 1436462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 14370da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang // Struct layout construct by clang. We rely on this for obtaining the 14380da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang // alloc size of a struct and offset of every field in that struct. 14390da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang const clang::ASTRecordLayout *RL = 14409e5b503349719144f63ccb7c62ee9c291a7d83b8Stephen Hines &Context->getASTContext().getASTRecordLayout(RD); 1441f2174cfd6a556b51aadf2b8765e50df080e8f18eStephen Hines slangAssert((RL != NULL) && 1442f2174cfd6a556b51aadf2b8765e50df080e8f18eStephen Hines "Failed to retrieve the struct layout from Clang."); 14430da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang 14440da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang RSExportRecordType *ERT = 14450da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang new RSExportRecordType(Context, 14460da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang TypeName, 14470da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang RD->hasAttr<clang::PackedAttr>(), 14480da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang mIsArtificial, 144968318a14fe6d2debc1b9dce3fe71c42f5916eef5Shih-wei Liao RL->getSize().getQuantity()); 14509ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao unsigned int Index = 0; 14519ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao 14529ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao for (clang::RecordDecl::field_iterator FI = RD->field_begin(), 14539ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao FE = RD->field_end(); 14549ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao FI != FE; 145591a3783ce1f4eb9ad6e9c1ecdbd27f3d6dc58634Shih-wei Liao FI++, Index++) { 14569207a2e495c8363606861e4f034504ec5c153dabLogan Chien clang::DiagnosticsEngine *DiagEngine = Context->getDiagnostics(); 14579ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao 14589ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // FIXME: All fields should be primitive type 145943730fe3c839af391efe6bdf56b0479860121924Shih-wei Liao slangAssert(FI->getKind() == clang::Decl::Field); 14609ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao clang::FieldDecl *FD = *FI; 14619ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao 14622ef9bc0cfbca2152d972c0975005f8c897c2a42cStephen Hines if (FD->isBitField()) { 14632ef9bc0cfbca2152d972c0975005f8c897c2a42cStephen Hines return NULL; 14642ef9bc0cfbca2152d972c0975005f8c897c2a42cStephen Hines } 14659ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao 14669ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // Type 14676315f76e3cc6ff2d012d1183a0b030d4ff0dc808zonr RSExportType *ET = RSExportElement::CreateFromDecl(Context, FD); 14689ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao 14692ef9bc0cfbca2152d972c0975005f8c897c2a42cStephen Hines if (ET != NULL) { 14700da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang ERT->mFields.push_back( 14710da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang new Field(ET, FD->getName(), ERT, 14720da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang static_cast<size_t>(RL->getFieldOffset(Index) >> 3))); 14732ef9bc0cfbca2152d972c0975005f8c897c2a42cStephen Hines } else { 14749207a2e495c8363606861e4f034504ec5c153dabLogan Chien DiagEngine->Report( 14759207a2e495c8363606861e4f034504ec5c153dabLogan Chien clang::FullSourceLoc(RD->getLocation(), DiagEngine->getSourceManager()), 14769207a2e495c8363606861e4f034504ec5c153dabLogan Chien DiagEngine->getCustomDiagID(clang::DiagnosticsEngine::Error, 14779207a2e495c8363606861e4f034504ec5c153dabLogan Chien "field type cannot be exported: '%0.%1'")) 14789207a2e495c8363606861e4f034504ec5c153dabLogan Chien << RD->getName() << FD->getName(); 14792ef9bc0cfbca2152d972c0975005f8c897c2a42cStephen Hines return NULL; 14802ef9bc0cfbca2152d972c0975005f8c897c2a42cStephen Hines } 14819ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 14820a3f20ec28ed6f5ae1ed5d61f6b6e3e577f7f5d1Shih-wei Liao 14839ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return ERT; 1484462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao} 1485462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 14867c67e578c760408dba0c2f64da6e074dd8b56fd9Shih-wei Liaollvm::Type *RSExportRecordType::convertToLLVMType() const { 14873cd3dd327445fcfa49f0e96cb2de2055bce541e9Zonr Chang // Create an opaque type since struct may reference itself recursively. 14883cd3dd327445fcfa49f0e96cb2de2055bce541e9Zonr Chang 14897c67e578c760408dba0c2f64da6e074dd8b56fd9Shih-wei Liao // TODO(sliao): LLVM took out the OpaqueType. Any other to migrate to? 14907c67e578c760408dba0c2f64da6e074dd8b56fd9Shih-wei Liao std::vector<llvm::Type*> FieldTypes; 1491462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 14923cd3dd327445fcfa49f0e96cb2de2055bce541e9Zonr Chang for (const_field_iterator FI = fields_begin(), FE = fields_end(); 14939ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao FI != FE; 14949ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao FI++) { 14959ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao const Field *F = *FI; 14969ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao const RSExportType *FET = F->getType(); 14971f0d88fbff28e4e2dd563d93c8fe0047381c09ccShih-wei Liao 14989ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao FieldTypes.push_back(FET->getLLVMType()); 14999ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 1500462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 15013cd3dd327445fcfa49f0e96cb2de2055bce541e9Zonr Chang llvm::StructType *ST = llvm::StructType::get(getRSContext()->getLLVMContext(), 15023cd3dd327445fcfa49f0e96cb2de2055bce541e9Zonr Chang FieldTypes, 15033cd3dd327445fcfa49f0e96cb2de2055bce541e9Zonr Chang mIsPacked); 15047c67e578c760408dba0c2f64da6e074dd8b56fd9Shih-wei Liao if (ST != NULL) { 15057c67e578c760408dba0c2f64da6e074dd8b56fd9Shih-wei Liao return ST; 15067c67e578c760408dba0c2f64da6e074dd8b56fd9Shih-wei Liao } else { 15073cd3dd327445fcfa49f0e96cb2de2055bce541e9Zonr Chang return NULL; 15087c67e578c760408dba0c2f64da6e074dd8b56fd9Shih-wei Liao } 1509462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao} 1510641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang 1511a7a828d1ff95c5a8f2327f56a137a2bcb3a9a8faZonr Changunion RSType *RSExportRecordType::convertToSpecType() const { 1512a7a828d1ff95c5a8f2327f56a137a2bcb3a9a8faZonr Chang unsigned NumFields = getFields().size(); 1513a7a828d1ff95c5a8f2327f56a137a2bcb3a9a8faZonr Chang unsigned AllocSize = sizeof(union RSType) + 1514a7a828d1ff95c5a8f2327f56a137a2bcb3a9a8faZonr Chang sizeof(struct RSRecordField) * NumFields; 1515a7a828d1ff95c5a8f2327f56a137a2bcb3a9a8faZonr Chang llvm::OwningPtr<union RSType> ST( 1516e639eb5caa2c386b4a60659a4929e8a6141a2cbeStephen Hines reinterpret_cast<union RSType*>(operator new(AllocSize))); 1517a7a828d1ff95c5a8f2327f56a137a2bcb3a9a8faZonr Chang 1518a7a828d1ff95c5a8f2327f56a137a2bcb3a9a8faZonr Chang ::memset(ST.get(), 0, AllocSize); 1519a7a828d1ff95c5a8f2327f56a137a2bcb3a9a8faZonr Chang 1520a7a828d1ff95c5a8f2327f56a137a2bcb3a9a8faZonr Chang RS_TYPE_SET_CLASS(ST, RS_TC_Record); 1521a7a828d1ff95c5a8f2327f56a137a2bcb3a9a8faZonr Chang RS_RECORD_TYPE_SET_NAME(ST, getName().c_str()); 1522a7a828d1ff95c5a8f2327f56a137a2bcb3a9a8faZonr Chang RS_RECORD_TYPE_SET_NUM_FIELDS(ST, NumFields); 1523a7a828d1ff95c5a8f2327f56a137a2bcb3a9a8faZonr Chang 1524a7a828d1ff95c5a8f2327f56a137a2bcb3a9a8faZonr Chang setSpecTypeTemporarily(ST.get()); 1525a7a828d1ff95c5a8f2327f56a137a2bcb3a9a8faZonr Chang 1526a7a828d1ff95c5a8f2327f56a137a2bcb3a9a8faZonr Chang unsigned FieldIdx = 0; 1527a7a828d1ff95c5a8f2327f56a137a2bcb3a9a8faZonr Chang for (const_field_iterator FI = fields_begin(), FE = fields_end(); 1528a7a828d1ff95c5a8f2327f56a137a2bcb3a9a8faZonr Chang FI != FE; 1529a7a828d1ff95c5a8f2327f56a137a2bcb3a9a8faZonr Chang FI++, FieldIdx++) { 1530a7a828d1ff95c5a8f2327f56a137a2bcb3a9a8faZonr Chang const Field *F = *FI; 1531a7a828d1ff95c5a8f2327f56a137a2bcb3a9a8faZonr Chang 1532a7a828d1ff95c5a8f2327f56a137a2bcb3a9a8faZonr Chang RS_RECORD_TYPE_SET_FIELD_NAME(ST, FieldIdx, F->getName().c_str()); 1533a7a828d1ff95c5a8f2327f56a137a2bcb3a9a8faZonr Chang RS_RECORD_TYPE_SET_FIELD_TYPE(ST, FieldIdx, F->getType()->getSpecType()); 1534a7a828d1ff95c5a8f2327f56a137a2bcb3a9a8faZonr Chang } 1535a7a828d1ff95c5a8f2327f56a137a2bcb3a9a8faZonr Chang 1536e639eb5caa2c386b4a60659a4929e8a6141a2cbeStephen Hines // TODO(slang): Check whether all fields were created normally. 1537a7a828d1ff95c5a8f2327f56a137a2bcb3a9a8faZonr Chang 1538a7a828d1ff95c5a8f2327f56a137a2bcb3a9a8faZonr Chang return ST.take(); 1539a7a828d1ff95c5a8f2327f56a137a2bcb3a9a8faZonr Chang} 1540a7a828d1ff95c5a8f2327f56a137a2bcb3a9a8faZonr Chang 15413cd3dd327445fcfa49f0e96cb2de2055bce541e9Zonr Changbool RSExportRecordType::keep() { 15423cd3dd327445fcfa49f0e96cb2de2055bce541e9Zonr Chang if (!RSExportType::keep()) 15433cd3dd327445fcfa49f0e96cb2de2055bce541e9Zonr Chang return false; 1544641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang for (std::list<const Field*>::iterator I = mFields.begin(), 1545641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang E = mFields.end(); 1546641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang I != E; 1547641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang I++) { 1548641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang const_cast<RSExportType*>((*I)->getType())->keep(); 1549641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang } 15503cd3dd327445fcfa49f0e96cb2de2055bce541e9Zonr Chang return true; 1551641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang} 1552641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang 1553641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Changbool RSExportRecordType::equals(const RSExportable *E) const { 1554641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang CHECK_PARENT_EQUALITY(RSExportType, E); 1555641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang 1556641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang const RSExportRecordType *ERT = static_cast<const RSExportRecordType*>(E); 1557641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang 1558641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang if (ERT->getFields().size() != getFields().size()) 1559641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang return false; 1560641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang 1561641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang const_field_iterator AI = fields_begin(), BI = ERT->fields_begin(); 1562641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang 1563641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang for (unsigned i = 0, e = getFields().size(); i != e; i++) { 1564641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang if (!(*AI)->getType()->equals((*BI)->getType())) 1565641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang return false; 1566641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang AI++; 1567641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang BI++; 1568641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang } 1569641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang 1570641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang return true; 1571641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang} 1572e639eb5caa2c386b4a60659a4929e8a6141a2cbeStephen Hines 15731b6a0883cd6984e11e59b0c847fb334df1f41afcJason Samsvoid RSExportType::convertToRTD(RSReflectionTypeData *rtd) const { 15741b6a0883cd6984e11e59b0c847fb334df1f41afcJason Sams memset(rtd, 0, sizeof(*rtd)); 15751b6a0883cd6984e11e59b0c847fb334df1f41afcJason Sams rtd->vecSize = 1; 15761b6a0883cd6984e11e59b0c847fb334df1f41afcJason Sams 15771b6a0883cd6984e11e59b0c847fb334df1f41afcJason Sams switch(getClass()) { 15781b6a0883cd6984e11e59b0c847fb334df1f41afcJason Sams case RSExportType::ExportClassPrimitive: { 15791b6a0883cd6984e11e59b0c847fb334df1f41afcJason Sams const RSExportPrimitiveType *EPT = static_cast<const RSExportPrimitiveType*>(this); 15801b6a0883cd6984e11e59b0c847fb334df1f41afcJason Sams rtd->type = RSExportPrimitiveType::getRSReflectionType(EPT); 15811b6a0883cd6984e11e59b0c847fb334df1f41afcJason Sams return; 15821b6a0883cd6984e11e59b0c847fb334df1f41afcJason Sams } 15831b6a0883cd6984e11e59b0c847fb334df1f41afcJason Sams case RSExportType::ExportClassPointer: { 15841b6a0883cd6984e11e59b0c847fb334df1f41afcJason Sams const RSExportPointerType *EPT = static_cast<const RSExportPointerType*>(this); 15851b6a0883cd6984e11e59b0c847fb334df1f41afcJason Sams const RSExportType *PointeeType = EPT->getPointeeType(); 15861b6a0883cd6984e11e59b0c847fb334df1f41afcJason Sams PointeeType->convertToRTD(rtd); 15871b6a0883cd6984e11e59b0c847fb334df1f41afcJason Sams rtd->isPointer = true; 15881b6a0883cd6984e11e59b0c847fb334df1f41afcJason Sams return; 15891b6a0883cd6984e11e59b0c847fb334df1f41afcJason Sams } 15901b6a0883cd6984e11e59b0c847fb334df1f41afcJason Sams case RSExportType::ExportClassVector: { 15911b6a0883cd6984e11e59b0c847fb334df1f41afcJason Sams const RSExportVectorType *EVT = static_cast<const RSExportVectorType*>(this); 15921b6a0883cd6984e11e59b0c847fb334df1f41afcJason Sams rtd->type = EVT->getRSReflectionType(EVT); 15931b6a0883cd6984e11e59b0c847fb334df1f41afcJason Sams rtd->vecSize = EVT->getNumElement(); 15941b6a0883cd6984e11e59b0c847fb334df1f41afcJason Sams return; 15951b6a0883cd6984e11e59b0c847fb334df1f41afcJason Sams } 15961b6a0883cd6984e11e59b0c847fb334df1f41afcJason Sams case RSExportType::ExportClassMatrix: { 15971b6a0883cd6984e11e59b0c847fb334df1f41afcJason Sams const RSExportMatrixType *EMT = static_cast<const RSExportMatrixType*>(this); 15981b6a0883cd6984e11e59b0c847fb334df1f41afcJason Sams unsigned Dim = EMT->getDim(); 15991b6a0883cd6984e11e59b0c847fb334df1f41afcJason Sams slangAssert((Dim >= 2) && (Dim <= 4)); 16001b6a0883cd6984e11e59b0c847fb334df1f41afcJason Sams rtd->type = &gReflectionTypes[15 + Dim-2]; 16011b6a0883cd6984e11e59b0c847fb334df1f41afcJason Sams return; 16021b6a0883cd6984e11e59b0c847fb334df1f41afcJason Sams } 16031b6a0883cd6984e11e59b0c847fb334df1f41afcJason Sams case RSExportType::ExportClassConstantArray: { 16041b6a0883cd6984e11e59b0c847fb334df1f41afcJason Sams const RSExportConstantArrayType* CAT = 16051b6a0883cd6984e11e59b0c847fb334df1f41afcJason Sams static_cast<const RSExportConstantArrayType*>(this); 16061b6a0883cd6984e11e59b0c847fb334df1f41afcJason Sams CAT->getElementType()->convertToRTD(rtd); 16071b6a0883cd6984e11e59b0c847fb334df1f41afcJason Sams rtd->arraySize = CAT->getSize(); 16081b6a0883cd6984e11e59b0c847fb334df1f41afcJason Sams return; 16091b6a0883cd6984e11e59b0c847fb334df1f41afcJason Sams } 16101b6a0883cd6984e11e59b0c847fb334df1f41afcJason Sams case RSExportType::ExportClassRecord: { 16111b6a0883cd6984e11e59b0c847fb334df1f41afcJason Sams slangAssert(!"RSExportType::ExportClassRecord not implemented"); 16121b6a0883cd6984e11e59b0c847fb334df1f41afcJason Sams return;// RS_TYPE_CLASS_NAME_PREFIX + ET->getName() + ".Item"; 16131b6a0883cd6984e11e59b0c847fb334df1f41afcJason Sams } 16141b6a0883cd6984e11e59b0c847fb334df1f41afcJason Sams default: { 16151b6a0883cd6984e11e59b0c847fb334df1f41afcJason Sams slangAssert(false && "Unknown class of type"); 16161b6a0883cd6984e11e59b0c847fb334df1f41afcJason Sams } 16171b6a0883cd6984e11e59b0c847fb334df1f41afcJason Sams } 16181b6a0883cd6984e11e59b0c847fb334df1f41afcJason Sams} 16191b6a0883cd6984e11e59b0c847fb334df1f41afcJason Sams 16201b6a0883cd6984e11e59b0c847fb334df1f41afcJason Sams 1621e639eb5caa2c386b4a60659a4929e8a6141a2cbeStephen Hines} // namespace slang 1622