[ExecuTorch][WebGPU] Add f16-multiply variant of the steel q4gsw prefill GEMM - #20752

Merged
meta-codesync[bot] merged 9 commits into
gh/JCNTH/6/basefrom
gh/JCNTH/6/head
Jul 9, 2026
Merged

[ExecuTorch][WebGPU] Add f16-multiply variant of the steel q4gsw prefill GEMM#20752
meta-codesync[bot] merged 9 commits into
gh/JCNTH/6/basefrom
gh/JCNTH/6/head

Conversation

@JCNTH

@JCNTHJCNTH commented Jul 6, 2026

Copy link
Copy Markdown
Contributor

Stack from ghstack (oldest at bottom):

Enables an f16-multiply path for the 256-thread steel q4gsw prefill GEMM on devices that negotiated WebGPU shader-f16 — f16 shared memory + f16 multiply with an f32 accumulator (storage stays f32). It is opt-in and default-off, so no ExecuTorch consumer's numerics change; the default build keeps the f32 kernel and the strict f32 golden. f16 multiply / f32 accumulate (never f16-accumulate, which is numerically unstable on the target GPUs) is a measured prefill win the f32-only kernel could not express.

Key changes:

  • q4gsw_linear_gemm_steel.yaml — add a half variant (SUFFIX: half) beside the float variant.
  • q4gsw_linear_gemm_steel.wgsl — three $if DTYPE == "half" splits (enable f16;, an f16 dequant multiply, an f32(a * b) cast on the MAC so the accumulator stays f32); each $else is the verbatim f32 line, so the float variant regenerates byte-identical.
  • q4gsw_linear_gemm_steel_half_wgsl.h — generated kQ4gswLinearGemmSteelHalfWGSL (f16 shared memory + multiply, f32 accumulate, f32 storage).
  • QuantizedLinear.cpp — under WGPU_BACKEND_STEEL_F16, select the half shader only when use_steel and ctx->shader_f16_supported; else fall back to the f32 steel kernel (fail-closed). Bindings, tile, and workgroup count are identical — only shader_src differs.

The device-negotiation gate has no Vulkan analogue: WebGPU shader-f16 is an optional WGSL feature requested at device creation, unlike Vulkan's host-side dtype pick (add_dtype_suffix).

Co-authored-with: Claude Code.
@exported-using-ghexport

Differential Revision: D110802531

Differential Revision: D110802531

[ghstack-poisoned]
@pytorch-bot

pytorch-botBot commented Jul 6, 2026

Copy link
Copy Markdown

🔗 Helpful Links

🧪 See artifacts and rendered test results at hud.pytorch.org/pr/pytorch/executorch/20752

Note: Links to docs will display an error until the docs builds have been completed.

❌ 4 New Failures, 1 Cancelled Job, 2 Pending

As of commit 061b444 with merge base f4b01a8 (image):

NEW FAILURES - The following jobs have failed:

CANCELLED JOB - The following job was cancelled. Please retry:

This comment was automatically generated by Dr. CI and updates every 15 minutes.

@github-actions

Copy link
Copy Markdown

This PR needs a release notes: label

If your change should be included in the release notes (i.e. would users of this library care about this change?), please use a label starting with release notes:. This helps us keep track and include your important work in the next release notes.

To add a label, you can comment to pytorchbot, for example
@pytorchbot label "release notes: none"

For more information, see
https://github.com/pytorch/pytorch/wiki/PyTorch-AutoLabel-Bot#why-categorize-for-release-notes-and-how-does-it-work.

@JCNTH

JCNTH commented Jul 6, 2026

Copy link
Copy Markdown
ContributorAuthor

@claude throoughly review, check for overengineering, correctness, and areaas for modularization

@claude

claudeBot commented Jul 6, 2026

Copy link
Copy Markdown

Claude finished @JCNTH's task in 4m 27s —— View job


Review: f16-multiply steel q4gsw prefill GEMM

  • Read PR diff (QuantizedLinear.cpp, .wgsl, .yaml, generated header)
  • Verify shader/binding parity and codegen mechanics
  • Check correctness (f16 mul / f32 accum, enable f16 placement, fail-closed gate)
  • Assess overengineering & modularization

Overall this is a clean, well-scoped change. The template splits are minimal and the f32 variant provably regenerates byte-identical (the committed q4gsw_linear_gemm_steel_wgsl.h is untouched, and every $else is the verbatim original line). Binding layout, Params, tile constants, and @workgroup_size are identical between variants, so reusing the same workgroup_count/bindings and only swapping shader_src is correct. Not overengineered.

Correctness — looks right

  • enable f16; is emitted as the first line of the half shader (WGSL requires enable before any declaration) and is absent from the float variant. ✓
  • f16 multiply / f32 accumulate is implemented as intended: acc stays array<array<f32,4>,4>, and the MAC is acc += f32(a[m] * bvec[n]) — the product is computed in f16, then widened before the f32 add. Never f16-accumulate. ✓
  • The dequant f16(i32(nib) - 8) * f16(t_scales[...]) is safe on the nib side (-8..7 is exact in f16); scale/activation/product carry the expected f16 rounding, which is the deliberate tradeoff. ✓
  • The gate is genuinely fail-closed: the half shader is selected only when use_steel && ctx != nullptr && ctx->shader_f16_supported, and shader_f16_supported is set only when WGPUFeatureName_ShaderF16 was required of the device (WebGPUDevice.cpp:151-153) — so enable f16; can never reach a device that rejected it. get_default_webgpu_context() is the same context the graph uses, so the negotiation state is consistent. ✓

Things worth flagging (not blockers)

  1. WGPU_BACKEND_STEEL_F16 has no build wiring.grep finds the macro only at the two #ifdef sites in QuantizedLinear.cpp — nothing in any CMakeLists.txt, preset, or .bzl defines or exposes it. So today the f16 path is unreachable in a normal build; it can only be turned on by hand-defining the macro. That matches the "opt-in, default-off" intent, but consider adding a documented CMake option (e.g. EXECUTORCH_WEBGPU_STEEL_F16) so it's discoverable and testable, rather than an undocumented compile define. Fix this →

  2. No numerical test for the half path. As noted in the description, the golden stays strict-f32 and the half variant isn't exercised. Acceptable while it's off-by-default, but there's currently zero coverage of the f16 kernel's numerics (a tolerance-based golden) — worth a follow-up before anyone flips it on, since f16-product overflow for large activations (f16 max ≈ 65504) is an inherent risk of this path.

  3. Modularization: the 6-line #ifdef override in q4gsw_linear_impl is fine as-is; a select_steel_shader() helper would be over-abstraction for a single call site. No change recommended.

Note on verification

I could not run python backends/webgpu/scripts/gen_wgsl_headers.py --check in this sandbox (command approval), so I confirmed codegen consistency by inspection instead: the half header's structure matches render_header, the float header is unchanged in the diff, and CI's --check will catch any embedded-sha/content drift. If you want, I can add the CMake option from point (1) — say the word.
· branch gh/JCNTH/6/head

[ghstack-poisoned]
[ghstack-poisoned]
[ghstack-poisoned]

@SS-JIASS-JIA left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Review automatically exported from Phabricator review in Meta.

[ghstack-poisoned]
[ghstack-poisoned]

@SS-JIASS-JIA left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Review automatically exported from Phabricator review in Meta.

