Bug 189123 - [WHLSL] Implement uniform control flow restrictions
Summary: [WHLSL] Implement uniform control flow restrictions
Status: RESOLVED DUPLICATE of bug 189125
Alias: None
Product: WebKit
Classification: Unclassified
Component: WebGPU (show other bugs)
Version: WebKit Nightly Build
Hardware: Unspecified Unspecified
: P2 Normal
Assignee: Myles C. Maxfield
URL:
Keywords: InRadar
Depends on:
Blocks: 176199 189202
  Show dependency tree / graph
 
Reported: 2018-08-29 16:36 PDT by Myles C. Maxfield
Modified: 2018-10-13 14:49 PDT (History)
2 users (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 Myles C. Maxfield 2018-08-29 16:36:26 PDT 
Implement uniform control flow restrictions
Comment 1 Radar WebKit Bug Importer 2018-09-12 18:50:48 PDT 
<rdar://problem/44403001>
Comment 2 Myles C. Maxfield 2018-09-24 10:23:53 PDT 
Some standard library functions must never be called in nonuniform control flow.

Right now, we have a definition of "uniform control flow" in the spec which is validated at run-time, not compile-time.

We also (will) have a definition of "control flow which was arrived-at by branching on a non-uniform value" which is validated at compile-time, not run-time. This is currently only used for variables marked "uniform" (which is a totally different thing).

We need to figure out whether or not we can unify these two definitions.
Comment 3 Myles C. Maxfield 2018-10-04 19:45:53 PDT 
I'm going to do this in the same patch as https://bugs.webkit.org/show_bug.cgi?id=189125

*** This bug has been marked as a duplicate of bug 189125 ***
Comment 4 Myles C. Maxfield 2018-10-13 14:49:30 PDT 
Migrated to https://github.com/gpuweb/WHLSL/issues/57