xref: /petsc/src/vec/is/sf/tests/ex1.c (revision 08401ef684002a709c6d3db98a0c9f54a8bcf1ec)
1c4762a1bSJed Brown static const char help[] = "Test star forest communication (PetscSF)\n\n";
2c4762a1bSJed Brown 
3c4762a1bSJed Brown /*T
4c4762a1bSJed Brown     Description: This example creates empty star forests to test the API.
5c4762a1bSJed Brown T*/
6c4762a1bSJed Brown 
7c4762a1bSJed Brown #include <petscsf.h>
8c4762a1bSJed Brown #include <petsc/private/sfimpl.h>
9c4762a1bSJed Brown 
10c4762a1bSJed Brown static PetscErrorCode CheckGraphNotSet(PetscSF sf)
11c4762a1bSJed Brown {
12c4762a1bSJed Brown   PetscInt          nroots,nleaves;
13c4762a1bSJed Brown   const PetscInt    *ilocal;
14c4762a1bSJed Brown   const PetscSFNode *iremote;
15c4762a1bSJed Brown 
16c4762a1bSJed Brown   PetscFunctionBegin;
1728b400f6SJacob Faibussowitsch   PetscCheck(!sf->graphset,PETSC_COMM_SELF,PETSC_ERR_PLIB,"SF graph is set");
189566063dSJacob Faibussowitsch   PetscCall(PetscSFGetGraph(sf,&nroots,&nleaves,&ilocal,&iremote));
19*08401ef6SPierre Jolivet   PetscCheck(nroots  < 0,PETSC_COMM_SELF,PETSC_ERR_PLIB,"SF graph is set");
20*08401ef6SPierre Jolivet   PetscCheck(nleaves < 0,PETSC_COMM_SELF,PETSC_ERR_PLIB,"SF graph is set");
2128b400f6SJacob Faibussowitsch   PetscCheck(!ilocal,PETSC_COMM_SELF,PETSC_ERR_PLIB,"SF graph is set");
2228b400f6SJacob Faibussowitsch   PetscCheck(!iremote,PETSC_COMM_SELF,PETSC_ERR_PLIB,"SF graph is set");
23*08401ef6SPierre Jolivet   PetscCheck(sf->minleaf == PETSC_MAX_INT,PETSC_COMM_SELF,PETSC_ERR_PLIB,"SF minimum leaf is not PETSC_MAX_INT");
24*08401ef6SPierre Jolivet   PetscCheck(sf->maxleaf == PETSC_MIN_INT,PETSC_COMM_SELF,PETSC_ERR_PLIB,"SF minimum leaf is not PETSC_MIN_INT");
25c4762a1bSJed Brown   PetscFunctionReturn(0);
26c4762a1bSJed Brown }
27c4762a1bSJed Brown 
28c4762a1bSJed Brown static PetscErrorCode CheckGraphEmpty(PetscSF sf)
29c4762a1bSJed Brown {
30c4762a1bSJed Brown   PetscInt          nroots,nleaves;
31c4762a1bSJed Brown   const PetscInt    *ilocal;
32c4762a1bSJed Brown   const PetscSFNode *iremote;
33c4762a1bSJed Brown   PetscInt          minleaf,maxleaf;
34c4762a1bSJed Brown 
35c4762a1bSJed Brown   PetscFunctionBegin;
369566063dSJacob Faibussowitsch   PetscCall(PetscSFGetGraph(sf,&nroots,&nleaves,&ilocal,&iremote));
3728b400f6SJacob Faibussowitsch   PetscCheck(!nroots,PETSC_COMM_SELF,PETSC_ERR_PLIB,"SF graph is not empty");
3828b400f6SJacob Faibussowitsch   PetscCheck(!nleaves,PETSC_COMM_SELF,PETSC_ERR_PLIB,"SF graph is not empty");
3928b400f6SJacob Faibussowitsch   PetscCheck(!ilocal,PETSC_COMM_SELF,PETSC_ERR_PLIB,"SF graph is not empty");
4028b400f6SJacob Faibussowitsch   PetscCheck(!iremote,PETSC_COMM_SELF,PETSC_ERR_PLIB,"SF graph is not empty");
419566063dSJacob Faibussowitsch   PetscCall(PetscSFGetLeafRange(sf,&minleaf,&maxleaf));
42*08401ef6SPierre Jolivet   PetscCheck(minleaf ==  0,PETSC_COMM_SELF,PETSC_ERR_PLIB,"SF minimum leaf is not 0");
43*08401ef6SPierre Jolivet   PetscCheck(maxleaf == -1,PETSC_COMM_SELF,PETSC_ERR_PLIB,"SF maximum leaf is not -1");
44c4762a1bSJed Brown   PetscFunctionReturn(0);
45c4762a1bSJed Brown }
46c4762a1bSJed Brown 
47c4762a1bSJed Brown static PetscErrorCode CheckRanksNotSet(PetscSF sf)
48c4762a1bSJed Brown {
49c4762a1bSJed Brown   PetscFunctionBegin;
50*08401ef6SPierre Jolivet   PetscCheck(sf->nranks == -1,PETSC_COMM_SELF,PETSC_ERR_PLIB,"SF ranks are set");
51*08401ef6SPierre Jolivet   PetscCheck(sf->ranks  == NULL,PETSC_COMM_SELF,PETSC_ERR_PLIB,"SF ranks are set");
52c4762a1bSJed Brown   PetscFunctionReturn(0);
53c4762a1bSJed Brown }
54c4762a1bSJed Brown 
55c4762a1bSJed Brown static PetscErrorCode CheckRanksEmpty(PetscSF sf)
56c4762a1bSJed Brown {
57c4762a1bSJed Brown   PetscFunctionBegin;
58*08401ef6SPierre Jolivet   PetscCheck(sf->nranks == 0,PETSC_COMM_SELF,PETSC_ERR_PLIB,"SF ranks not empty");
59c4762a1bSJed Brown   PetscFunctionReturn(0);
60c4762a1bSJed Brown }
61c4762a1bSJed Brown 
62c4762a1bSJed Brown int main(int argc,char **argv)
63c4762a1bSJed Brown {
64c4762a1bSJed Brown   PetscSF        sf,sfDup,sfInv,sfEmbed,sfA,sfB,sfBA;
65c4762a1bSJed Brown   const PetscInt *degree;
66c4762a1bSJed Brown   char           sftype[64] = PETSCSFBASIC;
67c4762a1bSJed Brown 
689566063dSJacob Faibussowitsch   PetscCall(PetscInitialize(&argc,&argv,NULL,help));
699566063dSJacob Faibussowitsch   PetscCall(PetscOptionsGetString(NULL,NULL,"-user_sf_type",sftype,sizeof(sftype),NULL));
70c4762a1bSJed Brown 
719566063dSJacob Faibussowitsch   PetscCall(PetscSFCreate(PETSC_COMM_WORLD,&sf));
729566063dSJacob Faibussowitsch   PetscCall(CheckGraphNotSet(sf));
739566063dSJacob Faibussowitsch   PetscCall(PetscSFDestroy(&sf));
74c4762a1bSJed Brown 
759566063dSJacob Faibussowitsch   PetscCall(PetscSFCreate(PETSC_COMM_WORLD,&sf));
769566063dSJacob Faibussowitsch   PetscCall(CheckGraphNotSet(sf));
779566063dSJacob Faibussowitsch   PetscCall(PetscSFReset(sf));
789566063dSJacob Faibussowitsch   PetscCall(CheckGraphNotSet(sf));
799566063dSJacob Faibussowitsch   PetscCall(PetscSFDestroy(&sf));
80c4762a1bSJed Brown 
819566063dSJacob Faibussowitsch   PetscCall(PetscSFCreate(PETSC_COMM_WORLD,&sf));
829566063dSJacob Faibussowitsch   PetscCall(CheckGraphNotSet(sf));
839566063dSJacob Faibussowitsch   PetscCall(PetscSFSetType(sf,sftype));
849566063dSJacob Faibussowitsch   PetscCall(CheckGraphNotSet(sf));
859566063dSJacob Faibussowitsch   PetscCall(PetscSFDestroy(&sf));
86c4762a1bSJed Brown 
879566063dSJacob Faibussowitsch   PetscCall(PetscSFCreate(PETSC_COMM_WORLD,&sf));
889566063dSJacob Faibussowitsch   PetscCall(CheckGraphNotSet(sf));
899566063dSJacob Faibussowitsch   PetscCall(PetscSFSetType(sf,sftype));
909566063dSJacob Faibussowitsch   PetscCall(CheckGraphNotSet(sf));
919566063dSJacob Faibussowitsch   PetscCall(PetscSFReset(sf));
929566063dSJacob Faibussowitsch   PetscCall(CheckGraphNotSet(sf));
939566063dSJacob Faibussowitsch   PetscCall(PetscSFDestroy(&sf));
94c4762a1bSJed Brown 
959566063dSJacob Faibussowitsch   PetscCall(PetscSFCreate(PETSC_COMM_WORLD,&sf));
969566063dSJacob Faibussowitsch   PetscCall(PetscSFSetGraph(sf,0,0,NULL,PETSC_COPY_VALUES,NULL,PETSC_COPY_VALUES));
979566063dSJacob Faibussowitsch   PetscCall(CheckGraphEmpty(sf));
989566063dSJacob Faibussowitsch   PetscCall(PetscSFReset(sf));
999566063dSJacob Faibussowitsch   PetscCall(CheckGraphNotSet(sf));
1009566063dSJacob Faibussowitsch   PetscCall(PetscSFDestroy(&sf));
101c4762a1bSJed Brown 
1029566063dSJacob Faibussowitsch   PetscCall(PetscSFCreate(PETSC_COMM_WORLD,&sf));
1039566063dSJacob Faibussowitsch   PetscCall(PetscSFSetType(sf,sftype));
1049566063dSJacob Faibussowitsch   PetscCall(PetscSFSetGraph(sf,0,0,NULL,PETSC_COPY_VALUES,NULL,PETSC_COPY_VALUES));
1059566063dSJacob Faibussowitsch   PetscCall(CheckGraphEmpty(sf));
1069566063dSJacob Faibussowitsch   PetscCall(PetscSFReset(sf));
1079566063dSJacob Faibussowitsch   PetscCall(CheckGraphNotSet(sf));
1089566063dSJacob Faibussowitsch   PetscCall(PetscSFDestroy(&sf));
109c4762a1bSJed Brown 
110c4762a1bSJed Brown   /* Test setup */
1119566063dSJacob Faibussowitsch   PetscCall(PetscSFCreate(PETSC_COMM_WORLD,&sf));
1129566063dSJacob Faibussowitsch   PetscCall(CheckRanksNotSet(sf));
1139566063dSJacob Faibussowitsch   PetscCall(PetscSFSetGraph(sf,0,0,NULL,PETSC_COPY_VALUES,NULL,PETSC_COPY_VALUES));
1149566063dSJacob Faibussowitsch   PetscCall(CheckRanksNotSet(sf));
1159566063dSJacob Faibussowitsch   PetscCall(PetscSFSetUp(sf));
1169566063dSJacob Faibussowitsch   PetscCall(CheckRanksEmpty(sf));
1179566063dSJacob Faibussowitsch   PetscCall(PetscSFDestroy(&sf));
118c4762a1bSJed Brown 
119c4762a1bSJed Brown   /* Test setup then reset */
1209566063dSJacob Faibussowitsch   PetscCall(PetscSFCreate(PETSC_COMM_WORLD,&sf));
1219566063dSJacob Faibussowitsch   PetscCall(PetscSFSetGraph(sf,0,0,NULL,PETSC_COPY_VALUES,NULL,PETSC_COPY_VALUES));
1229566063dSJacob Faibussowitsch   PetscCall(PetscSFSetUp(sf));
1239566063dSJacob Faibussowitsch   PetscCall(PetscSFReset(sf));
1249566063dSJacob Faibussowitsch   PetscCall(CheckRanksNotSet(sf));
1259566063dSJacob Faibussowitsch   PetscCall(PetscSFDestroy(&sf));
126c4762a1bSJed Brown 
127c4762a1bSJed Brown   /* Test view (no graph set, no type set) */
1289566063dSJacob Faibussowitsch   PetscCall(PetscSFCreate(PETSC_COMM_WORLD,&sf));
1299566063dSJacob Faibussowitsch   PetscCall(PetscSFView(sf,NULL));
1309566063dSJacob Faibussowitsch   PetscCall(PetscSFDestroy(&sf));
131c4762a1bSJed Brown 
132c4762a1bSJed Brown   /* Test set graph then view (no type set) */
1339566063dSJacob Faibussowitsch   PetscCall(PetscSFCreate(PETSC_COMM_WORLD,&sf));
1349566063dSJacob Faibussowitsch   PetscCall(PetscSFSetGraph(sf,0,0,NULL,PETSC_COPY_VALUES,NULL,PETSC_COPY_VALUES));
1359566063dSJacob Faibussowitsch   PetscCall(PetscSFView(sf,NULL));
1369566063dSJacob Faibussowitsch   PetscCall(PetscSFDestroy(&sf));
137c4762a1bSJed Brown 
138c4762a1bSJed Brown   /* Test set type then view (no graph set) */
1399566063dSJacob Faibussowitsch   PetscCall(PetscSFCreate(PETSC_COMM_WORLD,&sf));
1409566063dSJacob Faibussowitsch   PetscCall(PetscSFSetType(sf,sftype));
1419566063dSJacob Faibussowitsch   PetscCall(PetscSFView(sf,NULL));
1429566063dSJacob Faibussowitsch   PetscCall(PetscSFDestroy(&sf));
143c4762a1bSJed Brown 
144c4762a1bSJed Brown   /* Test set type then graph then view */
1459566063dSJacob Faibussowitsch   PetscCall(PetscSFCreate(PETSC_COMM_WORLD,&sf));
1469566063dSJacob Faibussowitsch   PetscCall(PetscSFSetType(sf,sftype));
1479566063dSJacob Faibussowitsch   PetscCall(PetscSFSetGraph(sf,0,0,NULL,PETSC_COPY_VALUES,NULL,PETSC_COPY_VALUES));
1489566063dSJacob Faibussowitsch   PetscCall(PetscSFView(sf,NULL));
1499566063dSJacob Faibussowitsch   PetscCall(PetscSFDestroy(&sf));
150c4762a1bSJed Brown 
151c4762a1bSJed Brown   /* Test set graph then type */
1529566063dSJacob Faibussowitsch   PetscCall(PetscSFCreate(PETSC_COMM_WORLD,&sf));
1539566063dSJacob Faibussowitsch   PetscCall(PetscSFSetGraph(sf,0,0,NULL,PETSC_COPY_VALUES,NULL,PETSC_COPY_VALUES));
1549566063dSJacob Faibussowitsch   PetscCall(PetscSFSetType(sf,sftype));
1559566063dSJacob Faibussowitsch   PetscCall(CheckGraphEmpty(sf));
1569566063dSJacob Faibussowitsch   PetscCall(PetscSFReset(sf));
1579566063dSJacob Faibussowitsch   PetscCall(CheckGraphNotSet(sf));
1589566063dSJacob Faibussowitsch   PetscCall(PetscSFDestroy(&sf));
159c4762a1bSJed Brown 
160c4762a1bSJed Brown   /* Test Bcast (we call setfromoptions) */
1619566063dSJacob Faibussowitsch   PetscCall(PetscSFCreate(PETSC_COMM_WORLD,&sf));
1629566063dSJacob Faibussowitsch   PetscCall(PetscSFSetType(sf,sftype));
1639566063dSJacob Faibussowitsch   PetscCall(PetscSFSetFromOptions(sf));
1649566063dSJacob Faibussowitsch   PetscCall(PetscSFSetGraph(sf,0,0,NULL,PETSC_COPY_VALUES,NULL,PETSC_COPY_VALUES));
1659566063dSJacob Faibussowitsch   PetscCall(PetscSFBcastBegin(sf,MPI_INT,NULL,NULL,MPI_REPLACE));
1669566063dSJacob Faibussowitsch   PetscCall(PetscSFBcastEnd  (sf,MPI_INT,NULL,NULL,MPI_REPLACE));
1679566063dSJacob Faibussowitsch   PetscCall(PetscSFDestroy(&sf));
168c4762a1bSJed Brown 
169c4762a1bSJed Brown   /* From now on we also call SetFromOptions */
170c4762a1bSJed Brown 
171c4762a1bSJed Brown   /* Test Reduce */
1729566063dSJacob Faibussowitsch   PetscCall(PetscSFCreate(PETSC_COMM_WORLD,&sf));
1739566063dSJacob Faibussowitsch   PetscCall(PetscSFSetType(sf,sftype));
1749566063dSJacob Faibussowitsch   PetscCall(PetscSFSetGraph(sf,0,0,NULL,PETSC_COPY_VALUES,NULL,PETSC_COPY_VALUES));
1759566063dSJacob Faibussowitsch   PetscCall(PetscSFSetFromOptions(sf));
1769566063dSJacob Faibussowitsch   PetscCall(PetscSFReduceBegin(sf,MPI_INT,NULL,NULL,MPI_REPLACE));
1779566063dSJacob Faibussowitsch   PetscCall(PetscSFReduceEnd  (sf,MPI_INT,NULL,NULL,MPI_REPLACE));
1789566063dSJacob Faibussowitsch   PetscCall(PetscSFReduceBegin(sf,MPI_INT,NULL,NULL,MPI_SUM));
1799566063dSJacob Faibussowitsch   PetscCall(PetscSFReduceEnd  (sf,MPI_INT,NULL,NULL,MPI_SUM));
1809566063dSJacob Faibussowitsch   PetscCall(PetscSFDestroy(&sf));
181c4762a1bSJed Brown 
182c4762a1bSJed Brown   /* Test FetchAndOp */
1839566063dSJacob Faibussowitsch   PetscCall(PetscSFCreate(PETSC_COMM_WORLD,&sf));
1849566063dSJacob Faibussowitsch   PetscCall(PetscSFSetType(sf,sftype));
1859566063dSJacob Faibussowitsch   PetscCall(PetscSFSetGraph(sf,0,0,NULL,PETSC_COPY_VALUES,NULL,PETSC_COPY_VALUES));
1869566063dSJacob Faibussowitsch   PetscCall(PetscSFSetFromOptions(sf));
1879566063dSJacob Faibussowitsch   PetscCall(PetscSFFetchAndOpBegin(sf,MPI_INT,NULL,NULL,NULL,MPI_SUM));
1889566063dSJacob Faibussowitsch   PetscCall(PetscSFFetchAndOpEnd  (sf,MPI_INT,NULL,NULL,NULL,MPI_SUM));
1899566063dSJacob Faibussowitsch   PetscCall(PetscSFDestroy(&sf));
190c4762a1bSJed Brown 
191c4762a1bSJed Brown   /* Test ComputeDegree */
1929566063dSJacob Faibussowitsch   PetscCall(PetscSFCreate(PETSC_COMM_WORLD,&sf));
1939566063dSJacob Faibussowitsch   PetscCall(PetscSFSetType(sf,sftype));
1949566063dSJacob Faibussowitsch   PetscCall(PetscSFSetGraph(sf,0,0,NULL,PETSC_COPY_VALUES,NULL,PETSC_COPY_VALUES));
1959566063dSJacob Faibussowitsch   PetscCall(PetscSFSetFromOptions(sf));
1969566063dSJacob Faibussowitsch   PetscCall(PetscSFComputeDegreeBegin(sf,&degree));
1979566063dSJacob Faibussowitsch   PetscCall(PetscSFComputeDegreeEnd(sf,&degree));
1989566063dSJacob Faibussowitsch   PetscCall(PetscSFDestroy(&sf));
199c4762a1bSJed Brown 
200c4762a1bSJed Brown   /* Test PetscSFDuplicate() */
2019566063dSJacob Faibussowitsch   PetscCall(PetscSFCreate(PETSC_COMM_WORLD,&sf));
2029566063dSJacob Faibussowitsch   PetscCall(PetscSFSetType(sf,sftype));
2039566063dSJacob Faibussowitsch   PetscCall(PetscSFSetGraph(sf,0,0,NULL,PETSC_USE_POINTER,NULL,PETSC_USE_POINTER));
2049566063dSJacob Faibussowitsch   PetscCall(PetscSFSetFromOptions(sf));
2059566063dSJacob Faibussowitsch   PetscCall(PetscSFDuplicate(sf,PETSCSF_DUPLICATE_GRAPH,&sfDup));
2069566063dSJacob Faibussowitsch   PetscCall(CheckGraphEmpty(sfDup));
2079566063dSJacob Faibussowitsch   PetscCall(PetscSFDestroy(&sfDup));
2089566063dSJacob Faibussowitsch   PetscCall(PetscSFDestroy(&sf));
209c4762a1bSJed Brown 
210c4762a1bSJed Brown   /* Test PetscSFCreateInverseSF() */
2119566063dSJacob Faibussowitsch   PetscCall(PetscSFCreate(PETSC_COMM_WORLD,&sf));
2129566063dSJacob Faibussowitsch   PetscCall(PetscSFSetType(sf,sftype));
2139566063dSJacob Faibussowitsch   PetscCall(PetscSFSetGraph(sf,0,0,NULL,PETSC_USE_POINTER,NULL,PETSC_USE_POINTER));
2149566063dSJacob Faibussowitsch   PetscCall(PetscSFSetFromOptions(sf));
2159566063dSJacob Faibussowitsch   PetscCall(PetscSFCreateInverseSF(sf,&sfInv));
2169566063dSJacob Faibussowitsch   PetscCall(CheckGraphEmpty(sfInv));
2179566063dSJacob Faibussowitsch   PetscCall(PetscSFDestroy(&sfInv));
2189566063dSJacob Faibussowitsch   PetscCall(PetscSFDestroy(&sf));
219c4762a1bSJed Brown 
22072502a1fSJunchao Zhang   /* Test PetscSFCreateEmbeddedRootSF() */
2219566063dSJacob Faibussowitsch   PetscCall(PetscSFCreate(PETSC_COMM_WORLD,&sf));
2229566063dSJacob Faibussowitsch   PetscCall(PetscSFSetType(sf,sftype));
2239566063dSJacob Faibussowitsch   PetscCall(PetscSFSetGraph(sf,0,0,NULL,PETSC_USE_POINTER,NULL,PETSC_USE_POINTER));
2249566063dSJacob Faibussowitsch   PetscCall(PetscSFSetFromOptions(sf));
2259566063dSJacob Faibussowitsch   PetscCall(PetscSFCreateEmbeddedRootSF(sf,0,NULL,&sfEmbed));
2269566063dSJacob Faibussowitsch   PetscCall(CheckGraphEmpty(sfEmbed));
2279566063dSJacob Faibussowitsch   PetscCall(PetscSFDestroy(&sfEmbed));
2289566063dSJacob Faibussowitsch   PetscCall(PetscSFDestroy(&sf));
229c4762a1bSJed Brown 
230c4762a1bSJed Brown   /* Test PetscSFCreateEmbeddedLeafSF() */
2319566063dSJacob Faibussowitsch   PetscCall(PetscSFCreate(PETSC_COMM_WORLD,&sf));
2329566063dSJacob Faibussowitsch   PetscCall(PetscSFSetType(sf,sftype));
2339566063dSJacob Faibussowitsch   PetscCall(PetscSFSetGraph(sf,0,0,NULL,PETSC_USE_POINTER,NULL,PETSC_USE_POINTER));
2349566063dSJacob Faibussowitsch   PetscCall(PetscSFSetFromOptions(sf));
2359566063dSJacob Faibussowitsch   PetscCall(PetscSFCreateEmbeddedLeafSF(sf,0,NULL,&sfEmbed));
2369566063dSJacob Faibussowitsch   PetscCall(CheckGraphEmpty(sfEmbed));
2379566063dSJacob Faibussowitsch   PetscCall(PetscSFDestroy(&sfEmbed));
2389566063dSJacob Faibussowitsch   PetscCall(PetscSFDestroy(&sf));
239c4762a1bSJed Brown 
240c4762a1bSJed Brown   /* Test PetscSFCompose() */
2419566063dSJacob Faibussowitsch   PetscCall(PetscSFCreate(PETSC_COMM_WORLD,&sfA));
2429566063dSJacob Faibussowitsch   PetscCall(PetscSFSetType(sfA,sftype));
2439566063dSJacob Faibussowitsch   PetscCall(PetscSFSetGraph(sfA,0,0,NULL,PETSC_USE_POINTER,NULL,PETSC_USE_POINTER));
2449566063dSJacob Faibussowitsch   PetscCall(PetscSFCreate(PETSC_COMM_WORLD,&sfB));
2459566063dSJacob Faibussowitsch   PetscCall(PetscSFSetType(sfB,sftype));
2469566063dSJacob Faibussowitsch   PetscCall(PetscSFSetGraph(sfB,0,0,NULL,PETSC_USE_POINTER,NULL,PETSC_USE_POINTER));
2479566063dSJacob Faibussowitsch   PetscCall(PetscSFCompose(sfA,sfB,&sfBA));
2489566063dSJacob Faibussowitsch   PetscCall(CheckGraphEmpty(sfBA));
2499566063dSJacob Faibussowitsch   PetscCall(PetscSFDestroy(&sfBA));
2509566063dSJacob Faibussowitsch   PetscCall(PetscSFDestroy(&sfA));
2519566063dSJacob Faibussowitsch   PetscCall(PetscSFDestroy(&sfB));
252c4762a1bSJed Brown 
2539566063dSJacob Faibussowitsch   PetscCall(PetscFinalize());
254b122ec5aSJacob Faibussowitsch   return 0;
255c4762a1bSJed Brown }
256c4762a1bSJed Brown 
257c4762a1bSJed Brown /*TEST
258c4762a1bSJed Brown 
259c4762a1bSJed Brown    test:
260c4762a1bSJed Brown       suffix: basic_1
261c4762a1bSJed Brown       nsize: 1
262c4762a1bSJed Brown 
263c4762a1bSJed Brown    test:
264c4762a1bSJed Brown       suffix: basic_2
265c4762a1bSJed Brown       nsize: 2
266c4762a1bSJed Brown 
267c4762a1bSJed Brown    test:
268c4762a1bSJed Brown       suffix: basic_3
269c4762a1bSJed Brown       nsize: 3
270c4762a1bSJed Brown 
271c4762a1bSJed Brown    test:
272c4762a1bSJed Brown       suffix: window
273c4762a1bSJed Brown       args: -user_sf_type window -sf_type window -sf_window_flavor {{create dynamic allocate}} -sf_window_sync {{fence active lock}}
274c4762a1bSJed Brown       nsize: {{1 2 3}separate output}
275dfd57a17SPierre Jolivet       requires: defined(PETSC_HAVE_MPI_ONE_SIDED) defined(PETSC_HAVE_MPI_FEATURE_DYNAMIC_WINDOW)
276c4762a1bSJed Brown 
277c4762a1bSJed Brown    # The nightly test suite with MPICH uses ch3:sock, which is broken when winsize == 0 in some of the processes
278c4762a1bSJed Brown    test:
279c4762a1bSJed Brown       suffix: window_shared
280c4762a1bSJed Brown       args: -user_sf_type window -sf_type window -sf_window_flavor shared -sf_window_sync {{fence active lock}}
281c4762a1bSJed Brown       nsize: {{1 2 3}separate output}
282dfd57a17SPierre Jolivet       requires: defined(PETSC_HAVE_MPI_PROCESS_SHARED_MEMORY) !defined(PETSC_HAVE_MPICH_NUMVERSION) defined(PETSC_HAVE_MPI_ONE_SIDED) defined(PETSC_HAVE_MPI_FEATURE_DYNAMIC_WINDOW)
283c4762a1bSJed Brown 
284c4762a1bSJed Brown TEST*/
285