C++ (Cpp) assertTypeLocal示例

示例#1

文件： irgen-guards.cpp 项目： LouisRenWeiWei/hhvm

void assertTypeLocation(IRGS& env, const RegionDesc::Location& loc, Type type) {
  assertx(type <= TStkElem);
  using T = RegionDesc::Location::Tag;
  switch (loc.tag()) {
  case T::Stack:
    assertTypeStack(env, offsetFromBCSP(env, loc.offsetFromFP()), type);
    break;
  case T::Local:
    assertTypeLocal(env, loc.localId(), type);
    break;
  }
}

示例#2

文件： irgen-guards.cpp 项目： Openplaystation4/hhvm

void assertTypeLocation(IRGS& env, const Location& loc, Type type) {
  assertx(type <= TStkElem);

  switch (loc.tag()) {
    case LTag::Stack:
      assertTypeStack(env, offsetFromBCSP(env, loc.stackIdx()), type);
      break;
    case LTag::Local:
      assertTypeLocal(env, loc.localId(), type);
      break;
  }
}

示例#3

文件： irgen-types.cpp 项目： Apfelfrisch/hhvm

void emitAssertRATL(IRGS& env, int32_t loc, RepoAuthType rat) {
  if (auto const t = ratToAssertType(env, rat)) {
    assertTypeLocal(env, loc, *t);
  }
}

示例#4

文件： irgen-basic.cpp 项目： bsmr-misc-forks/hhvm

void emitPushL(HTS& env, int32_t id) {
  assertTypeLocal(env, id, Type::InitCell);  // bytecode invariant
  auto* locVal = ldLoc(env, id, makeExit(env), DataTypeGeneric);
  push(env, locVal);
  stLocRaw(env, id, fp(env), cns(env, Type::Uninit));
}