Partial-redundancy_elimination loading ...