slang_rs_export_func.cpp revision 9e5b503349719144f63ccb7c62ee9c291a7d83b8
1c383a500aa59423264811be3874461bf8adbfea0Zonr Chang/*
2c383a500aa59423264811be3874461bf8adbfea0Zonr Chang * Copyright 2010, 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_func.h"
18462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao
190da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang#include "llvm/DerivedTypes.h"
209ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao#include "llvm/Target/TargetData.h"
210a3f20ec28ed6f5ae1ed5d61f6b6e3e577f7f5d1Shih-wei Liao
220da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang#include "clang/AST/ASTContext.h"
239ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao#include "clang/AST/Decl.h"
24462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao
256315f76e3cc6ff2d012d1183a0b030d4ff0dc808zonr#include "slang_rs_context.h"
266315f76e3cc6ff2d012d1183a0b030d4ff0dc808zonr
279ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liaousing namespace slang;
28462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao
299ef2f785e0cc490af678dfd685995dec787321ffShih-wei LiaoRSExportFunc *RSExportFunc::Create(RSContext *Context,
309ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao                                   const clang::FunctionDecl *FD) {
319ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao  llvm::StringRef Name = FD->getName();
329ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao  RSExportFunc *F;
33462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao
349ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao  assert(!Name.empty() && "Function must have a name");
35462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao
369ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao  F = new RSExportFunc(Context, Name);
37462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao
380da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang  // Initialize mParamPacketType
390da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang  if (FD->getNumParams() <= 0) {
400da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang    F->mParamPacketType = NULL;
410da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang  } else {
429e5b503349719144f63ccb7c62ee9c291a7d83b8Stephen Hines    clang::ASTContext &Ctx = Context->getASTContext();
430da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang
440da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang    std::string Id(DUMMY_RS_TYPE_NAME_PREFIX"helper_func_param:");
450da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang    Id.append(F->getName()).append(DUMMY_RS_TYPE_NAME_POSTFIX);
460da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang
470da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang    clang::RecordDecl *RD =
489e5b503349719144f63ccb7c62ee9c291a7d83b8Stephen Hines        clang::RecordDecl::Create(Ctx, clang::TTK_Struct,
499e5b503349719144f63ccb7c62ee9c291a7d83b8Stephen Hines                                  Ctx.getTranslationUnitDecl(),
500da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang                                  clang::SourceLocation(),
519e5b503349719144f63ccb7c62ee9c291a7d83b8Stephen Hines                                  &Ctx.Idents.get(Id));
520da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang
530da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang    for (unsigned i = 0; i < FD->getNumParams(); i++) {
540da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang      const clang::ParmVarDecl *PVD = FD->getParamDecl(i);
550da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang      llvm::StringRef ParamName = PVD->getName();
560da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang
570da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang      if (PVD->hasDefaultArg())
580da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang        fprintf(stderr, "Note: parameter '%s' in function '%s' has default "
590da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang                        "value which is not supported\n",
600da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang                        ParamName.str().c_str(),
610da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang                        F->getName().c_str());
620da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang
630da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang      clang::FieldDecl *FD =
649e5b503349719144f63ccb7c62ee9c291a7d83b8Stephen Hines          clang::FieldDecl::Create(Ctx,
650da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang                                   RD,
660da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang                                   clang::SourceLocation(),
670da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang                                   PVD->getIdentifier(),
680da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang                                   PVD->getOriginalType(),
690da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang                                   NULL,
700da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang                                   /* BitWidth = */NULL,
710da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang                                   /* Mutable = */false);
720da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang      RD->addDecl(FD);
730da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang    }
740da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang
750da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang    RD->completeDefinition();
760da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang
779e5b503349719144f63ccb7c62ee9c291a7d83b8Stephen Hines    clang::QualType T = Ctx.getTagDeclType(RD);
780da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang    assert(!T.isNull());
790da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang
800da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang    RSExportType *ET =
810da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang      RSExportType::Create(Context, T.getTypePtr());
820da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang
830da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang    if (ET == NULL) {
840da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang      fprintf(stderr, "Failed to export the function %s. There's at least one  "
850da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang                      "parameter whose type is not supported by the "
860da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang                      "reflection", F->getName().c_str());
879ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao      delete F;
889ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao      return NULL;
89462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao    }
900da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang
910da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang    assert((ET->getClass() == RSExportType::ExportClassRecord) &&
920da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang           "Parameter packet must be a record");
930da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang
940da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang    F->mParamPacketType = static_cast<RSExportRecordType *>(ET);
959ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao  }
96462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao
979ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao  return F;
98462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao}
99462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao
1000da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Changbool
1010da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr ChangRSExportFunc::checkParameterPacketType(const llvm::StructType *ParamTy) const {
1020da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang  if (ParamTy == NULL)
1030da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang    return !hasParam();
1040da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang  else if (!hasParam())
1050da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang    return false;
106462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao
1070da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang  assert(mParamPacketType != NULL);
1089ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao
1090da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang  const RSExportRecordType *ERT = mParamPacketType;
1100da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang  // must have same number of elements
1110da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang  if (ERT->getFields().size() != ParamTy->getNumElements())
1120da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang    return false;
1139ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao
1140da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang  const llvm::StructLayout *ParamTySL =
115641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang      getRSContext()->getTargetData()->getStructLayout(ParamTy);
1169ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao
1170da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang  unsigned Index = 0;
1180da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang  for (RSExportRecordType::const_field_iterator FI = ERT->fields_begin(),
1190da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang       FE = ERT->fields_end(); FI != FE; FI++, Index++) {
1200da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang    const RSExportRecordType::Field *F = *FI;
1219ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao
1220da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang    const llvm::Type *T1 = F->getType()->getLLVMType();
1230da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang    const llvm::Type *T2 = ParamTy->getTypeAtIndex(Index);
1240da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang
1250da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang    // Fast check
1260da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang    if (T1 == T2)
1270da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang      continue;
128462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao
1290da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang    // Check offset
1300da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang    size_t T1Offset = F->getOffsetInParent();
1310da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang    size_t T2Offset = ParamTySL->getElementOffset(Index);
132462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao
1330da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang    if (T1Offset != T2Offset)
1340da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang      return false;
1350da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang
1360da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang    // Check size
1370da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang    size_t T1Size = RSExportType::GetTypeAllocSize(F->getType());
138641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang    size_t T2Size = getRSContext()->getTargetData()->getTypeAllocSize(T2);
1390da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang
1400da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang    if (T1Size != T2Size)
1410da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang      return false;
1420da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang  }
1431f0d88fbff28e4e2dd563d93c8fe0047381c09ccShih-wei Liao
1440da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang  return true;
145462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao}
146