505   #define PetscSparseDenseMinusDot(sum, r, xv, xi, nnz) \  argument
507       if (nnz > 0) { \
508         PetscInt nnz2 = nnz, rem = nnz & 0x3; \
524         xv -= nnz; \
525         xi -= nnz; \
530   #define PetscSparseDenseMinusDot(sum, r, xv, xi, nnz) \  argument
533       for (__i = 0; __i < nnz - 1; __i += 2) { \
538       if (nnz & 0x1) sum -= xv[__i] * r[xi[__i]]; \
542   #define PetscSparseDenseMinusDot(sum, r, xv, xi, nnz) \  argument
545       for (__i = 0; __i < nnz; __i++) sum -= xv[__i] * r[xi[__i]]; \
571   #define PetscSparseDensePlusDot(sum, r, xv, xi, nnz) \  argument
573       if (nnz > 0) { \
574         PetscInt nnz2 = nnz, rem = nnz & 0x3; \
590         xv -= nnz; \
591         xi -= nnz; \
596   #define PetscSparseDensePlusDot(sum, r, xv, xi, nnz) \  argument
599       for (__i = 0; __i < nnz - 1; __i += 2) { \
604       if (nnz & 0x1) sum += xv[__i] * r[xi[__i]]; \
608 …PetscSparseDensePlusDot(sum, r, xv, xi, nnz) PetscSparseDensePlusDot_AVX512_Private(&(sum), (r), (…  argument
611   #define PetscSparseDensePlusDot(sum, r, xv, xi, nnz) \  argument
614       for (__i = 0; __i < nnz; __i++) sum += xv[__i] * r[xi[__i]]; \
671 #define PetscSparseDenseMaxDot(max, r, xv, xi, nnz) \  argument
673 …for (PetscInt __i = 0; __i < (nnz); __i++) max = PetscMax(PetscRealPart(max), PetscRealPart((xv)[_…