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:	WebGPU	Assignee:	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

Filip Pizlo

Reported 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.

Attachments
Add attachment proposed patch, testcase, etc.

Filip Pizlo

Comment 1 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.

Myles C. Maxfield

Comment 2 2018-08-29 17:08:13 PDT

"and then analyzing the CFG" And doing what with it?

Myles C. Maxfield

Comment 3 2018-10-13 19:34:26 PDT

Migrated to https://github.com/gpuweb/WHLSL/issues/179

Note You need to log in before you can comment on or make changes to this bug.