tree 2f12742dbba3c672fecafaac8f86a0cf0b72f6f3
parent 5df930054966695c840a3fc690114204cfd92b17
author Stefano Milizia <stefanomil@google.com> 1600162261 +0200
committer GitHub <noreply@github.com> 1600162261 +0100
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsBcBAABCAAQBQJfYInVCRBK7hj4Ov3rIwAAdHIIAKH63bUPQMDxaui6JBvsg7uo
 OqJb4ipKx2E1PGqcsNF7umlKelmvfP7C/Id0eKzrVrBN6pqm+ZS0NuIEYmC7UWDj
 xKfBDBXxol/8u0YKfplXePHe62ff7OoMe3sYq9tIrmhCFU5evpVuD6/ciZRMCMXW
 CDfRi2UNGKp6pIlmT8CroUG7NqH7/hJTCsX14Qp8QekQhRNDkGQsM4WZG+Xia3Te
 Wmb6M5CWw+dBSj02Wba69Ph/Q5bdGrfIWBMvByZfpKLNYNpZDxl6IsYAdrjQDib1
 PJ+2dNr46Go2CcKp2hZGDapk1CJ9czKABOjc/ISwuhzmIa/7Jsv7yy3vQP8J6dk=
 =4n8W
 -----END PGP SIGNATURE-----
 

spirv-fuzz: Transformation to flatten conditional branch (#3667)

This transformation, given the header of a selection construct with
branching instruction OpBranchConditional, flattens it.
Side-effecting operations such as OpLoad, OpStore and OpFunctionCall
are enclosed within smaller conditionals.
It is applicable if the construct does not contain inner selection
constructs or loops, or atomic or barrier instructions.

The corresponding fuzzer pass looks for selection headers and
tries to flatten them.

Needed for the issue #3544, but it does not fix it completely.