关于generator实验函数体返回值问题

[SundayDream00]

助教好，对于模板中函数IR生成部分的返回语句有一些问题想问，模板代码是这样的：

if (auto RetVal = llvm::ConstantInt::get(
          TheContext, /* i32 3(decimal) */ llvm::APInt(32, "3", 10))) {
    // Finish off the function.
    Builder.CreateRet(RetVal);

问题如下：

1. 代码中的数字“3”是否因为范例测试程序原语句为return 3;，则此处直接指定获取int值为3？
2. 若1中的理解是正确的，是否意思是CreateRet语句需要的参数就是return语句返回的表达式的值呢？如：return a;，则RetVal就取 a 的值？
3. 如果想获取普适性的函数返回值，参考了万花筒和 mukulrathi 教程，是需要得到最后一个表达式的Value，本想设置buildReturnStmt进行处理，获取子节点值，但是教程程序中好像并没有return相关的expr处理，是不是我的理解有问题呢？这个返回值应该怎样获取呢？

[Yorkking]

1，2 理解正确。问题 3 的意思我没有理解😐，你想问表达式的 Value 如何生成吗？

[SundayDream00]

直接 Builder.CreateRet(v) 就行了。

在return exp;部分我本想采用针对不同类型的exp，如数字、id、计算表达式等，来单独构建不同的llvm::Value函数进行处理，然后在Funcbuild部分直接使用返回值进行CreateRet(Val)，但是有个问题是这样的话是否就不能使用BB->getValueSymbolTable()获取符号表了呢？因为该块是在func部分被定义的，BB不是全局变量，请问那应该怎么处理呢？
另外对于Int节点，如果想获取该Object的Value值转换为APInt应该采用什么库函数呢？我原本构想的实现如下：

llvm::Value *IntegerExpr (const llvm::json::Object *O) {
  auto value = O->get("value")->getAsInteger();
  return llvm::ConstantInt::get(TheContext,llvm::APInt(value));
}

但是这样会报错error: no matching conversion for functional-style cast from 'llvm::Optional<long>' to 'llvm::APInt' return llvm::ConstantInt::get(TheContext,llvm::APInt(value));

[Yorkking]

Q: 但是有个问题是这样的话是否就不能使用BB->getValueSymbolTable()获取符号表了呢？因为该块是在func部分被定义的，BB不是全局变量，请问那应该怎么处理呢？

A: 那就设成全局变量，或者把这个变量传入到你单独构建的函数里面；

Q: 另外对于Int节点，如果想获取该Object的Value值转换为APInt应该采用什么库函数呢？

A: 从你报错来看，我猜应该这样：return llvm::ConstantInt::get(TheContext,llvm::APInt(*value));

[SundayDream00]

Q: 但是有个问题是这样的话是否就不能使用BB->getValueSymbolTable()获取符号表了呢？因为该块是在func部分被定义的，BB不是全局变量，请问那应该怎么处理呢？

A: 那就设成全局变量，或者把这个变量传入到你单独构建的函数里面；

Q: 另外对于Int节点，如果想获取该Object的Value值转换为APInt应该采用什么库函数呢？

A: 从你报错来看，我猜应该这样：return llvm::ConstantInt::get(TheContext,llvm::APInt(*value));

收到，这个Value转换部分通过另一种方式解决了。

但是关于处理identifier的独立函数中这部分程序：

auto symbolTable = BB->getValueSymbolTable();
auto valPointer = symbolTable->lookup(varName);
auto v = Builder.CreateLoad(valPointer);

我将Basic block *BB传入了该函数，会出现如下报错：

error: member access into incomplete type 'llvm::ValueSymbolTable'
  auto valPointer = symbolTable->lookup(id); 
/usr/lib/llvm-11/include/llvm/IR/SymbolTableListTraits.h:41:7: note: forward declaration of 'llvm::ValueSymbolTable'
class ValueSymbolTable;

已经在头文件中包含了BasicBlock.h和SymbolTableListTraits.h，请问是遗漏了什么定义或文件，或者什么其他问题导致该报错呢？

[Yorkking]

这样：#include <llvm/IR/ValueSymbolTable.h> 试试？

[SundayDream00]

这样：#include <llvm/IR/ValueSymbolTable.h> 试试？

原来是这个文件，感谢!