Partial redundancy elimination