This isn't really combining as the result of the first increment is needed by the intermediate compare, but is a rewriting that removes a dependency (or moves it further back in the stream)
Maybe it rewrites multiple immediate additions into one.
Maybe it rewrites multiple immediate additions into one.