[mlir][amx] reformatted examples

[aartbik]

Summary

Examples were missing the underscore of the actual ops format.

mlir/include/mlir/Dialect/AMX/AMX.td

def TileZeroOp : AMX_Op<"tile_zero", [NoSideEffect]> {
   let description = [{
     Zeroes the destination tile, with the shape defined by the 2-dim
     vector type of the result. This is eventually lowered into the
     "tilezero" instruction with the corresponding tile configuration.
 
     Example:
 
     ```mlir
-      %0 = amx.tilezero : vector<16x16xbf16>
+      %0 = amx.tile_zero : vector<16x16xbf16>
     ```
   }];
   let verifier = [{ return ::verify(*this); }];
   let results = (outs
     VectorOfRankAndType<[2], [F32, BF16, I32, I8]>:$res);
   let extraClassDeclaration = [{
     VectorType getVectorType() {
       return res().getType().cast<VectorType>();
let description = [{
     Loads a tile from memory defined by a base and indices, with the
     shape defined by the 2-dim vector type of the result. This is
     eventually lowered into the "tileloadd" instruction with the
     corresponding tile configuration.
 
     Example:
 
     ```mlir
-      %0 = amx.tileload %arg0[%c0, %c0] : memref<?x?xi8> into vector<16x64xi8>
+      %0 = amx.tile_load %arg0[%c0, %c0] : memref<?x?xi8> into vector<16x64xi8>
     ```
   }];
   let verifier = [{ return ::verify(*this); }];
   let arguments = (ins Arg<AnyMemRef, "load base", [MemRead]>:$base,
                    Variadic<Index>:$indices);
   let results = (outs
     VectorOfRankAndType<[2], [F32, BF16, I32, I8]>:$res);
   let extraClassDeclaration = [{
let description = [{
     Stores a tile to memory defined by a base and indices, with the
     shape defined by the 2-dim vector type of the value. This is
     eventually lowered into the "tilestored" instruction with the
     corresponding tile configuration.
 
     Example:
 
     ```mlir
-      amx.tilestore %arg1[%c0, %c0], %0 : memref<?x?xi8>, vector<16x64xi8>
+      amx.tile_store %arg1[%c0, %c0], %0 : memref<?x?xi8>, vector<16x64xi8>
     ```
   }];
   let verifier = [{ return ::verify(*this); }];
   let arguments = (ins Arg<AnyMemRef, "store base", [MemWrite]>:$base,
                    Variadic<Index>:$indices,
                    VectorOfRankAndType<[2], [F32, BF16, I32, I8]>:$val);
   let extraClassDeclaration = [{
     MemRefType getMemRefType() {
let description = [{
     Multiplies a "m x k" tile with a "k x n" tile and accumulates the results
     into a "m x n" destination tile. Supports "f32 <- bf16 x bf16" (with
     pairs of "bf16"). The operation is eventually lowered into the
     "tdpbf16ps" instruction with the corresponding tile configuration.
 
     Example:
 
     ```mlir
-      %0 = amx.tilemulf %a, %b, %c
+      %0 = amx.tile_mulf %a, %b, %c
         : vector<16x32xbf16>, vector<16x32xbf16>, vector<16x16xf32>
     ```
   }];
   let verifier = [{ return ::verify(*this); }];
   let arguments = (ins VectorOfRankAndType<[2], [F32, BF16]>:$lhs,
                        VectorOfRankAndType<[2], [F32, BF16]>:$rhs,
                        VectorOfRankAndType<[2], [F32, BF16]>:$acc);
   let results = (outs VectorOfRankAndType<[2], [F32, BF16]>:$res);
let description = [{
     source operand tiles; the zero or sign extension is specified with
     the attributes). The operation is eventually lowered into one of
     the "tdpbssd", "tdpbsud", "tdpbusd", or "tdpbuud" instructions with
     the corresponding tile configuration.
 
     Example:
 
     ```mlir
-      %0 = amx.tilemuli %a, %b, %c [true, true]
+      %0 = amx.tile_muli %a, %b, %c [true, true]
         : vector<16x64xi8>, vector<16x64xi8>, vector<16x16xi32>
     ```
   }];
   let verifier = [{ return ::verify(*this); }];
   let arguments = (ins VectorOfRankAndType<[2], [I32, I8]>:$lhs,
                        VectorOfRankAndType<[2], [I32, I8]>:$rhs,
                        VectorOfRankAndType<[2], [I32, I8]>:$acc,
                        BoolArrayAttr:$zext);