Partial redundancy elimination

1. REDIRECT Partial-redundancy elimination

{{Redirect category shell|

{{R from move}}

}}