TODO

[jpy794]

问题和可能的解决方案, 以及解决方案可能面临的问题

• 如何防止 bb 的 prebbs / sucbbs 被非法修改
  • 只允许 terminator set_prebbs / sucbbs (friend?), 用户只能通过修改 terminator 指令修改 prebbs / sucbbs; 同时给 bb 添加 optional<Instruction *> terminator 成员, 防止重复设置
    • 如果要在插入 terminator 后删除/替换这条指令该怎么办?
      • a) 不允许删除 terminator, 只允许修改
      • b) 提供专用的 terminator 删除/替换 接口
• set_operand 设为纯虚, 使用虚函数接口防止 inst 的内部状态被破坏 (类型检查, bb 的 prebbs sucbbs 等)
  • 可以在 Instruction 给出一个默认实现
• 是否要把 inst 修改 bb 成员的位置统一起来, 目前插入 ilist 在 bb 的 create_inst 而插入 pre_bbs / suc_bbs 在 inst 的构造函数

以上问题要考虑到未来的具体使用场景

翻译过程中待处理的部分

• 修改ast，提供常量初始化接口
• ast FuncDefGlobal param提供name参数
• ast中AssignStmt是否要将var_name和idxs修改为LValExpr
  这两部分在翻译过程中有相当大的代码重合

[jpy794]

• 95_float: 文法没处理 hex float 字面量 ( const float PI_HEX = 0x1.921fb6p+1 )
• 初始化问题
  • Q: 局部, 非 const 数组用 {} 初始化是否 0 填充?
  • 把编译常量初始化列表 (全局和局部 const) 填充 0
• zero-initializer 问题, 当前 initlist 填充 0 的方案在 65_ color.sy 的百万级数组行不通, 构建 ast 就需要 20s 以上, 可能需要考虑引入 zero-initializer
  • 事实上 20s 中约 80% 的时间耗费在 ast_printer, 所以编译应该不大可能超时?

[lixiaoqi-LXQ]

• ir(my job)：把BinaryInst和CmpInst拆分成int、float

[lixiaoqi-LXQ]

• ir_builder的单元测试