projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 48a5bda) | patch
[Verifier] Verify matrix dimensions operands match vector size.
authorFlorian Hahn <flo@fhahn.com>
Wed, 1 Apr 2020 08:10:24 +0000 (09:10 +0100)
committerFlorian Hahn <flo@fhahn.com>
Wed, 1 Apr 2020 08:21:39 +0000 (09:21 +0100)
commit862766e01e9000ef1ad760ce602563cb0b4b9de4
tree851a8342f6829ad62ccc03e74f76ba969a66e8b3tree | snapshot
parent48a5bdafba5e51244de627a50574d48c87a5249dcommit | diff
[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
llvm/lib/IR/Verifier.cpp diff | blob | history
llvm/test/Verifier/matrix-intrinsics.ll [new file with mode: 0644] blob
Domain: System / Toolchain;