1c4762a1bSJed Brown static char help[] = "Tests PetscInt64Mult()\n"; 2c4762a1bSJed Brown 3c4762a1bSJed Brown #include <petscsys.h> 4c4762a1bSJed Brown 5d71ae5a4SJacob Faibussowitsch int main(int argc, char **argv) 6d71ae5a4SJacob Faibussowitsch { 7c4762a1bSJed Brown PetscInt a = 2009, b = 5612, result, tresult; 8c4762a1bSJed Brown PetscInt64 r64; 9c4762a1bSJed Brown 10327415f7SBarry Smith PetscFunctionBeginUser; 11*c8025a54SPierre Jolivet PetscCall(PetscInitialize(&argc, &argv, NULL, help)); 129566063dSJacob Faibussowitsch PetscCall(PetscIntMultError(a, b, &result)); 13c4762a1bSJed Brown a = PETSC_MPI_INT_MAX - 22, b = PETSC_MPI_INT_MAX / 22; 14c4762a1bSJed Brown r64 = PetscInt64Mult(a, b); 15c4762a1bSJed Brown tresult = PetscIntMultTruncate(a, b); 169566063dSJacob Faibussowitsch PetscCall(PetscIntMultError(a, b, &result)); 17d0609cedSBarry Smith PetscCall(PetscFinalize()); 18b122ec5aSJacob Faibussowitsch return 0; 19c4762a1bSJed Brown } 20