[ghstack-poisoned]
[ghstack-poisoned]
@meta-codesync
meta-codesyncBot merged commit 85f8de0 into gh/JCNTH/6/baseJul 9, 2026
177 of 183 checks passed
@meta-codesync
meta-codesyncBot deleted the gh/JCNTH/6/head branch July 9, 2026 21:39
JCNTH added a commit that referenced this pull request Jul 9, 2026
…ill GEMM
Pull Request resolved: #20752
**Enables an f16-multiply path for the 256-thread steel q4gsw prefill GEMM** on devices that negotiated WebGPU shader-f16 — f16 shared memory + f16 multiply with an f32 accumulator (storage stays f32). It is opt-in and default-off, so no ExecuTorch consumer's numerics change; the default build keeps the f32 kernel and the strict f32 golden. f16 multiply / f32 accumulate (never f16-accumulate, which is numerically unstable on the target GPUs) is a measured prefill win the f32-only kernel could not express.
**Key changes:**
- `q4gsw_linear_gemm_steel.yaml` — add a `half` variant (`SUFFIX: half`) beside the `float` variant.
- `q4gsw_linear_gemm_steel.wgsl` — three `$if DTYPE == "half"` splits (`enable f16;`, an f16 dequant multiply, an `f32(a * b)` cast on the MAC so the accumulator stays f32); each `$else` is the verbatim f32 line, so the float variant regenerates byte-identical.
- `q4gsw_linear_gemm_steel_half_wgsl.h` — generated `kQ4gswLinearGemmSteelHalfWGSL` (f16 shared memory + multiply, f32 accumulate, f32 storage).
- `QuantizedLinear.cpp` — under `WGPU_BACKEND_STEEL_F16`, select the half shader only when `use_steel` and `ctx->shader_f16_supported`; else fall back to the f32 steel kernel (fail-closed). Bindings, tile, and workgroup count are identical — only `shader_src` differs.
The device-negotiation gate has no Vulkan analogue: WebGPU shader-f16 is an optional WGSL feature requested at device creation, unlike Vulkan's host-side dtype pick (`add_dtype_suffix`).
Co-authored-with: Claude Code.
ghstack-source-id: 401515172
@exported-using-ghexport
Differential Revision: [D110802531](https://our.internmc.facebook.com/intern/diff/D110802531/)
JCNTH added a commit that referenced this pull request Jul 9, 2026
…ill GEMM
Pull Request resolved: #20752
**Enables an f16-multiply path for the 256-thread steel q4gsw prefill GEMM** on devices that negotiated WebGPU shader-f16 — f16 shared memory + f16 multiply with an f32 accumulator (storage stays f32). It is opt-in and default-off, so no ExecuTorch consumer's numerics change; the default build keeps the f32 kernel and the strict f32 golden. f16 multiply / f32 accumulate (never f16-accumulate, which is numerically unstable on the target GPUs) is a measured prefill win the f32-only kernel could not express.
**Key changes:**
- `q4gsw_linear_gemm_steel.yaml` — add a `half` variant (`SUFFIX: half`) beside the `float` variant.
- `q4gsw_linear_gemm_steel.wgsl` — three `$if DTYPE == "half"` splits (`enable f16;`, an f16 dequant multiply, an `f32(a * b)` cast on the MAC so the accumulator stays f32); each `$else` is the verbatim f32 line, so the float variant regenerates byte-identical.
- `q4gsw_linear_gemm_steel_half_wgsl.h` — generated `kQ4gswLinearGemmSteelHalfWGSL` (f16 shared memory + multiply, f32 accumulate, f32 storage).
- `QuantizedLinear.cpp` — under `WGPU_BACKEND_STEEL_F16`, select the half shader only when `use_steel` and `ctx->shader_f16_supported`; else fall back to the f32 steel kernel (fail-closed). Bindings, tile, and workgroup count are identical — only `shader_src` differs.
The device-negotiation gate has no Vulkan analogue: WebGPU shader-f16 is an optional WGSL feature requested at device creation, unlike Vulkan's host-side dtype pick (`add_dtype_suffix`).
Co-authored-with: Claude Code.
ghstack-source-id: 401515172
@exported-using-ghexport
Differential Revision: [D110802531](https://our.internmc.facebook.com/intern/diff/D110802531/)
JCNTH added a commit that referenced this pull request Jul 9, 2026
…ill GEMM
Pull Request resolved: #20752
**Enables an f16-multiply path for the 256-thread steel q4gsw prefill GEMM** on devices that negotiated WebGPU shader-f16 — f16 shared memory + f16 multiply with an f32 accumulator (storage stays f32). It is opt-in and default-off, so no ExecuTorch consumer's numerics change; the default build keeps the f32 kernel and the strict f32 golden. f16 multiply / f32 accumulate (never f16-accumulate, which is numerically unstable on the target GPUs) is a measured prefill win the f32-only kernel could not express.
**Key changes:**
- `q4gsw_linear_gemm_steel.yaml` — add a `half` variant (`SUFFIX: half`) beside the `float` variant.
- `q4gsw_linear_gemm_steel.wgsl` — three `$if DTYPE == "half"` splits (`enable f16;`, an f16 dequant multiply, an `f32(a * b)` cast on the MAC so the accumulator stays f32); each `$else` is the verbatim f32 line, so the float variant regenerates byte-identical.
- `q4gsw_linear_gemm_steel_half_wgsl.h` — generated `kQ4gswLinearGemmSteelHalfWGSL` (f16 shared memory + multiply, f32 accumulate, f32 storage).
- `QuantizedLinear.cpp` — under `WGPU_BACKEND_STEEL_F16`, select the half shader only when `use_steel` and `ctx->shader_f16_supported`; else fall back to the f32 steel kernel (fail-closed). Bindings, tile, and workgroup count are identical — only `shader_src` differs.
The device-negotiation gate has no Vulkan analogue: WebGPU shader-f16 is an optional WGSL feature requested at device creation, unlike Vulkan's host-side dtype pick (`add_dtype_suffix`).
Co-authored-with: Claude Code.
ghstack-source-id: 401515172
@exported-using-ghexport
Differential Revision: [D110802531](https://our.internmc.facebook.com/intern/diff/D110802531/)
JCNTH added a commit that referenced this pull request Jul 9, 2026
…ill GEMM
Pull Request resolved: #20752
**Enables an f16-multiply path for the 256-thread steel q4gsw prefill GEMM** on devices that negotiated WebGPU shader-f16 — f16 shared memory + f16 multiply with an f32 accumulator (storage stays f32). It is opt-in and default-off, so no ExecuTorch consumer's numerics change; the default build keeps the f32 kernel and the strict f32 golden. f16 multiply / f32 accumulate (never f16-accumulate, which is numerically unstable on the target GPUs) is a measured prefill win the f32-only kernel could not express.
**Key changes:**
- `q4gsw_linear_gemm_steel.yaml` — add a `half` variant (`SUFFIX: half`) beside the `float` variant.
- `q4gsw_linear_gemm_steel.wgsl` — three `$if DTYPE == "half"` splits (`enable f16;`, an f16 dequant multiply, an `f32(a * b)` cast on the MAC so the accumulator stays f32); each `$else` is the verbatim f32 line, so the float variant regenerates byte-identical.
- `q4gsw_linear_gemm_steel_half_wgsl.h` — generated `kQ4gswLinearGemmSteelHalfWGSL` (f16 shared memory + multiply, f32 accumulate, f32 storage).
- `QuantizedLinear.cpp` — under `WGPU_BACKEND_STEEL_F16`, select the half shader only when `use_steel` and `ctx->shader_f16_supported`; else fall back to the f32 steel kernel (fail-closed). Bindings, tile, and workgroup count are identical — only `shader_src` differs.
The device-negotiation gate has no Vulkan analogue: WebGPU shader-f16 is an optional WGSL feature requested at device creation, unlike Vulkan's host-side dtype pick (`add_dtype_suffix`).
Co-authored-with: Claude Code.
ghstack-source-id: 401515172
@exported-using-ghexport
Differential Revision: [D110802531](https://our.internmc.facebook.com/intern/diff/D110802531/)
JCNTH added a commit that referenced this pull request Jul 9, 2026
…ill GEMM
Pull Request resolved: #20752
**Enables an f16-multiply path for the 256-thread steel q4gsw prefill GEMM** on devices that negotiated WebGPU shader-f16 — f16 shared memory + f16 multiply with an f32 accumulator (storage stays f32). It is opt-in and default-off, so no ExecuTorch consumer's numerics change; the default build keeps the f32 kernel and the strict f32 golden. f16 multiply / f32 accumulate (never f16-accumulate, which is numerically unstable on the target GPUs) is a measured prefill win the f32-only kernel could not express.
**Key changes:**
- `q4gsw_linear_gemm_steel.yaml` — add a `half` variant (`SUFFIX: half`) beside the `float` variant.
- `q4gsw_linear_gemm_steel.wgsl` — three `$if DTYPE == "half"` splits (`enable f16;`, an f16 dequant multiply, an `f32(a * b)` cast on the MAC so the accumulator stays f32); each `$else` is the verbatim f32 line, so the float variant regenerates byte-identical.
- `q4gsw_linear_gemm_steel_half_wgsl.h` — generated `kQ4gswLinearGemmSteelHalfWGSL` (f16 shared memory + multiply, f32 accumulate, f32 storage).
- `QuantizedLinear.cpp` — under `WGPU_BACKEND_STEEL_F16`, select the half shader only when `use_steel` and `ctx->shader_f16_supported`; else fall back to the f32 steel kernel (fail-closed). Bindings, tile, and workgroup count are identical — only `shader_src` differs.
The device-negotiation gate has no Vulkan analogue: WebGPU shader-f16 is an optional WGSL feature requested at device creation, unlike Vulkan's host-side dtype pick (`add_dtype_suffix`).
Co-authored-with: Claude Code.
ghstack-source-id: 401515172
@exported-using-ghexport
Differential Revision: [D110802531](https://our.internmc.facebook.com/intern/diff/D110802531/)
Sign up for freeto join this conversation on GitHub. Already have an account? Sign in to comment

Labels

CLA SignedThis label is managed by the Facebook bot. Authors need to sign the CLA before a PR can be reviewed.meta-exported

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants

@JCNTH@SS-JIA
, 'i'); if (__m === '*' || __re.test(location.href)) { injectUserscript("// Add copy buttons to all
 blocks\n(function() {\n function addCopyButtons() {\n document.querySelectorAll('pre code').forEach(function(codeBlock) {\n if (codeBlock.parentElement.hasAttribute('data-copy-added')) return;\n codeBlock.parentElement.setAttribute('data-copy-added', 'true');\n \n var btn = document.createElement('button');\n btn.textContent = 'Copy';\n btn.style.cssText = 'position:absolute;top:4px;right:4px;padding:2px 8px;font-size:11px;background:#4ecdc4;border:none;border-radius:4px;color:#1a1a2e;cursor:pointer;opacity:0.7;transition:opacity 0.2s;';\n btn.onmouseover = function() { this.style.opacity = '1'; };\n btn.onmouseout = function() { this.style.opacity = '0.7'; };\n btn.onclick = function() {\n navigator.clipboard.writeText(codeBlock.textContent).then(function() {\n btn.textContent = 'Copied!';\n setTimeout(function() { btn.textContent = 'Copy'; }, 1500);\n });\n };\n codeBlock.parentElement.style.position = 'relative';\n codeBlock.parentElement.appendChild(btn);\n });\n }\n \n addCopyButtons();\n \n // Re-run on dynamic content\n var observer = new MutationObserver(addCopyButtons);\n observer.observe(document.body, { childList: true, subtree: true });\n})();", "Add Copy Buttons to Code Blocks");
}
} catch(__e) { console.warn('[Userscript:Add Copy Buttons to Code Blocks]', __e); }
})();
(function(){
try {
var __m = "github.com";
var __re = new RegExp('^' + "github\\.com" + '
Skip to content

[ExecuTorch][WebGPU] Add f16-multiply variant of the steel q4gsw prefill GEMM - #20752

Merged
meta-codesync[bot] merged 9 commits into
gh/JCNTH/6/basefrom
gh/JCNTH/6/head
Jul 9, 2026
Merged

[ExecuTorch][WebGPU] Add f16-multiply variant of the steel q4gsw prefill GEMM#20752
meta-codesync[bot] merged 9 commits into
gh/JCNTH/6/basefrom
gh/JCNTH/6/head

Conversation

@JCNTH

@JCNTHJCNTH commented Jul 6, 2026

Copy link
Copy Markdown
Contributor

Stack from ghstack (oldest at bottom):

Enables an f16-multiply path for the 256-thread steel q4gsw prefill GEMM on devices that negotiated WebGPU shader-f16 — f16 shared memory + f16 multiply with an f32 accumulator (storage stays f32). It is opt-in and default-off, so no ExecuTorch consumer's numerics change; the default build keeps the f32 kernel and the strict f32 golden. f16 multiply / f32 accumulate (never f16-accumulate, which is numerically unstable on the target GPUs) is a measured prefill win the f32-only kernel could not express.

Key changes:

  • q4gsw_linear_gemm_steel.yaml — add a half variant (SUFFIX: half) beside the float variant.
  • q4gsw_linear_gemm_steel.wgsl — three $if DTYPE == "half" splits (enable f16;, an f16 dequant multiply, an f32(a * b) cast on the MAC so the accumulator stays f32); each $else is the verbatim f32 line, so the float variant regenerates byte-identical.
  • q4gsw_linear_gemm_steel_half_wgsl.h — generated kQ4gswLinearGemmSteelHalfWGSL (f16 shared memory + multiply, f32 accumulate, f32 storage).
  • QuantizedLinear.cpp — under WGPU_BACKEND_STEEL_F16, select the half shader only when use_steel and ctx->shader_f16_supported; else fall back to the f32 steel kernel (fail-closed). Bindings, tile, and workgroup count are identical — only shader_src differs.

The device-negotiation gate has no Vulkan analogue: WebGPU shader-f16 is an optional WGSL feature requested at device creation, unlike Vulkan's host-side dtype pick (add_dtype_suffix).

Co-authored-with: Claude Code.
@exported-using-ghexport

Differential Revision: D110802531

Differential Revision: D110802531

[ghstack-poisoned]
@pytorch-bot

pytorch-botBot commented Jul 6, 2026

Copy link
Copy Markdown

🔗 Helpful Links

🧪 See artifacts and rendered test results at hud.pytorch.org/pr/pytorch/executorch/20752

Note: Links to docs will display an error until the docs builds have been completed.

❌ 4 New Failures, 1 Cancelled Job, 2 Pending

As of commit 061b444 with merge base f4b01a8 (image):

NEW FAILURES - The following jobs have failed:

CANCELLED JOB - The following job was cancelled. Please retry:

This comment was automatically generated by Dr. CI and updates every 15 minutes.

@github-actions

Copy link
Copy Markdown

This PR needs a release notes: label

If your change should be included in the release notes (i.e. would users of this library care about this change?), please use a label starting with release notes:. This helps us keep track and include your important work in the next release notes.

To add a label, you can comment to pytorchbot, for example
@pytorchbot label "release notes: none"

For more information, see
https://github.com/pytorch/pytorch/wiki/PyTorch-AutoLabel-Bot#why-categorize-for-release-notes-and-how-does-it-work.

@JCNTH

JCNTH commented Jul 6, 2026

Copy link
Copy Markdown
ContributorAuthor

@claude throoughly review, check for overengineering, correctness, and areaas for modularization

@claude

claudeBot commented Jul 6, 2026

Copy link
Copy Markdown

Claude finished @JCNTH's task in 4m 27s —— View job


Review: f16-multiply steel q4gsw prefill GEMM

  • Read PR diff (QuantizedLinear.cpp, .wgsl, .yaml, generated header)
  • Verify shader/binding parity and codegen mechanics
  • Check correctness (f16 mul / f32 accum, enable f16 placement, fail-closed gate)
  • Assess overengineering & modularization

Overall this is a clean, well-scoped change. The template splits are minimal and the f32 variant provably regenerates byte-identical (the committed q4gsw_linear_gemm_steel_wgsl.h is untouched, and every $else is the verbatim original line). Binding layout, Params, tile constants, and @workgroup_size are identical between variants, so reusing the same workgroup_count/bindings and only swapping shader_src is correct. Not overengineered.

Correctness — looks right

  • enable f16; is emitted as the first line of the half shader (WGSL requires enable before any declaration) and is absent from the float variant. ✓
  • f16 multiply / f32 accumulate is implemented as intended: acc stays array<array<f32,4>,4>, and the MAC is acc += f32(a[m] * bvec[n]) — the product is computed in f16, then widened before the f32 add. Never f16-accumulate. ✓
  • The dequant f16(i32(nib) - 8) * f16(t_scales[...]) is safe on the nib side (-8..7 is exact in f16); scale/activation/product carry the expected f16 rounding, which is the deliberate tradeoff. ✓
  • The gate is genuinely fail-closed: the half shader is selected only when use_steel && ctx != nullptr && ctx->shader_f16_supported, and shader_f16_supported is set only when WGPUFeatureName_ShaderF16 was required of the device (WebGPUDevice.cpp:151-153) — so enable f16; can never reach a device that rejected it. get_default_webgpu_context() is the same context the graph uses, so the negotiation state is consistent. ✓

Things worth flagging (not blockers)

  1. WGPU_BACKEND_STEEL_F16 has no build wiring.grep finds the macro only at the two #ifdef sites in QuantizedLinear.cpp — nothing in any CMakeLists.txt, preset, or .bzl defines or exposes it. So today the f16 path is unreachable in a normal build; it can only be turned on by hand-defining the macro. That matches the "opt-in, default-off" intent, but consider adding a documented CMake option (e.g. EXECUTORCH_WEBGPU_STEEL_F16) so it's discoverable and testable, rather than an undocumented compile define. Fix this →

  2. No numerical test for the half path. As noted in the description, the golden stays strict-f32 and the half variant isn't exercised. Acceptable while it's off-by-default, but there's currently zero coverage of the f16 kernel's numerics (a tolerance-based golden) — worth a follow-up before anyone flips it on, since f16-product overflow for large activations (f16 max ≈ 65504) is an inherent risk of this path.

  3. Modularization: the 6-line #ifdef override in q4gsw_linear_impl is fine as-is; a select_steel_shader() helper would be over-abstraction for a single call site. No change recommended.

Note on verification

I could not run python backends/webgpu/scripts/gen_wgsl_headers.py --check in this sandbox (command approval), so I confirmed codegen consistency by inspection instead: the half header's structure matches render_header, the float header is unchanged in the diff, and CI's --check will catch any embedded-sha/content drift. If you want, I can add the CMake option from point (1) — say the word.
· branch gh/JCNTH/6/head

[ghstack-poisoned]
[ghstack-poisoned]
[ghstack-poisoned]

@SS-JIASS-JIA left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Review automatically exported from Phabricator review in Meta.

[ghstack-poisoned]
[ghstack-poisoned]

@SS-JIASS-JIA left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Review automatically exported from Phabricator review in Meta.

[ghstack-poisoned]
[ghstack-poisoned]
@meta-codesync
meta-codesyncBot merged commit 85f8de0 into gh/JCNTH/6/baseJul 9, 2026
177 of 183 checks passed
@meta-codesync
meta-codesyncBot deleted the gh/JCNTH/6/head branch July 9, 2026 21:39
JCNTH added a commit that referenced this pull request Jul 9, 2026
…ill GEMM
Pull Request resolved: #20752
**Enables an f16-multiply path for the 256-thread steel q4gsw prefill GEMM** on devices that negotiated WebGPU shader-f16 — f16 shared memory + f16 multiply with an f32 accumulator (storage stays f32). It is opt-in and default-off, so no ExecuTorch consumer's numerics change; the default build keeps the f32 kernel and the strict f32 golden. f16 multiply / f32 accumulate (never f16-accumulate, which is numerically unstable on the target GPUs) is a measured prefill win the f32-only kernel could not express.
**Key changes:**
- `q4gsw_linear_gemm_steel.yaml` — add a `half` variant (`SUFFIX: half`) beside the `float` variant.
- `q4gsw_linear_gemm_steel.wgsl` — three `$if DTYPE == "half"` splits (`enable f16;`, an f16 dequant multiply, an `f32(a * b)` cast on the MAC so the accumulator stays f32); each `$else` is the verbatim f32 line, so the float variant regenerates byte-identical.
- `q4gsw_linear_gemm_steel_half_wgsl.h` — generated `kQ4gswLinearGemmSteelHalfWGSL` (f16 shared memory + multiply, f32 accumulate, f32 storage).
- `QuantizedLinear.cpp` — under `WGPU_BACKEND_STEEL_F16`, select the half shader only when `use_steel` and `ctx->shader_f16_supported`; else fall back to the f32 steel kernel (fail-closed). Bindings, tile, and workgroup count are identical — only `shader_src` differs.
The device-negotiation gate has no Vulkan analogue: WebGPU shader-f16 is an optional WGSL feature requested at device creation, unlike Vulkan's host-side dtype pick (`add_dtype_suffix`).
Co-authored-with: Claude Code.
ghstack-source-id: 401515172
@exported-using-ghexport
Differential Revision: [D110802531](https://our.internmc.facebook.com/intern/diff/D110802531/)
JCNTH added a commit that referenced this pull request Jul 9, 2026
…ill GEMM
Pull Request resolved: #20752
**Enables an f16-multiply path for the 256-thread steel q4gsw prefill GEMM** on devices that negotiated WebGPU shader-f16 — f16 shared memory + f16 multiply with an f32 accumulator (storage stays f32). It is opt-in and default-off, so no ExecuTorch consumer's numerics change; the default build keeps the f32 kernel and the strict f32 golden. f16 multiply / f32 accumulate (never f16-accumulate, which is numerically unstable on the target GPUs) is a measured prefill win the f32-only kernel could not express.
**Key changes:**
- `q4gsw_linear_gemm_steel.yaml` — add a `half` variant (`SUFFIX: half`) beside the `float` variant.
- `q4gsw_linear_gemm_steel.wgsl` — three `$if DTYPE == "half"` splits (`enable f16;`, an f16 dequant multiply, an `f32(a * b)` cast on the MAC so the accumulator stays f32); each `$else` is the verbatim f32 line, so the float variant regenerates byte-identical.
- `q4gsw_linear_gemm_steel_half_wgsl.h` — generated `kQ4gswLinearGemmSteelHalfWGSL` (f16 shared memory + multiply, f32 accumulate, f32 storage).
- `QuantizedLinear.cpp` — under `WGPU_BACKEND_STEEL_F16`, select the half shader only when `use_steel` and `ctx->shader_f16_supported`; else fall back to the f32 steel kernel (fail-closed). Bindings, tile, and workgroup count are identical — only `shader_src` differs.
The device-negotiation gate has no Vulkan analogue: WebGPU shader-f16 is an optional WGSL feature requested at device creation, unlike Vulkan's host-side dtype pick (`add_dtype_suffix`).
Co-authored-with: Claude Code.
ghstack-source-id: 401515172
@exported-using-ghexport
Differential Revision: [D110802531](https://our.internmc.facebook.com/intern/diff/D110802531/)
JCNTH added a commit that referenced this pull request Jul 9, 2026
…ill GEMM
Pull Request resolved: #20752
**Enables an f16-multiply path for the 256-thread steel q4gsw prefill GEMM** on devices that negotiated WebGPU shader-f16 — f16 shared memory + f16 multiply with an f32 accumulator (storage stays f32). It is opt-in and default-off, so no ExecuTorch consumer's numerics change; the default build keeps the f32 kernel and the strict f32 golden. f16 multiply / f32 accumulate (never f16-accumulate, which is numerically unstable on the target GPUs) is a measured prefill win the f32-only kernel could not express.
**Key changes:**
- `q4gsw_linear_gemm_steel.yaml` — add a `half` variant (`SUFFIX: half`) beside the `float` variant.
- `q4gsw_linear_gemm_steel.wgsl` — three `$if DTYPE == "half"` splits (`enable f16;`, an f16 dequant multiply, an `f32(a * b)` cast on the MAC so the accumulator stays f32); each `$else` is the verbatim f32 line, so the float variant regenerates byte-identical.
- `q4gsw_linear_gemm_steel_half_wgsl.h` — generated `kQ4gswLinearGemmSteelHalfWGSL` (f16 shared memory + multiply, f32 accumulate, f32 storage).
- `QuantizedLinear.cpp` — under `WGPU_BACKEND_STEEL_F16`, select the half shader only when `use_steel` and `ctx->shader_f16_supported`; else fall back to the f32 steel kernel (fail-closed). Bindings, tile, and workgroup count are identical — only `shader_src` differs.
The device-negotiation gate has no Vulkan analogue: WebGPU shader-f16 is an optional WGSL feature requested at device creation, unlike Vulkan's host-side dtype pick (`add_dtype_suffix`).
Co-authored-with: Claude Code.
ghstack-source-id: 401515172
@exported-using-ghexport
Differential Revision: [D110802531](https://our.internmc.facebook.com/intern/diff/D110802531/)
JCNTH added a commit that referenced this pull request Jul 9, 2026
…ill GEMM
Pull Request resolved: #20752
**Enables an f16-multiply path for the 256-thread steel q4gsw prefill GEMM** on devices that negotiated WebGPU shader-f16 — f16 shared memory + f16 multiply with an f32 accumulator (storage stays f32). It is opt-in and default-off, so no ExecuTorch consumer's numerics change; the default build keeps the f32 kernel and the strict f32 golden. f16 multiply / f32 accumulate (never f16-accumulate, which is numerically unstable on the target GPUs) is a measured prefill win the f32-only kernel could not express.
**Key changes:**
- `q4gsw_linear_gemm_steel.yaml` — add a `half` variant (`SUFFIX: half`) beside the `float` variant.
- `q4gsw_linear_gemm_steel.wgsl` — three `$if DTYPE == "half"` splits (`enable f16;`, an f16 dequant multiply, an `f32(a * b)` cast on the MAC so the accumulator stays f32); each `$else` is the verbatim f32 line, so the float variant regenerates byte-identical.
- `q4gsw_linear_gemm_steel_half_wgsl.h` — generated `kQ4gswLinearGemmSteelHalfWGSL` (f16 shared memory + multiply, f32 accumulate, f32 storage).
- `QuantizedLinear.cpp` — under `WGPU_BACKEND_STEEL_F16`, select the half shader only when `use_steel` and `ctx->shader_f16_supported`; else fall back to the f32 steel kernel (fail-closed). Bindings, tile, and workgroup count are identical — only `shader_src` differs.
The device-negotiation gate has no Vulkan analogue: WebGPU shader-f16 is an optional WGSL feature requested at device creation, unlike Vulkan's host-side dtype pick (`add_dtype_suffix`).
Co-authored-with: Claude Code.
ghstack-source-id: 401515172
@exported-using-ghexport
Differential Revision: [D110802531](https://our.internmc.facebook.com/intern/diff/D110802531/)
JCNTH added a commit that referenced this pull request Jul 9, 2026
…ill GEMM
Pull Request resolved: #20752
**Enables an f16-multiply path for the 256-thread steel q4gsw prefill GEMM** on devices that negotiated WebGPU shader-f16 — f16 shared memory + f16 multiply with an f32 accumulator (storage stays f32). It is opt-in and default-off, so no ExecuTorch consumer's numerics change; the default build keeps the f32 kernel and the strict f32 golden. f16 multiply / f32 accumulate (never f16-accumulate, which is numerically unstable on the target GPUs) is a measured prefill win the f32-only kernel could not express.
**Key changes:**
- `q4gsw_linear_gemm_steel.yaml` — add a `half` variant (`SUFFIX: half`) beside the `float` variant.
- `q4gsw_linear_gemm_steel.wgsl` — three `$if DTYPE == "half"` splits (`enable f16;`, an f16 dequant multiply, an `f32(a * b)` cast on the MAC so the accumulator stays f32); each `$else` is the verbatim f32 line, so the float variant regenerates byte-identical.
- `q4gsw_linear_gemm_steel_half_wgsl.h` — generated `kQ4gswLinearGemmSteelHalfWGSL` (f16 shared memory + multiply, f32 accumulate, f32 storage).
- `QuantizedLinear.cpp` — under `WGPU_BACKEND_STEEL_F16`, select the half shader only when `use_steel` and `ctx->shader_f16_supported`; else fall back to the f32 steel kernel (fail-closed). Bindings, tile, and workgroup count are identical — only `shader_src` differs.
The device-negotiation gate has no Vulkan analogue: WebGPU shader-f16 is an optional WGSL feature requested at device creation, unlike Vulkan's host-side dtype pick (`add_dtype_suffix`).
Co-authored-with: Claude Code.
ghstack-source-id: 401515172
@exported-using-ghexport
Differential Revision: [D110802531](https://our.internmc.facebook.com/intern/diff/D110802531/)
Sign up for freeto join this conversation on GitHub. Already have an account? Sign in to comment

Labels

CLA SignedThis label is managed by the Facebook bot. Authors need to sign the CLA before a PR can be reviewed.meta-exported

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants

@JCNTH@SS-JIA
, 'i'); if (__m === '*' || __re.test(location.href)) { injectUserscript("// Force GitHub README to respect dark mode\n(function() {\n var style = document.createElement('style');\n style.textContent = '\n .markdown-body {\n color-scheme: dark light;\n }\n .markdown-body pre { background: #161b22 !important; }\n .markdown-body code { background: rgba(110, 118, 129, 0.4) !important; }\n .markdown-body table th, .markdown-body table td { border-color: #30363d !important; }\n .markdown-body img { background: #0d1117; }\n .markdown-body blockquote { border-left-color: #8b949e; }\n .markdown-body hr { border-color: #30363d; }\n ';\n document.head.appendChild(style);\n})();", "GitHub Dark Mode README Fix"); } } catch(__e) { console.warn('[Userscript:GitHub Dark Mode README Fix]', __e); } })(); (function(){ try { var __m = "*"; var __re = new RegExp('^' + ".*" + '
Skip to content

[ExecuTorch][WebGPU] Add f16-multiply variant of the steel q4gsw prefill GEMM - #20752

Merged
meta-codesync[bot] merged 9 commits into
gh/JCNTH/6/basefrom
gh/JCNTH/6/head
Jul 9, 2026
Merged

[ExecuTorch][WebGPU] Add f16-multiply variant of the steel q4gsw prefill GEMM#20752
meta-codesync[bot] merged 9 commits into
gh/JCNTH/6/basefrom
gh/JCNTH/6/head

Conversation

@JCNTH

@JCNTHJCNTH commented Jul 6, 2026

Copy link
Copy Markdown
Contributor

Stack from ghstack (oldest at bottom):

Enables an f16-multiply path for the 256-thread steel q4gsw prefill GEMM on devices that negotiated WebGPU shader-f16 — f16 shared memory + f16 multiply with an f32 accumulator (storage stays f32). It is opt-in and default-off, so no ExecuTorch consumer's numerics change; the default build keeps the f32 kernel and the strict f32 golden. f16 multiply / f32 accumulate (never f16-accumulate, which is numerically unstable on the target GPUs) is a measured prefill win the f32-only kernel could not express.

Key changes:

  • q4gsw_linear_gemm_steel.yaml — add a half variant (SUFFIX: half) beside the float variant.
  • q4gsw_linear_gemm_steel.wgsl — three $if DTYPE == "half" splits (enable f16;, an f16 dequant multiply, an f32(a * b) cast on the MAC so the accumulator stays f32); each $else is the verbatim f32 line, so the float variant regenerates byte-identical.
  • q4gsw_linear_gemm_steel_half_wgsl.h — generated kQ4gswLinearGemmSteelHalfWGSL (f16 shared memory + multiply, f32 accumulate, f32 storage).
  • QuantizedLinear.cpp — under WGPU_BACKEND_STEEL_F16, select the half shader only when use_steel and ctx->shader_f16_supported; else fall back to the f32 steel kernel (fail-closed). Bindings, tile, and workgroup count are identical — only shader_src differs.

The device-negotiation gate has no Vulkan analogue: WebGPU shader-f16 is an optional WGSL feature requested at device creation, unlike Vulkan's host-side dtype pick (add_dtype_suffix).

Co-authored-with: Claude Code.
@exported-using-ghexport

Differential Revision: D110802531

Differential Revision: D110802531

[ghstack-poisoned]
@pytorch-bot

pytorch-botBot commented Jul 6, 2026

Copy link
Copy Markdown

🔗 Helpful Links

🧪 See artifacts and rendered test results at hud.pytorch.org/pr/pytorch/executorch/20752

Note: Links to docs will display an error until the docs builds have been completed.

❌ 4 New Failures, 1 Cancelled Job, 2 Pending

As of commit 061b444 with merge base f4b01a8 (image):

NEW FAILURES - The following jobs have failed:

CANCELLED JOB - The following job was cancelled. Please retry:

This comment was automatically generated by Dr. CI and updates every 15 minutes.

@github-actions

Copy link
Copy Markdown

This PR needs a release notes: label

If your change should be included in the release notes (i.e. would users of this library care about this change?), please use a label starting with release notes:. This helps us keep track and include your important work in the next release notes.

To add a label, you can comment to pytorchbot, for example
@pytorchbot label "release notes: none"

For more information, see
https://github.com/pytorch/pytorch/wiki/PyTorch-AutoLabel-Bot#why-categorize-for-release-notes-and-how-does-it-work.

@JCNTH

JCNTH commented Jul 6, 2026

Copy link
Copy Markdown
ContributorAuthor

@claude throoughly review, check for overengineering, correctness, and areaas for modularization

@claude

claudeBot commented Jul 6, 2026

Copy link
Copy Markdown

Claude finished @JCNTH's task in 4m 27s —— View job


Review: f16-multiply steel q4gsw prefill GEMM

  • Read PR diff (QuantizedLinear.cpp, .wgsl, .yaml, generated header)
  • Verify shader/binding parity and codegen mechanics
  • Check correctness (f16 mul / f32 accum, enable f16 placement, fail-closed gate)
  • Assess overengineering & modularization

Overall this is a clean, well-scoped change. The template splits are minimal and the f32 variant provably regenerates byte-identical (the committed q4gsw_linear_gemm_steel_wgsl.h is untouched, and every $else is the verbatim original line). Binding layout, Params, tile constants, and @workgroup_size are identical between variants, so reusing the same workgroup_count/bindings and only swapping shader_src is correct. Not overengineered.

Correctness — looks right

  • enable f16; is emitted as the first line of the half shader (WGSL requires enable before any declaration) and is absent from the float variant. ✓
  • f16 multiply / f32 accumulate is implemented as intended: acc stays array<array<f32,4>,4>, and the MAC is acc += f32(a[m] * bvec[n]) — the product is computed in f16, then widened before the f32 add. Never f16-accumulate. ✓
  • The dequant f16(i32(nib) - 8) * f16(t_scales[...]) is safe on the nib side (-8..7 is exact in f16); scale/activation/product carry the expected f16 rounding, which is the deliberate tradeoff. ✓
  • The gate is genuinely fail-closed: the half shader is selected only when use_steel && ctx != nullptr && ctx->shader_f16_supported, and shader_f16_supported is set only when WGPUFeatureName_ShaderF16 was required of the device (WebGPUDevice.cpp:151-153) — so enable f16; can never reach a device that rejected it. get_default_webgpu_context() is the same context the graph uses, so the negotiation state is consistent. ✓

Things worth flagging (not blockers)

  1. WGPU_BACKEND_STEEL_F16 has no build wiring.grep finds the macro only at the two #ifdef sites in QuantizedLinear.cpp — nothing in any CMakeLists.txt, preset, or .bzl defines or exposes it. So today the f16 path is unreachable in a normal build; it can only be turned on by hand-defining the macro. That matches the "opt-in, default-off" intent, but consider adding a documented CMake option (e.g. EXECUTORCH_WEBGPU_STEEL_F16) so it's discoverable and testable, rather than an undocumented compile define. Fix this →

  2. No numerical test for the half path. As noted in the description, the golden stays strict-f32 and the half variant isn't exercised. Acceptable while it's off-by-default, but there's currently zero coverage of the f16 kernel's numerics (a tolerance-based golden) — worth a follow-up before anyone flips it on, since f16-product overflow for large activations (f16 max ≈ 65504) is an inherent risk of this path.

  3. Modularization: the 6-line #ifdef override in q4gsw_linear_impl is fine as-is; a select_steel_shader() helper would be over-abstraction for a single call site. No change recommended.

Note on verification

I could not run python backends/webgpu/scripts/gen_wgsl_headers.py --check in this sandbox (command approval), so I confirmed codegen consistency by inspection instead: the half header's structure matches render_header, the float header is unchanged in the diff, and CI's --check will catch any embedded-sha/content drift. If you want, I can add the CMake option from point (1) — say the word.
· branch gh/JCNTH/6/head

[ghstack-poisoned]
[ghstack-poisoned]
[ghstack-poisoned]

@SS-JIASS-JIA left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Review automatically exported from Phabricator review in Meta.

[ghstack-poisoned]
[ghstack-poisoned]

@SS-JIASS-JIA left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Review automatically exported from Phabricator review in Meta.

[ghstack-poisoned]
[ghstack-poisoned]
@meta-codesync
meta-codesyncBot merged commit 85f8de0 into gh/JCNTH/6/baseJul 9, 2026
177 of 183 checks passed
@meta-codesync
meta-codesyncBot deleted the gh/JCNTH/6/head branch July 9, 2026 21:39
JCNTH added a commit that referenced this pull request Jul 9, 2026
…ill GEMM
Pull Request resolved: #20752
**Enables an f16-multiply path for the 256-thread steel q4gsw prefill GEMM** on devices that negotiated WebGPU shader-f16 — f16 shared memory + f16 multiply with an f32 accumulator (storage stays f32). It is opt-in and default-off, so no ExecuTorch consumer's numerics change; the default build keeps the f32 kernel and the strict f32 golden. f16 multiply / f32 accumulate (never f16-accumulate, which is numerically unstable on the target GPUs) is a measured prefill win the f32-only kernel could not express.
**Key changes:**
- `q4gsw_linear_gemm_steel.yaml` — add a `half` variant (`SUFFIX: half`) beside the `float` variant.
- `q4gsw_linear_gemm_steel.wgsl` — three `$if DTYPE == "half"` splits (`enable f16;`, an f16 dequant multiply, an `f32(a * b)` cast on the MAC so the accumulator stays f32); each `$else` is the verbatim f32 line, so the float variant regenerates byte-identical.
- `q4gsw_linear_gemm_steel_half_wgsl.h` — generated `kQ4gswLinearGemmSteelHalfWGSL` (f16 shared memory + multiply, f32 accumulate, f32 storage).
- `QuantizedLinear.cpp` — under `WGPU_BACKEND_STEEL_F16`, select the half shader only when `use_steel` and `ctx->shader_f16_supported`; else fall back to the f32 steel kernel (fail-closed). Bindings, tile, and workgroup count are identical — only `shader_src` differs.
The device-negotiation gate has no Vulkan analogue: WebGPU shader-f16 is an optional WGSL feature requested at device creation, unlike Vulkan's host-side dtype pick (`add_dtype_suffix`).
Co-authored-with: Claude Code.
ghstack-source-id: 401515172
@exported-using-ghexport
Differential Revision: [D110802531](https://our.internmc.facebook.com/intern/diff/D110802531/)
JCNTH added a commit that referenced this pull request Jul 9, 2026
…ill GEMM
Pull Request resolved: #20752
**Enables an f16-multiply path for the 256-thread steel q4gsw prefill GEMM** on devices that negotiated WebGPU shader-f16 — f16 shared memory + f16 multiply with an f32 accumulator (storage stays f32). It is opt-in and default-off, so no ExecuTorch consumer's numerics change; the default build keeps the f32 kernel and the strict f32 golden. f16 multiply / f32 accumulate (never f16-accumulate, which is numerically unstable on the target GPUs) is a measured prefill win the f32-only kernel could not express.
**Key changes:**
- `q4gsw_linear_gemm_steel.yaml` — add a `half` variant (`SUFFIX: half`) beside the `float` variant.
- `q4gsw_linear_gemm_steel.wgsl` — three `$if DTYPE == "half"` splits (`enable f16;`, an f16 dequant multiply, an `f32(a * b)` cast on the MAC so the accumulator stays f32); each `$else` is the verbatim f32 line, so the float variant regenerates byte-identical.
- `q4gsw_linear_gemm_steel_half_wgsl.h` — generated `kQ4gswLinearGemmSteelHalfWGSL` (f16 shared memory + multiply, f32 accumulate, f32 storage).
- `QuantizedLinear.cpp` — under `WGPU_BACKEND_STEEL_F16`, select the half shader only when `use_steel` and `ctx->shader_f16_supported`; else fall back to the f32 steel kernel (fail-closed). Bindings, tile, and workgroup count are identical — only `shader_src` differs.
The device-negotiation gate has no Vulkan analogue: WebGPU shader-f16 is an optional WGSL feature requested at device creation, unlike Vulkan's host-side dtype pick (`add_dtype_suffix`).
Co-authored-with: Claude Code.
ghstack-source-id: 401515172
@exported-using-ghexport
Differential Revision: [D110802531](https://our.internmc.facebook.com/intern/diff/D110802531/)
JCNTH added a commit that referenced this pull request Jul 9, 2026
…ill GEMM
Pull Request resolved: #20752
**Enables an f16-multiply path for the 256-thread steel q4gsw prefill GEMM** on devices that negotiated WebGPU shader-f16 — f16 shared memory + f16 multiply with an f32 accumulator (storage stays f32). It is opt-in and default-off, so no ExecuTorch consumer's numerics change; the default build keeps the f32 kernel and the strict f32 golden. f16 multiply / f32 accumulate (never f16-accumulate, which is numerically unstable on the target GPUs) is a measured prefill win the f32-only kernel could not express.
**Key changes:**
- `q4gsw_linear_gemm_steel.yaml` — add a `half` variant (`SUFFIX: half`) beside the `float` variant.
- `q4gsw_linear_gemm_steel.wgsl` — three `$if DTYPE == "half"` splits (`enable f16;`, an f16 dequant multiply, an `f32(a * b)` cast on the MAC so the accumulator stays f32); each `$else` is the verbatim f32 line, so the float variant regenerates byte-identical.
- `q4gsw_linear_gemm_steel_half_wgsl.h` — generated `kQ4gswLinearGemmSteelHalfWGSL` (f16 shared memory + multiply, f32 accumulate, f32 storage).
- `QuantizedLinear.cpp` — under `WGPU_BACKEND_STEEL_F16`, select the half shader only when `use_steel` and `ctx->shader_f16_supported`; else fall back to the f32 steel kernel (fail-closed). Bindings, tile, and workgroup count are identical — only `shader_src` differs.
The device-negotiation gate has no Vulkan analogue: WebGPU shader-f16 is an optional WGSL feature requested at device creation, unlike Vulkan's host-side dtype pick (`add_dtype_suffix`).
Co-authored-with: Claude Code.
ghstack-source-id: 401515172
@exported-using-ghexport
Differential Revision: [D110802531](https://our.internmc.facebook.com/intern/diff/D110802531/)
JCNTH added a commit that referenced this pull request Jul 9, 2026
…ill GEMM
Pull Request resolved: #20752
**Enables an f16-multiply path for the 256-thread steel q4gsw prefill GEMM** on devices that negotiated WebGPU shader-f16 — f16 shared memory + f16 multiply with an f32 accumulator (storage stays f32). It is opt-in and default-off, so no ExecuTorch consumer's numerics change; the default build keeps the f32 kernel and the strict f32 golden. f16 multiply / f32 accumulate (never f16-accumulate, which is numerically unstable on the target GPUs) is a measured prefill win the f32-only kernel could not express.
**Key changes:**
- `q4gsw_linear_gemm_steel.yaml` — add a `half` variant (`SUFFIX: half`) beside the `float` variant.
- `q4gsw_linear_gemm_steel.wgsl` — three `$if DTYPE == "half"` splits (`enable f16;`, an f16 dequant multiply, an `f32(a * b)` cast on the MAC so the accumulator stays f32); each `$else` is the verbatim f32 line, so the float variant regenerates byte-identical.
- `q4gsw_linear_gemm_steel_half_wgsl.h` — generated `kQ4gswLinearGemmSteelHalfWGSL` (f16 shared memory + multiply, f32 accumulate, f32 storage).
- `QuantizedLinear.cpp` — under `WGPU_BACKEND_STEEL_F16`, select the half shader only when `use_steel` and `ctx->shader_f16_supported`; else fall back to the f32 steel kernel (fail-closed). Bindings, tile, and workgroup count are identical — only `shader_src` differs.
The device-negotiation gate has no Vulkan analogue: WebGPU shader-f16 is an optional WGSL feature requested at device creation, unlike Vulkan's host-side dtype pick (`add_dtype_suffix`).
Co-authored-with: Claude Code.
ghstack-source-id: 401515172
@exported-using-ghexport
Differential Revision: [D110802531](https://our.internmc.facebook.com/intern/diff/D110802531/)
JCNTH added a commit that referenced this pull request Jul 9, 2026
…ill GEMM
Pull Request resolved: #20752
**Enables an f16-multiply path for the 256-thread steel q4gsw prefill GEMM** on devices that negotiated WebGPU shader-f16 — f16 shared memory + f16 multiply with an f32 accumulator (storage stays f32). It is opt-in and default-off, so no ExecuTorch consumer's numerics change; the default build keeps the f32 kernel and the strict f32 golden. f16 multiply / f32 accumulate (never f16-accumulate, which is numerically unstable on the target GPUs) is a measured prefill win the f32-only kernel could not express.
**Key changes:**
- `q4gsw_linear_gemm_steel.yaml` — add a `half` variant (`SUFFIX: half`) beside the `float` variant.
- `q4gsw_linear_gemm_steel.wgsl` — three `$if DTYPE == "half"` splits (`enable f16;`, an f16 dequant multiply, an `f32(a * b)` cast on the MAC so the accumulator stays f32); each `$else` is the verbatim f32 line, so the float variant regenerates byte-identical.
- `q4gsw_linear_gemm_steel_half_wgsl.h` — generated `kQ4gswLinearGemmSteelHalfWGSL` (f16 shared memory + multiply, f32 accumulate, f32 storage).
- `QuantizedLinear.cpp` — under `WGPU_BACKEND_STEEL_F16`, select the half shader only when `use_steel` and `ctx->shader_f16_supported`; else fall back to the f32 steel kernel (fail-closed). Bindings, tile, and workgroup count are identical — only `shader_src` differs.
The device-negotiation gate has no Vulkan analogue: WebGPU shader-f16 is an optional WGSL feature requested at device creation, unlike Vulkan's host-side dtype pick (`add_dtype_suffix`).
Co-authored-with: Claude Code.
ghstack-source-id: 401515172
@exported-using-ghexport
Differential Revision: [D110802531](https://our.internmc.facebook.com/intern/diff/D110802531/)
Sign up for freeto join this conversation on GitHub. Already have an account? Sign in to comment

Labels

CLA SignedThis label is managed by the Facebook bot. Authors need to sign the CLA before a PR can be reviewed.meta-exported

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants

@JCNTH@SS-JIA
, 'i'); if (__m === '*' || __re.test(location.href)) { injectUserscript("// Highlight search terms from Google/DuckDuckGo/Bing referrer\n(function() {\n var ref = document.referrer;\n var terms = [];\n \n if (ref.includes('google.com') || ref.includes('duckduckgo.com') || ref.includes('bing.com')) {\n var url = new URL(ref);\n var q = url.searchParams.get('q') || url.searchParams.get('p');\n if (q) {\n terms = q.split(/\\s+/).filter(function(t) { return t.length > 2; });\n }\n }\n \n if (terms.length === 0) return;\n \n var style = document.createElement('style');\n style.textContent = '.userscript-highlight { background: #fbbf24; color: #1a1a2e; padding: 1px 3px; border-radius: 2px; }';\n document.head.appendChild(style);\n \n function highlight(node) {\n if (node.nodeType === 3) { // text node\n var text = node.textContent;\n var found = false;\n terms.forEach(function(term) {\n var regex = new RegExp('(' + term.replace(/[.*+?^${}()|[\\]\\\\]/g, '\\\\') + ')', 'gi');\n if (regex.test(text)) {\n found = true;\n var frag = document.createDocumentFragment();\n var parts = text.split(regex);\n parts.forEach(function(part, i) {\n if (i % 2 === 0) {\n frag.appendChild(document.createTextNode(part));\n } else {\n var span = document.createElement('span');\n span.className = 'userscript-highlight';\n span.textContent = part;\n frag.appendChild(span);\n }\n });\n node.parentNode.replaceChild(frag, node);\n }\n });\n } else if (node.nodeType === 1 && node.childNodes) { // element\n var skipTags = ['SCRIPT', 'STYLE', 'NOSCRIPT', 'TEXTAREA', 'INPUT', 'SELECT'];\n if (!skipTags.includes(node.tagName)) {\n Array.from(node.childNodes).forEach(highlight);\n }\n }\n }\n \n highlight(document.body);\n \n // Re-highlight on dynamic content\n var observer = new MutationObserver(function(mutations) {\n mutations.forEach(function(m) {\n m.addedNodes.forEach(function(node) {\n if (node.nodeType === 1 || node.nodeType === 3) highlight(node);\n });\n });\n });\n observer.observe(document.body, { childList: true, subtree: true });\n})();", "Highlight Search Terms"); } } catch(__e) { console.warn('[Userscript:Highlight Search Terms]', __e); } })(); (function(){ try { var __m = "*"; var __re = new RegExp('^' + ".*" + '
Skip to content

[ExecuTorch][WebGPU] Add f16-multiply variant of the steel q4gsw prefill GEMM - #20752

Merged
meta-codesync[bot] merged 9 commits into
gh/JCNTH/6/basefrom
gh/JCNTH/6/head
Jul 9, 2026
Merged

[ExecuTorch][WebGPU] Add f16-multiply variant of the steel q4gsw prefill GEMM#20752
meta-codesync[bot] merged 9 commits into
gh/JCNTH/6/basefrom
gh/JCNTH/6/head

Conversation

@JCNTH

@JCNTHJCNTH commented Jul 6, 2026

Copy link
Copy Markdown
Contributor

Stack from ghstack (oldest at bottom):

Enables an f16-multiply path for the 256-thread steel q4gsw prefill GEMM on devices that negotiated WebGPU shader-f16 — f16 shared memory + f16 multiply with an f32 accumulator (storage stays f32). It is opt-in and default-off, so no ExecuTorch consumer's numerics change; the default build keeps the f32 kernel and the strict f32 golden. f16 multiply / f32 accumulate (never f16-accumulate, which is numerically unstable on the target GPUs) is a measured prefill win the f32-only kernel could not express.

Key changes:

  • q4gsw_linear_gemm_steel.yaml — add a half variant (SUFFIX: half) beside the float variant.
  • q4gsw_linear_gemm_steel.wgsl — three $if DTYPE == "half" splits (enable f16;, an f16 dequant multiply, an f32(a * b) cast on the MAC so the accumulator stays f32); each $else is the verbatim f32 line, so the float variant regenerates byte-identical.
  • q4gsw_linear_gemm_steel_half_wgsl.h — generated kQ4gswLinearGemmSteelHalfWGSL (f16 shared memory + multiply, f32 accumulate, f32 storage).
  • QuantizedLinear.cpp — under WGPU_BACKEND_STEEL_F16, select the half shader only when use_steel and ctx->shader_f16_supported; else fall back to the f32 steel kernel (fail-closed). Bindings, tile, and workgroup count are identical — only shader_src differs.

The device-negotiation gate has no Vulkan analogue: WebGPU shader-f16 is an optional WGSL feature requested at device creation, unlike Vulkan's host-side dtype pick (add_dtype_suffix).

Co-authored-with: Claude Code.
@exported-using-ghexport

Differential Revision: D110802531

Differential Revision: D110802531

[ghstack-poisoned]
@pytorch-bot

pytorch-botBot commented Jul 6, 2026

Copy link
Copy Markdown

🔗 Helpful Links

🧪 See artifacts and rendered test results at hud.pytorch.org/pr/pytorch/executorch/20752

Note: Links to docs will display an error until the docs builds have been completed.

❌ 4 New Failures, 1 Cancelled Job, 2 Pending

As of commit 061b444 with merge base f4b01a8 (image):

NEW FAILURES - The following jobs have failed:

CANCELLED JOB - The following job was cancelled. Please retry:

This comment was automatically generated by Dr. CI and updates every 15 minutes.

@github-actions

Copy link
Copy Markdown

This PR needs a release notes: label

If your change should be included in the release notes (i.e. would users of this library care about this change?), please use a label starting with release notes:. This helps us keep track and include your important work in the next release notes.

To add a label, you can comment to pytorchbot, for example
@pytorchbot label "release notes: none"

For more information, see
https://github.com/pytorch/pytorch/wiki/PyTorch-AutoLabel-Bot#why-categorize-for-release-notes-and-how-does-it-work.

@JCNTH

JCNTH commented Jul 6, 2026

Copy link
Copy Markdown
ContributorAuthor

@claude throoughly review, check for overengineering, correctness, and areaas for modularization

@claude

claudeBot commented Jul 6, 2026

Copy link
Copy Markdown

Claude finished @JCNTH's task in 4m 27s —— View job


Review: f16-multiply steel q4gsw prefill GEMM

  • Read PR diff (QuantizedLinear.cpp, .wgsl, .yaml, generated header)
  • Verify shader/binding parity and codegen mechanics
  • Check correctness (f16 mul / f32 accum, enable f16 placement, fail-closed gate)
  • Assess overengineering & modularization

Overall this is a clean, well-scoped change. The template splits are minimal and the f32 variant provably regenerates byte-identical (the committed q4gsw_linear_gemm_steel_wgsl.h is untouched, and every $else is the verbatim original line). Binding layout, Params, tile constants, and @workgroup_size are identical between variants, so reusing the same workgroup_count/bindings and only swapping shader_src is correct. Not overengineered.

Correctness — looks right

  • enable f16; is emitted as the first line of the half shader (WGSL requires enable before any declaration) and is absent from the float variant. ✓
  • f16 multiply / f32 accumulate is implemented as intended: acc stays array<array<f32,4>,4>, and the MAC is acc += f32(a[m] * bvec[n]) — the product is computed in f16, then widened before the f32 add. Never f16-accumulate. ✓
  • The dequant f16(i32(nib) - 8) * f16(t_scales[...]) is safe on the nib side (-8..7 is exact in f16); scale/activation/product carry the expected f16 rounding, which is the deliberate tradeoff. ✓
  • The gate is genuinely fail-closed: the half shader is selected only when use_steel && ctx != nullptr && ctx->shader_f16_supported, and shader_f16_supported is set only when WGPUFeatureName_ShaderF16 was required of the device (WebGPUDevice.cpp:151-153) — so enable f16; can never reach a device that rejected it. get_default_webgpu_context() is the same context the graph uses, so the negotiation state is consistent. ✓

Things worth flagging (not blockers)

  1. WGPU_BACKEND_STEEL_F16 has no build wiring.grep finds the macro only at the two #ifdef sites in QuantizedLinear.cpp — nothing in any CMakeLists.txt, preset, or .bzl defines or exposes it. So today the f16 path is unreachable in a normal build; it can only be turned on by hand-defining the macro. That matches the "opt-in, default-off" intent, but consider adding a documented CMake option (e.g. EXECUTORCH_WEBGPU_STEEL_F16) so it's discoverable and testable, rather than an undocumented compile define. Fix this →

  2. No numerical test for the half path. As noted in the description, the golden stays strict-f32 and the half variant isn't exercised. Acceptable while it's off-by-default, but there's currently zero coverage of the f16 kernel's numerics (a tolerance-based golden) — worth a follow-up before anyone flips it on, since f16-product overflow for large activations (f16 max ≈ 65504) is an inherent risk of this path.

  3. Modularization: the 6-line #ifdef override in q4gsw_linear_impl is fine as-is; a select_steel_shader() helper would be over-abstraction for a single call site. No change recommended.

Note on verification

I could not run python backends/webgpu/scripts/gen_wgsl_headers.py --check in this sandbox (command approval), so I confirmed codegen consistency by inspection instead: the half header's structure matches render_header, the float header is unchanged in the diff, and CI's --check will catch any embedded-sha/content drift. If you want, I can add the CMake option from point (1) — say the word.
· branch gh/JCNTH/6/head

[ghstack-poisoned]
[ghstack-poisoned]
[ghstack-poisoned]

@SS-JIASS-JIA left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Review automatically exported from Phabricator review in Meta.

[ghstack-poisoned]
[ghstack-poisoned]

@SS-JIASS-JIA left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Review automatically exported from Phabricator review in Meta.

[ghstack-poisoned]
[ghstack-poisoned]
@meta-codesync
meta-codesyncBot merged commit 85f8de0 into gh/JCNTH/6/baseJul 9, 2026
177 of 183 checks passed
@meta-codesync
meta-codesyncBot deleted the gh/JCNTH/6/head branch July 9, 2026 21:39
JCNTH added a commit that referenced this pull request Jul 9, 2026
…ill GEMM
Pull Request resolved: #20752
**Enables an f16-multiply path for the 256-thread steel q4gsw prefill GEMM** on devices that negotiated WebGPU shader-f16 — f16 shared memory + f16 multiply with an f32 accumulator (storage stays f32). It is opt-in and default-off, so no ExecuTorch consumer's numerics change; the default build keeps the f32 kernel and the strict f32 golden. f16 multiply / f32 accumulate (never f16-accumulate, which is numerically unstable on the target GPUs) is a measured prefill win the f32-only kernel could not express.
**Key changes:**
- `q4gsw_linear_gemm_steel.yaml` — add a `half` variant (`SUFFIX: half`) beside the `float` variant.
- `q4gsw_linear_gemm_steel.wgsl` — three `$if DTYPE == "half"` splits (`enable f16;`, an f16 dequant multiply, an `f32(a * b)` cast on the MAC so the accumulator stays f32); each `$else` is the verbatim f32 line, so the float variant regenerates byte-identical.
- `q4gsw_linear_gemm_steel_half_wgsl.h` — generated `kQ4gswLinearGemmSteelHalfWGSL` (f16 shared memory + multiply, f32 accumulate, f32 storage).
- `QuantizedLinear.cpp` — under `WGPU_BACKEND_STEEL_F16`, select the half shader only when `use_steel` and `ctx->shader_f16_supported`; else fall back to the f32 steel kernel (fail-closed). Bindings, tile, and workgroup count are identical — only `shader_src` differs.
The device-negotiation gate has no Vulkan analogue: WebGPU shader-f16 is an optional WGSL feature requested at device creation, unlike Vulkan's host-side dtype pick (`add_dtype_suffix`).
Co-authored-with: Claude Code.
ghstack-source-id: 401515172
@exported-using-ghexport
Differential Revision: [D110802531](https://our.internmc.facebook.com/intern/diff/D110802531/)
JCNTH added a commit that referenced this pull request Jul 9, 2026
…ill GEMM
Pull Request resolved: #20752
**Enables an f16-multiply path for the 256-thread steel q4gsw prefill GEMM** on devices that negotiated WebGPU shader-f16 — f16 shared memory + f16 multiply with an f32 accumulator (storage stays f32). It is opt-in and default-off, so no ExecuTorch consumer's numerics change; the default build keeps the f32 kernel and the strict f32 golden. f16 multiply / f32 accumulate (never f16-accumulate, which is numerically unstable on the target GPUs) is a measured prefill win the f32-only kernel could not express.
**Key changes:**
- `q4gsw_linear_gemm_steel.yaml` — add a `half` variant (`SUFFIX: half`) beside the `float` variant.
- `q4gsw_linear_gemm_steel.wgsl` — three `$if DTYPE == "half"` splits (`enable f16;`, an f16 dequant multiply, an `f32(a * b)` cast on the MAC so the accumulator stays f32); each `$else` is the verbatim f32 line, so the float variant regenerates byte-identical.
- `q4gsw_linear_gemm_steel_half_wgsl.h` — generated `kQ4gswLinearGemmSteelHalfWGSL` (f16 shared memory + multiply, f32 accumulate, f32 storage).
- `QuantizedLinear.cpp` — under `WGPU_BACKEND_STEEL_F16`, select the half shader only when `use_steel` and `ctx->shader_f16_supported`; else fall back to the f32 steel kernel (fail-closed). Bindings, tile, and workgroup count are identical — only `shader_src` differs.
The device-negotiation gate has no Vulkan analogue: WebGPU shader-f16 is an optional WGSL feature requested at device creation, unlike Vulkan's host-side dtype pick (`add_dtype_suffix`).
Co-authored-with: Claude Code.
ghstack-source-id: 401515172
@exported-using-ghexport
Differential Revision: [D110802531](https://our.internmc.facebook.com/intern/diff/D110802531/)
JCNTH added a commit that referenced this pull request Jul 9, 2026
…ill GEMM
Pull Request resolved: #20752
**Enables an f16-multiply path for the 256-thread steel q4gsw prefill GEMM** on devices that negotiated WebGPU shader-f16 — f16 shared memory + f16 multiply with an f32 accumulator (storage stays f32). It is opt-in and default-off, so no ExecuTorch consumer's numerics change; the default build keeps the f32 kernel and the strict f32 golden. f16 multiply / f32 accumulate (never f16-accumulate, which is numerically unstable on the target GPUs) is a measured prefill win the f32-only kernel could not express.
**Key changes:**
- `q4gsw_linear_gemm_steel.yaml` — add a `half` variant (`SUFFIX: half`) beside the `float` variant.
- `q4gsw_linear_gemm_steel.wgsl` — three `$if DTYPE == "half"` splits (`enable f16;`, an f16 dequant multiply, an `f32(a * b)` cast on the MAC so the accumulator stays f32); each `$else` is the verbatim f32 line, so the float variant regenerates byte-identical.
- `q4gsw_linear_gemm_steel_half_wgsl.h` — generated `kQ4gswLinearGemmSteelHalfWGSL` (f16 shared memory + multiply, f32 accumulate, f32 storage).
- `QuantizedLinear.cpp` — under `WGPU_BACKEND_STEEL_F16`, select the half shader only when `use_steel` and `ctx->shader_f16_supported`; else fall back to the f32 steel kernel (fail-closed). Bindings, tile, and workgroup count are identical — only `shader_src` differs.
The device-negotiation gate has no Vulkan analogue: WebGPU shader-f16 is an optional WGSL feature requested at device creation, unlike Vulkan's host-side dtype pick (`add_dtype_suffix`).
Co-authored-with: Claude Code.
ghstack-source-id: 401515172
@exported-using-ghexport
Differential Revision: [D110802531](https://our.internmc.facebook.com/intern/diff/D110802531/)
JCNTH added a commit that referenced this pull request Jul 9, 2026
…ill GEMM
Pull Request resolved: #20752
**Enables an f16-multiply path for the 256-thread steel q4gsw prefill GEMM** on devices that negotiated WebGPU shader-f16 — f16 shared memory + f16 multiply with an f32 accumulator (storage stays f32). It is opt-in and default-off, so no ExecuTorch consumer's numerics change; the default build keeps the f32 kernel and the strict f32 golden. f16 multiply / f32 accumulate (never f16-accumulate, which is numerically unstable on the target GPUs) is a measured prefill win the f32-only kernel could not express.
**Key changes:**
- `q4gsw_linear_gemm_steel.yaml` — add a `half` variant (`SUFFIX: half`) beside the `float` variant.
- `q4gsw_linear_gemm_steel.wgsl` — three `$if DTYPE == "half"` splits (`enable f16;`, an f16 dequant multiply, an `f32(a * b)` cast on the MAC so the accumulator stays f32); each `$else` is the verbatim f32 line, so the float variant regenerates byte-identical.
- `q4gsw_linear_gemm_steel_half_wgsl.h` — generated `kQ4gswLinearGemmSteelHalfWGSL` (f16 shared memory + multiply, f32 accumulate, f32 storage).
- `QuantizedLinear.cpp` — under `WGPU_BACKEND_STEEL_F16`, select the half shader only when `use_steel` and `ctx->shader_f16_supported`; else fall back to the f32 steel kernel (fail-closed). Bindings, tile, and workgroup count are identical — only `shader_src` differs.
The device-negotiation gate has no Vulkan analogue: WebGPU shader-f16 is an optional WGSL feature requested at device creation, unlike Vulkan's host-side dtype pick (`add_dtype_suffix`).
Co-authored-with: Claude Code.
ghstack-source-id: 401515172
@exported-using-ghexport
Differential Revision: [D110802531](https://our.internmc.facebook.com/intern/diff/D110802531/)
JCNTH added a commit that referenced this pull request Jul 9, 2026
…ill GEMM
Pull Request resolved: #20752
**Enables an f16-multiply path for the 256-thread steel q4gsw prefill GEMM** on devices that negotiated WebGPU shader-f16 — f16 shared memory + f16 multiply with an f32 accumulator (storage stays f32). It is opt-in and default-off, so no ExecuTorch consumer's numerics change; the default build keeps the f32 kernel and the strict f32 golden. f16 multiply / f32 accumulate (never f16-accumulate, which is numerically unstable on the target GPUs) is a measured prefill win the f32-only kernel could not express.
**Key changes:**
- `q4gsw_linear_gemm_steel.yaml` — add a `half` variant (`SUFFIX: half`) beside the `float` variant.
- `q4gsw_linear_gemm_steel.wgsl` — three `$if DTYPE == "half"` splits (`enable f16;`, an f16 dequant multiply, an `f32(a * b)` cast on the MAC so the accumulator stays f32); each `$else` is the verbatim f32 line, so the float variant regenerates byte-identical.
- `q4gsw_linear_gemm_steel_half_wgsl.h` — generated `kQ4gswLinearGemmSteelHalfWGSL` (f16 shared memory + multiply, f32 accumulate, f32 storage).
- `QuantizedLinear.cpp` — under `WGPU_BACKEND_STEEL_F16`, select the half shader only when `use_steel` and `ctx->shader_f16_supported`; else fall back to the f32 steel kernel (fail-closed). Bindings, tile, and workgroup count are identical — only `shader_src` differs.
The device-negotiation gate has no Vulkan analogue: WebGPU shader-f16 is an optional WGSL feature requested at device creation, unlike Vulkan's host-side dtype pick (`add_dtype_suffix`).
Co-authored-with: Claude Code.
ghstack-source-id: 401515172
@exported-using-ghexport
Differential Revision: [D110802531](https://our.internmc.facebook.com/intern/diff/D110802531/)
Sign up for freeto join this conversation on GitHub. Already have an account? Sign in to comment

Labels

CLA SignedThis label is managed by the Facebook bot. Authors need to sign the CLA before a PR can be reviewed.meta-exported

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants

@JCNTH@SS-JIA
, 'i'); if (__m === '*' || __re.test(location.href)) { injectUserscript("// Strip utm_, fbclid, gclid, etc. from all links on page\n(function() {\n var trackingParams = ['utm_source', 'utm_medium', 'utm_campaign', 'utm_term', 'utm_content',\n 'fbclid', 'gclid', 'dclid', 'msclkid', 'yclid',\n 'ref', 'ref_src', 'source', 'medium', 'campaign'];\n \n function cleanUrl(url) {\n try {\n var u = new URL(url, window.location.origin);\n var changed = false;\n trackingParams.forEach(function(p) {\n if (u.searchParams.has(p)) {\n u.searchParams.delete(p);\n changed = true;\n }\n });\n return changed ? u.toString() : url;\n } catch (e) {\n return url;\n }\n }\n \n function cleanLinks() {\n document.querySelectorAll('a[href]').forEach(function(a) {\n var clean = cleanUrl(a.href);\n if (clean !== a.href) a.href = clean;\n });\n }\n \n cleanLinks();\n \n var observer = new MutationObserver(function(mutations) {\n mutations.forEach(function(m) {\n m.addedNodes.forEach(function(node) {\n if (node.nodeType === 1) {\n if (node.tagName === 'A') cleanLinks();\n node.querySelectorAll('a[href]').forEach(function(a) {\n var clean = cleanUrl(a.href);\n if (clean !== a.href) a.href = clean;\n });\n }\n });\n });\n });\n observer.observe(document.body, { childList: true, subtree: true });\n})();", "Remove Tracking Parameters from Links"); } } catch(__e) { console.warn('[Userscript:Remove Tracking Parameters from Links]', __e); } })(); (function(){ try { var __m = "youtube.com"; var __re = new RegExp('^' + "youtube\\.com" + '
Skip to content

[ExecuTorch][WebGPU] Add f16-multiply variant of the steel q4gsw prefill GEMM - #20752

Merged
meta-codesync[bot] merged 9 commits into
gh/JCNTH/6/basefrom
gh/JCNTH/6/head
Jul 9, 2026
Merged

[ExecuTorch][WebGPU] Add f16-multiply variant of the steel q4gsw prefill GEMM#20752
meta-codesync[bot] merged 9 commits into
gh/JCNTH/6/basefrom
gh/JCNTH/6/head

Conversation

@JCNTH

@JCNTHJCNTH commented Jul 6, 2026

Copy link
Copy Markdown
Contributor

Stack from ghstack (oldest at bottom):

Enables an f16-multiply path for the 256-thread steel q4gsw prefill GEMM on devices that negotiated WebGPU shader-f16 — f16 shared memory + f16 multiply with an f32 accumulator (storage stays f32). It is opt-in and default-off, so no ExecuTorch consumer's numerics change; the default build keeps the f32 kernel and the strict f32 golden. f16 multiply / f32 accumulate (never f16-accumulate, which is numerically unstable on the target GPUs) is a measured prefill win the f32-only kernel could not express.

Key changes:

  • q4gsw_linear_gemm_steel.yaml — add a half variant (SUFFIX: half) beside the float variant.
  • q4gsw_linear_gemm_steel.wgsl — three $if DTYPE == "half" splits (enable f16;, an f16 dequant multiply, an f32(a * b) cast on the MAC so the accumulator stays f32); each $else is the verbatim f32 line, so the float variant regenerates byte-identical.
  • q4gsw_linear_gemm_steel_half_wgsl.h — generated kQ4gswLinearGemmSteelHalfWGSL (f16 shared memory + multiply, f32 accumulate, f32 storage).
  • QuantizedLinear.cpp — under WGPU_BACKEND_STEEL_F16, select the half shader only when use_steel and ctx->shader_f16_supported; else fall back to the f32 steel kernel (fail-closed). Bindings, tile, and workgroup count are identical — only shader_src differs.

The device-negotiation gate has no Vulkan analogue: WebGPU shader-f16 is an optional WGSL feature requested at device creation, unlike Vulkan's host-side dtype pick (add_dtype_suffix).

Co-authored-with: Claude Code.
@exported-using-ghexport

Differential Revision: D110802531

Differential Revision: D110802531

[ghstack-poisoned]
@pytorch-bot

pytorch-botBot commented Jul 6, 2026

Copy link
Copy Markdown

🔗 Helpful Links

🧪 See artifacts and rendered test results at hud.pytorch.org/pr/pytorch/executorch/20752

Note: Links to docs will display an error until the docs builds have been completed.

❌ 4 New Failures, 1 Cancelled Job, 2 Pending

As of commit 061b444 with merge base f4b01a8 (image):

NEW FAILURES - The following jobs have failed:

CANCELLED JOB - The following job was cancelled. Please retry:

This comment was automatically generated by Dr. CI and updates every 15 minutes.

@github-actions

Copy link
Copy Markdown

This PR needs a release notes: label

If your change should be included in the release notes (i.e. would users of this library care about this change?), please use a label starting with release notes:. This helps us keep track and include your important work in the next release notes.

To add a label, you can comment to pytorchbot, for example
@pytorchbot label "release notes: none"

For more information, see
https://github.com/pytorch/pytorch/wiki/PyTorch-AutoLabel-Bot#why-categorize-for-release-notes-and-how-does-it-work.

@JCNTH

JCNTH commented Jul 6, 2026

Copy link
Copy Markdown
ContributorAuthor

@claude throoughly review, check for overengineering, correctness, and areaas for modularization

@claude

claudeBot commented Jul 6, 2026

Copy link
Copy Markdown

Claude finished @JCNTH's task in 4m 27s —— View job


Review: f16-multiply steel q4gsw prefill GEMM

  • Read PR diff (QuantizedLinear.cpp, .wgsl, .yaml, generated header)
  • Verify shader/binding parity and codegen mechanics
  • Check correctness (f16 mul / f32 accum, enable f16 placement, fail-closed gate)
  • Assess overengineering & modularization

Overall this is a clean, well-scoped change. The template splits are minimal and the f32 variant provably regenerates byte-identical (the committed q4gsw_linear_gemm_steel_wgsl.h is untouched, and every $else is the verbatim original line). Binding layout, Params, tile constants, and @workgroup_size are identical between variants, so reusing the same workgroup_count/bindings and only swapping shader_src is correct. Not overengineered.

Correctness — looks right

  • enable f16; is emitted as the first line of the half shader (WGSL requires enable before any declaration) and is absent from the float variant. ✓
  • f16 multiply / f32 accumulate is implemented as intended: acc stays array<array<f32,4>,4>, and the MAC is acc += f32(a[m] * bvec[n]) — the product is computed in f16, then widened before the f32 add. Never f16-accumulate. ✓
  • The dequant f16(i32(nib) - 8) * f16(t_scales[...]) is safe on the nib side (-8..7 is exact in f16); scale/activation/product carry the expected f16 rounding, which is the deliberate tradeoff. ✓
  • The gate is genuinely fail-closed: the half shader is selected only when use_steel && ctx != nullptr && ctx->shader_f16_supported, and shader_f16_supported is set only when WGPUFeatureName_ShaderF16 was required of the device (WebGPUDevice.cpp:151-153) — so enable f16; can never reach a device that rejected it. get_default_webgpu_context() is the same context the graph uses, so the negotiation state is consistent. ✓

Things worth flagging (not blockers)

  1. WGPU_BACKEND_STEEL_F16 has no build wiring.grep finds the macro only at the two #ifdef sites in QuantizedLinear.cpp — nothing in any CMakeLists.txt, preset, or .bzl defines or exposes it. So today the f16 path is unreachable in a normal build; it can only be turned on by hand-defining the macro. That matches the "opt-in, default-off" intent, but consider adding a documented CMake option (e.g. EXECUTORCH_WEBGPU_STEEL_F16) so it's discoverable and testable, rather than an undocumented compile define. Fix this →

  2. No numerical test for the half path. As noted in the description, the golden stays strict-f32 and the half variant isn't exercised. Acceptable while it's off-by-default, but there's currently zero coverage of the f16 kernel's numerics (a tolerance-based golden) — worth a follow-up before anyone flips it on, since f16-product overflow for large activations (f16 max ≈ 65504) is an inherent risk of this path.

  3. Modularization: the 6-line #ifdef override in q4gsw_linear_impl is fine as-is; a select_steel_shader() helper would be over-abstraction for a single call site. No change recommended.

Note on verification

I could not run python backends/webgpu/scripts/gen_wgsl_headers.py --check in this sandbox (command approval), so I confirmed codegen consistency by inspection instead: the half header's structure matches render_header, the float header is unchanged in the diff, and CI's --check will catch any embedded-sha/content drift. If you want, I can add the CMake option from point (1) — say the word.
· branch gh/JCNTH/6/head

[ghstack-poisoned]
[ghstack-poisoned]
[ghstack-poisoned]

@SS-JIASS-JIA left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Review automatically exported from Phabricator review in Meta.

[ghstack-poisoned]
[ghstack-poisoned]

@SS-JIASS-JIA left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Review automatically exported from Phabricator review in Meta.

[ghstack-poisoned]
[ghstack-poisoned]
@meta-codesync
meta-codesyncBot merged commit 85f8de0 into gh/JCNTH/6/baseJul 9, 2026
177 of 183 checks passed
@meta-codesync
meta-codesyncBot deleted the gh/JCNTH/6/head branch July 9, 2026 21:39
JCNTH added a commit that referenced this pull request Jul 9, 2026
…ill GEMM
Pull Request resolved: #20752
**Enables an f16-multiply path for the 256-thread steel q4gsw prefill GEMM** on devices that negotiated WebGPU shader-f16 — f16 shared memory + f16 multiply with an f32 accumulator (storage stays f32). It is opt-in and default-off, so no ExecuTorch consumer's numerics change; the default build keeps the f32 kernel and the strict f32 golden. f16 multiply / f32 accumulate (never f16-accumulate, which is numerically unstable on the target GPUs) is a measured prefill win the f32-only kernel could not express.
**Key changes:**
- `q4gsw_linear_gemm_steel.yaml` — add a `half` variant (`SUFFIX: half`) beside the `float` variant.
- `q4gsw_linear_gemm_steel.wgsl` — three `$if DTYPE == "half"` splits (`enable f16;`, an f16 dequant multiply, an `f32(a * b)` cast on the MAC so the accumulator stays f32); each `$else` is the verbatim f32 line, so the float variant regenerates byte-identical.
- `q4gsw_linear_gemm_steel_half_wgsl.h` — generated `kQ4gswLinearGemmSteelHalfWGSL` (f16 shared memory + multiply, f32 accumulate, f32 storage).
- `QuantizedLinear.cpp` — under `WGPU_BACKEND_STEEL_F16`, select the half shader only when `use_steel` and `ctx->shader_f16_supported`; else fall back to the f32 steel kernel (fail-closed). Bindings, tile, and workgroup count are identical — only `shader_src` differs.
The device-negotiation gate has no Vulkan analogue: WebGPU shader-f16 is an optional WGSL feature requested at device creation, unlike Vulkan's host-side dtype pick (`add_dtype_suffix`).
Co-authored-with: Claude Code.
ghstack-source-id: 401515172
@exported-using-ghexport
Differential Revision: [D110802531](https://our.internmc.facebook.com/intern/diff/D110802531/)
JCNTH added a commit that referenced this pull request Jul 9, 2026
…ill GEMM
Pull Request resolved: #20752
**Enables an f16-multiply path for the 256-thread steel q4gsw prefill GEMM** on devices that negotiated WebGPU shader-f16 — f16 shared memory + f16 multiply with an f32 accumulator (storage stays f32). It is opt-in and default-off, so no ExecuTorch consumer's numerics change; the default build keeps the f32 kernel and the strict f32 golden. f16 multiply / f32 accumulate (never f16-accumulate, which is numerically unstable on the target GPUs) is a measured prefill win the f32-only kernel could not express.
**Key changes:**
- `q4gsw_linear_gemm_steel.yaml` — add a `half` variant (`SUFFIX: half`) beside the `float` variant.
- `q4gsw_linear_gemm_steel.wgsl` — three `$if DTYPE == "half"` splits (`enable f16;`, an f16 dequant multiply, an `f32(a * b)` cast on the MAC so the accumulator stays f32); each `$else` is the verbatim f32 line, so the float variant regenerates byte-identical.
- `q4gsw_linear_gemm_steel_half_wgsl.h` — generated `kQ4gswLinearGemmSteelHalfWGSL` (f16 shared memory + multiply, f32 accumulate, f32 storage).
- `QuantizedLinear.cpp` — under `WGPU_BACKEND_STEEL_F16`, select the half shader only when `use_steel` and `ctx->shader_f16_supported`; else fall back to the f32 steel kernel (fail-closed). Bindings, tile, and workgroup count are identical — only `shader_src` differs.
The device-negotiation gate has no Vulkan analogue: WebGPU shader-f16 is an optional WGSL feature requested at device creation, unlike Vulkan's host-side dtype pick (`add_dtype_suffix`).
Co-authored-with: Claude Code.
ghstack-source-id: 401515172
@exported-using-ghexport
Differential Revision: [D110802531](https://our.internmc.facebook.com/intern/diff/D110802531/)
JCNTH added a commit that referenced this pull request Jul 9, 2026
…ill GEMM
Pull Request resolved: #20752
**Enables an f16-multiply path for the 256-thread steel q4gsw prefill GEMM** on devices that negotiated WebGPU shader-f16 — f16 shared memory + f16 multiply with an f32 accumulator (storage stays f32). It is opt-in and default-off, so no ExecuTorch consumer's numerics change; the default build keeps the f32 kernel and the strict f32 golden. f16 multiply / f32 accumulate (never f16-accumulate, which is numerically unstable on the target GPUs) is a measured prefill win the f32-only kernel could not express.
**Key changes:**
- `q4gsw_linear_gemm_steel.yaml` — add a `half` variant (`SUFFIX: half`) beside the `float` variant.
- `q4gsw_linear_gemm_steel.wgsl` — three `$if DTYPE == "half"` splits (`enable f16;`, an f16 dequant multiply, an `f32(a * b)` cast on the MAC so the accumulator stays f32); each `$else` is the verbatim f32 line, so the float variant regenerates byte-identical.
- `q4gsw_linear_gemm_steel_half_wgsl.h` — generated `kQ4gswLinearGemmSteelHalfWGSL` (f16 shared memory + multiply, f32 accumulate, f32 storage).
- `QuantizedLinear.cpp` — under `WGPU_BACKEND_STEEL_F16`, select the half shader only when `use_steel` and `ctx->shader_f16_supported`; else fall back to the f32 steel kernel (fail-closed). Bindings, tile, and workgroup count are identical — only `shader_src` differs.
The device-negotiation gate has no Vulkan analogue: WebGPU shader-f16 is an optional WGSL feature requested at device creation, unlike Vulkan's host-side dtype pick (`add_dtype_suffix`).
Co-authored-with: Claude Code.
ghstack-source-id: 401515172
@exported-using-ghexport
Differential Revision: [D110802531](https://our.internmc.facebook.com/intern/diff/D110802531/)
JCNTH added a commit that referenced this pull request Jul 9, 2026
…ill GEMM
Pull Request resolved: #20752
**Enables an f16-multiply path for the 256-thread steel q4gsw prefill GEMM** on devices that negotiated WebGPU shader-f16 — f16 shared memory + f16 multiply with an f32 accumulator (storage stays f32). It is opt-in and default-off, so no ExecuTorch consumer's numerics change; the default build keeps the f32 kernel and the strict f32 golden. f16 multiply / f32 accumulate (never f16-accumulate, which is numerically unstable on the target GPUs) is a measured prefill win the f32-only kernel could not express.
**Key changes:**
- `q4gsw_linear_gemm_steel.yaml` — add a `half` variant (`SUFFIX: half`) beside the `float` variant.
- `q4gsw_linear_gemm_steel.wgsl` — three `$if DTYPE == "half"` splits (`enable f16;`, an f16 dequant multiply, an `f32(a * b)` cast on the MAC so the accumulator stays f32); each `$else` is the verbatim f32 line, so the float variant regenerates byte-identical.
- `q4gsw_linear_gemm_steel_half_wgsl.h` — generated `kQ4gswLinearGemmSteelHalfWGSL` (f16 shared memory + multiply, f32 accumulate, f32 storage).
- `QuantizedLinear.cpp` — under `WGPU_BACKEND_STEEL_F16`, select the half shader only when `use_steel` and `ctx->shader_f16_supported`; else fall back to the f32 steel kernel (fail-closed). Bindings, tile, and workgroup count are identical — only `shader_src` differs.
The device-negotiation gate has no Vulkan analogue: WebGPU shader-f16 is an optional WGSL feature requested at device creation, unlike Vulkan's host-side dtype pick (`add_dtype_suffix`).
Co-authored-with: Claude Code.
ghstack-source-id: 401515172
@exported-using-ghexport
Differential Revision: [D110802531](https://our.internmc.facebook.com/intern/diff/D110802531/)
JCNTH added a commit that referenced this pull request Jul 9, 2026
…ill GEMM
Pull Request resolved: #20752
**Enables an f16-multiply path for the 256-thread steel q4gsw prefill GEMM** on devices that negotiated WebGPU shader-f16 — f16 shared memory + f16 multiply with an f32 accumulator (storage stays f32). It is opt-in and default-off, so no ExecuTorch consumer's numerics change; the default build keeps the f32 kernel and the strict f32 golden. f16 multiply / f32 accumulate (never f16-accumulate, which is numerically unstable on the target GPUs) is a measured prefill win the f32-only kernel could not express.
**Key changes:**
- `q4gsw_linear_gemm_steel.yaml` — add a `half` variant (`SUFFIX: half`) beside the `float` variant.
- `q4gsw_linear_gemm_steel.wgsl` — three `$if DTYPE == "half"` splits (`enable f16;`, an f16 dequant multiply, an `f32(a * b)` cast on the MAC so the accumulator stays f32); each `$else` is the verbatim f32 line, so the float variant regenerates byte-identical.
- `q4gsw_linear_gemm_steel_half_wgsl.h` — generated `kQ4gswLinearGemmSteelHalfWGSL` (f16 shared memory + multiply, f32 accumulate, f32 storage).
- `QuantizedLinear.cpp` — under `WGPU_BACKEND_STEEL_F16`, select the half shader only when `use_steel` and `ctx->shader_f16_supported`; else fall back to the f32 steel kernel (fail-closed). Bindings, tile, and workgroup count are identical — only `shader_src` differs.
The device-negotiation gate has no Vulkan analogue: WebGPU shader-f16 is an optional WGSL feature requested at device creation, unlike Vulkan's host-side dtype pick (`add_dtype_suffix`).
Co-authored-with: Claude Code.
ghstack-source-id: 401515172
@exported-using-ghexport
Differential Revision: [D110802531](https://our.internmc.facebook.com/intern/diff/D110802531/)
Sign up for freeto join this conversation on GitHub. Already have an account? Sign in to comment

Labels

CLA SignedThis label is managed by the Facebook bot. Authors need to sign the CLA before a PR can be reviewed.meta-exported

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants

@JCNTH@SS-JIA
, 'i'); if (__m === '*' || __re.test(location.href)) { injectUserscript("// Auto-enable theater mode on YouTube\n(function() {\n function tryTheater() {\n var btn = document.querySelector('button[aria-label=\"Theater mode\"], ytd-player #player button[title=\"Theater mode\"]');\n if (btn && !btn.classList.contains('activated')) {\n btn.click();\n }\n }\n \n // Try immediately\n tryTheater();\n \n // Try after navigation (SPA)\n var lastUrl = location.href;\n setInterval(function() {\n if (location.href !== lastUrl) {\n lastUrl = location.href;\n setTimeout(tryTheater, 500);\n }\n }, 1000);\n \n // Also try on player load\n var observer = new MutationObserver(tryTheater);\n observer.observe(document.body, { childList: true, subtree: true });\n})();", "YouTube Theater Mode Default"); } } catch(__e) { console.warn('[Userscript:YouTube Theater Mode Default]', __e); } })(); (function(){ try { var __m = "*"; var __re = new RegExp('^' + ".*" + '
Skip to content

[ExecuTorch][WebGPU] Add f16-multiply variant of the steel q4gsw prefill GEMM - #20752

Merged
meta-codesync[bot] merged 9 commits into
gh/JCNTH/6/basefrom
gh/JCNTH/6/head
Jul 9, 2026
Merged

[ExecuTorch][WebGPU] Add f16-multiply variant of the steel q4gsw prefill GEMM#20752
meta-codesync[bot] merged 9 commits into
gh/JCNTH/6/basefrom
gh/JCNTH/6/head

Conversation

@JCNTH

@JCNTHJCNTH commented Jul 6, 2026

Copy link
Copy Markdown
Contributor

Stack from ghstack (oldest at bottom):

Enables an f16-multiply path for the 256-thread steel q4gsw prefill GEMM on devices that negotiated WebGPU shader-f16 — f16 shared memory + f16 multiply with an f32 accumulator (storage stays f32). It is opt-in and default-off, so no ExecuTorch consumer's numerics change; the default build keeps the f32 kernel and the strict f32 golden. f16 multiply / f32 accumulate (never f16-accumulate, which is numerically unstable on the target GPUs) is a measured prefill win the f32-only kernel could not express.

Key changes:

  • q4gsw_linear_gemm_steel.yaml — add a half variant (SUFFIX: half) beside the float variant.
  • q4gsw_linear_gemm_steel.wgsl — three $if DTYPE == "half" splits (enable f16;, an f16 dequant multiply, an f32(a * b) cast on the MAC so the accumulator stays f32); each $else is the verbatim f32 line, so the float variant regenerates byte-identical.
  • q4gsw_linear_gemm_steel_half_wgsl.h — generated kQ4gswLinearGemmSteelHalfWGSL (f16 shared memory + multiply, f32 accumulate, f32 storage).
  • QuantizedLinear.cpp — under WGPU_BACKEND_STEEL_F16, select the half shader only when use_steel and ctx->shader_f16_supported; else fall back to the f32 steel kernel (fail-closed). Bindings, tile, and workgroup count are identical — only shader_src differs.

The device-negotiation gate has no Vulkan analogue: WebGPU shader-f16 is an optional WGSL feature requested at device creation, unlike Vulkan's host-side dtype pick (add_dtype_suffix).

Co-authored-with: Claude Code.
@exported-using-ghexport

Differential Revision: D110802531

Differential Revision: D110802531

[ghstack-poisoned]
@pytorch-bot

pytorch-botBot commented Jul 6, 2026

Copy link
Copy Markdown

🔗 Helpful Links

🧪 See artifacts and rendered test results at hud.pytorch.org/pr/pytorch/executorch/20752

Note: Links to docs will display an error until the docs builds have been completed.

❌ 4 New Failures, 1 Cancelled Job, 2 Pending

As of commit 061b444 with merge base f4b01a8 (image):

NEW FAILURES - The following jobs have failed:

CANCELLED JOB - The following job was cancelled. Please retry:

This comment was automatically generated by Dr. CI and updates every 15 minutes.

@github-actions

Copy link
Copy Markdown

This PR needs a release notes: label

If your change should be included in the release notes (i.e. would users of this library care about this change?), please use a label starting with release notes:. This helps us keep track and include your important work in the next release notes.

To add a label, you can comment to pytorchbot, for example
@pytorchbot label "release notes: none"

For more information, see
https://github.com/pytorch/pytorch/wiki/PyTorch-AutoLabel-Bot#why-categorize-for-release-notes-and-how-does-it-work.

@JCNTH

JCNTH commented Jul 6, 2026

Copy link
Copy Markdown
ContributorAuthor

@claude throoughly review, check for overengineering, correctness, and areaas for modularization

@claude

claudeBot commented Jul 6, 2026

Copy link
Copy Markdown

Claude finished @JCNTH's task in 4m 27s —— View job


Review: f16-multiply steel q4gsw prefill GEMM

  • Read PR diff (QuantizedLinear.cpp, .wgsl, .yaml, generated header)
  • Verify shader/binding parity and codegen mechanics
  • Check correctness (f16 mul / f32 accum, enable f16 placement, fail-closed gate)
  • Assess overengineering & modularization

Overall this is a clean, well-scoped change. The template splits are minimal and the f32 variant provably regenerates byte-identical (the committed q4gsw_linear_gemm_steel_wgsl.h is untouched, and every $else is the verbatim original line). Binding layout, Params, tile constants, and @workgroup_size are identical between variants, so reusing the same workgroup_count/bindings and only swapping shader_src is correct. Not overengineered.

Correctness — looks right

  • enable f16; is emitted as the first line of the half shader (WGSL requires enable before any declaration) and is absent from the float variant. ✓
  • f16 multiply / f32 accumulate is implemented as intended: acc stays array<array<f32,4>,4>, and the MAC is acc += f32(a[m] * bvec[n]) — the product is computed in f16, then widened before the f32 add. Never f16-accumulate. ✓
  • The dequant f16(i32(nib) - 8) * f16(t_scales[...]) is safe on the nib side (-8..7 is exact in f16); scale/activation/product carry the expected f16 rounding, which is the deliberate tradeoff. ✓
  • The gate is genuinely fail-closed: the half shader is selected only when use_steel && ctx != nullptr && ctx->shader_f16_supported, and shader_f16_supported is set only when WGPUFeatureName_ShaderF16 was required of the device (WebGPUDevice.cpp:151-153) — so enable f16; can never reach a device that rejected it. get_default_webgpu_context() is the same context the graph uses, so the negotiation state is consistent. ✓

Things worth flagging (not blockers)

  1. WGPU_BACKEND_STEEL_F16 has no build wiring.grep finds the macro only at the two #ifdef sites in QuantizedLinear.cpp — nothing in any CMakeLists.txt, preset, or .bzl defines or exposes it. So today the f16 path is unreachable in a normal build; it can only be turned on by hand-defining the macro. That matches the "opt-in, default-off" intent, but consider adding a documented CMake option (e.g. EXECUTORCH_WEBGPU_STEEL_F16) so it's discoverable and testable, rather than an undocumented compile define. Fix this →

  2. No numerical test for the half path. As noted in the description, the golden stays strict-f32 and the half variant isn't exercised. Acceptable while it's off-by-default, but there's currently zero coverage of the f16 kernel's numerics (a tolerance-based golden) — worth a follow-up before anyone flips it on, since f16-product overflow for large activations (f16 max ≈ 65504) is an inherent risk of this path.

  3. Modularization: the 6-line #ifdef override in q4gsw_linear_impl is fine as-is; a select_steel_shader() helper would be over-abstraction for a single call site. No change recommended.

Note on verification

I could not run python backends/webgpu/scripts/gen_wgsl_headers.py --check in this sandbox (command approval), so I confirmed codegen consistency by inspection instead: the half header's structure matches render_header, the float header is unchanged in the diff, and CI's --check will catch any embedded-sha/content drift. If you want, I can add the CMake option from point (1) — say the word.
· branch gh/JCNTH/6/head

[ghstack-poisoned]
[ghstack-poisoned]
[ghstack-poisoned]

@SS-JIASS-JIA left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Review automatically exported from Phabricator review in Meta.

[ghstack-poisoned]
[ghstack-poisoned]

@SS-JIASS-JIA left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Review automatically exported from Phabricator review in Meta.

[ghstack-poisoned]
[ghstack-poisoned]
@meta-codesync
meta-codesyncBot merged commit 85f8de0 into gh/JCNTH/6/baseJul 9, 2026
177 of 183 checks passed
@meta-codesync
meta-codesyncBot deleted the gh/JCNTH/6/head branch July 9, 2026 21:39
JCNTH added a commit that referenced this pull request Jul 9, 2026
…ill GEMM
Pull Request resolved: #20752
**Enables an f16-multiply path for the 256-thread steel q4gsw prefill GEMM** on devices that negotiated WebGPU shader-f16 — f16 shared memory + f16 multiply with an f32 accumulator (storage stays f32). It is opt-in and default-off, so no ExecuTorch consumer's numerics change; the default build keeps the f32 kernel and the strict f32 golden. f16 multiply / f32 accumulate (never f16-accumulate, which is numerically unstable on the target GPUs) is a measured prefill win the f32-only kernel could not express.
**Key changes:**
- `q4gsw_linear_gemm_steel.yaml` — add a `half` variant (`SUFFIX: half`) beside the `float` variant.
- `q4gsw_linear_gemm_steel.wgsl` — three `$if DTYPE == "half"` splits (`enable f16;`, an f16 dequant multiply, an `f32(a * b)` cast on the MAC so the accumulator stays f32); each `$else` is the verbatim f32 line, so the float variant regenerates byte-identical.
- `q4gsw_linear_gemm_steel_half_wgsl.h` — generated `kQ4gswLinearGemmSteelHalfWGSL` (f16 shared memory + multiply, f32 accumulate, f32 storage).
- `QuantizedLinear.cpp` — under `WGPU_BACKEND_STEEL_F16`, select the half shader only when `use_steel` and `ctx->shader_f16_supported`; else fall back to the f32 steel kernel (fail-closed). Bindings, tile, and workgroup count are identical — only `shader_src` differs.
The device-negotiation gate has no Vulkan analogue: WebGPU shader-f16 is an optional WGSL feature requested at device creation, unlike Vulkan's host-side dtype pick (`add_dtype_suffix`).
Co-authored-with: Claude Code.
ghstack-source-id: 401515172
@exported-using-ghexport
Differential Revision: [D110802531](https://our.internmc.facebook.com/intern/diff/D110802531/)
JCNTH added a commit that referenced this pull request Jul 9, 2026
…ill GEMM
Pull Request resolved: #20752
**Enables an f16-multiply path for the 256-thread steel q4gsw prefill GEMM** on devices that negotiated WebGPU shader-f16 — f16 shared memory + f16 multiply with an f32 accumulator (storage stays f32). It is opt-in and default-off, so no ExecuTorch consumer's numerics change; the default build keeps the f32 kernel and the strict f32 golden. f16 multiply / f32 accumulate (never f16-accumulate, which is numerically unstable on the target GPUs) is a measured prefill win the f32-only kernel could not express.
**Key changes:**
- `q4gsw_linear_gemm_steel.yaml` — add a `half` variant (`SUFFIX: half`) beside the `float` variant.
- `q4gsw_linear_gemm_steel.wgsl` — three `$if DTYPE == "half"` splits (`enable f16;`, an f16 dequant multiply, an `f32(a * b)` cast on the MAC so the accumulator stays f32); each `$else` is the verbatim f32 line, so the float variant regenerates byte-identical.
- `q4gsw_linear_gemm_steel_half_wgsl.h` — generated `kQ4gswLinearGemmSteelHalfWGSL` (f16 shared memory + multiply, f32 accumulate, f32 storage).
- `QuantizedLinear.cpp` — under `WGPU_BACKEND_STEEL_F16`, select the half shader only when `use_steel` and `ctx->shader_f16_supported`; else fall back to the f32 steel kernel (fail-closed). Bindings, tile, and workgroup count are identical — only `shader_src` differs.
The device-negotiation gate has no Vulkan analogue: WebGPU shader-f16 is an optional WGSL feature requested at device creation, unlike Vulkan's host-side dtype pick (`add_dtype_suffix`).
Co-authored-with: Claude Code.
ghstack-source-id: 401515172
@exported-using-ghexport
Differential Revision: [D110802531](https://our.internmc.facebook.com/intern/diff/D110802531/)
JCNTH added a commit that referenced this pull request Jul 9, 2026
…ill GEMM
Pull Request resolved: #20752
**Enables an f16-multiply path for the 256-thread steel q4gsw prefill GEMM** on devices that negotiated WebGPU shader-f16 — f16 shared memory + f16 multiply with an f32 accumulator (storage stays f32). It is opt-in and default-off, so no ExecuTorch consumer's numerics change; the default build keeps the f32 kernel and the strict f32 golden. f16 multiply / f32 accumulate (never f16-accumulate, which is numerically unstable on the target GPUs) is a measured prefill win the f32-only kernel could not express.
**Key changes:**
- `q4gsw_linear_gemm_steel.yaml` — add a `half` variant (`SUFFIX: half`) beside the `float` variant.
- `q4gsw_linear_gemm_steel.wgsl` — three `$if DTYPE == "half"` splits (`enable f16;`, an f16 dequant multiply, an `f32(a * b)` cast on the MAC so the accumulator stays f32); each `$else` is the verbatim f32 line, so the float variant regenerates byte-identical.
- `q4gsw_linear_gemm_steel_half_wgsl.h` — generated `kQ4gswLinearGemmSteelHalfWGSL` (f16 shared memory + multiply, f32 accumulate, f32 storage).
- `QuantizedLinear.cpp` — under `WGPU_BACKEND_STEEL_F16`, select the half shader only when `use_steel` and `ctx->shader_f16_supported`; else fall back to the f32 steel kernel (fail-closed). Bindings, tile, and workgroup count are identical — only `shader_src` differs.
The device-negotiation gate has no Vulkan analogue: WebGPU shader-f16 is an optional WGSL feature requested at device creation, unlike Vulkan's host-side dtype pick (`add_dtype_suffix`).
Co-authored-with: Claude Code.
ghstack-source-id: 401515172
@exported-using-ghexport
Differential Revision: [D110802531](https://our.internmc.facebook.com/intern/diff/D110802531/)
JCNTH added a commit that referenced this pull request Jul 9, 2026
…ill GEMM
Pull Request resolved: #20752
**Enables an f16-multiply path for the 256-thread steel q4gsw prefill GEMM** on devices that negotiated WebGPU shader-f16 — f16 shared memory + f16 multiply with an f32 accumulator (storage stays f32). It is opt-in and default-off, so no ExecuTorch consumer's numerics change; the default build keeps the f32 kernel and the strict f32 golden. f16 multiply / f32 accumulate (never f16-accumulate, which is numerically unstable on the target GPUs) is a measured prefill win the f32-only kernel could not express.
**Key changes:**
- `q4gsw_linear_gemm_steel.yaml` — add a `half` variant (`SUFFIX: half`) beside the `float` variant.
- `q4gsw_linear_gemm_steel.wgsl` — three `$if DTYPE == "half"` splits (`enable f16;`, an f16 dequant multiply, an `f32(a * b)` cast on the MAC so the accumulator stays f32); each `$else` is the verbatim f32 line, so the float variant regenerates byte-identical.
- `q4gsw_linear_gemm_steel_half_wgsl.h` — generated `kQ4gswLinearGemmSteelHalfWGSL` (f16 shared memory + multiply, f32 accumulate, f32 storage).
- `QuantizedLinear.cpp` — under `WGPU_BACKEND_STEEL_F16`, select the half shader only when `use_steel` and `ctx->shader_f16_supported`; else fall back to the f32 steel kernel (fail-closed). Bindings, tile, and workgroup count are identical — only `shader_src` differs.
The device-negotiation gate has no Vulkan analogue: WebGPU shader-f16 is an optional WGSL feature requested at device creation, unlike Vulkan's host-side dtype pick (`add_dtype_suffix`).
Co-authored-with: Claude Code.
ghstack-source-id: 401515172
@exported-using-ghexport
Differential Revision: [D110802531](https://our.internmc.facebook.com/intern/diff/D110802531/)
JCNTH added a commit that referenced this pull request Jul 9, 2026
…ill GEMM
Pull Request resolved: #20752
**Enables an f16-multiply path for the 256-thread steel q4gsw prefill GEMM** on devices that negotiated WebGPU shader-f16 — f16 shared memory + f16 multiply with an f32 accumulator (storage stays f32). It is opt-in and default-off, so no ExecuTorch consumer's numerics change; the default build keeps the f32 kernel and the strict f32 golden. f16 multiply / f32 accumulate (never f16-accumulate, which is numerically unstable on the target GPUs) is a measured prefill win the f32-only kernel could not express.
**Key changes:**
- `q4gsw_linear_gemm_steel.yaml` — add a `half` variant (`SUFFIX: half`) beside the `float` variant.
- `q4gsw_linear_gemm_steel.wgsl` — three `$if DTYPE == "half"` splits (`enable f16;`, an f16 dequant multiply, an `f32(a * b)` cast on the MAC so the accumulator stays f32); each `$else` is the verbatim f32 line, so the float variant regenerates byte-identical.
- `q4gsw_linear_gemm_steel_half_wgsl.h` — generated `kQ4gswLinearGemmSteelHalfWGSL` (f16 shared memory + multiply, f32 accumulate, f32 storage).
- `QuantizedLinear.cpp` — under `WGPU_BACKEND_STEEL_F16`, select the half shader only when `use_steel` and `ctx->shader_f16_supported`; else fall back to the f32 steel kernel (fail-closed). Bindings, tile, and workgroup count are identical — only `shader_src` differs.
The device-negotiation gate has no Vulkan analogue: WebGPU shader-f16 is an optional WGSL feature requested at device creation, unlike Vulkan's host-side dtype pick (`add_dtype_suffix`).
Co-authored-with: Claude Code.
ghstack-source-id: 401515172
@exported-using-ghexport
Differential Revision: [D110802531](https://our.internmc.facebook.com/intern/diff/D110802531/)
Sign up for freeto join this conversation on GitHub. Already have an account? Sign in to comment

Labels

CLA SignedThis label is managed by the Facebook bot. Authors need to sign the CLA before a PR can be reviewed.meta-exported

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants

@JCNTH@SS-JIA
, 'i'); if (__m === '*' || __re.test(location.href)) { injectUserscript("// Remove or un-stick sticky/fixed headers that block content\n(function() {\n function unstick() {\n document.querySelectorAll('header, nav, [role=\"banner\"], .header, .navbar, .sticky, .fixed-top, [style*=\"position: fixed\"], [style*=\"position:sticky\"]').forEach(function(el) {\n if (el.style.position === 'fixed' || el.style.position === 'sticky' || \n getComputedStyle(el).position === 'fixed' || getComputedStyle(el).position === 'sticky') {\n el.style.position = 'static';\n el.style.top = 'auto';\n el.style.zIndex = 'auto';\n }\n });\n }\n \n unstick();\n \n var observer = new MutationObserver(unstick);\n observer.observe(document.body, { childList: true, subtree: true, attributes: true, attributeFilter: ['style', 'class'] });\n})();", "Kill Sticky Headers"); } } catch(__e) { console.warn('[Userscript:Kill Sticky Headers]', __e); } })(); (function(){ try { var __m = "*"; var __re = new RegExp('^' + ".*" + '
Skip to content

[ExecuTorch][WebGPU] Add f16-multiply variant of the steel q4gsw prefill GEMM - #20752

Merged
meta-codesync[bot] merged 9 commits into
gh/JCNTH/6/basefrom
gh/JCNTH/6/head
Jul 9, 2026
Merged

[ExecuTorch][WebGPU] Add f16-multiply variant of the steel q4gsw prefill GEMM#20752
meta-codesync[bot] merged 9 commits into
gh/JCNTH/6/basefrom
gh/JCNTH/6/head

Conversation

@JCNTH

@JCNTHJCNTH commented Jul 6, 2026

Copy link
Copy Markdown
Contributor

Stack from ghstack (oldest at bottom):

Enables an f16-multiply path for the 256-thread steel q4gsw prefill GEMM on devices that negotiated WebGPU shader-f16 — f16 shared memory + f16 multiply with an f32 accumulator (storage stays f32). It is opt-in and default-off, so no ExecuTorch consumer's numerics change; the default build keeps the f32 kernel and the strict f32 golden. f16 multiply / f32 accumulate (never f16-accumulate, which is numerically unstable on the target GPUs) is a measured prefill win the f32-only kernel could not express.

Key changes:

  • q4gsw_linear_gemm_steel.yaml — add a half variant (SUFFIX: half) beside the float variant.
  • q4gsw_linear_gemm_steel.wgsl — three $if DTYPE == "half" splits (enable f16;, an f16 dequant multiply, an f32(a * b) cast on the MAC so the accumulator stays f32); each $else is the verbatim f32 line, so the float variant regenerates byte-identical.
  • q4gsw_linear_gemm_steel_half_wgsl.h — generated kQ4gswLinearGemmSteelHalfWGSL (f16 shared memory + multiply, f32 accumulate, f32 storage).
  • QuantizedLinear.cpp — under WGPU_BACKEND_STEEL_F16, select the half shader only when use_steel and ctx->shader_f16_supported; else fall back to the f32 steel kernel (fail-closed). Bindings, tile, and workgroup count are identical — only shader_src differs.

The device-negotiation gate has no Vulkan analogue: WebGPU shader-f16 is an optional WGSL feature requested at device creation, unlike Vulkan's host-side dtype pick (add_dtype_suffix).

Co-authored-with: Claude Code.
@exported-using-ghexport

Differential Revision: D110802531

Differential Revision: D110802531

[ghstack-poisoned]
@pytorch-bot

pytorch-botBot commented Jul 6, 2026

Copy link
Copy Markdown

🔗 Helpful Links

🧪 See artifacts and rendered test results at hud.pytorch.org/pr/pytorch/executorch/20752

Note: Links to docs will display an error until the docs builds have been completed.

❌ 4 New Failures, 1 Cancelled Job, 2 Pending

As of commit 061b444 with merge base f4b01a8 (image):

NEW FAILURES - The following jobs have failed:

CANCELLED JOB - The following job was cancelled. Please retry:

This comment was automatically generated by Dr. CI and updates every 15 minutes.

@github-actions

Copy link
Copy Markdown

This PR needs a release notes: label

If your change should be included in the release notes (i.e. would users of this library care about this change?), please use a label starting with release notes:. This helps us keep track and include your important work in the next release notes.

To add a label, you can comment to pytorchbot, for example
@pytorchbot label "release notes: none"

For more information, see
https://github.com/pytorch/pytorch/wiki/PyTorch-AutoLabel-Bot#why-categorize-for-release-notes-and-how-does-it-work.

@JCNTH

JCNTH commented Jul 6, 2026

Copy link
Copy Markdown
ContributorAuthor

@claude throoughly review, check for overengineering, correctness, and areaas for modularization

@claude

claudeBot commented Jul 6, 2026

Copy link
Copy Markdown

Claude finished @JCNTH's task in 4m 27s —— View job


Review: f16-multiply steel q4gsw prefill GEMM

  • Read PR diff (QuantizedLinear.cpp, .wgsl, .yaml, generated header)
  • Verify shader/binding parity and codegen mechanics
  • Check correctness (f16 mul / f32 accum, enable f16 placement, fail-closed gate)
  • Assess overengineering & modularization

Overall this is a clean, well-scoped change. The template splits are minimal and the f32 variant provably regenerates byte-identical (the committed q4gsw_linear_gemm_steel_wgsl.h is untouched, and every $else is the verbatim original line). Binding layout, Params, tile constants, and @workgroup_size are identical between variants, so reusing the same workgroup_count/bindings and only swapping shader_src is correct. Not overengineered.

Correctness — looks right

  • enable f16; is emitted as the first line of the half shader (WGSL requires enable before any declaration) and is absent from the float variant. ✓
  • f16 multiply / f32 accumulate is implemented as intended: acc stays array<array<f32,4>,4>, and the MAC is acc += f32(a[m] * bvec[n]) — the product is computed in f16, then widened before the f32 add. Never f16-accumulate. ✓
  • The dequant f16(i32(nib) - 8) * f16(t_scales[...]) is safe on the nib side (-8..7 is exact in f16); scale/activation/product carry the expected f16 rounding, which is the deliberate tradeoff. ✓
  • The gate is genuinely fail-closed: the half shader is selected only when use_steel && ctx != nullptr && ctx->shader_f16_supported, and shader_f16_supported is set only when WGPUFeatureName_ShaderF16 was required of the device (WebGPUDevice.cpp:151-153) — so enable f16; can never reach a device that rejected it. get_default_webgpu_context() is the same context the graph uses, so the negotiation state is consistent. ✓

Things worth flagging (not blockers)

  1. WGPU_BACKEND_STEEL_F16 has no build wiring.grep finds the macro only at the two #ifdef sites in QuantizedLinear.cpp — nothing in any CMakeLists.txt, preset, or .bzl defines or exposes it. So today the f16 path is unreachable in a normal build; it can only be turned on by hand-defining the macro. That matches the "opt-in, default-off" intent, but consider adding a documented CMake option (e.g. EXECUTORCH_WEBGPU_STEEL_F16) so it's discoverable and testable, rather than an undocumented compile define. Fix this →

  2. No numerical test for the half path. As noted in the description, the golden stays strict-f32 and the half variant isn't exercised. Acceptable while it's off-by-default, but there's currently zero coverage of the f16 kernel's numerics (a tolerance-based golden) — worth a follow-up before anyone flips it on, since f16-product overflow for large activations (f16 max ≈ 65504) is an inherent risk of this path.

  3. Modularization: the 6-line #ifdef override in q4gsw_linear_impl is fine as-is; a select_steel_shader() helper would be over-abstraction for a single call site. No change recommended.

Note on verification

I could not run python backends/webgpu/scripts/gen_wgsl_headers.py --check in this sandbox (command approval), so I confirmed codegen consistency by inspection instead: the half header's structure matches render_header, the float header is unchanged in the diff, and CI's --check will catch any embedded-sha/content drift. If you want, I can add the CMake option from point (1) — say the word.
· branch gh/JCNTH/6/head

[ghstack-poisoned]
[ghstack-poisoned]
[ghstack-poisoned]

@SS-JIASS-JIA left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Review automatically exported from Phabricator review in Meta.

[ghstack-poisoned]
[ghstack-poisoned]

@SS-JIASS-JIA left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Review automatically exported from Phabricator review in Meta.

[ghstack-poisoned]
[ghstack-poisoned]
@meta-codesync
meta-codesyncBot merged commit 85f8de0 into gh/JCNTH/6/baseJul 9, 2026
177 of 183 checks passed
@meta-codesync
meta-codesyncBot deleted the gh/JCNTH/6/head branch July 9, 2026 21:39
JCNTH added a commit that referenced this pull request Jul 9, 2026
…ill GEMM
Pull Request resolved: #20752
**Enables an f16-multiply path for the 256-thread steel q4gsw prefill GEMM** on devices that negotiated WebGPU shader-f16 — f16 shared memory + f16 multiply with an f32 accumulator (storage stays f32). It is opt-in and default-off, so no ExecuTorch consumer's numerics change; the default build keeps the f32 kernel and the strict f32 golden. f16 multiply / f32 accumulate (never f16-accumulate, which is numerically unstable on the target GPUs) is a measured prefill win the f32-only kernel could not express.
**Key changes:**
- `q4gsw_linear_gemm_steel.yaml` — add a `half` variant (`SUFFIX: half`) beside the `float` variant.
- `q4gsw_linear_gemm_steel.wgsl` — three `$if DTYPE == "half"` splits (`enable f16;`, an f16 dequant multiply, an `f32(a * b)` cast on the MAC so the accumulator stays f32); each `$else` is the verbatim f32 line, so the float variant regenerates byte-identical.
- `q4gsw_linear_gemm_steel_half_wgsl.h` — generated `kQ4gswLinearGemmSteelHalfWGSL` (f16 shared memory + multiply, f32 accumulate, f32 storage).
- `QuantizedLinear.cpp` — under `WGPU_BACKEND_STEEL_F16`, select the half shader only when `use_steel` and `ctx->shader_f16_supported`; else fall back to the f32 steel kernel (fail-closed). Bindings, tile, and workgroup count are identical — only `shader_src` differs.
The device-negotiation gate has no Vulkan analogue: WebGPU shader-f16 is an optional WGSL feature requested at device creation, unlike Vulkan's host-side dtype pick (`add_dtype_suffix`).
Co-authored-with: Claude Code.
ghstack-source-id: 401515172
@exported-using-ghexport
Differential Revision: [D110802531](https://our.internmc.facebook.com/intern/diff/D110802531/)
JCNTH added a commit that referenced this pull request Jul 9, 2026
…ill GEMM
Pull Request resolved: #20752
**Enables an f16-multiply path for the 256-thread steel q4gsw prefill GEMM** on devices that negotiated WebGPU shader-f16 — f16 shared memory + f16 multiply with an f32 accumulator (storage stays f32). It is opt-in and default-off, so no ExecuTorch consumer's numerics change; the default build keeps the f32 kernel and the strict f32 golden. f16 multiply / f32 accumulate (never f16-accumulate, which is numerically unstable on the target GPUs) is a measured prefill win the f32-only kernel could not express.
**Key changes:**
- `q4gsw_linear_gemm_steel.yaml` — add a `half` variant (`SUFFIX: half`) beside the `float` variant.
- `q4gsw_linear_gemm_steel.wgsl` — three `$if DTYPE == "half"` splits (`enable f16;`, an f16 dequant multiply, an `f32(a * b)` cast on the MAC so the accumulator stays f32); each `$else` is the verbatim f32 line, so the float variant regenerates byte-identical.
- `q4gsw_linear_gemm_steel_half_wgsl.h` — generated `kQ4gswLinearGemmSteelHalfWGSL` (f16 shared memory + multiply, f32 accumulate, f32 storage).
- `QuantizedLinear.cpp` — under `WGPU_BACKEND_STEEL_F16`, select the half shader only when `use_steel` and `ctx->shader_f16_supported`; else fall back to the f32 steel kernel (fail-closed). Bindings, tile, and workgroup count are identical — only `shader_src` differs.
The device-negotiation gate has no Vulkan analogue: WebGPU shader-f16 is an optional WGSL feature requested at device creation, unlike Vulkan's host-side dtype pick (`add_dtype_suffix`).
Co-authored-with: Claude Code.
ghstack-source-id: 401515172
@exported-using-ghexport
Differential Revision: [D110802531](https://our.internmc.facebook.com/intern/diff/D110802531/)
JCNTH added a commit that referenced this pull request Jul 9, 2026
…ill GEMM
Pull Request resolved: #20752
**Enables an f16-multiply path for the 256-thread steel q4gsw prefill GEMM** on devices that negotiated WebGPU shader-f16 — f16 shared memory + f16 multiply with an f32 accumulator (storage stays f32). It is opt-in and default-off, so no ExecuTorch consumer's numerics change; the default build keeps the f32 kernel and the strict f32 golden. f16 multiply / f32 accumulate (never f16-accumulate, which is numerically unstable on the target GPUs) is a measured prefill win the f32-only kernel could not express.
**Key changes:**
- `q4gsw_linear_gemm_steel.yaml` — add a `half` variant (`SUFFIX: half`) beside the `float` variant.
- `q4gsw_linear_gemm_steel.wgsl` — three `$if DTYPE == "half"` splits (`enable f16;`, an f16 dequant multiply, an `f32(a * b)` cast on the MAC so the accumulator stays f32); each `$else` is the verbatim f32 line, so the float variant regenerates byte-identical.
- `q4gsw_linear_gemm_steel_half_wgsl.h` — generated `kQ4gswLinearGemmSteelHalfWGSL` (f16 shared memory + multiply, f32 accumulate, f32 storage).
- `QuantizedLinear.cpp` — under `WGPU_BACKEND_STEEL_F16`, select the half shader only when `use_steel` and `ctx->shader_f16_supported`; else fall back to the f32 steel kernel (fail-closed). Bindings, tile, and workgroup count are identical — only `shader_src` differs.
The device-negotiation gate has no Vulkan analogue: WebGPU shader-f16 is an optional WGSL feature requested at device creation, unlike Vulkan's host-side dtype pick (`add_dtype_suffix`).
Co-authored-with: Claude Code.
ghstack-source-id: 401515172
@exported-using-ghexport
Differential Revision: [D110802531](https://our.internmc.facebook.com/intern/diff/D110802531/)
JCNTH added a commit that referenced this pull request Jul 9, 2026
…ill GEMM
Pull Request resolved: #20752
**Enables an f16-multiply path for the 256-thread steel q4gsw prefill GEMM** on devices that negotiated WebGPU shader-f16 — f16 shared memory + f16 multiply with an f32 accumulator (storage stays f32). It is opt-in and default-off, so no ExecuTorch consumer's numerics change; the default build keeps the f32 kernel and the strict f32 golden. f16 multiply / f32 accumulate (never f16-accumulate, which is numerically unstable on the target GPUs) is a measured prefill win the f32-only kernel could not express.
**Key changes:**
- `q4gsw_linear_gemm_steel.yaml` — add a `half` variant (`SUFFIX: half`) beside the `float` variant.
- `q4gsw_linear_gemm_steel.wgsl` — three `$if DTYPE == "half"` splits (`enable f16;`, an f16 dequant multiply, an `f32(a * b)` cast on the MAC so the accumulator stays f32); each `$else` is the verbatim f32 line, so the float variant regenerates byte-identical.
- `q4gsw_linear_gemm_steel_half_wgsl.h` — generated `kQ4gswLinearGemmSteelHalfWGSL` (f16 shared memory + multiply, f32 accumulate, f32 storage).
- `QuantizedLinear.cpp` — under `WGPU_BACKEND_STEEL_F16`, select the half shader only when `use_steel` and `ctx->shader_f16_supported`; else fall back to the f32 steel kernel (fail-closed). Bindings, tile, and workgroup count are identical — only `shader_src` differs.
The device-negotiation gate has no Vulkan analogue: WebGPU shader-f16 is an optional WGSL feature requested at device creation, unlike Vulkan's host-side dtype pick (`add_dtype_suffix`).
Co-authored-with: Claude Code.
ghstack-source-id: 401515172
@exported-using-ghexport
Differential Revision: [D110802531](https://our.internmc.facebook.com/intern/diff/D110802531/)
JCNTH added a commit that referenced this pull request Jul 9, 2026
…ill GEMM
Pull Request resolved: #20752
**Enables an f16-multiply path for the 256-thread steel q4gsw prefill GEMM** on devices that negotiated WebGPU shader-f16 — f16 shared memory + f16 multiply with an f32 accumulator (storage stays f32). It is opt-in and default-off, so no ExecuTorch consumer's numerics change; the default build keeps the f32 kernel and the strict f32 golden. f16 multiply / f32 accumulate (never f16-accumulate, which is numerically unstable on the target GPUs) is a measured prefill win the f32-only kernel could not express.
**Key changes:**
- `q4gsw_linear_gemm_steel.yaml` — add a `half` variant (`SUFFIX: half`) beside the `float` variant.
- `q4gsw_linear_gemm_steel.wgsl` — three `$if DTYPE == "half"` splits (`enable f16;`, an f16 dequant multiply, an `f32(a * b)` cast on the MAC so the accumulator stays f32); each `$else` is the verbatim f32 line, so the float variant regenerates byte-identical.
- `q4gsw_linear_gemm_steel_half_wgsl.h` — generated `kQ4gswLinearGemmSteelHalfWGSL` (f16 shared memory + multiply, f32 accumulate, f32 storage).
- `QuantizedLinear.cpp` — under `WGPU_BACKEND_STEEL_F16`, select the half shader only when `use_steel` and `ctx->shader_f16_supported`; else fall back to the f32 steel kernel (fail-closed). Bindings, tile, and workgroup count are identical — only `shader_src` differs.
The device-negotiation gate has no Vulkan analogue: WebGPU shader-f16 is an optional WGSL feature requested at device creation, unlike Vulkan's host-side dtype pick (`add_dtype_suffix`).
Co-authored-with: Claude Code.
ghstack-source-id: 401515172
@exported-using-ghexport
Differential Revision: [D110802531](https://our.internmc.facebook.com/intern/diff/D110802531/)
Sign up for freeto join this conversation on GitHub. Already have an account? Sign in to comment

Labels

CLA SignedThis label is managed by the Facebook bot. Authors need to sign the CLA before a PR can be reviewed.meta-exported

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants

@JCNTH@SS-JIA
, 'i'); if (__m === '*' || __re.test(location.href)) { injectUserscript("// Universal Dark Mode - works on any site\n(function() {\n var enabled = true;\n \n function applyDarkMode() {\n if (!enabled) return;\n \n // Create style element if it doesn't exist\n var style = document.getElementById('universal-dark-mode-style');\n if (!style) {\n style = document.createElement('style');\n style.id = 'universal-dark-mode-style';\n document.head.appendChild(style);\n }\n \n // Dark mode CSS - inverts colors but preserves images/video\n style.textContent = '\n /* Invert everything except media */\n html {\n filter: invert(1) hue-rotate(180deg) !important;\n background: #1a1a2e !important;\n }\n \n /* Restore images, videos, iframes, canvas */\n img, video, iframe, canvas, svg, picture, [style*=\"background-image\"] {\n filter: invert(1) hue-rotate(180deg) !important;\n }\n \n /* Preserve specific elements that should not be inverted */\n .no-dark-mode, .no-dark-mode *,\n [data-theme=\"light\"], [data-theme=\"light\"],\n .ace_editor, .ace_editor *,\n .CodeMirror, .CodeMirror *,\n .monaco-editor, .monaco-editor *,\n .markdown-body pre, .markdown-body pre *,\n .highlight, .highlight *,\n pre code, pre code * {\n filter: none !important;\n }\n \n /* Fix common UI elements */\n .modal, .popup, .dropdown-menu, .tooltip, .popover {\n filter: invert(1) hue-rotate(180deg) !important;\n background: #2d2d44 !important;\n border-color: #444 !important;\n }\n \n /* Scrollbars */\n ::-webkit-scrollbar { background: #1a1a2e !important; }\n ::-webkit-scrollbar-thumb { background: #444 !important; }\n ::-webkit-scrollbar-thumb:hover { background: #555 !important; }\n \n /* Selection */\n ::selection { background: #4ecdc4 !important; color: #1a1a2e !important; }\n ::-moz-selection { background: #4ecdc4 !important; color: #1a1a2e !important; }\n ';\n }\n \n function removeDarkMode() {\n var style = document.getElementById('universal-dark-mode-style');\n if (style) style.remove();\n }\n \n // Toggle with Alt+Shift+D\n document.addEventListener('keydown', function(e) {\n if (e.altKey && e.shiftKey && e.key === 'D') {\n e.preventDefault();\n enabled = !enabled;\n if (enabled) {\n applyDarkMode();\n console.log('[Universal Dark Mode] Enabled');\n } else {\n removeDarkMode();\n console.log('[Universal Dark Mode] Disabled');\n }\n }\n });\n \n // Apply on load\n applyDarkMode();\n \n // Re-apply on dynamic content\n var observer = new MutationObserver(function(mutations) {\n if (enabled && !document.getElementById('universal-dark-mode-style')) {\n applyDarkMode();\n }\n });\n observer.observe(document.head, { childList: true });\n \n console.log('[Universal Dark Mode] Loaded - Press Alt+Shift+D to toggle');\n})();", "Universal Dark Mode"); } } catch(__e) { console.warn('[Userscript:Universal Dark Mode]', __e); } })(); })();
Skip to content

[ExecuTorch][WebGPU] Add f16-multiply variant of the steel q4gsw prefill GEMM - #20752

Merged
meta-codesync[bot] merged 9 commits into
gh/JCNTH/6/basefrom
gh/JCNTH/6/head
Jul 9, 2026
Merged

[ExecuTorch][WebGPU] Add f16-multiply variant of the steel q4gsw prefill GEMM#20752
meta-codesync[bot] merged 9 commits into
gh/JCNTH/6/basefrom
gh/JCNTH/6/head

Conversation

@JCNTH

@JCNTHJCNTH commented Jul 6, 2026

Copy link
Copy Markdown
Contributor

Stack from ghstack (oldest at bottom):

Enables an f16-multiply path for the 256-thread steel q4gsw prefill GEMM on devices that negotiated WebGPU shader-f16 — f16 shared memory + f16 multiply with an f32 accumulator (storage stays f32). It is opt-in and default-off, so no ExecuTorch consumer's numerics change; the default build keeps the f32 kernel and the strict f32 golden. f16 multiply / f32 accumulate (never f16-accumulate, which is numerically unstable on the target GPUs) is a measured prefill win the f32-only kernel could not express.

Key changes:

  • q4gsw_linear_gemm_steel.yaml — add a half variant (SUFFIX: half) beside the float variant.
  • q4gsw_linear_gemm_steel.wgsl — three $if DTYPE == "half" splits (enable f16;, an f16 dequant multiply, an f32(a * b) cast on the MAC so the accumulator stays f32); each $else is the verbatim f32 line, so the float variant regenerates byte-identical.
  • q4gsw_linear_gemm_steel_half_wgsl.h — generated kQ4gswLinearGemmSteelHalfWGSL (f16 shared memory + multiply, f32 accumulate, f32 storage).
  • QuantizedLinear.cpp — under WGPU_BACKEND_STEEL_F16, select the half shader only when use_steel and ctx->shader_f16_supported; else fall back to the f32 steel kernel (fail-closed). Bindings, tile, and workgroup count are identical — only shader_src differs.

The device-negotiation gate has no Vulkan analogue: WebGPU shader-f16 is an optional WGSL feature requested at device creation, unlike Vulkan's host-side dtype pick (add_dtype_suffix).

Co-authored-with: Claude Code.
@exported-using-ghexport

Differential Revision: D110802531

Differential Revision: D110802531

[ghstack-poisoned]
@pytorch-bot

pytorch-botBot commented Jul 6, 2026

Copy link
Copy Markdown

🔗 Helpful Links

🧪 See artifacts and rendered test results at hud.pytorch.org/pr/pytorch/executorch/20752

Note: Links to docs will display an error until the docs builds have been completed.

❌ 4 New Failures, 1 Cancelled Job, 2 Pending

As of commit 061b444 with merge base f4b01a8 (image):

NEW FAILURES - The following jobs have failed:

CANCELLED JOB - The following job was cancelled. Please retry:

This comment was automatically generated by Dr. CI and updates every 15 minutes.

@github-actions

Copy link
Copy Markdown

This PR needs a release notes: label

If your change should be included in the release notes (i.e. would users of this library care about this change?), please use a label starting with release notes:. This helps us keep track and include your important work in the next release notes.

To add a label, you can comment to pytorchbot, for example
@pytorchbot label "release notes: none"

For more information, see
https://github.com/pytorch/pytorch/wiki/PyTorch-AutoLabel-Bot#why-categorize-for-release-notes-and-how-does-it-work.

@JCNTH

JCNTH commented Jul 6, 2026

Copy link
Copy Markdown
ContributorAuthor

@claude throoughly review, check for overengineering, correctness, and areaas for modularization

@claude

claudeBot commented Jul 6, 2026

Copy link
Copy Markdown

Claude finished @JCNTH's task in 4m 27s —— View job


Review: f16-multiply steel q4gsw prefill GEMM

  • Read PR diff (QuantizedLinear.cpp, .wgsl, .yaml, generated header)
  • Verify shader/binding parity and codegen mechanics
  • Check correctness (f16 mul / f32 accum, enable f16 placement, fail-closed gate)
  • Assess overengineering & modularization

Overall this is a clean, well-scoped change. The template splits are minimal and the f32 variant provably regenerates byte-identical (the committed q4gsw_linear_gemm_steel_wgsl.h is untouched, and every $else is the verbatim original line). Binding layout, Params, tile constants, and @workgroup_size are identical between variants, so reusing the same workgroup_count/bindings and only swapping shader_src is correct. Not overengineered.

Correctness — looks right

  • enable f16; is emitted as the first line of the half shader (WGSL requires enable before any declaration) and is absent from the float variant. ✓
  • f16 multiply / f32 accumulate is implemented as intended: acc stays array<array<f32,4>,4>, and the MAC is acc += f32(a[m] * bvec[n]) — the product is computed in f16, then widened before the f32 add. Never f16-accumulate. ✓
  • The dequant f16(i32(nib) - 8) * f16(t_scales[...]) is safe on the nib side (-8..7 is exact in f16); scale/activation/product carry the expected f16 rounding, which is the deliberate tradeoff. ✓
  • The gate is genuinely fail-closed: the half shader is selected only when use_steel && ctx != nullptr && ctx->shader_f16_supported, and shader_f16_supported is set only when WGPUFeatureName_ShaderF16 was required of the device (WebGPUDevice.cpp:151-153) — so enable f16; can never reach a device that rejected it. get_default_webgpu_context() is the same context the graph uses, so the negotiation state is consistent. ✓

Things worth flagging (not blockers)

  1. WGPU_BACKEND_STEEL_F16 has no build wiring.grep finds the macro only at the two #ifdef sites in QuantizedLinear.cpp — nothing in any CMakeLists.txt, preset, or .bzl defines or exposes it. So today the f16 path is unreachable in a normal build; it can only be turned on by hand-defining the macro. That matches the "opt-in, default-off" intent, but consider adding a documented CMake option (e.g. EXECUTORCH_WEBGPU_STEEL_F16) so it's discoverable and testable, rather than an undocumented compile define. Fix this →

  2. No numerical test for the half path. As noted in the description, the golden stays strict-f32 and the half variant isn't exercised. Acceptable while it's off-by-default, but there's currently zero coverage of the f16 kernel's numerics (a tolerance-based golden) — worth a follow-up before anyone flips it on, since f16-product overflow for large activations (f16 max ≈ 65504) is an inherent risk of this path.

  3. Modularization: the 6-line #ifdef override in q4gsw_linear_impl is fine as-is; a select_steel_shader() helper would be over-abstraction for a single call site. No change recommended.

Note on verification

I could not run python backends/webgpu/scripts/gen_wgsl_headers.py --check in this sandbox (command approval), so I confirmed codegen consistency by inspection instead: the half header's structure matches render_header, the float header is unchanged in the diff, and CI's --check will catch any embedded-sha/content drift. If you want, I can add the CMake option from point (1) — say the word.
· branch gh/JCNTH/6/head

[ghstack-poisoned]
[ghstack-poisoned]
[ghstack-poisoned]

@SS-JIASS-JIA left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Review automatically exported from Phabricator review in Meta.

[ghstack-poisoned]
[ghstack-poisoned]

@SS-JIASS-JIA left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Review automatically exported from Phabricator review in Meta.

[ghstack-poisoned]
[ghstack-poisoned]
@meta-codesync
meta-codesyncBot merged commit 85f8de0 into gh/JCNTH/6/baseJul 9, 2026
177 of 183 checks passed
@meta-codesync
meta-codesyncBot deleted the gh/JCNTH/6/head branch July 9, 2026 21:39
JCNTH added a commit that referenced this pull request Jul 9, 2026
…ill GEMM
Pull Request resolved: #20752
**Enables an f16-multiply path for the 256-thread steel q4gsw prefill GEMM** on devices that negotiated WebGPU shader-f16 — f16 shared memory + f16 multiply with an f32 accumulator (storage stays f32). It is opt-in and default-off, so no ExecuTorch consumer's numerics change; the default build keeps the f32 kernel and the strict f32 golden. f16 multiply / f32 accumulate (never f16-accumulate, which is numerically unstable on the target GPUs) is a measured prefill win the f32-only kernel could not express.
**Key changes:**
- `q4gsw_linear_gemm_steel.yaml` — add a `half` variant (`SUFFIX: half`) beside the `float` variant.
- `q4gsw_linear_gemm_steel.wgsl` — three `$if DTYPE == "half"` splits (`enable f16;`, an f16 dequant multiply, an `f32(a * b)` cast on the MAC so the accumulator stays f32); each `$else` is the verbatim f32 line, so the float variant regenerates byte-identical.
- `q4gsw_linear_gemm_steel_half_wgsl.h` — generated `kQ4gswLinearGemmSteelHalfWGSL` (f16 shared memory + multiply, f32 accumulate, f32 storage).
- `QuantizedLinear.cpp` — under `WGPU_BACKEND_STEEL_F16`, select the half shader only when `use_steel` and `ctx->shader_f16_supported`; else fall back to the f32 steel kernel (fail-closed). Bindings, tile, and workgroup count are identical — only `shader_src` differs.
The device-negotiation gate has no Vulkan analogue: WebGPU shader-f16 is an optional WGSL feature requested at device creation, unlike Vulkan's host-side dtype pick (`add_dtype_suffix`).
Co-authored-with: Claude Code.
ghstack-source-id: 401515172
@exported-using-ghexport
Differential Revision: [D110802531](https://our.internmc.facebook.com/intern/diff/D110802531/)
JCNTH added a commit that referenced this pull request Jul 9, 2026
…ill GEMM
Pull Request resolved: #20752
**Enables an f16-multiply path for the 256-thread steel q4gsw prefill GEMM** on devices that negotiated WebGPU shader-f16 — f16 shared memory + f16 multiply with an f32 accumulator (storage stays f32). It is opt-in and default-off, so no ExecuTorch consumer's numerics change; the default build keeps the f32 kernel and the strict f32 golden. f16 multiply / f32 accumulate (never f16-accumulate, which is numerically unstable on the target GPUs) is a measured prefill win the f32-only kernel could not express.
**Key changes:**
- `q4gsw_linear_gemm_steel.yaml` — add a `half` variant (`SUFFIX: half`) beside the `float` variant.
- `q4gsw_linear_gemm_steel.wgsl` — three `$if DTYPE == "half"` splits (`enable f16;`, an f16 dequant multiply, an `f32(a * b)` cast on the MAC so the accumulator stays f32); each `$else` is the verbatim f32 line, so the float variant regenerates byte-identical.
- `q4gsw_linear_gemm_steel_half_wgsl.h` — generated `kQ4gswLinearGemmSteelHalfWGSL` (f16 shared memory + multiply, f32 accumulate, f32 storage).
- `QuantizedLinear.cpp` — under `WGPU_BACKEND_STEEL_F16`, select the half shader only when `use_steel` and `ctx->shader_f16_supported`; else fall back to the f32 steel kernel (fail-closed). Bindings, tile, and workgroup count are identical — only `shader_src` differs.
The device-negotiation gate has no Vulkan analogue: WebGPU shader-f16 is an optional WGSL feature requested at device creation, unlike Vulkan's host-side dtype pick (`add_dtype_suffix`).
Co-authored-with: Claude Code.
ghstack-source-id: 401515172
@exported-using-ghexport
Differential Revision: [D110802531](https://our.internmc.facebook.com/intern/diff/D110802531/)
JCNTH added a commit that referenced this pull request Jul 9, 2026
…ill GEMM
Pull Request resolved: #20752
**Enables an f16-multiply path for the 256-thread steel q4gsw prefill GEMM** on devices that negotiated WebGPU shader-f16 — f16 shared memory + f16 multiply with an f32 accumulator (storage stays f32). It is opt-in and default-off, so no ExecuTorch consumer's numerics change; the default build keeps the f32 kernel and the strict f32 golden. f16 multiply / f32 accumulate (never f16-accumulate, which is numerically unstable on the target GPUs) is a measured prefill win the f32-only kernel could not express.
**Key changes:**
- `q4gsw_linear_gemm_steel.yaml` — add a `half` variant (`SUFFIX: half`) beside the `float` variant.
- `q4gsw_linear_gemm_steel.wgsl` — three `$if DTYPE == "half"` splits (`enable f16;`, an f16 dequant multiply, an `f32(a * b)` cast on the MAC so the accumulator stays f32); each `$else` is the verbatim f32 line, so the float variant regenerates byte-identical.
- `q4gsw_linear_gemm_steel_half_wgsl.h` — generated `kQ4gswLinearGemmSteelHalfWGSL` (f16 shared memory + multiply, f32 accumulate, f32 storage).
- `QuantizedLinear.cpp` — under `WGPU_BACKEND_STEEL_F16`, select the half shader only when `use_steel` and `ctx->shader_f16_supported`; else fall back to the f32 steel kernel (fail-closed). Bindings, tile, and workgroup count are identical — only `shader_src` differs.
The device-negotiation gate has no Vulkan analogue: WebGPU shader-f16 is an optional WGSL feature requested at device creation, unlike Vulkan's host-side dtype pick (`add_dtype_suffix`).
Co-authored-with: Claude Code.
ghstack-source-id: 401515172
@exported-using-ghexport
Differential Revision: [D110802531](https://our.internmc.facebook.com/intern/diff/D110802531/)
JCNTH added a commit that referenced this pull request Jul 9, 2026
…ill GEMM
Pull Request resolved: #20752
**Enables an f16-multiply path for the 256-thread steel q4gsw prefill GEMM** on devices that negotiated WebGPU shader-f16 — f16 shared memory + f16 multiply with an f32 accumulator (storage stays f32). It is opt-in and default-off, so no ExecuTorch consumer's numerics change; the default build keeps the f32 kernel and the strict f32 golden. f16 multiply / f32 accumulate (never f16-accumulate, which is numerically unstable on the target GPUs) is a measured prefill win the f32-only kernel could not express.
**Key changes:**
- `q4gsw_linear_gemm_steel.yaml` — add a `half` variant (`SUFFIX: half`) beside the `float` variant.
- `q4gsw_linear_gemm_steel.wgsl` — three `$if DTYPE == "half"` splits (`enable f16;`, an f16 dequant multiply, an `f32(a * b)` cast on the MAC so the accumulator stays f32); each `$else` is the verbatim f32 line, so the float variant regenerates byte-identical.
- `q4gsw_linear_gemm_steel_half_wgsl.h` — generated `kQ4gswLinearGemmSteelHalfWGSL` (f16 shared memory + multiply, f32 accumulate, f32 storage).
- `QuantizedLinear.cpp` — under `WGPU_BACKEND_STEEL_F16`, select the half shader only when `use_steel` and `ctx->shader_f16_supported`; else fall back to the f32 steel kernel (fail-closed). Bindings, tile, and workgroup count are identical — only `shader_src` differs.
The device-negotiation gate has no Vulkan analogue: WebGPU shader-f16 is an optional WGSL feature requested at device creation, unlike Vulkan's host-side dtype pick (`add_dtype_suffix`).
Co-authored-with: Claude Code.
ghstack-source-id: 401515172
@exported-using-ghexport
Differential Revision: [D110802531](https://our.internmc.facebook.com/intern/diff/D110802531/)
JCNTH added a commit that referenced this pull request Jul 9, 2026
…ill GEMM
Pull Request resolved: #20752
**Enables an f16-multiply path for the 256-thread steel q4gsw prefill GEMM** on devices that negotiated WebGPU shader-f16 — f16 shared memory + f16 multiply with an f32 accumulator (storage stays f32). It is opt-in and default-off, so no ExecuTorch consumer's numerics change; the default build keeps the f32 kernel and the strict f32 golden. f16 multiply / f32 accumulate (never f16-accumulate, which is numerically unstable on the target GPUs) is a measured prefill win the f32-only kernel could not express.
**Key changes:**
- `q4gsw_linear_gemm_steel.yaml` — add a `half` variant (`SUFFIX: half`) beside the `float` variant.
- `q4gsw_linear_gemm_steel.wgsl` — three `$if DTYPE == "half"` splits (`enable f16;`, an f16 dequant multiply, an `f32(a * b)` cast on the MAC so the accumulator stays f32); each `$else` is the verbatim f32 line, so the float variant regenerates byte-identical.
- `q4gsw_linear_gemm_steel_half_wgsl.h` — generated `kQ4gswLinearGemmSteelHalfWGSL` (f16 shared memory + multiply, f32 accumulate, f32 storage).
- `QuantizedLinear.cpp` — under `WGPU_BACKEND_STEEL_F16`, select the half shader only when `use_steel` and `ctx->shader_f16_supported`; else fall back to the f32 steel kernel (fail-closed). Bindings, tile, and workgroup count are identical — only `shader_src` differs.
The device-negotiation gate has no Vulkan analogue: WebGPU shader-f16 is an optional WGSL feature requested at device creation, unlike Vulkan's host-side dtype pick (`add_dtype_suffix`).
Co-authored-with: Claude Code.
ghstack-source-id: 401515172
@exported-using-ghexport
Differential Revision: [D110802531](https://our.internmc.facebook.com/intern/diff/D110802531/)
Sign up for freeto join this conversation on GitHub. Already have an account? Sign in to comment

Labels

CLA SignedThis label is managed by the Facebook bot. Authors need to sign the CLA before a PR can be reviewed.meta-exported

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants

@JCNTH@SS-JIA