int main(int argc, char* argv[]) {
int rank, size;
MPI_Init(&argc, &argv);
MPI_Comm_rank(MPI_COMM_WORLD, &rank);
MPI_Comm_size(MPI_COMM_WORLD, &size);
int x, y, z;
if(rank == 0) {
x = 2;
MPI_Send(&x, 1, MPI_INT, rank+1, 0, MPI_COMM_WORLD);
MPI_Status status;
MPI_Recv(&z, 1, MPI_INT, rank+1, 0, MPI_COMM_WORLD, &status);
}
else if(rank == 1) {
MPI_Status status;
MPI_Recv(&y, 1, MPI_INT, rank-1, 0, MPI_COMM_WORLD, &status);
if(y == 2) z = 3;
MPI_Send(&z, 1, MPI_INT, rank-1, 0, MPI_COMM_WORLD);
}
CompDebugAssert(z == 3);
MPI_Finalize();
return 0;
}
int main(int argc, char* argv[]) {
int rank, size;
MPI_Init(&argc, &argv);
MPI_Comm_rank(MPI_COMM_WORLD, &rank);
MPI_Comm_size(MPI_COMM_WORLD, &size);
int x, y;
MPI_Status status;
int t = 0;
while(t < 100) {
if(rank == 0) {
x = 2;
MPI_Send(&x, 1, MPI_INT, rank+1, 0, MPI_COMM_WORLD);
MPI_Recv(&y, 1, MPI_INT, rank+1, 0, MPI_COMM_WORLD, &status);
x=y+1;
MPI_Send(&x, 1, MPI_INT, rank+1, 0, MPI_COMM_WORLD);
}
else if(rank == 1) {
MPI_Recv(&x, 1, MPI_INT, rank-1, 0, MPI_COMM_WORLD, &status);
y=x+1;
MPI_Send(&y, 1, MPI_INT, rank-1, 0, MPI_COMM_WORLD);
MPI_Recv(&x, 1, MPI_INT, rank-1, 0, MPI_COMM_WORLD, &status);
}
t++;
}
CompDebugAssert(x==4);
MPI_Finalize();
return 0;
}
/*
// ConstProp: q=105
// LiveDead: q
int LDPropThroughArgAndRet1(int& q) {
q += 401;
return q;
}
// ConstProp: q=506, returned 506
// LiveDead: q
// ConstProp: q=top
// LiveDead: q
int LDPropThroughArgAndRet2(int& q) {
q += 501;
return q;
}
// ConstProp: q=top, returned top
// LiveDead: q
*/
int main()
{
int a=1;
int b=2;
int c=3;
int d=4;
int e=5;
// CompDebugAssert(b==2);
// CompDebugAssert(d==4);
int array[1000];
// ConstProp: b=2, d=4
// LiveDead: b (d if context insensitive), array[0], array[1] (array[*] if no constant propagation available)
array[0] = 0;
// CompDebugAssert(b==2);
// CompDebugAssert(d==4);
// CompDebugAssert(array[0]==0);
// ConstProp: b=2, d=4, array[0]=0
// LiveDead: b (d if context insensitive), array[0], array[1] (array[*] if no constant propagation available)
// array[301] = 103;
// CompDebugAssert(b==2);
// CompDebugAssert(d==4);
CompDebugAssert(array[0]==0);
// CompDebugAssert(array[301]==103);
// ConstProp: b=2, d=4, array[0]=0, array[301]=103
// LiveDead: b (d if context insensitive), array[0], array[1], array[301] (array[*] if no constant propagation available)
array[1] = LDPropThroughArgAndRet0(array[0]);
CompDebugAssert(array[1]==301);
/* CompDebugAssert(b==2);
CompDebugAssert(d==4);
CompDebugAssert(array[0]==301);
CompDebugAssert(array[1]==301);
CompDebugAssert(array[301]==103);
// ConstProp: b=2, d=4, array[0]=301, array[1]=301, array[301]=103
// LiveDead: b (d if context insensitive), array[1], array[301] (array[*] if no constant propagation available)
b += array[array[1]];
CompDebugAssert(b==105);
CompDebugAssert(d==4);
// ConstProp: b=105, d=4
// LiveDead: b (d if context insensitive)
e = noLDProp(a);
CompDebugAssert(b==105);
CompDebugAssert(d==4);
CompDebugAssert(e==102);
// ConstProp: b=105, d=4, e=102
// LiveDead: e, b (d if context insensitive)
e += LDPropThroughArgAndRet1(b);
CompDebugAssert(d==4);
CompDebugAssert(e==608);
// ConstProp: e=608, d=4
// LiveDead: e (d if context insensitive)
e += LDPropThroughArg(c);
CompDebugAssert(d==4);
CompDebugAssert(e==810);
// ConstProp: e=810, d=4
// LiveDead: e (d if context insensitive)
int Y = LDPropThroughArgAndRet2(d);
CompDebugAssert(e==810);
// ConstProp: e=810
// LiveDead: e
int Z = LDPropThroughArgAndRet2(e);
// ConstProp: Z=top
// LiveDead: Z
return Z;*/
}
