slang_rs_export_func.cpp revision e639eb5caa2c386b4a60659a4929e8a6141a2cbe
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
19e639eb5caa2c386b4a60659a4929e8a6141a2cbeStephen Hines#include <string>
200a3f20ec28ed6f5ae1ed5d61f6b6e3e577f7f5d1Shih-wei Liao
210da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang#include "clang/AST/ASTContext.h"
229ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao#include "clang/AST/Decl.h"
23462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao
24e639eb5caa2c386b4a60659a4929e8a6141a2cbeStephen Hines#include "llvm/DerivedTypes.h"
25e639eb5caa2c386b4a60659a4929e8a6141a2cbeStephen Hines#include "llvm/Target/TargetData.h"
26e639eb5caa2c386b4a60659a4929e8a6141a2cbeStephen Hines
276315f76e3cc6ff2d012d1183a0b030d4ff0dc808zonr#include "slang_rs_context.h"
286315f76e3cc6ff2d012d1183a0b030d4ff0dc808zonr
29e639eb5caa2c386b4a60659a4929e8a6141a2cbeStephen Hinesnamespace slang {
30462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao
319ef2f785e0cc490af678dfd685995dec787321ffShih-wei LiaoRSExportFunc *RSExportFunc::Create(RSContext *Context,
329ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao                                   const clang::FunctionDecl *FD) {
339ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao  llvm::StringRef Name = FD->getName();
349ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao  RSExportFunc *F;
35462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao
369ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao  assert(!Name.empty() && "Function must have a name");
37462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao
389ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao  F = new RSExportFunc(Context, Name);
39462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao
400da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang  // Initialize mParamPacketType
410da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang  if (FD->getNumParams() <= 0) {
420da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang    F->mParamPacketType = NULL;
430da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang  } else {
449e5b503349719144f63ccb7c62ee9c291a7d83b8Stephen Hines    clang::ASTContext &Ctx = Context->getASTContext();
450da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang
460da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang    std::string Id(DUMMY_RS_TYPE_NAME_PREFIX"helper_func_param:");
470da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang    Id.append(F->getName()).append(DUMMY_RS_TYPE_NAME_POSTFIX);
480da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang
490da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang    clang::RecordDecl *RD =
509e5b503349719144f63ccb7c62ee9c291a7d83b8Stephen Hines        clang::RecordDecl::Create(Ctx, clang::TTK_Struct,
519e5b503349719144f63ccb7c62ee9c291a7d83b8Stephen Hines                                  Ctx.getTranslationUnitDecl(),
520da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang                                  clang::SourceLocation(),
539e5b503349719144f63ccb7c62ee9c291a7d83b8Stephen Hines                                  &Ctx.Idents.get(Id));
540da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang
550da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang    for (unsigned i = 0; i < FD->getNumParams(); i++) {
560da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang      const clang::ParmVarDecl *PVD = FD->getParamDecl(i);
570da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang      llvm::StringRef ParamName = PVD->getName();
580da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang
590da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang      if (PVD->hasDefaultArg())
600da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang        fprintf(stderr, "Note: parameter '%s' in function '%s' has default "
610da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang                        "value which is not supported\n",
620da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang                        ParamName.str().c_str(),
630da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang                        F->getName().c_str());
640da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang
650da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang      clang::FieldDecl *FD =
669e5b503349719144f63ccb7c62ee9c291a7d83b8Stephen Hines          clang::FieldDecl::Create(Ctx,
670da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang                                   RD,
680da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang                                   clang::SourceLocation(),
690da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang                                   PVD->getIdentifier(),
700da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang                                   PVD->getOriginalType(),
710da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang                                   NULL,
720da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang                                   /* BitWidth = */NULL,
730da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang                                   /* Mutable = */false);
740da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang      RD->addDecl(FD);
750da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang    }
760da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang
770da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang    RD->completeDefinition();
780da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang
799e5b503349719144f63ccb7c62ee9c291a7d83b8Stephen Hines    clang::QualType T = Ctx.getTagDeclType(RD);
800da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang    assert(!T.isNull());
810da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang
820da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang    RSExportType *ET =
830da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang      RSExportType::Create(Context, T.getTypePtr());
840da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang
850da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang    if (ET == NULL) {
860da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang      fprintf(stderr, "Failed to export the function %s. There's at least one  "
870da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang                      "parameter whose type is not supported by the "
880da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang                      "reflection", F->getName().c_str());
899ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao      delete F;
909ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao      return NULL;
91462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao    }
920da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang
930da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang    assert((ET->getClass() == RSExportType::ExportClassRecord) &&
940da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang           "Parameter packet must be a record");
950da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang
960da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang    F->mParamPacketType = static_cast<RSExportRecordType *>(ET);
979ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao  }
98462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao
999ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao  return F;
100462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao}
101462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao
1020da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Changbool
1030da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr ChangRSExportFunc::checkParameterPacketType(const llvm::StructType *ParamTy) const {
1040da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang  if (ParamTy == NULL)
1050da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang    return !hasParam();
1060da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang  else if (!hasParam())
1070da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang    return false;
108462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao
1090da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang  assert(mParamPacketType != NULL);
1109ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao
1110da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang  const RSExportRecordType *ERT = mParamPacketType;
1120da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang  // must have same number of elements
1130da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang  if (ERT->getFields().size() != ParamTy->getNumElements())
1140da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang    return false;
1159ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao
1160da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang  const llvm::StructLayout *ParamTySL =
117641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang      getRSContext()->getTargetData()->getStructLayout(ParamTy);
1189ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao
1190da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang  unsigned Index = 0;
1200da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang  for (RSExportRecordType::const_field_iterator FI = ERT->fields_begin(),
1210da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang       FE = ERT->fields_end(); FI != FE; FI++, Index++) {
1220da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang    const RSExportRecordType::Field *F = *FI;
1239ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao
1240da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang    const llvm::Type *T1 = F->getType()->getLLVMType();
1250da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang    const llvm::Type *T2 = ParamTy->getTypeAtIndex(Index);
1260da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang
1270da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang    // Fast check
1280da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang    if (T1 == T2)
1290da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang      continue;
130462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao
1310da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang    // Check offset
1320da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang    size_t T1Offset = F->getOffsetInParent();
1330da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang    size_t T2Offset = ParamTySL->getElementOffset(Index);
134462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao
1350da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang    if (T1Offset != T2Offset)
1360da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang      return false;
1370da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang
1380da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang    // Check size
1390da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang    size_t T1Size = RSExportType::GetTypeAllocSize(F->getType());
140641558f02fe6ce0ee3ae5076eb366c25e2ad5903Zonr Chang    size_t T2Size = getRSContext()->getTargetData()->getTypeAllocSize(T2);
1410da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang
1420da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang    if (T1Size != T2Size)
1430da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang      return false;
1440da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang  }
1451f0d88fbff28e4e2dd563d93c8fe0047381c09ccShih-wei Liao
1460da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang  return true;
147462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao}
148e639eb5caa2c386b4a60659a4929e8a6141a2cbeStephen Hines
149e639eb5caa2c386b4a60659a4929e8a6141a2cbeStephen Hines}  // namespace slang
150