如何使用Tablegen打印Defs寄存器

Question

我有以下比较指示：

def CMPrr  : Txx32<(outs), (DataRegs:$lhs, DataRegs:$rhs),
                   "cmp $lhs, $rhs",
                   []> {
    bits<4> lhs;
    bits<4> rhs;
    let Defs = [D9];

}

指令打印机发出以下输出：

cmp d0, d5

我还想打印Defs寄存器以及此发射。所以输出应该是：

cmp d9, d0, d5

有没有办法在asm字符串中打印Defs寄存器？一种方法可能是简单地在asm字符串中写入d9。有没有其他方法可以执行此操作。