Add some labeling to PHI instructions.
TODO: Handle params.