如何获取语法树节点中嵌套的信息

[SundayDream00]

助教好，想询问一些关于获取语法树节点中信息的问题，如下：

1. 如对于基本的变量赋值语句a=10;，语法树相关节点如下：

id: '0xd77fd8'
      kind: BinaryOperator
      range:
        begin:
          offset: 231
          line: 11
          presumedLine: 4
          col: 5
          tokLen: 1
        end:
          offset: 233
          col: 7
          tokLen: 2
      type:
        qualType: int
      valueCategory: rvalue
      opcode: "="
      inner:
      - id: '0xd77f98'
        kind: DeclRefExpr
        range:
          begin:
            offset: 231
            col: 5
            tokLen: 1
          end:
            offset: 231
            col: 5
            tokLen: 1
        type:
          qualType: int
        valueCategory: lvalue
        referencedDecl:
          id: '0xd77d50'
          kind: VarDecl
          name: a
          type:
            qualType: int
      - id: '0xd77fb8'
        kind: IntegerLiteral
        range:
          begin:
            offset: 233
            col: 7
            tokLen: 2
          end:
            offset: 233
            col: 7
            tokLen: 2
        type:
          qualType: int
        valueCategory: rvalue
        value: '10'

为了获取a_ptr，需要得到DeclRefExpr节点 referencedDecl里的name信息获取变量名，请问这个信息需要用什么API得到呢？或者说是否有其他的简便方法直接得到a_ptr呢？

2. 对于数组定义，如语句int a[10][10];，语法树中相关节点如下：

    {
      "id": "0x1281e48",
      "kind": "VarDecl",
      "loc": {
        "offset": 209,
        "file": "<stdin>",
        "line": 8,
        "presumedFile": "tester/function_test2020/00_arr_defn2.sysu.c",
        "presumedLine": 1,
        "col": 5,
        "tokLen": 1
      },
      "range": {
        "begin": {
          "offset": 205,
          "col": 1,
          "tokLen": 3
        },
        "end": {
          "offset": 217,
          "col": 13,
          "tokLen": 1
        }
      },
      "name": "a",
      "mangledName": "a",
      "type": {
        "qualType": "int [10][10]"
      }
    }

a. 请问该如何获取type->qualType中的数组大小信息呢？
b. 另外，对于语雀中提供的范例数组生成语句

llvm::Value* idx = llvm::ConstantInt::get(TheContext, llvm::APInt(32, size));
Builder.CreateInBoundsGEP(arr, {llvm::ConstantInt::get(TheContext, llvm::APInt(32, 0)), idx});

其中对于多维数组，如此程序中直接将size传为100，得到如下所示的中间代码1，是正确的吗？

// 中间代码1
%a = alloca [100 x i32], align 4

// 标准代码
%a = alloca [10 x [10 x i32]], align 16

[paprika0741]

可以把DeclRefExpr结点里面referencedDecl 用getObject("referencedDecl")获得，再referencedDecl-> getString("name")->str();取出referencedDecl中的name，qualType同理

[lyh1028]

可以把DeclRefExpr结点里面referencedDecl 用getObject("referencedDecl")获得，再referencedDecl-> getString("name")->str();取出referencedDecl中的name，qualType同理

那请问对于qualType获取为string形式之后如何处理转为int呢？开始想用相关函数转为int，但是字符串整体里同时包含int和未知位数的数字

单纯获取int的话直接.spilt(' ').first就行

[Yorkking]

好的，那请问上面提问中的 2.b 部分可以这样处理吗？

理论上可以这样处理，不过你这样强行把多维数组转成一维数组来做，可能会引入额外的麻烦。比如二维及以上的数组下标索引计算，需要每次都进行一次下标的转换，感觉过于麻烦。

[SundayDream00]

好的，那请问上面提问中的 2.b 部分可以这样处理吗？

理论上可以这样处理，不过你这样强行把多维数组转成一维数组来做，可能会引入额外的麻烦。比如二维及以上的数组下标索引计算，需要每次都进行一次下标的转换，感觉过于麻烦。

请问是用什么其他方式声明多维数组呢

[Yorkking]

好的，那请问上面提问中的 2.b 部分可以这样处理吗？

理论上可以这样处理，不过你这样强行把多维数组转成一维数组来做，可能会引入额外的麻烦。比如二维及以上的数组下标索引计算，需要每次都进行一次下标的转换，感觉过于麻烦。

请问是用什么其他方式声明多维数组呢

使用 llvm::ArrayType::get(arrayType, arr_size), 这是可以嵌套的，比如生成 int [10][2] 类型：那么先生成 int [2] 类型，即 auto arrType = llvm::ArrayType::get(llvm::Type::getInt32Ty(), 2)，然后再生成 int [10][2]，即 arrType = llvm::ArrayType::get(arrType , 10)

[Yorkking]

好的，那请问上面提问中的 2.b 部分可以这样处理吗？

理论上可以这样处理，不过你这样强行把多维数组转成一维数组来做，可能会引入额外的麻烦。比如二维及以上的数组下标索引计算，需要每次都进行一次下标的转换，感觉过于麻烦。

请问是用什么其他方式声明多维数组呢

使用 llvm::ArrayType::get(arrayType, arr_size), 这是可以嵌套的，比如生成 int [10][2] 类型：那么先生成 int [2] 类型，即 auto arrType = llvm::ArrayType::get(llvm::Type::getInt32Ty(), 2)，然后再生成 int [10][2]，即 arrType = llvm::ArrayType::get(arrType , 10).