In
compiler theory,
common subexpression elimination (CSE) is a
compiler optimization that searches for instances of identical
expressions (i.e., they all evaluate to the same value), and analyses whether it is worthwhile replacing them with a single variable holding the computed value.