HomePhabricator

[Matrix] Tighten LangRef definitions and Verifier checks.

Authored by SjoerdMeijer on Jul 9 2020, 5:30 AM.

Description

[Matrix] Tighten LangRef definitions and Verifier checks.

This tightens the matrix intrinsic definitions in LLVM LangRef and adds
correspondings checks to the IR Verifier.

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