[all-commits] [llvm/llvm-project] 862766: [Verifier] Verify matrix dimensions operands match...

[Florian Hahn via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: 862766e01e9000ef1ad760ce602563cb0b4b9de4
      https://github.com/llvm/llvm-project/commit/862766e01e9000ef1ad760ce602563cb0b4b9de4
  Author: Florian Hahn <flo at fhahn.com>
  Date:   2020-04-01 (Wed, 01 Apr 2020)

  Changed paths:
    M llvm/lib/IR/Verifier.cpp
    A llvm/test/Verifier/matrix-intrinsics.ll

  Log Message:
  -----------
  [Verifier] Verify matrix dimensions operands match vector size.

This patch adds checks to the verifier to ensure the dimension arguments
passed to the matrix intrinsics match the vector types for their
arugments/return values.

Reviewers: anemet, Gerolf, andrew.w.kaylor, LuoYuanke

Reviewed By: anemet

Differential Revision: https://reviews.llvm.org/D77129