Which of the following are loop transformations used in compiler optimization?
Loop fusion combines loops, loop splitting divides a loop into smaller loops, and loop-invariant code motion moves invariant computations outside a loop; all are loop transformations.
In a Control Flow Graph (CFG), what defines a 'Basic Block'?
A basic block contains straight-line code executed strictly from first statement to last statement without internal jumps/branches.
Which statement qualifies as a 'Leader' instruction when partitioning three-address code into Basic Blocks?
Leader rules: 1) First instruction; 2) Target of any jump/goto; 3) Any instruction directly following a jump/goto. All three statements (A, B, C) are correct!
In static program analysis, a variable x is said to be 'Live' at a point p if:
Liveness analysis determines if variable values stored at point p will be read later along any downstream control flow path.
In Data-Flow Analysis, which equation governs 'Liveness Analysis'?
Liveness propagates information backwards from exit to entry nodes because variable usage downstream determines liveness upstream.