Affects Many Compiler Optimizations
r and p are probably independent
See slide 73.