[llvm] [SPIR-V][Codegen] Represent the property of the target to declare and use typed pointers and update MachineVerifier to use it (PR #110270)

[Matt Arsenault via llvm-commits]

arsenm wrote:

> @arsenm May I ask your opinion as well?

You are looking for something that is not a no-op bitcast, so yes this is a different operation. Additionally, we cannot have optional restrictions on opcodes. Any code would have to follow the lowest common denominator, and the point of having these restrictions is to reduce the number of cases that code operating on instructions need to consider 

https://github.com/llvm/llvm-project/pull/110270