if (!value.name.empty())
        verify_ctx.addSubst(value.name, formatv("op->getResult({0})", i));
    }
    GenOperandResultVerifier(os, def->getValueAsDag("arguments")->getArgs(),
                             "operand");
    GenOperandResultVerifier(os, def->getValueAsDag("results")->getArgs(),
                             "result");

    for (auto &trait : op.getTraits()) {

  for (const auto *def : defs) {
    Operator op(def);
    if (!op.getTrait("::mlir::OpTrait::quant::QuantizableResult")) continue;

    llvm::DagInit *args_in_dag = def->getValueAsDag("arguments");
    // Assumes argument name is "input" for input activations. Otherwise, assume
    // the first argument is the input activation.
    int input_idx = 0;