[llvm] [SPIRV] Porting 4 tests from Translator (PR #151678)

[Michal Paszkowski via llvm-commits]

================
@@ -0,0 +1,16 @@
+; Check that we don't end up with duplicated array types in TypeMap.
+; No FileCheck needed, we only want to check the absence of errors.
+; RUN: llc -O0 -mtriple=spirv64-unknown-unknown %s -o -
----------------
michalpaszkowski wrote:

I'd suggest running `-verify-machineinstrs` as we do with other intrinsic tests. I believe this would still be verified on build bots running tests with expensive checks enabled, but we can always run verification in regular build as well.
```suggestion
; RUN: llc -verify-machineinstrs -O0 -mtriple=spirv64-unknown-unknown %s -o -
```

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