International Business Machines Corporation

Hubert Shun Kwan Tong

Shimin Cui

Wai Hung Tsang

Zarko Todorovski

Wei Huang

Code pattern matching is performed within computer code to determine whether the computer code includes an idiom from a predefined set of idioms. Based on determining that the computer code includes the idiom, a set of data items of the idiom to be analyzed is determined. The set of data items is analyzed with respect to one or more corresponding values from the computer code based on a set of constraints defined for the idiom to determine whether the set of data items satisfy one or more predefined conditions for the idiom. Based on the analyzing indicating that the one or more predefined conditions are satisfied, one or more code segments of the computer code including the idiom are replaced with replacement code to provide revised computer code.

Transformation of computer code based on idiom recognition and value constraint analysis

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

Scarborough, Canada

Hubert Shun Kwan Tong