Bug 177172 - WSL CFG analysis framework should know how to handle the interaction between continue, break, loops, and switches
Summary: WSL CFG analysis framework should know how to handle the interaction between ...
Status: RESOLVED MOVED
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:
Blocks: 176199
  Show dependency tree / graph
 
Reported: 2017-09-19 11:16 PDT by Filip Pizlo
Modified: 2018-10-13 19:34 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-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