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.
20 lines
405 B
GLSL
20 lines
405 B
GLSL
#version 450
|
|
|
|
layout(location =0 ) in int c;
|
|
layout(location =0 ) out int o;
|
|
|
|
void main() {
|
|
int i = 0;
|
|
o = 1;
|
|
// This has non-trivial continue target.
|
|
for (i=0; i < 5; ++i, o=99) {
|
|
o = 2;
|
|
return;
|
|
o = 3;
|
|
}
|
|
// This is considered reachable since Glslang codegen will
|
|
// create a conditional branch in the header, and one arm
|
|
// of that branch reaches this merge block.
|
|
o = 4;
|
|
}
|