[X86][AMX] Add description of x86_amx to LangRef.

[LuoYuanke]

Reformat it.

[pengfei]

Maybe also after https://llvm.org/docs/BitCodeFormat.html#type-code-x86-mmx-record

llvm/docs/LangRef.rst

3252

and

3252

intrinsics

3253

pointers

[fhahn]

Thanks for getting this started!

llvm/docs/LangRef.rst

3251

II think it is not quite clear whether the supported operations are instructions or intrinsics. could you clarify? Does the verifier reject unsupported instructions with operands of x86_amx type?

[LuoYuanke]

llvm/docs/LangRef.rst

3251

II think it is not quite clear whether the supported operations are instructions or intrinsics. could you clarify? Does the verifier reject unsupported instructions with operands of x86_amx type?

We didn't verify the unsupported instructions with operands of x86_amx type. I'll create a patch to do the verification.

[LuoYuanke]

Address Florian and Pengfei's comments.

[LuoYuanke]

Address Pengfei's comments. Add amx description to BitCodeFormat.html.

[pengfei]

LGTM.

[LuoYuanke]

llvm/docs/LangRef.rst

3251

The verification patch was uploaded at https://reviews.llvm.org/D100472.

llvm/docs/BitCodeFormat.rst

 
 * *vararg*: Non-zero if the type represents a varargs function
 
 * *retty*: The type index of the function's return type
 
 * *paramty*: Zero or more type indices representing the parameter types of the
   function
 
+TYPE_CODE_X86_AMX Record
+^^^^^^^^^^^^^^^^^^^^^^^^
+
+``[X86_AMX]``
+
+The ``X86_AMX`` record (code 24) adds an ``x86_amx`` type to the type table.
+
 .. _CONSTANTS_BLOCK:
 
 CONSTANTS_BLOCK Contents
 ------------------------
 
 The ``CONSTANTS_BLOCK`` block (id 11) ...
 
 .. _FUNCTION_BLOCK:

llvm/docs/LangRef.rst

.. list-table::
 
    * - ``ppc_fp128``
      - 128-bit floating-point value (two 64-bits)
 
 The binary format of half, float, double, and fp128 correspond to the
 IEEE-754-2008 specifications for binary16, binary32, binary64, and binary128
 respectively.
 
+X86_amx Type
+""""""""""""
+
+:Overview:
+
+The x86_amx type represents a value held in an AMX tile register on an x86
+machine. The operations allowed on it are quite limited. Only few intrinsics
+are allowed: stride load and store, zero and dot product. No instruction is
+allowed for this type. There are no arguments, arrays, pointers, vectors
+or constants of this type.
+
+:Syntax:
+
+::
+
+      x86_amx
+
+
 X86_mmx Type
 """"""""""""
 
 :Overview:
 
 The x86_mmx type represents a value held in an MMX register on an x86
 machine. The operations allowed on it are quite limited: parameters and
 return values, load and store, and bitcast. User-specified MMX

 used by PowerPC (two adjacent doubles) is represented by ``0xM`` followed by 32
 hexadecimal digits. The IEEE 128-bit format is represented by ``0xL`` followed
 by 32 hexadecimal digits. Long doubles will only work if they match the long
 double format on your target.  The IEEE 16-bit format (half precision) is
 represented by ``0xH`` followed by 4 hexadecimal digits. The bfloat 16-bit
 format is represented by ``0xR`` followed by 4 hexadecimal digits. All
 hexadecimal formats are big-endian (sign bit at the left).
 
-There are no constants of type x86_mmx.
+There are no constants of type x86_mmx and x86_amx.
 
 .. _complexconstants:
 
 Complex Constants
 -----------------
 
 Complex constants are a (potentially recursive) combination of simple
 constants and smaller complex constants.