// to be compatible.
template <typename Ty>
static LogicalResult flipComatibleShapeError(Ty op, PatternRewriter& rewriter) {
  if (op.getIncompatibleShapeError()) {
    return rewriter.notifyMatchFailure(op, "the attribute is already true");
  }

  // incompatible_shape_error=false implies that the op will either return a
  // valid result or a scalar boolean indicating the error. For unranked outputs

    auto tf_roll_op = cast<RollOp>(op);

    auto input_ty =
        mlir::dyn_cast<RankedTensorType>(tf_roll_op.getInput().getType());
    if (!input_ty || !input_ty.hasStaticShape()) {
      return rewriter.notifyMatchFailure(
          op, "require the type of input to have static shapes");
    }

    DenseIntElementsAttr shift_attr;
    Value shift = tf_roll_op.getShift();
    auto shift_ranked_attr_type =