"requires non negative explicit paddings");
  }

  ArrayRef<Attribute> strides = op.getStrides().getValue();
  ArrayRef<Attribute> dilations = op.getDilations().getValue();
  if (failed(
          VerifyConvOpAttributes(num_dims, strides, dilations, op.getLoc()))) {
    return failure();
  }

  int64_t input_channels = ShapedType::kDynamic;