phinodes for pointer types