[Verifier] Verify sizes of matrix.multiply operands and specified shape.
authorFlorian Hahn <flo@fhahn.com>
Tue, 4 Apr 2023 19:51:30 +0000 (20:51 +0100)
committerFlorian Hahn <flo@fhahn.com>
Tue, 4 Apr 2023 19:51:43 +0000 (20:51 +0100)
commit1a7cf7a182d61ae81b00aaf5f30f3b471fae3668
tree76bdbd0e3eb48710dcdce1d6aad2728c67a69c74
parentb5e7a4e20f741f563358d294f061423ab5a41121
[Verifier] Verify sizes of matrix.multiply operands and specified shape.

Extend the verifier to check if the size of the matrix operands of
matrix.multiply match the sizes specified by the numeric arguments.

Reviewed By: thegameg

Differential Revision: https://reviews.llvm.org/D147466
llvm/lib/IR/Verifier.cpp
llvm/test/Verifier/matrix-intrinsics.ll