For the following problems, consider the code below: 1 X = 4; 2 Y = 5;...

  

Transcribed Image Text:

For the following problems, consider the code below: 1 X = 4; 2 Y = 5; 3 X = X + Y; 4 Z = 10; 5 6 A Y Z 2 * Y; B = x/2 + Y; 7 if (BZ) goto 12 8 P = Z-1; 9 Z Z P; 10 C = Y - Z * Y; 11 goto 7; 12 X = X + A✶ Y; 13 if (XZ 10) goto 4; 14 15 Y = C; halt; (a) Draw the CFG for the code above. Identify the loops in the code. 1 (b) Which statements are loop invariants? Can they be moved outside their enclosing loop? Show the code that results after hoisting any loop invariant code outside the loop. (c) Identify the induction variables in this code. Show the code that results after performing any possible strength reduction. (d) Show the code after performing any possible linear test replacement. For the following problems, consider the code below: 1 X = 4; 2 Y = 5; 3 X = X + Y; 4 Z = 10; 5 6 A Y Z 2 * Y; B = x/2 + Y; 7 if (BZ) goto 12 8 P = Z-1; 9 Z Z P; 10 C = Y - Z * Y; 11 goto 7; 12 X = X + A✶ Y; 13 if (XZ 10) goto 4; 14 15 Y = C; halt; (a) Draw the CFG for the code above. Identify the loops in the code. 1 (b) Which statements are loop invariants? Can they be moved outside their enclosing loop? Show the code that results after hoisting any loop invariant code outside the loop. (c) Identify the induction variables in this code. Show the code that results after performing any possible strength reduction. (d) Show the code after performing any possible linear test replacement.

Answer rating: 100% (QA)

Lets break down the code and address each part of the problem a Drawing the CFG Control Flow Graph and identifying loops The CFG for the provided code ... View the full answer