CIRCT——打印相关拓展

发表于 更新于

主线任务

目前FIRRTL中打印相关的操作会被直接降级到SV Dialect。为了避免非SV后端被迫解析SV后端特有的语义，需要将FIRRTL中打印相关的操作降级到Sim Dialect，在SimToSV的阶段再将Sim Dialect中打印的操作降级为SV，保持FIRRTL -> SV端到端行为不变。

Pending PR

  • [FIRRTLToHW] Lower FIRRTL prints to Sim
  • [Sim] Add cascade erase for print/proc.print format/get_file producer chains
  • [SimToSV] support lowering stdout/stderr
  • [LowerToHW] Extract the logic related to file descriptor acquisition as a common utility function

Merged PR

  • [Sim] Add output-stream support and introduce sim.get_file

  • [SV][ExportVerilog] Add sv.write for no-stream writes

  • [ExportVerilog] Migrate the tests for sv.fwrite and sv.write to sv-dialect.mlir

  • [Sim] Add builtin stdout/stderr stream ops

  • [Sim] Implement the lowering logic from sim.proc.print to the SV dialect ## Closed PR

  • [FIRRTLToHW] Lower FIRRTL prints to Sim and migrate SV lowering logic to SimToSV

    • 过于重型，review压力太大，搁置。

  • [Sim][SimToSV] Supplementing the infrastructure for Sim dialects

    • 过于重型，review压力太大，搁置。

任务清单

  • 引入表示输出流的sim类型（#10163） ✅️
  • 引入表达打开文件的sim操作（#10163）✅️
  • 引入表达stdout和stderr的sim操作（#10206) ✅️
  • 为没有显式指定流的打印操作引入表达$write的sv操作（#10179）✅️
    • 维护者指出最好把测试集中在一个文件里面（#10205）✅️
  • 实现sim.proc.print的降级逻辑（#10172） ✅️
    • 为了删除sim.proc.print被删除后不再被引用的sim.fmt.*/sim.get_file，需要跑一次DCE，但是这些不再被引用的死操作不一定在同一个region中，而mlir::runRegionDCE是一个region-local的操作，导致目前的实现需要向上查找顶层过程块。引入一个工具函数，用于级联删除sim.print和sim.proc.print被删除后不再被引用的sim.fmt.*/sim.get_file。(#10204)
  • 实现sim.stdout_stream/sim.stderr_stream的降级逻辑（#10283）
  • 实现sim.get_file的降级逻辑
    • 抽离FIRRTLToHW中目前生成CIRCT内部日志库的逻辑作为公共Utils，以便后续复用（#10288）
  • 为sim.print和sim.proc.print等带副作用的语句建模顺序语义
    • 添加一个token参数，利用token构建数据依赖？