Пример #1
0
void print(std::ostream& os, const Block* block,
           const RegAllocInfo* regs, const AsmInfo* asmInfo,
           const GuardConstraints* guards, BCMarker* markerPtr) {
  BCMarker dummy;
  BCMarker& curMarker = markerPtr ? *markerPtr : dummy;

  TcaRange blockRange = asmInfo ? asmInfo->asmRanges[block] :
    TcaRange(nullptr, nullptr);

  os << '\n' << std::string(kIndent - 3, ' ');
  printLabel(os, block);
  os << punc(":");
  auto& preds = block->preds();
  if (!preds.empty()) {
    os << " (preds";
    for (auto const& edge : preds) {
      os << " B" << edge.from()->id();
    }
    os << ')';
  }
  os << "\n";

  if (block->empty()) {
    os << std::string(kIndent, ' ') << "empty block\n";
    return;
  }

  const char* markerEndl = "";
  for (auto it = block->begin(); it != block->end();) {
    auto& inst = *it; ++it;

    if (inst.marker() != curMarker) {
      std::ostringstream mStr;
      auto const& newMarker = inst.marker();
      if (!newMarker.hasFunc()) {
        os << color(ANSI_COLOR_BLUE)
           << std::string(kIndent, ' ')
           << "--- invalid marker"
           << color(ANSI_COLOR_END)
           << '\n';
      } else {
        auto func = newMarker.func();
        if (!curMarker.hasFunc() || func != curMarker.func()) {
          func->prettyPrint(mStr, Func::PrintOpts().noFpi());
        }
        mStr << std::string(kIndent, ' ')
             << newMarker.show()
             << '\n';

        auto bcOffset = newMarker.bcOff();
        func->unit()->prettyPrint(
          mStr, Unit::PrintOpts()
          .range(bcOffset, bcOffset+1)
          .noLineNumbers()
          .noFuncs()
          .indent(0));
        std::vector<std::string> vec;
        folly::split('\n', mStr.str(), vec);
        os << markerEndl;
        markerEndl = "\n";
        for (auto& s : vec) {
          if (s.empty()) continue;
          os << color(ANSI_COLOR_BLUE) << s << color(ANSI_COLOR_END) << '\n';
        }
      }

      curMarker = newMarker;
    }

    if (inst.op() == DefLabel) {
      // print phi pseudo-instructions
      for (unsigned i = 0, n = inst.numDsts(); i < n; ++i) {
        os << std::string(kIndent +
                          folly::format("({}) ", inst.id()).str().size(),
                          ' ');
        auto dst = inst.dst(i);
        jit::print(os, dst, dstLoc(regs, &inst, i));
        os << punc(" = ") << color(ANSI_COLOR_CYAN) << "phi "
           << color(ANSI_COLOR_END);
        bool first = true;
        inst.block()->forEachSrc(i, [&](IRInstruction* jmp, SSATmp*) {
            if (!first) os << punc(", ");
            first = false;
            printSrc(os, jmp, i, regs);
            os << punc("@");
            printLabel(os, jmp->block());
          });
        os << '\n';
      }
    }

    os << std::string(kIndent, ' ');
    jit::print(os, &inst, regs, guards);
    os << '\n';

    if (asmInfo) {
      TcaRange instRange = asmInfo->instRanges[inst];
      if (!instRange.empty()) {
        disasmRange(os, instRange.begin(), instRange.end());
        os << '\n';
        assert(instRange.end() >= blockRange.start() &&
               instRange.end() <= blockRange.end());
        blockRange = TcaRange(instRange.end(), blockRange.end());
      }
    }
  }

  if (asmInfo) {
    // print code associated with this block that isn't tied to any
    // instruction.  This includes code after the last isntruction (e.g.
    // jmp to next block), and ACold or AFrozen code.
    if (!blockRange.empty()) {
      os << std::string(kIndent, ' ') << punc("A:") << "\n";
      disasmRange(os, blockRange.start(), blockRange.end());
    }
    auto acoldRange = asmInfo->acoldRanges[block];
    if (!acoldRange.empty()) {
      os << std::string(kIndent, ' ') << punc("ACold:") << "\n";
      disasmRange(os, acoldRange.start(), acoldRange.end());
    }
    auto afrozenRange = asmInfo->afrozenRanges[block];
    if (!afrozenRange.empty()) {
      os << std::string(kIndent, ' ') << punc("AFrozen:") << "\n";
      disasmRange(os, afrozenRange.start(), afrozenRange.end());
    }
    if (!blockRange.empty() || !acoldRange.empty() || !afrozenRange.empty()) {
      os << '\n';
    }
  }

  os << std::string(kIndent - 2, ' ');
  auto next = block->empty() ? nullptr : block->next();
  if (next) {
    os << punc("-> ");
    printLabel(os, next);
    os << '\n';
  } else {
    os << "no fallthrough\n";
  }
}
Пример #2
0
void print(std::ostream& os, const Block* block, AreaIndex area,
           const AsmInfo* asmInfo, const GuardConstraints* guards,
           BCMarker* markerPtr) {
    BCMarker dummy;
    BCMarker& curMarker = markerPtr ? *markerPtr : dummy;

    TcaRange blockRange = asmInfo ? asmInfo->blockRangesForArea(area)[block]
                          : TcaRange { nullptr, nullptr };

    os << '\n' << std::string(kIndent - 3, ' ');
    printLabel(os, block);
    os << punc(":");
    auto& preds = block->preds();
    if (!preds.empty()) {
        os << " (preds";
        for (auto const& edge : preds) {
            os << " B" << edge.from()->id();
        }
        os << ')';
    }
    os << "\n";

    if (block->empty()) {
        os << std::string(kIndent, ' ') << "empty block\n";
        return;
    }

    const char* markerEndl = "";
    for (auto it = block->begin(); it != block->end();) {
        auto& inst = *it;
        ++it;

        if (inst.marker() != curMarker) {
            std::ostringstream mStr;
            auto const& newMarker = inst.marker();
            if (!newMarker.hasFunc()) {
                os << color(ANSI_COLOR_BLUE)
                   << std::string(kIndent, ' ')
                   << "--- invalid marker"
                   << color(ANSI_COLOR_END)
                   << '\n';
            } else {
                auto func = newMarker.func();
                if (!curMarker.hasFunc() || func != curMarker.func()) {
                    func->prettyPrint(mStr, Func::PrintOpts().noFpi());
                }
                mStr << std::string(kIndent, ' ')
                     << newMarker.show()
                     << '\n';

                auto bcOffset = newMarker.bcOff();
                func->unit()->prettyPrint(
                    mStr, Unit::PrintOpts()
                    .range(bcOffset, bcOffset+1)
                    .noLineNumbers()
                    .noFuncs()
                    .indent(0));
                std::vector<std::string> vec;
                folly::split('\n', mStr.str(), vec);
                os << markerEndl;
                markerEndl = "\n";
                for (auto& s : vec) {
                    if (s.empty()) continue;
                    os << color(ANSI_COLOR_BLUE) << s << color(ANSI_COLOR_END) << '\n';
                }
            }

            curMarker = newMarker;
        }

        if (inst.op() == DefLabel) {
            // print phi pseudo-instructions
            for (unsigned i = 0, n = inst.numDsts(); i < n; ++i) {
                os << std::string(kIndent +
                                  folly::format("({}) ", inst.id()).str().size(),
                                  ' ');
                auto dst = inst.dst(i);
                jit::print(os, dst);
                os << punc(" = ") << color(ANSI_COLOR_CYAN) << "phi "
                   << color(ANSI_COLOR_END);
                bool first = true;
                inst.block()->forEachSrc(i, [&](IRInstruction* jmp, SSATmp*) {
                    if (!first) os << punc(", ");
                    first = false;
                    printSrc(os, jmp, i);
                    os << punc("@");
                    printLabel(os, jmp->block());
                });
                os << '\n';
            }
        }

        os << std::string(kIndent, ' ');
        jit::print(os, &inst, guards);
        os << '\n';

        if (asmInfo) {
            // There can be asm ranges in areas other than the one this blocks claims
            // to be in so we have to iterate all the areas to be sure to get
            // everything.
            for (auto i = 0; i < kNumAreas; ++i) {
                AreaIndex currentArea = static_cast<AreaIndex>(i);
                TcaRange instRange = asmInfo->instRangesForArea(currentArea)[inst];
                if (!instRange.empty()) {
                    os << std::string(kIndent + 4, ' ') << areaAsString(currentArea);
                    os << ":\n";
                    disasmRange(os, instRange.begin(), instRange.end());
                    os << '\n';
                    if (currentArea == area) {
                        // FIXME: this used to be an assertion
                        auto things_are_ok =
                            instRange.end() >= blockRange.start() &&
                            instRange.end() <= blockRange.end();
                        if (things_are_ok) {
                            blockRange = TcaRange(instRange.end(), blockRange.end());
                        } else {
                            // Don't crash; do something broken instead.
                            os << "<note: print range is probably incorrect right now>\n";
                        }
                    }
                }
            }
        }
    }

    if (asmInfo) {
        // Print code associated with the block that isn't tied to any instruction.
        if (!blockRange.empty()) {
            os << std::string(kIndent, ' ') << punc("A:") << "\n";
            disasmRange(os, blockRange.start(), blockRange.end());
            os << '\n';
        }
    }

    os << std::string(kIndent - 2, ' ');
    auto next = block->empty() ? nullptr : block->next();
    if (next) {
        os << punc("-> ");
        printLabel(os, next);
        os << '\n';
    } else {
        os << "no fallthrough\n";
    }
}