diff --git a/clang/docs/LanguageExtensions.rst b/clang/docs/LanguageExtensions.rst --- a/clang/docs/LanguageExtensions.rst +++ b/clang/docs/LanguageExtensions.rst @@ -523,6 +523,71 @@ return a + b * c; } +The matrix type extension also supports operations between a matrix and a scalar. + +.. code-block:: c++ + + typedef float m4x4_t __attribute__((matrix_type(4, 4))); + + m4x4_t f(m4x4_t a) { + int c = 23; + int d = 12; + a = a + c; + return a * d; + } + +The matrix type extension supports division between a matrix and a scalar but not between a matrix and a matrix. + +.. code-block:: c++ + typedef float m4x4_t __attribute__((matrix_type(4, 4))); + + m4x4_t f(m4x4_t a) { + float s = 3; + a = a / s; + return a; + } + +The matrix type extension supports compound assignments for addition, subtraction, and multiplication between matrices +and between a matrix and a scalar, provided their types are consistent. + +.. code-block:: c++ + + typedef float m4x4_t __attribute__((matrix_type(4, 4))); + + m4x4_t f(m4x4_t a, m4x4_t b) { + int c = 23; + int d = 12; + a += b; + a -= b; + a *= b; + a += c; + a -= d; + return a; + } + +The matrix type extension supports explicit casts. The casts we support are C-style casts in C and C++ and +static casts. Implicit type conversion between matrix types is not allowed. + +.. code-block:: c++ + + typedef int ix5x5 __attribute__((matrix_type(5, 5))); + typedef float fx5x5 __attribute__((matrix_type(5, 5))); + + fx5x5 f1(ix5x5 i, fx5x5 f) { + f = (fx5x5)i; + return f; + } + + + template + using matrix_4_4 = X __attribute__((matrix_type(4, 4))); + + void f2() { + matrix_5_5 d; + matrix_5_5 i; + i = (matrix_5_5)d; + i = static_cast>(d); + } Half-Precision Floating Point =============================