Affects Many Compiler Optimizations

r and p are probably independent

See slide 73.