Bug 177045 - WSL should have a way to express pointers that are generic over address space
Summary: WSL should have a way to express pointers that are generic over address space
Status: RESOLVED WONTFIX
Alias: None
Product: WebKit
Classification: Unclassified
Component: WebGPU (show other bugs)
Version: WebKit Nightly Build
Hardware: All All
: P2 Normal
Assignee: Nobody
URL:
Keywords:
Depends on: 177303
Blocks: 176199
  Show dependency tree / graph
 
Reported: 2017-09-16 19:43 PDT by Filip Pizlo
Modified: 2018-10-13 16:35 PDT (History)
1 user (show)

See Also:

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
Description Filip Pizlo 2017-09-16 19:43:10 PDT 
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.
Comment 1 Myles C. Maxfield 2018-08-29 17:07:17 PDT 
We don't have generics any more, so this doesn't make any sense.
Comment 2 Myles C. Maxfield 2018-10-13 16:35:42 PDT 
Migrated to https://github.com/gpuweb/WHLSL/issues/129