xref: /petsc/src/sys/tests/ex41.c (revision 327415f76d85372a4417cf1aaa14db707d4d6c04)
1c4762a1bSJed Brown static char help[] = "Test PETSc integer hash set.\n\n";
2c4762a1bSJed Brown 
3c4762a1bSJed Brown #include <petsc/private/hashseti.h>
4c4762a1bSJed Brown #include <petscsys.h>
5c4762a1bSJed Brown 
62c71b3e2SJacob Faibussowitsch #define PetscTestCheck(expr) PetscCheck(expr,PETSC_COMM_SELF,PETSC_ERR_LIB,"Assertion: `%s' failed.",PetscStringize(expr))
7c4762a1bSJed Brown 
8c4762a1bSJed Brown int main(int argc,char **argv)
9c4762a1bSJed Brown {
10c4762a1bSJed Brown   PetscHSetI     ht = NULL, hd;
11c4762a1bSJed Brown   PetscInt       n, off, array[4],na,nb,i,*marray,size;
12c4762a1bSJed Brown   PetscBool      has, flag;
13c4762a1bSJed Brown 
14*327415f7SBarry Smith   PetscFunctionBeginUser;
159566063dSJacob Faibussowitsch   PetscCall(PetscInitialize(&argc,&argv,NULL,help));
16c4762a1bSJed Brown 
179566063dSJacob Faibussowitsch   PetscCall(PetscHSetICreate(&ht));
182c71b3e2SJacob Faibussowitsch   PetscTestCheck(ht != NULL);
199566063dSJacob Faibussowitsch   PetscCall(PetscHSetIGetSize(ht,&n));
202c71b3e2SJacob Faibussowitsch   PetscTestCheck(n == 0);
21c4762a1bSJed Brown 
229566063dSJacob Faibussowitsch   PetscCall(PetscHSetIResize(ht,0));
239566063dSJacob Faibussowitsch   PetscCall(PetscHSetIGetSize(ht,&n));
242c71b3e2SJacob Faibussowitsch   PetscTestCheck(n == 0);
25c4762a1bSJed Brown 
269566063dSJacob Faibussowitsch   PetscCall(PetscHSetIHas(ht,42,&has));
272c71b3e2SJacob Faibussowitsch   PetscTestCheck(has == PETSC_FALSE);
28c4762a1bSJed Brown 
299566063dSJacob Faibussowitsch   PetscCall(PetscHSetIAdd(ht,42));
309566063dSJacob Faibussowitsch   PetscCall(PetscHSetIGetSize(ht,&n));
312c71b3e2SJacob Faibussowitsch   PetscTestCheck(n == 1);
329566063dSJacob Faibussowitsch   PetscCall(PetscHSetIHas(ht,42,&has));
332c71b3e2SJacob Faibussowitsch   PetscTestCheck(has == PETSC_TRUE);
34c4762a1bSJed Brown 
359566063dSJacob Faibussowitsch   PetscCall(PetscHSetIDel(ht,42));
369566063dSJacob Faibussowitsch   PetscCall(PetscHSetIGetSize(ht,&n));
372c71b3e2SJacob Faibussowitsch   PetscTestCheck(n == 0);
389566063dSJacob Faibussowitsch   PetscCall(PetscHSetIHas(ht,42,&has));
392c71b3e2SJacob Faibussowitsch   PetscTestCheck(has == PETSC_FALSE);
409566063dSJacob Faibussowitsch   PetscCall(PetscHSetIDel(ht,42));
419566063dSJacob Faibussowitsch   PetscCall(PetscHSetIDel(ht,24));
42c4762a1bSJed Brown 
439566063dSJacob Faibussowitsch   PetscCall(PetscHSetIQueryAdd(ht,123,&flag));
442c71b3e2SJacob Faibussowitsch   PetscTestCheck(flag == PETSC_TRUE);
459566063dSJacob Faibussowitsch   PetscCall(PetscHSetIQueryAdd(ht,123,&flag));
462c71b3e2SJacob Faibussowitsch   PetscTestCheck(flag == PETSC_FALSE);
479566063dSJacob Faibussowitsch   PetscCall(PetscHSetIQueryDel(ht,123,&flag));
482c71b3e2SJacob Faibussowitsch   PetscTestCheck(flag == PETSC_TRUE);
499566063dSJacob Faibussowitsch   PetscCall(PetscHSetIQueryDel(ht,123,&flag));
502c71b3e2SJacob Faibussowitsch   PetscTestCheck(flag == PETSC_FALSE);
51c4762a1bSJed Brown 
529566063dSJacob Faibussowitsch   PetscCall(PetscHSetIResize(ht,13));
539566063dSJacob Faibussowitsch   PetscCall(PetscHSetIGetSize(ht,&n));
542c71b3e2SJacob Faibussowitsch   PetscTestCheck(n == 0);
55c4762a1bSJed Brown 
569566063dSJacob Faibussowitsch   PetscCall(PetscHSetIClear(ht));
579566063dSJacob Faibussowitsch   PetscCall(PetscHSetIGetSize(ht,&n));
582c71b3e2SJacob Faibussowitsch   PetscTestCheck(n == 0);
59c4762a1bSJed Brown 
609566063dSJacob Faibussowitsch   PetscCall(PetscHSetIAdd(ht,42));
619566063dSJacob Faibussowitsch   PetscCall(PetscHSetIAdd(ht,13));
629566063dSJacob Faibussowitsch   PetscCall(PetscHSetIGetSize(ht,&n));
632c71b3e2SJacob Faibussowitsch   PetscTestCheck(n == 2);
64c4762a1bSJed Brown 
65c4762a1bSJed Brown   off = 0;
669566063dSJacob Faibussowitsch   PetscCall(PetscHSetIGetElems(ht,&off,array));
679566063dSJacob Faibussowitsch   PetscCall(PetscSortInt(off,array));
682c71b3e2SJacob Faibussowitsch   PetscTestCheck(off == 2);
692c71b3e2SJacob Faibussowitsch   PetscTestCheck(array[0] == 13);
702c71b3e2SJacob Faibussowitsch   PetscTestCheck(array[1] == 42);
719566063dSJacob Faibussowitsch   PetscCall(PetscHSetIGetElems(ht,&off,array));
729566063dSJacob Faibussowitsch   PetscCall(PetscSortInt(2,array+2));
732c71b3e2SJacob Faibussowitsch   PetscTestCheck(off == 4);
742c71b3e2SJacob Faibussowitsch   PetscTestCheck(array[0] == 13);
752c71b3e2SJacob Faibussowitsch   PetscTestCheck(array[1] == 42);
762c71b3e2SJacob Faibussowitsch   PetscTestCheck(array[0] == 13);
772c71b3e2SJacob Faibussowitsch   PetscTestCheck(array[1] == 42);
78c4762a1bSJed Brown 
79c4762a1bSJed Brown   off = 0;
809566063dSJacob Faibussowitsch   PetscCall(PetscHSetIDuplicate(ht,&hd));
819566063dSJacob Faibussowitsch   PetscCall(PetscHSetIGetElems(hd,&off,array));
829566063dSJacob Faibussowitsch   PetscCall(PetscSortInt(off,array));
832c71b3e2SJacob Faibussowitsch   PetscTestCheck(off == 2);
842c71b3e2SJacob Faibussowitsch   PetscTestCheck(array[0] == 13);
852c71b3e2SJacob Faibussowitsch   PetscTestCheck(array[1] == 42);
869566063dSJacob Faibussowitsch   PetscCall(PetscHSetIDestroy(&hd));
87c4762a1bSJed Brown 
889566063dSJacob Faibussowitsch   PetscCall(PetscHSetIAdd(ht,0));
899566063dSJacob Faibussowitsch   PetscCall(PetscHSetIGetSize(ht,&n));
902c71b3e2SJacob Faibussowitsch   PetscTestCheck(n != 0);
919566063dSJacob Faibussowitsch   PetscCall(PetscHSetIReset(ht));
929566063dSJacob Faibussowitsch   PetscCall(PetscHSetIGetSize(ht,&n));
932c71b3e2SJacob Faibussowitsch   PetscTestCheck(n == 0);
949566063dSJacob Faibussowitsch   PetscCall(PetscHSetIReset(ht));
959566063dSJacob Faibussowitsch   PetscCall(PetscHSetIGetSize(ht,&n));
962c71b3e2SJacob Faibussowitsch   PetscTestCheck(n == 0);
979566063dSJacob Faibussowitsch   PetscCall(PetscHSetIAdd(ht,0));
989566063dSJacob Faibussowitsch   PetscCall(PetscHSetIGetSize(ht,&n));
992c71b3e2SJacob Faibussowitsch   PetscTestCheck(n != 0);
100c4762a1bSJed Brown 
1019566063dSJacob Faibussowitsch   PetscCall(PetscHSetIDestroy(&ht));
1022c71b3e2SJacob Faibussowitsch   PetscTestCheck(ht == NULL);
103c4762a1bSJed Brown 
1049566063dSJacob Faibussowitsch   PetscCall(PetscHSetICreate(&ht));
1059566063dSJacob Faibussowitsch   PetscCall(PetscHSetIReset(ht));
1069566063dSJacob Faibussowitsch   PetscCall(PetscHSetIGetSize(ht,&n));
1072c71b3e2SJacob Faibussowitsch   PetscTestCheck(n == 0);
1089566063dSJacob Faibussowitsch   PetscCall(PetscHSetIDestroy(&ht));
109c4762a1bSJed Brown 
1109566063dSJacob Faibussowitsch   PetscCall(PetscHSetICreate(&ht));
1119566063dSJacob Faibussowitsch   PetscCall(PetscHSetICreate(&hd));
112c4762a1bSJed Brown   n = 10;
1139566063dSJacob Faibussowitsch   PetscCall(PetscHSetIResize(ht,n));
1149566063dSJacob Faibussowitsch   PetscCall(PetscHSetIResize(hd,n));
1159566063dSJacob Faibussowitsch   PetscCall(PetscHSetIGetCapacity(ht,&na));
1169566063dSJacob Faibussowitsch   PetscCall(PetscHSetIGetCapacity(hd,&nb));
1172c71b3e2SJacob Faibussowitsch   PetscTestCheck(na>=n);
1182c71b3e2SJacob Faibussowitsch   PetscTestCheck(nb>=n);
119c4762a1bSJed Brown   for (i=0; i<n; i++) {
1209566063dSJacob Faibussowitsch     PetscCall(PetscHSetIAdd(ht,i+1));
1219566063dSJacob Faibussowitsch     PetscCall(PetscHSetIAdd(hd,i+1+n));
122c4762a1bSJed Brown   }
1239566063dSJacob Faibussowitsch   PetscCall(PetscHSetIGetCapacity(ht,&nb));
1242c71b3e2SJacob Faibussowitsch   PetscTestCheck(nb>=na);
125c4762a1bSJed Brown   /* Merge ht and hd, and the result is in ht */
1269566063dSJacob Faibussowitsch   PetscCall(PetscHSetIUpdate(ht,hd));
1279566063dSJacob Faibussowitsch   PetscCall(PetscHSetIDestroy(&hd));
1289566063dSJacob Faibussowitsch   PetscCall(PetscHSetIGetSize(ht,&size));
1292c71b3e2SJacob Faibussowitsch   PetscTestCheck(size==(2*n));
1309566063dSJacob Faibussowitsch   PetscCall(PetscMalloc1(n*2,&marray));
131c4762a1bSJed Brown   off = 0;
1329566063dSJacob Faibussowitsch   PetscCall(PetscHSetIGetElems(ht,&off,marray));
1339566063dSJacob Faibussowitsch   PetscCall(PetscHSetIDestroy(&ht));
1342c71b3e2SJacob Faibussowitsch   PetscTestCheck(off==(2*n));
1359566063dSJacob Faibussowitsch   PetscCall(PetscSortInt(off,marray));
136c4762a1bSJed Brown   for (i=0; i<n; i++) {
1372c71b3e2SJacob Faibussowitsch     PetscTestCheck(marray[i]==(i+1));
1382c71b3e2SJacob Faibussowitsch     PetscTestCheck(marray[n+i]==(i+1+n));
139c4762a1bSJed Brown   }
1409566063dSJacob Faibussowitsch   PetscCall(PetscFree(marray));
141c4762a1bSJed Brown 
1429566063dSJacob Faibussowitsch   PetscCall(PetscFinalize());
143b122ec5aSJacob Faibussowitsch   return 0;
144c4762a1bSJed Brown }
145c4762a1bSJed Brown 
146c4762a1bSJed Brown /*TEST
147c4762a1bSJed Brown 
148c4762a1bSJed Brown    test:
149c4762a1bSJed Brown 
150c4762a1bSJed Brown TEST*/
151