Bug 177172

Summary: WSL CFG analysis framework should know how to handle the interaction between continue, break, loops, and switches
Product: WebKit Reporter: Filip Pizlo <fpizlo>
Component: WebGPUAssignee: Nobody <webkit-unassigned>
Status: RESOLVED MOVED    
Severity: Normal CC: mmaxfield
Priority: P2    
Version: WebKit Nightly Build   
Hardware: All   
OS: All   
Bug Depends on:    
Bug Blocks: 176199    

Description Filip Pizlo 2017-09-19 11:16:21 PDT
I think this means using a visitor to extract a CFG and then analyzing the CFG.

We could make the CFG extractor reusable.
Comment 1 Filip Pizlo 2017-09-19 11:19:12 PDT
I think we should disallow case fall-through in switch statements. This means ensuring that all paths down a case end in a break.

For now, I'm implementing C semantics, which treat fallthrough as a feature.
Comment 2 Myles C. Maxfield 2018-08-29 17:08:13 PDT
"and then analyzing the CFG"

And doing what with it?
Comment 3 Myles C. Maxfield 2018-10-13 19:34:26 PDT
Migrated to https://github.com/gpuweb/WHLSL/issues/179