instructions (expose the pattern to instruction selector). Make DefUse pass remember definitions of each SSA var.