xref: /freebsd-src/contrib/llvm-project/clang/lib/AST/Interp/Disasm.cpp (revision bdd1243df58e60e85101c09001d9812a789b6bc4)
1a7dea167SDimitry Andric //===--- Disasm.cpp - Disassembler for bytecode functions -------*- C++ -*-===//
2a7dea167SDimitry Andric //
3a7dea167SDimitry Andric // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4a7dea167SDimitry Andric // See https://llvm.org/LICENSE.txt for license information.
5a7dea167SDimitry Andric // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6a7dea167SDimitry Andric //
7a7dea167SDimitry Andric //===----------------------------------------------------------------------===//
8a7dea167SDimitry Andric //
9a7dea167SDimitry Andric // Dump method for Function which disassembles the bytecode.
10a7dea167SDimitry Andric //
11a7dea167SDimitry Andric //===----------------------------------------------------------------------===//
12a7dea167SDimitry Andric 
13a7dea167SDimitry Andric #include "Function.h"
14a7dea167SDimitry Andric #include "Opcode.h"
15a7dea167SDimitry Andric #include "PrimType.h"
16a7dea167SDimitry Andric #include "Program.h"
17a7dea167SDimitry Andric #include "clang/AST/DeclCXX.h"
18a7dea167SDimitry Andric #include "llvm/Support/Compiler.h"
195ffd83dbSDimitry Andric #include "llvm/Support/Format.h"
20a7dea167SDimitry Andric 
21a7dea167SDimitry Andric using namespace clang;
22a7dea167SDimitry Andric using namespace clang::interp;
23a7dea167SDimitry Andric 
24*bdd1243dSDimitry Andric template <typename T> inline T ReadArg(Program &P, CodePtr &OpPC) {
25*bdd1243dSDimitry Andric   if constexpr (std::is_pointer_v<T>) {
26349cc55cSDimitry Andric     uint32_t ID = OpPC.read<uint32_t>();
27349cc55cSDimitry Andric     return reinterpret_cast<T>(P.getNativePointer(ID));
28*bdd1243dSDimitry Andric   } else {
29*bdd1243dSDimitry Andric     return OpPC.read<T>();
30*bdd1243dSDimitry Andric   }
31349cc55cSDimitry Andric }
32349cc55cSDimitry Andric 
33a7dea167SDimitry Andric LLVM_DUMP_METHOD void Function::dump() const { dump(llvm::errs()); }
34a7dea167SDimitry Andric 
35a7dea167SDimitry Andric LLVM_DUMP_METHOD void Function::dump(llvm::raw_ostream &OS) const {
36a7dea167SDimitry Andric   if (F) {
37a7dea167SDimitry Andric     if (auto *Cons = dyn_cast<CXXConstructorDecl>(F)) {
38e8d8bef9SDimitry Andric       DeclarationName Name = Cons->getParent()->getDeclName();
39*bdd1243dSDimitry Andric       OS << Name << "::" << Name;
40a7dea167SDimitry Andric     } else {
41*bdd1243dSDimitry Andric       OS << F->getDeclName();
42a7dea167SDimitry Andric     }
43*bdd1243dSDimitry Andric     OS << " " << (const void*)this << ":\n";
44a7dea167SDimitry Andric   } else {
45a7dea167SDimitry Andric     OS << "<<expr>>\n";
46a7dea167SDimitry Andric   }
47a7dea167SDimitry Andric 
48a7dea167SDimitry Andric   OS << "frame size: " << getFrameSize() << "\n";
49a7dea167SDimitry Andric   OS << "arg size:   " << getArgSize() << "\n";
50a7dea167SDimitry Andric   OS << "rvo:        " << hasRVO() << "\n";
51*bdd1243dSDimitry Andric   OS << "this arg:   " << hasThisPointer() << "\n";
52a7dea167SDimitry Andric 
53a7dea167SDimitry Andric   auto PrintName = [&OS](const char *Name) {
54a7dea167SDimitry Andric     OS << Name;
55a7dea167SDimitry Andric     for (long I = 0, N = strlen(Name); I < 30 - N; ++I) {
56a7dea167SDimitry Andric       OS << ' ';
57a7dea167SDimitry Andric     }
58a7dea167SDimitry Andric   };
59a7dea167SDimitry Andric 
60a7dea167SDimitry Andric   for (CodePtr Start = getCodeBegin(), PC = Start; PC != getCodeEnd();) {
61a7dea167SDimitry Andric     size_t Addr = PC - Start;
62a7dea167SDimitry Andric     auto Op = PC.read<Opcode>();
63a7dea167SDimitry Andric     OS << llvm::format("%8d", Addr) << " ";
64a7dea167SDimitry Andric     switch (Op) {
65a7dea167SDimitry Andric #define GET_DISASM
66a7dea167SDimitry Andric #include "Opcodes.inc"
67a7dea167SDimitry Andric #undef GET_DISASM
68a7dea167SDimitry Andric     }
69a7dea167SDimitry Andric   }
70a7dea167SDimitry Andric }
71a7dea167SDimitry Andric 
72a7dea167SDimitry Andric LLVM_DUMP_METHOD void Program::dump() const { dump(llvm::errs()); }
73a7dea167SDimitry Andric 
74a7dea167SDimitry Andric LLVM_DUMP_METHOD void Program::dump(llvm::raw_ostream &OS) const {
75*bdd1243dSDimitry Andric   OS << ":: Program\n";
76*bdd1243dSDimitry Andric   OS << "Global Variables: " << Globals.size() << "\n";
77*bdd1243dSDimitry Andric   OS << "Functions: " << Funcs.size() << "\n";
78*bdd1243dSDimitry Andric   OS << "\n";
79a7dea167SDimitry Andric   for (auto &Func : Funcs) {
80a7dea167SDimitry Andric     Func.second->dump();
81a7dea167SDimitry Andric   }
82a7dea167SDimitry Andric   for (auto &Anon : AnonFuncs) {
83a7dea167SDimitry Andric     Anon->dump();
84a7dea167SDimitry Andric   }
85a7dea167SDimitry Andric }
86