tree 5f6c58b6a03aeeeaaef16bdb30ddf04ce414b849
parent 18b3b94567a9251a6f8491a6d07c4422abadd22c
author Alastair Donaldson <afdx@google.com> 1578953041 +0000
committer GitHub <noreply@github.com> 1578953041 +0000
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsBcBAABCAAQBQJeHOlRCRBK7hj4Ov3rIwAAdHIIAKoYtXeFperdOF1hIhohpjpg
 fMmr+Sj+wouKJCdpV6dPcfG0N3AGBVW/VvcWmoGp2SbEMqWucK611ozvr4equADs
 9kXewIu3KW9mSs3DpPlVNt4o4V5R3fh794yPfGYGrRfBQCGq6faZn2qWBFWC9lCl
 i0rZNlEJo8mnz9s7XJLVEPLGNXaafQ0cgDbQQHPLKzq49VKLOipTXjVE2m2XHvv7
 kFtAcU3ldanC30/wH2zW4ptjXrWBsmF4wKw7D4/RZOqy2xwYFzr7yv6muQUPN4VB
 NtHWr9arbPYYprqvfVFnh77znUPq+hVTdC/10qy9O74K/nSkj/kOxGADIC+tTUE=
 =V20r
 -----END PGP SIGNATURE-----
 

spirv-fuzz: add dead blocks (#3135)

This adds a new kind of fact to the fact manager that knows whether a
block is dead - i.e. guaranteed to be statically unreachable - and a
new transformation for adding a selection construct to a CFG that
conditionally branches to a fresh, dead block, such that the branch
will never be dynamically taken. Transformations that may create new
blocks ('split block' and 'outline function') are updated to propagate
dead block facts to newly-created blocks where appropriate. A fuzzer
pass randomly adds dead blocks to the module.

Future transformations will be able to exploit the fact that such
blocks are known to be dead.