In the following code the only constraints are that the statement s that forms the body of the loop nest must execute iterations s(i — l,j) and s(i, j — 1) before executing iteration s(i,j). Verify...

In the following code







the only constraints are that the statement s that forms the body of the loop nest must execute iterations s(i — l,j) and s(i, j — 1) before executing iteration s(i,j). Verify that these are the only necessary constraints. Then rewrite the code so that the outer loop has index variable p, and on the pth iteration of the outer loop, all instances of s(i,j) such that i + j = p are executed.