Bug 177045
| Summary: | WSL should have a way to express pointers that are generic over address space | ||
|---|---|---|---|
| Product: | WebKit | Reporter: | Filip Pizlo <fpizlo> |
| Component: | WebGPU | Assignee: | Nobody <webkit-unassigned> |
| Status: | RESOLVED WONTFIX | ||
| Severity: | Normal | CC: | mmaxfield |
| Priority: | P2 | ||
| Version: | WebKit Nightly Build | ||
| Hardware: | All | ||
| OS: | All | ||
| Bug Depends on: | 177303 | ||
| Bug Blocks: | 176199 | ||
Filip Pizlo
This is trivial if we just say that either:
A) All pointers have to point to primitive.
B) Pointers can point to anything regardless of address space.
In either case, the address space of a pointer is decoupled from the pointed-to type, and so could be expressed as its own type variable. Yay!
Note that (B) is totally OK - we can just say that this is an instantiation-time verification.
| Attachments | ||
|---|---|---|
| Add attachment proposed patch, testcase, etc. |
Myles C. Maxfield
We don't have generics any more, so this doesn't make any sense.
Myles C. Maxfield
Migrated to https://github.com/gpuweb/WHLSL/issues/129