International Business Machines Corporation

Zarko Todorovski

Shimin Cui

Wai Hung Tsang

Hubert Shun Kwan Tong

Predictive dead store elimination is provided. The method comprises identifying, in a program, a first store operation and a second store operation in a program loop that comprise a store pair with a same loop-invariant base address and determining whether the store pair is a predictive dead store elimination candidate. Responsive to a determination that the store pair is a predictive dead store elimination candidate, the method eliminates the first store operation in each iteration of the program loop, except the last DSRC (dead store recurrence constant) iterations and sinks the first store operation in the last DSRC iterations to after the program loop.

Growing community of inventors

Ajax, Canada

Zarko Todorovski