Bug 189123

Summary: [WHLSL] Implement uniform control flow restrictions
Product: WebKit Reporter: Myles C. Maxfield <mmaxfield>
Component: WebGPUAssignee: Myles C. Maxfield <mmaxfield>
Status: RESOLVED DUPLICATE    
Severity: Normal CC: jonlee, webkit-bug-importer
Priority: P2 Keywords: InRadar
Version: WebKit Nightly Build   
Hardware: Unspecified   
OS: Unspecified   
See Also: https://bugs.webkit.org/show_bug.cgi?id=189122
https://bugs.webkit.org/show_bug.cgi?id=189125
Bug Depends on:    
Bug Blocks: 176199, 189202    

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