{
  "kernels": [
    {
      "all_verified": true,
      "blurb": "Sixteen 32-bit state words churned through twenty add-rotate-xor rounds. The whole state wants to live in registers at once — the classic register hog.",
      "category": "Stream cipher",
      "checksum": "006ddea1d0387a9c",
      "checksum_stable": true,
      "hot_symbol": "chacha20_block",
      "name": "chacha20",
      "points": [
        {
          "budget": 15,
          "frame_bytes": 120,
          "insns": 197,
          "reserved": 0,
          "spills": 55,
          "time_ms": 88.477908,
          "verified": true
        },
        {
          "budget": 14,
          "frame_bytes": 0,
          "insns": 205,
          "reserved": 1,
          "spills": 62,
          "time_ms": 91.591791,
          "verified": true
        },
        {
          "budget": 13,
          "frame_bytes": 136,
          "insns": 203,
          "reserved": 2,
          "spills": 63,
          "time_ms": 94.564386,
          "verified": true
        },
        {
          "budget": 12,
          "frame_bytes": 144,
          "insns": 215,
          "reserved": 3,
          "spills": 73,
          "time_ms": 94.294691,
          "verified": true
        },
        {
          "budget": 11,
          "frame_bytes": 152,
          "insns": 225,
          "reserved": 4,
          "spills": 87,
          "time_ms": 93.656854,
          "verified": true
        },
        {
          "budget": 10,
          "frame_bytes": 160,
          "insns": 226,
          "reserved": 5,
          "spills": 83,
          "time_ms": 97.230594,
          "verified": true
        },
        {
          "budget": 9,
          "frame_bytes": 168,
          "insns": 229,
          "reserved": 6,
          "spills": 91,
          "time_ms": 96.970773,
          "verified": true
        },
        {
          "budget": 8,
          "frame_bytes": 168,
          "insns": 240,
          "reserved": 7,
          "spills": 107,
          "time_ms": 99.368478,
          "verified": true
        },
        {
          "budget": 7,
          "frame_bytes": 184,
          "insns": 253,
          "reserved": 8,
          "spills": 113,
          "time_ms": 99.027593,
          "verified": true
        },
        {
          "budget": 6,
          "frame_bytes": 184,
          "insns": 252,
          "reserved": 9,
          "spills": 116,
          "time_ms": 101.76616,
          "verified": true
        },
        {
          "budget": 5,
          "frame_bytes": 184,
          "insns": 258,
          "reserved": 10,
          "spills": 121,
          "time_ms": 109.956946,
          "verified": true
        }
      ],
      "regfile": "gp",
      "source": "chacha20.c",
      "title": "ChaCha20"
    },
    {
      "all_verified": true,
      "blurb": "Eight working variables rotated through 64 rounds against a message schedule. Heavy, uniform integer pressure.",
      "category": "Cryptographic hash",
      "checksum": "40c3a08eb2d9ed2f",
      "checksum_stable": true,
      "hot_symbol": "sha256_block",
      "name": "sha256",
      "points": [
        {
          "budget": 15,
          "frame_bytes": 280,
          "insns": 251,
          "reserved": 0,
          "spills": 8,
          "time_ms": 89.36716899999999,
          "verified": true
        },
        {
          "budget": 14,
          "frame_bytes": 288,
          "insns": 250,
          "reserved": 1,
          "spills": 11,
          "time_ms": 89.915864,
          "verified": true
        },
        {
          "budget": 13,
          "frame_bytes": 296,
          "insns": 249,
          "reserved": 2,
          "spills": 11,
          "time_ms": 91.028162,
          "verified": true
        },
        {
          "budget": 12,
          "frame_bytes": 288,
          "insns": 249,
          "reserved": 3,
          "spills": 14,
          "time_ms": 92.468419,
          "verified": true
        },
        {
          "budget": 11,
          "frame_bytes": 296,
          "insns": 249,
          "reserved": 4,
          "spills": 19,
          "time_ms": 92.394267,
          "verified": true
        },
        {
          "budget": 10,
          "frame_bytes": 304,
          "insns": 249,
          "reserved": 5,
          "spills": 23,
          "time_ms": 96.260031,
          "verified": true
        },
        {
          "budget": 9,
          "frame_bytes": 312,
          "insns": 248,
          "reserved": 6,
          "spills": 28,
          "time_ms": 96.45895,
          "verified": true
        },
        {
          "budget": 8,
          "frame_bytes": 328,
          "insns": 253,
          "reserved": 7,
          "spills": 34,
          "time_ms": 99.28347699999999,
          "verified": true
        },
        {
          "budget": 7,
          "frame_bytes": 328,
          "insns": 256,
          "reserved": 8,
          "spills": 41,
          "time_ms": 102.183032,
          "verified": true
        },
        {
          "budget": 6,
          "frame_bytes": 360,
          "insns": 275,
          "reserved": 9,
          "spills": 67,
          "time_ms": 105.43414399999999,
          "verified": true
        },
        {
          "budget": 5,
          "frame_bytes": 376,
          "insns": 291,
          "reserved": 10,
          "spills": 80,
          "time_ms": 119.045933,
          "verified": true
        }
      ],
      "regfile": "gp",
      "source": "sha256.c",
      "title": "SHA-256"
    },
    {
      "all_verified": true,
      "blurb": "Four 64-bit lanes and a fast ARX round — compact enough to keep fitting even as the file shrinks. The integer near-flat baseline.",
      "category": "Keyed hash",
      "checksum": "fdb5c70cb7a9d735",
      "checksum_stable": true,
      "hot_symbol": "siphash24",
      "name": "siphash",
      "points": [
        {
          "budget": 15,
          "frame_bytes": 0,
          "insns": 166,
          "reserved": 0,
          "spills": 0,
          "time_ms": 79.36355,
          "verified": true
        },
        {
          "budget": 14,
          "frame_bytes": 0,
          "insns": 173,
          "reserved": 1,
          "spills": 0,
          "time_ms": 79.47314,
          "verified": true
        },
        {
          "budget": 13,
          "frame_bytes": 0,
          "insns": 172,
          "reserved": 2,
          "spills": 0,
          "time_ms": 80.558988,
          "verified": true
        },
        {
          "budget": 12,
          "frame_bytes": 0,
          "insns": 166,
          "reserved": 3,
          "spills": 0,
          "time_ms": 79.25425899999999,
          "verified": true
        },
        {
          "budget": 11,
          "frame_bytes": 0,
          "insns": 170,
          "reserved": 4,
          "spills": 0,
          "time_ms": 77.687826,
          "verified": true
        },
        {
          "budget": 10,
          "frame_bytes": 0,
          "insns": 167,
          "reserved": 5,
          "spills": 0,
          "time_ms": 78.14594299999999,
          "verified": true
        },
        {
          "budget": 9,
          "frame_bytes": 0,
          "insns": 168,
          "reserved": 6,
          "spills": 2,
          "time_ms": 78.89464699999999,
          "verified": true
        },
        {
          "budget": 8,
          "frame_bytes": 0,
          "insns": 177,
          "reserved": 7,
          "spills": 8,
          "time_ms": 79.239059,
          "verified": true
        },
        {
          "budget": 7,
          "frame_bytes": 0,
          "insns": 173,
          "reserved": 8,
          "spills": 12,
          "time_ms": 79.908797,
          "verified": true
        },
        {
          "budget": 6,
          "frame_bytes": 0,
          "insns": 177,
          "reserved": 9,
          "spills": 17,
          "time_ms": 80.07682100000001,
          "verified": true
        },
        {
          "budget": 5,
          "frame_bytes": 0,
          "insns": 174,
          "reserved": 10,
          "spills": 23,
          "time_ms": 78.088454,
          "verified": true
        }
      ],
      "regfile": "gp",
      "source": "siphash.c",
      "title": "SipHash-2-4"
    },
    {
      "all_verified": true,
      "blurb": "A 4x4 register-blocked micro-kernel with sixteen 64-bit accumulators live across the k-loop — already over budget at full width.",
      "category": "Numerics",
      "checksum": "00000000001cf50a",
      "checksum_stable": true,
      "hot_symbol": "igemm_kernel",
      "name": "igemm",
      "points": [
        {
          "budget": 15,
          "frame_bytes": 8,
          "insns": 174,
          "reserved": 0,
          "spills": 60,
          "time_ms": 140.47199799999999,
          "verified": true
        },
        {
          "budget": 14,
          "frame_bytes": 16,
          "insns": 174,
          "reserved": 1,
          "spills": 64,
          "time_ms": 142.833775,
          "verified": true
        },
        {
          "budget": 13,
          "frame_bytes": 24,
          "insns": 178,
          "reserved": 2,
          "spills": 68,
          "time_ms": 145.16949000000002,
          "verified": true
        },
        {
          "budget": 12,
          "frame_bytes": 24,
          "insns": 177,
          "reserved": 3,
          "spills": 68,
          "time_ms": 149.63522500000002,
          "verified": true
        },
        {
          "budget": 11,
          "frame_bytes": 24,
          "insns": 174,
          "reserved": 4,
          "spills": 68,
          "time_ms": 150.361524,
          "verified": true
        },
        {
          "budget": 10,
          "frame_bytes": 40,
          "insns": 176,
          "reserved": 5,
          "spills": 72,
          "time_ms": 152.142834,
          "verified": true
        },
        {
          "budget": 9,
          "frame_bytes": 40,
          "insns": 174,
          "reserved": 6,
          "spills": 72,
          "time_ms": 153.095241,
          "verified": true
        },
        {
          "budget": 8,
          "frame_bytes": 40,
          "insns": 169,
          "reserved": 7,
          "spills": 72,
          "time_ms": 165.523959,
          "verified": true
        },
        {
          "budget": 7,
          "frame_bytes": 40,
          "insns": 170,
          "reserved": 8,
          "spills": 72,
          "time_ms": 178.350323,
          "verified": true
        },
        {
          "budget": 6,
          "frame_bytes": 48,
          "insns": 177,
          "reserved": 9,
          "spills": 75,
          "time_ms": 185.817456,
          "verified": true
        },
        {
          "budget": 5,
          "frame_bytes": 56,
          "insns": 183,
          "reserved": 10,
          "spills": 82,
          "time_ms": 199.668603,
          "verified": true
        }
      ],
      "regfile": "gp",
      "source": "igemm.c",
      "title": "Integer matmul"
    },
    {
      "all_verified": true,
      "blurb": "A hash-chain match finder: branchy pointer chasing with a modest but real integer working set.",
      "category": "Compression",
      "checksum": "0000000ea83d74da",
      "checksum_stable": true,
      "hot_symbol": "lzss_compress",
      "name": "lzss",
      "points": [
        {
          "budget": 15,
          "frame_bytes": 56,
          "insns": 242,
          "reserved": 0,
          "spills": 39,
          "time_ms": 123.162823,
          "verified": true
        },
        {
          "budget": 14,
          "frame_bytes": 48,
          "insns": 236,
          "reserved": 1,
          "spills": 50,
          "time_ms": 132.88724900000003,
          "verified": true
        },
        {
          "budget": 13,
          "frame_bytes": 56,
          "insns": 243,
          "reserved": 2,
          "spills": 51,
          "time_ms": 127.206971,
          "verified": true
        },
        {
          "budget": 12,
          "frame_bytes": 48,
          "insns": 243,
          "reserved": 3,
          "spills": 51,
          "time_ms": 126.69117899999999,
          "verified": true
        },
        {
          "budget": 11,
          "frame_bytes": 72,
          "insns": 246,
          "reserved": 4,
          "spills": 55,
          "time_ms": 142.41405500000002,
          "verified": true
        },
        {
          "budget": 10,
          "frame_bytes": 64,
          "insns": 246,
          "reserved": 5,
          "spills": 63,
          "time_ms": 127.921281,
          "verified": true
        },
        {
          "budget": 9,
          "frame_bytes": 72,
          "insns": 249,
          "reserved": 6,
          "spills": 74,
          "time_ms": 150.533157,
          "verified": true
        },
        {
          "budget": 8,
          "frame_bytes": 88,
          "insns": 245,
          "reserved": 7,
          "spills": 78,
          "time_ms": 128.90749100000002,
          "verified": true
        },
        {
          "budget": 7,
          "frame_bytes": 88,
          "insns": 259,
          "reserved": 8,
          "spills": 94,
          "time_ms": 148.946763,
          "verified": true
        },
        {
          "budget": 6,
          "frame_bytes": 88,
          "insns": 268,
          "reserved": 9,
          "spills": 105,
          "time_ms": 139.069873,
          "verified": true
        },
        {
          "budget": 5,
          "frame_bytes": 104,
          "insns": 280,
          "reserved": 10,
          "spills": 115,
          "time_ms": 146.843785,
          "verified": true
        }
      ],
      "regfile": "gp",
      "source": "lzss.c",
      "title": "LZ77 compress"
    },
    {
      "all_verified": true,
      "blurb": "Only a few live values — two cursors, a pivot, a swap — yet the recursion's hot inner loops still spill once the file gets tight. Memory-bound, but not immune.",
      "category": "Sorting",
      "checksum": "00000000c2fcc90a",
      "checksum_stable": true,
      "hot_symbol": "quicksort",
      "name": "quicksort",
      "points": [
        {
          "budget": 15,
          "frame_bytes": 24,
          "insns": 102,
          "reserved": 0,
          "spills": 4,
          "time_ms": 134.152047,
          "verified": true
        },
        {
          "budget": 14,
          "frame_bytes": 16,
          "insns": 102,
          "reserved": 1,
          "spills": 6,
          "time_ms": 128.314423,
          "verified": true
        },
        {
          "budget": 13,
          "frame_bytes": 24,
          "insns": 100,
          "reserved": 2,
          "spills": 6,
          "time_ms": 146.993243,
          "verified": true
        },
        {
          "budget": 12,
          "frame_bytes": 16,
          "insns": 99,
          "reserved": 3,
          "spills": 11,
          "time_ms": 147.247643,
          "verified": true
        },
        {
          "budget": 11,
          "frame_bytes": 40,
          "insns": 100,
          "reserved": 4,
          "spills": 21,
          "time_ms": 144.244175,
          "verified": true
        },
        {
          "budget": 10,
          "frame_bytes": 32,
          "insns": 97,
          "reserved": 5,
          "spills": 20,
          "time_ms": 147.050971,
          "verified": true
        },
        {
          "budget": 9,
          "frame_bytes": 56,
          "insns": 104,
          "reserved": 6,
          "spills": 25,
          "time_ms": 147.81059299999998,
          "verified": true
        },
        {
          "budget": 8,
          "frame_bytes": 56,
          "insns": 102,
          "reserved": 7,
          "spills": 28,
          "time_ms": 148.076924,
          "verified": true
        },
        {
          "budget": 7,
          "frame_bytes": 56,
          "insns": 111,
          "reserved": 8,
          "spills": 28,
          "time_ms": 141.102515,
          "verified": true
        },
        {
          "budget": 6,
          "frame_bytes": 72,
          "insns": 117,
          "reserved": 9,
          "spills": 39,
          "time_ms": 171.510726,
          "verified": true
        },
        {
          "budget": 5,
          "frame_bytes": 88,
          "insns": 113,
          "reserved": 10,
          "spills": 49,
          "time_ms": 171.691543,
          "verified": true
        }
      ],
      "regfile": "gp",
      "source": "quicksort.c",
      "title": "Quicksort"
    },
    {
      "all_verified": true,
      "blurb": "igemm's floating-point twin: sixteen double accumulators in the XMM file. Responds to vector starvation, not integer.",
      "category": "Numerics",
      "checksum": "4150756a80000000",
      "checksum_stable": true,
      "hot_symbol": "sgemm_kernel",
      "name": "sgemm",
      "points": [
        {
          "budget": 16,
          "frame_bytes": 32,
          "insns": 210,
          "reserved": 0,
          "spills": 66,
          "time_ms": 131.51432499999999,
          "verified": true
        },
        {
          "budget": 15,
          "frame_bytes": 48,
          "insns": 214,
          "reserved": 1,
          "spills": 68,
          "time_ms": 135.795817,
          "verified": true
        },
        {
          "budget": 14,
          "frame_bytes": 64,
          "insns": 218,
          "reserved": 2,
          "spills": 70,
          "time_ms": 138.922596,
          "verified": true
        },
        {
          "budget": 13,
          "frame_bytes": 80,
          "insns": 217,
          "reserved": 3,
          "spills": 72,
          "time_ms": 131.54808500000001,
          "verified": true
        },
        {
          "budget": 12,
          "frame_bytes": 96,
          "insns": 221,
          "reserved": 4,
          "spills": 74,
          "time_ms": 135.581005,
          "verified": true
        },
        {
          "budget": 11,
          "frame_bytes": 112,
          "insns": 225,
          "reserved": 5,
          "spills": 77,
          "time_ms": 142.941063,
          "verified": true
        },
        {
          "budget": 10,
          "frame_bytes": 144,
          "insns": 233,
          "reserved": 6,
          "spills": 80,
          "time_ms": 152.652057,
          "verified": true
        },
        {
          "budget": 9,
          "frame_bytes": 160,
          "insns": 237,
          "reserved": 7,
          "spills": 82,
          "time_ms": 150.330635,
          "verified": true
        },
        {
          "budget": 8,
          "frame_bytes": 176,
          "insns": 245,
          "reserved": 8,
          "spills": 87,
          "time_ms": 161.134445,
          "verified": true
        },
        {
          "budget": 7,
          "frame_bytes": 192,
          "insns": 248,
          "reserved": 9,
          "spills": 89,
          "time_ms": 161.983083,
          "verified": true
        },
        {
          "budget": 6,
          "frame_bytes": 208,
          "insns": 252,
          "reserved": 10,
          "spills": 90,
          "time_ms": 163.63391199999998,
          "verified": true
        },
        {
          "budget": 5,
          "frame_bytes": 224,
          "insns": 265,
          "reserved": 11,
          "spills": 94,
          "time_ms": 170.51196,
          "verified": true
        },
        {
          "budget": 4,
          "frame_bytes": 240,
          "insns": 270,
          "reserved": 12,
          "spills": 100,
          "time_ms": 176.42043700000002,
          "verified": true
        }
      ],
      "regfile": "xmm",
      "source": "sgemm.c",
      "title": "Double matmul"
    },
    {
      "all_verified": true,
      "blurb": "A 16-tap filter with eight output lanes accumulated together — moderate, steady vector pressure.",
      "category": "DSP",
      "checksum": "413be40330000000",
      "checksum_stable": true,
      "hot_symbol": "fir",
      "name": "conv",
      "points": [
        {
          "budget": 16,
          "frame_bytes": 0,
          "insns": 83,
          "reserved": 0,
          "spills": 8,
          "time_ms": 135.50050299999998,
          "verified": true
        },
        {
          "budget": 15,
          "frame_bytes": 0,
          "insns": 84,
          "reserved": 1,
          "spills": 12,
          "time_ms": 136.42675100000002,
          "verified": true
        },
        {
          "budget": 14,
          "frame_bytes": 0,
          "insns": 86,
          "reserved": 2,
          "spills": 15,
          "time_ms": 138.623355,
          "verified": true
        },
        {
          "budget": 13,
          "frame_bytes": 0,
          "insns": 87,
          "reserved": 3,
          "spills": 17,
          "time_ms": 147.55513200000001,
          "verified": true
        },
        {
          "budget": 12,
          "frame_bytes": 0,
          "insns": 87,
          "reserved": 4,
          "spills": 19,
          "time_ms": 141.88251,
          "verified": true
        },
        {
          "budget": 11,
          "frame_bytes": 0,
          "insns": 89,
          "reserved": 5,
          "spills": 23,
          "time_ms": 142.795028,
          "verified": true
        },
        {
          "budget": 10,
          "frame_bytes": 16,
          "insns": 95,
          "reserved": 6,
          "spills": 27,
          "time_ms": 150.325016,
          "verified": true
        },
        {
          "budget": 9,
          "frame_bytes": 32,
          "insns": 103,
          "reserved": 7,
          "spills": 31,
          "time_ms": 165.12274499999998,
          "verified": true
        },
        {
          "budget": 8,
          "frame_bytes": 64,
          "insns": 101,
          "reserved": 8,
          "spills": 34,
          "time_ms": 184.966865,
          "verified": true
        },
        {
          "budget": 7,
          "frame_bytes": 80,
          "insns": 103,
          "reserved": 9,
          "spills": 37,
          "time_ms": 198.50172,
          "verified": true
        },
        {
          "budget": 6,
          "frame_bytes": 96,
          "insns": 105,
          "reserved": 10,
          "spills": 39,
          "time_ms": 211.029046,
          "verified": true
        },
        {
          "budget": 5,
          "frame_bytes": 112,
          "insns": 107,
          "reserved": 11,
          "spills": 41,
          "time_ms": 223.045044,
          "verified": true
        },
        {
          "budget": 4,
          "frame_bytes": 0,
          "insns": 110,
          "reserved": 12,
          "spills": 43,
          "time_ms": 238.91977,
          "verified": true
        }
      ],
      "regfile": "xmm",
      "source": "conv.c",
      "title": "FIR filter"
    },
    {
      "all_verified": true,
      "blurb": "Only a few live doubles per pixel. The floating-point control group — expected to stay flat.",
      "category": "Fractal (control)",
      "checksum": "00000000021d719c",
      "checksum_stable": true,
      "hot_symbol": "mandel_count",
      "name": "mandelbrot",
      "points": [
        {
          "budget": 16,
          "frame_bytes": 0,
          "insns": 37,
          "reserved": 0,
          "spills": 0,
          "time_ms": 101.619977,
          "verified": true
        },
        {
          "budget": 15,
          "frame_bytes": 0,
          "insns": 37,
          "reserved": 1,
          "spills": 0,
          "time_ms": 101.483879,
          "verified": true
        },
        {
          "budget": 14,
          "frame_bytes": 0,
          "insns": 37,
          "reserved": 2,
          "spills": 0,
          "time_ms": 101.696393,
          "verified": true
        },
        {
          "budget": 13,
          "frame_bytes": 0,
          "insns": 37,
          "reserved": 3,
          "spills": 0,
          "time_ms": 102.48818899999999,
          "verified": true
        },
        {
          "budget": 12,
          "frame_bytes": 0,
          "insns": 37,
          "reserved": 4,
          "spills": 0,
          "time_ms": 102.09776099999999,
          "verified": true
        },
        {
          "budget": 11,
          "frame_bytes": 0,
          "insns": 37,
          "reserved": 5,
          "spills": 0,
          "time_ms": 101.603534,
          "verified": true
        },
        {
          "budget": 10,
          "frame_bytes": 0,
          "insns": 37,
          "reserved": 6,
          "spills": 0,
          "time_ms": 101.86203400000001,
          "verified": true
        },
        {
          "budget": 9,
          "frame_bytes": 0,
          "insns": 38,
          "reserved": 7,
          "spills": 0,
          "time_ms": 101.968192,
          "verified": true
        },
        {
          "budget": 8,
          "frame_bytes": 0,
          "insns": 38,
          "reserved": 8,
          "spills": 0,
          "time_ms": 101.797448,
          "verified": true
        },
        {
          "budget": 7,
          "frame_bytes": 0,
          "insns": 33,
          "reserved": 9,
          "spills": 0,
          "time_ms": 104.10983999999999,
          "verified": true
        },
        {
          "budget": 6,
          "frame_bytes": 0,
          "insns": 32,
          "reserved": 10,
          "spills": 2,
          "time_ms": 103.194468,
          "verified": true
        },
        {
          "budget": 5,
          "frame_bytes": 0,
          "insns": 36,
          "reserved": 11,
          "spills": 4,
          "time_ms": 103.043081,
          "verified": true
        },
        {
          "budget": 4,
          "frame_bytes": 0,
          "insns": 37,
          "reserved": 12,
          "spills": 7,
          "time_ms": 116.202653,
          "verified": true
        }
      ],
      "regfile": "xmm",
      "source": "mandelbrot.c",
      "title": "Mandelbrot"
    }
  ],
  "meta": {
    "compile_flags": "-O2 -fPIC -shared",
    "core": 3,
    "cpu": "Intel(R) Xeon(R) E-2236 CPU @ 3.40GHz",
    "date": "2026-07-13",
    "gcc": "15.2.0",
    "reps": 15,
    "spill_metric": "instructions referencing a fixed stack slot (…(%rsp)) in the hot function; excludes indexed array access",
    "time_metric": "minimum wall-clock over N repetitions of the whole workload, one pinned core"
  },
  "register_files": {
    "gp": {
      "full": 15,
      "label": "General-purpose (integer)",
      "min": 5,
      "reserve_order": [
        "r15",
        "r14",
        "r13",
        "r12",
        "rbp",
        "rbx",
        "r11",
        "r10",
        "r9",
        "r8"
      ]
    },
    "xmm": {
      "full": 16,
      "label": "Vector (XMM / SSE)",
      "min": 4,
      "reserve_order": [
        "xmm15",
        "xmm14",
        "xmm13",
        "xmm12",
        "xmm11",
        "xmm10",
        "xmm9",
        "xmm8",
        "xmm7",
        "xmm6",
        "xmm5",
        "xmm4"
      ]
    }
  }
}