| { |
| "domain": "com.microsoft", |
| "name": "RotaryEmbedding", |
| "sinceVersion": 1, |
| "inputs": { |
| "x": { "onnx": "input", "dtype": "T" }, |
| "positionIds": { "onnx": "position_ids", "dtype": "M", "storage": "uint32", "narrowing": "checked" }, |
| "cos": { "onnx": "cos_cache", "dtype": "T", "rank": 2 }, |
| "sin": { "onnx": "sin_cache", "dtype": "T", "rank": 2 } |
| }, |
| "outputs": { "y": { "onnx": "output", "dtype": "T", "rank": "ranks.x", "shape": "shapes.x" } }, |
| "attributes": { |
| "interleaved": { "default": 0 }, |
| "is_packed_batching": { "default": 0 }, |
| "num_heads": { "default": 0 }, |
| "rotary_embedding_dim": { "default": 0 }, |
| "scale": { "default": 1 } |
| }, |
| "attributeConstraints": { |
| "interleaved": { "values": [0, 1] }, |
| "is_packed_batching": { "values": [0, 1] }, |
| "scale": { "values": [1] } |
| }, |
| "typeConstraints": { "T": ["float32", "float16"], "M": ["int64"] }, |
| "tunables": { "WORKGROUP_SIZE": { "default": 256 }, "ITEMS_PER_LANE": { "default": 2 } }, |
| "derive": { |
| "foldedDispatchCapacity": "min(device.limits.maxComputeWorkgroupsPerDimension, 65535) * min(device.limits.maxComputeWorkgroupsPerDimension, 65535)", |
| "rank3": "ranks.x == 3", |
| "rank4": "ranks.x == 4", |
| "rankOk": "rank3 or rank4", |
| "cacheShapeOk": "ranks.cos == 2 and ranks.sin == 2 and sameShape(shapes.cos, shapes.sin)", |
| "cacheWidth": "dim(shapes.cos, 1) if cacheShapeOk else 0", |
| "batchSize": "dim(shapes.x, 0) if rankOk else 0", |
| "seqLength": "(dim(shapes.x, 1) if rank3 else dim(shapes.x, 2)) if rankOk else 0", |
| "hiddenSize": "dim(shapes.x, 2) if rank3 else 0", |
| "rank3HeadSize": "(hiddenSize / attrs.num_heads if attrs.num_heads > 0 and hiddenSize % max(1, attrs.num_heads) == 0 else 2 * cacheWidth) if rank3 else 0", |
| "headSize": "rank3HeadSize if rank3 else (dim(shapes.x, 3) if rank4 else 0)", |
| "numHeads": "(hiddenSize / headSize if headSize > 0 and hiddenSize % max(1, headSize) == 0 else 0) if rank3 else (dim(shapes.x, 1) if rank4 else 0)", |
| "rotaryDim": "attrs.rotary_embedding_dim if attrs.rotary_embedding_dim > 0 else headSize", |
| "halfRotaryDim": "rotaryDim / 2 if rotaryDim % 2 == 0 else 0", |
| "geometryOk": "rankOk and cacheShapeOk and headSize > 0 and numHeads > 0 and batchSize > 0 and seqLength > 0 and rotaryDim > 0 and rotaryDim % 2 == 0 and rotaryDim <= headSize and cacheWidth == halfRotaryDim", |
| "attrsOk": "attrs.num_heads >= 0 and attrs.rotary_embedding_dim >= 0 and (attrs.rotary_embedding_dim == 0 or attrs.num_heads > 0)", |
| "contractOk": "f16Ok(dtypes.T) and geometryOk and attrsOk and sameShape(shapes.x, shapes.y)", |
| "itemsPerLane": "tunables.ITEMS_PER_LANE if (rank3 or numHeads % max(1, tunables.ITEMS_PER_LANE) == 0) else 1", |
| "headBlocks": "ceilDiv(numHeads, max(1, itemsPerLane)) if rank4 else 1", |
| "sliceRows": "(seqLength * numHeads if rank3 else seqLength) if rankOk else 0", |
| "sliceCount": "(batchSize if rank3 else batchSize * headBlocks) if rankOk else 0", |
| "sliceDispatchOk": "sliceCount <= min(device.limits.maxComputeWorkgroupsPerDimension, 65535)", |
| "workgroupSize": "max(1, min(tunables.WORKGROUP_SIZE, min(device.limits.maxComputeInvocationsPerWorkgroup, device.limits.maxComputeWorkgroupSizeX)))", |
| "laneUnits": "workgroupSize * itemsPerLane if rank3 else workgroupSize", |
| "quadHeadUnits": "headSize / 8 if headSize % 8 == 0 else 0", |
| "quadHeadStride": "headSize / 4 if headSize % 4 == 0 else 0", |
| "quadRotStart": "rotaryDim / 4 if rotaryDim % 4 == 0 else 0", |
| "quadRotUnits": "rotaryDim / 8 if rotaryDim % 8 == 0 else 0", |
| "quadHasTail": "quadHeadUnits > quadRotUnits", |
| "quadBlocks": "ceilDiv(sliceRows * quadHeadUnits, laneUnits)", |
| "quadOk": "headSize % 8 == 0 and rotaryDim % 8 == 0 and quadBlocks <= foldedDispatchCapacity and sliceDispatchOk", |
| "pairHeadUnits": "ceilDiv(headSize, 2)", |
| "pairHasTail": "pairHeadUnits > halfRotaryDim", |
| "pairTailGuard": "headSize % 2 == 1", |
| "pairBlocks": "ceilDiv(sliceRows * pairHeadUnits, laneUnits)", |
| "pairOk": "pairBlocks <= foldedDispatchCapacity and sliceDispatchOk", |
| "posOffsetOk": "ranks.positionIds <= 1 and numel(shapes.positionIds) == 1", |
| "posTableOk": "ranks.positionIds == 2 and dim(shapes.positionIds, 0) == batchSize and dim(shapes.positionIds, 1) == seqLength", |
| "interleaved": "attrs.interleaved != 0", |
| "scalarType": "dtypes.T", |
| "vectorType": "\"vec4<\" ~ dtypes.T ~ \">\"" |
| }, |
| "when": ["contractOk"], |
| "bindings": { |
| "x": { "elementType": "$vectorType" }, |
| "position_ids": { "arg": "positionIds", "elementType": "$M" }, |
| "cos_cache": { "arg": "cos", "elementType": "$vectorType" }, |
| "sin_cache": { "arg": "sin", "elementType": "$vectorType" }, |
| "y": { "elementType": "$vectorType" }, |
| "x_scalar": { "arg": "x", "name": "x", "elementType": "$T" }, |
| "cos_scalar": { "arg": "cos", "name": "cos_cache", "elementType": "$T" }, |
| "sin_scalar": { "arg": "sin", "name": "sin_cache", "elementType": "$T" }, |
| "y_scalar": { "arg": "y", "name": "y", "elementType": "$T" }, |
| "params": { "struct": [{ "name": "sliceRows", "type": "u32", "value": "sliceRows" }] } |
| }, |
| "variants": [ |
| { |
| "id": "quad", |
| "priority": 10, |
| "when": ["posTableOk or posOffsetOk", "quadOk"], |
| "derive": { |
| "rank": "ranks.x", |
| "posOffset": "posOffsetOk", |
| "useVec4": "true", |
| "headUnits": "quadHeadUnits", |
| "headStride": "quadHeadStride", |
| "rotStart": "quadRotStart", |
| "rotUnits": "quadRotUnits", |
| "hasTail": "quadHasTail", |
| "tailGuard": "false", |
| "castIn": "\"vec4<f32>\"", |
| "castOut": "vectorType" |
| }, |
| "passes": [ |
| { |
| "id": "main", |
| "name": "RotaryEmbedding.Quad", |
| "shader": "rotary-embedding-slices.wgsl.jinja", |
| "bindings": ["x", "position_ids", "cos_cache", "sin_cache", "y", "params"], |
| "dispatch": { |
| "x": "min(quadBlocks, DISPATCH_FOLD_WIDTH)", |
| "y": "ceilDiv(quadBlocks, DISPATCH_FOLD_WIDTH)", |
| "z": "sliceCount" |
| } |
| } |
| ] |
| }, |
| { |
| "id": "pair", |
| "priority": 0, |
| "when": ["posTableOk or posOffsetOk", "pairOk"], |
| "derive": { |
| "rank": "ranks.x", |
| "posOffset": "posOffsetOk", |
| "useVec4": "false", |
| "headUnits": "pairHeadUnits", |
| "headStride": "headSize", |
| "rotStart": "rotaryDim", |
| "rotUnits": "halfRotaryDim", |
| "hasTail": "pairHasTail", |
| "tailGuard": "pairTailGuard", |
| "castIn": "\"f32\"", |
| "castOut": "scalarType" |
| }, |
| "passes": [ |
| { |
| "id": "main", |
| "name": "RotaryEmbedding.Pair", |
| "shader": "rotary-embedding-slices.wgsl.jinja", |
| "bindings": ["x_scalar", "position_ids", "cos_scalar", "sin_scalar", "y_scalar", "params"], |
| "dispatch": { |
| "x": "min(pairBlocks, DISPATCH_FOLD_WIDTH)", |
| "y": "ceilDiv(pairBlocks, DISPATCH_FOLD_WIDTH)", |
| "z": "sliceCount" |
| } |
| } |
| ] |
| } |
| ] |
| } |
|
|
