[name]

[[describe]] Say what the pass computes, what it reads and writes, and what uses the result.