Bug 177093
| Summary: | WSL should flag stores to constant references | ||
|---|---|---|---|
| Product: | WebKit | Reporter: | Filip Pizlo <fpizlo> |
| Component: | WebGPU | Assignee: | Nobody <webkit-unassigned> |
| Status: | RESOLVED DUPLICATE | ||
| Severity: | Normal | CC: | jonlee, mmaxfield, webkit-bug-importer |
| Priority: | P2 | Keywords: | InRadar |
| Version: | WebKit Nightly Build | ||
| Hardware: | All | ||
| OS: | All | ||
| See Also: | https://bugs.webkit.org/show_bug.cgi?id=189210 | ||
| Bug Depends on: | 177303 | ||
| Bug Blocks: | 176199, 189202 | ||
Filip Pizlo
Patch forthcoming.
| Attachments | ||
|---|---|---|
| Add attachment proposed patch, testcase, etc. |
Radar WebKit Bug Importer
<rdar://problem/44403033>
Myles C. Maxfield
This requires that address spaces get propagated to individual values.
constant float[] a : register(b0)
a[3] = 7;
We need to realize that the type of a[3] is "constant float"
This analysis is required for things like
device atomic_uint[] x : register(u0);
InterlockedAdd(&x[0], 1, null);
Here, we have to realize that the type of &x[0] is type "device uint*"
Myles C. Maxfield
*** This bug has been marked as a duplicate of bug 189210 ***
Myles C. Maxfield
Migrated to https://github.com/gpuweb/WHLSL/issues/190