1076ba34aSJunchao Zhang static char help[] = "Test Mat products \n\n"; 2076ba34aSJunchao Zhang 3076ba34aSJunchao Zhang #include <petscmat.h> 4076ba34aSJunchao Zhang int main(int argc,char **args) 5076ba34aSJunchao Zhang { 6076ba34aSJunchao Zhang Mat A = NULL,B=NULL,C=NULL,D=NULL,E=NULL; 7076ba34aSJunchao Zhang PetscInt k; 8076ba34aSJunchao Zhang const PetscInt M = 18,N = 18; 9076ba34aSJunchao Zhang PetscMPIInt rank; 10076ba34aSJunchao Zhang 11076ba34aSJunchao Zhang /* A, B are 18 x 18 nonsymmetric matrices and have the same sparsity pattern but different values. 12076ba34aSJunchao Zhang Big enough to have complex communication patterns but still small enough for debugging. 13076ba34aSJunchao Zhang */ 14076ba34aSJunchao Zhang PetscInt Ai[] = {0, 0, 1, 1, 2, 2, 3, 3, 4, 4, 5, 5, 5, 6, 6, 7, 7, 8, 8, 9, 9, 10, 10, 11, 11, 12, 12, 13, 13, 13, 14, 14, 15, 15, 16, 16, 17, 17}; 15076ba34aSJunchao Zhang PetscInt Aj[] = {0, 1, 2, 7, 3, 8, 4, 9, 5, 8, 2, 6, 11, 0, 7, 1, 6, 2, 4, 10, 16, 11, 15, 12, 17, 12, 13, 14, 15, 17, 11, 13, 3, 16, 9, 15, 11, 13}; 16076ba34aSJunchao Zhang PetscInt Bi[] = {0, 0, 1, 1, 2, 2, 3, 3, 4, 4, 5, 5, 5, 6, 6, 7, 7, 8, 8, 9, 9, 10, 10, 11, 11, 12, 12, 13, 13, 13, 14, 14, 15, 15, 16, 16, 17, 17}; 17076ba34aSJunchao Zhang PetscInt Bj[] = {0, 1, 2, 7, 3, 8, 4, 9, 5, 8, 2, 6, 11, 0, 7, 1, 6, 2, 4, 10, 16, 11, 15, 12, 17, 12, 13, 14, 15, 17, 11, 13, 3, 16, 9, 15, 11, 13}; 18076ba34aSJunchao Zhang 19*dd39110bSPierre Jolivet PetscInt Annz = PETSC_STATIC_ARRAY_LENGTH(Ai); 20*dd39110bSPierre Jolivet PetscInt Bnnz = PETSC_STATIC_ARRAY_LENGTH(Bi); 21076ba34aSJunchao Zhang 229566063dSJacob Faibussowitsch PetscCall(PetscInitialize(&argc,&args,(char*)0,help)); 239566063dSJacob Faibussowitsch PetscCallMPI(MPI_Comm_rank(PETSC_COMM_WORLD,&rank)); 24076ba34aSJunchao Zhang 259566063dSJacob Faibussowitsch PetscCall(MatCreate(PETSC_COMM_WORLD,&A)); 269566063dSJacob Faibussowitsch PetscCall(MatSetSizes(A,PETSC_DECIDE,PETSC_DECIDE,M,N)); 279566063dSJacob Faibussowitsch PetscCall(MatSetFromOptions(A)); 289566063dSJacob Faibussowitsch PetscCall(MatSeqAIJSetPreallocation(A,2,NULL)); 299566063dSJacob Faibussowitsch PetscCall(MatMPIAIJSetPreallocation(A,2,NULL,2,NULL)); 309566063dSJacob Faibussowitsch PetscCall(MatSetOption(A,MAT_NEW_NONZERO_ALLOCATION_ERR,PETSC_FALSE)); 31076ba34aSJunchao Zhang 32076ba34aSJunchao Zhang if (rank == 0) { 339566063dSJacob Faibussowitsch for (k=0; k<Annz; k++) PetscCall(MatSetValue(A,Ai[k],Aj[k],Ai[k]+Aj[k]+1.0,INSERT_VALUES)); 34076ba34aSJunchao Zhang } 35076ba34aSJunchao Zhang 369566063dSJacob Faibussowitsch PetscCall(MatAssemblyBegin(A,MAT_FINAL_ASSEMBLY)); 379566063dSJacob Faibussowitsch PetscCall(MatAssemblyEnd(A,MAT_FINAL_ASSEMBLY)); 38076ba34aSJunchao Zhang 399566063dSJacob Faibussowitsch PetscCall(MatCreate(PETSC_COMM_WORLD,&B)); 409566063dSJacob Faibussowitsch PetscCall(MatSetSizes(B,PETSC_DECIDE,PETSC_DECIDE,M,N)); 419566063dSJacob Faibussowitsch PetscCall(MatSetFromOptions(B)); 429566063dSJacob Faibussowitsch PetscCall(MatSeqAIJSetPreallocation(B,2,NULL)); 439566063dSJacob Faibussowitsch PetscCall(MatMPIAIJSetPreallocation(B,2,NULL,2,NULL)); 449566063dSJacob Faibussowitsch PetscCall(MatSetOption(B,MAT_NEW_NONZERO_ALLOCATION_ERR,PETSC_FALSE)); 45076ba34aSJunchao Zhang 46076ba34aSJunchao Zhang if (rank == 0) { 479566063dSJacob Faibussowitsch for (k=0; k<Bnnz; k++) PetscCall(MatSetValue(B,Bi[k],Bj[k],Bi[k]+Bj[k]+2.0,INSERT_VALUES)); 48076ba34aSJunchao Zhang } 499566063dSJacob Faibussowitsch PetscCall(MatAssemblyBegin(B,MAT_FINAL_ASSEMBLY)); 509566063dSJacob Faibussowitsch PetscCall(MatAssemblyEnd(B,MAT_FINAL_ASSEMBLY)); 51076ba34aSJunchao Zhang 529566063dSJacob Faibussowitsch PetscCall(MatMatMult(A,B,MAT_INITIAL_MATRIX,PETSC_DEFAULT,&C)); 539566063dSJacob Faibussowitsch PetscCall(MatView(C,PETSC_VIEWER_STDOUT_WORLD)); 54076ba34aSJunchao Zhang 55076ba34aSJunchao Zhang /* B, A have the same nonzero pattern, so it is legitimate to do so */ 569566063dSJacob Faibussowitsch PetscCall(MatMatMult(B,A,MAT_REUSE_MATRIX,PETSC_DEFAULT,&C)); 579566063dSJacob Faibussowitsch PetscCall(MatView(C,PETSC_VIEWER_STDOUT_WORLD)); 58076ba34aSJunchao Zhang 599566063dSJacob Faibussowitsch PetscCall(MatTransposeMatMult(A,B,MAT_INITIAL_MATRIX,PETSC_DEFAULT,&D)); 609566063dSJacob Faibussowitsch PetscCall(MatView(D, PETSC_VIEWER_STDOUT_WORLD)); 61076ba34aSJunchao Zhang 629566063dSJacob Faibussowitsch PetscCall(MatPtAP(A,B,MAT_INITIAL_MATRIX,PETSC_DEFAULT,&E)); 639566063dSJacob Faibussowitsch PetscCall(MatView(E,PETSC_VIEWER_STDOUT_WORLD)); 64076ba34aSJunchao Zhang 659566063dSJacob Faibussowitsch PetscCall(MatDestroy(&A)); 669566063dSJacob Faibussowitsch PetscCall(MatDestroy(&B)); 679566063dSJacob Faibussowitsch PetscCall(MatDestroy(&C)); 689566063dSJacob Faibussowitsch PetscCall(MatDestroy(&D)); 699566063dSJacob Faibussowitsch PetscCall(MatDestroy(&E)); 70076ba34aSJunchao Zhang 719566063dSJacob Faibussowitsch PetscCall(PetscFinalize()); 72b122ec5aSJacob Faibussowitsch return 0; 73076ba34aSJunchao Zhang } 74076ba34aSJunchao Zhang 75076ba34aSJunchao Zhang /*TEST 76076ba34aSJunchao Zhang testset: 77076ba34aSJunchao Zhang filter: grep -ve type -ve "Mat Object" 78076ba34aSJunchao Zhang output_file: output/ex250_1.out 79076ba34aSJunchao Zhang 80076ba34aSJunchao Zhang test: 81076ba34aSJunchao Zhang suffix: 1 82076ba34aSJunchao Zhang nsize: {{1 3}} 83076ba34aSJunchao Zhang args: -mat_type aij 84076ba34aSJunchao Zhang 85076ba34aSJunchao Zhang test: 86076ba34aSJunchao Zhang suffix: 2 87076ba34aSJunchao Zhang nsize: {{3 4}} 88076ba34aSJunchao Zhang args: -mat_type aij -matmatmult_via backend -matptap_via backend -mattransposematmult_via backend 89076ba34aSJunchao Zhang 90076ba34aSJunchao Zhang test: 91076ba34aSJunchao Zhang suffix: cuda 92076ba34aSJunchao Zhang requires: cuda 93076ba34aSJunchao Zhang nsize: {{1 3 4}} 94076ba34aSJunchao Zhang args: -mat_type aijcusparse 95076ba34aSJunchao Zhang 96076ba34aSJunchao Zhang test: 97076ba34aSJunchao Zhang suffix: kok 983078479eSJunchao Zhang requires: !sycl kokkos_kernels 99076ba34aSJunchao Zhang nsize: {{1 3 4}} 100076ba34aSJunchao Zhang args: -mat_type aijkokkos 101076ba34aSJunchao Zhang 102076ba34aSJunchao Zhang TEST*/ 103