Polygeist要求您指定要使用--function=<string>降低的C函数。如果未指定，MLIR模块将使用空主体生成。
要降低输入代码中每个函数的值，请使用--function=*：

$ cgeist aes.c --function=* -S -o aes.scf.mlir

此时，您已经使用定制打印机转储了一个MLIR代码。您可以通过将上面的输出传递给polygeist-opt来获得通用的MLIR格式：

cgeist aes.c --function=* -S -o aes.scf.mlir | polygeist-opt --mlir-print-op-generic

示例

假设我们有输入文件sum.c：

int sum(int a, int b) {
    return a + b;
}

运行cgeist sum.c --function=sum -S，我们得到：

module attributes {llvm.data_layout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-f80:128-n8:16:32:64-S128", llvm.target_triple = "x86_64-unknown-linux-gnu"}  {
  func @sum(%arg0: i32, %arg1: i32) -> i32 attributes {llvm.linkage = #llvm.linkage<external>} {
    %0 = arith.addi %arg0, %arg1 : i32
    return %0 : i32
  }
}

运行cgeist sum.c --function=sum -S | polygeist-opt --mlir-print-op-generic，我们得到：

"builtin.module"() ( {
  "builtin.func"() ( {
  ^bb0(%arg0: i32, %arg1: i32):  // no predecessors
    %0 = "arith.addi"(%arg0, %arg1) : (i32, i32) -> i32
    "std.return"(%0) : (i32) -> ()
  }) {llvm.linkage = #llvm.linkage<external>, sym_name = "sum", type = (i32, i32) -> i32} : () -> ()
}) {llvm.data_layout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-f80:128-n8:16:32:64-S128", llvm.target_triple = "x86_64-unknown-linux-gnu"} : () -> ()