Idempotent Slices with Applications to Code-Size Reduction

TL;DR

This paper formalizes idempotent backward slices in programs, introduces a sound algorithm for their extraction, and demonstrates their application in reducing code size in LLVM-compiled programs.

Contribution

It provides a formal definition and a sound, efficient algorithm for extracting idempotent slices from GSA form programs, enabling code-size optimization.

Findings

Achieves up to -7.24% code size reduction in LLVM benchmarks.

Addresses limitations of previous informal approaches.

Demonstrates practical application in code optimization.

Abstract

Given a value computed within a program, an idempotent backward slice with respect to this value is a maximal subprogram that computes it. An informal notion of an idempotent slice has previously been used by Guimaraes et al. to transform eager into strict evaluation in the LLVM intermediate representation. However, that algorithm is insufficient to be correctly applied to general control-flow graphs. This paper addresses these omissions by formalizing the notion of idempotent backward slices and presenting a sound and efficient algorithm for extracting them from programs in Gated Static Single Assignment (GSA) form. As an example of their practical use, the paper describes how identifying and extracting idempotent backward slices enables a sparse code-size reduction optimization; that is, one capable of merging non-contiguous sequences of instructions within the control-flow graph of a single function or across functions. Experiments with the LLVM test suite show that, in specific benchmarks, this new algorithm achieves code-size reductions up to -7.24% on programs highly optimized by the -Os sequence of passes from clang 17.