[PATCH] D100472: [X86][AMX] Verify illegal types or instructions for x86_amx.

[LuoYuanke via Phabricator via llvm-commits]

LuoYuanke added inline comments.


================
Comment at: llvm/test/Verifier/x86_amx1.ll:3
+
+ at GV = dso_local global [10 x x86_amx] zeroinitializer, align 16
+; CHECK: invalid array element type
----------------
fhahn wrote:
> can all those tests be in a single test file? I think the other verifier tests also group multiple checks in a single file
Probably not. As llvm-as stops on the first error.

```
; RUN: not llvm-as %s -o /dev/null 2>&1 | FileCheck %s

define dso_local void @f() {
entry:
  %a.addr = alloca <2 x x86_amx>, align 4
  ret void
}

; CHECK: invalid vector element type


define void @f(x86_amx %A, x86_amx %B) {
entry:
  alloca x86_amx
; CHECK: invalid type for alloca
  ret void
}

```


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D100472/new/

https://reviews.llvm.org/D100472