8c3d5b4b6c
More aggressively prune unreachable code as follows.
When no control flow edges reach a merge block or continue target:
- delete their contents so that:
- a merge block becomes OpLabel, then OpUnreachable
- a continue target becomes OpLabel, then an OpBranch back to the
loop header
- any basic block which is dominated by such a merge block or continue
target is removed as well.
- decorations targeting the removed instructions are removed.
Enables the SPIR-V builder post-processing step the GLSLANG_WEB case.
41 lines
1.7 KiB
Plaintext
41 lines
1.7 KiB
Plaintext
spv.dead-after-switch-break.vert
|
|
// Module Version 10000
|
|
// Generated by (magic number): 80007
|
|
// Id's are bound by 21
|
|
|
|
Capability Shader
|
|
1: ExtInstImport "GLSL.std.450"
|
|
MemoryModel Logical GLSL450
|
|
EntryPoint Vertex 4 "main" 8 14
|
|
Source GLSL 450
|
|
Name 4 "main"
|
|
Name 8 "c"
|
|
Name 14 "o"
|
|
Decorate 8(c) Location 0
|
|
Decorate 14(o) Location 0
|
|
2: TypeVoid
|
|
3: TypeFunction 2
|
|
6: TypeInt 32 1
|
|
7: TypePointer Input 6(int)
|
|
8(c): 7(ptr) Variable Input
|
|
13: TypePointer Output 6(int)
|
|
14(o): 13(ptr) Variable Output
|
|
15: 6(int) Constant 1
|
|
17: 6(int) Constant 2
|
|
20: 6(int) Constant 3
|
|
4(main): 2 Function None 3
|
|
5: Label
|
|
9: 6(int) Load 8(c)
|
|
SelectionMerge 12 None
|
|
Switch 9 11
|
|
case 0: 10
|
|
11: Label
|
|
Branch 12
|
|
10: Label
|
|
Store 14(o) 15
|
|
Branch 12
|
|
12: Label
|
|
Store 14(o) 20
|
|
Return
|
|
FunctionEnd
|