tree 93eb29f5bbadde4ac575ff6ef7c86bc6bdc84d56
parent 1f03ac10270a7ba5cd1b5b1969cab298503598c8
author Alastair Donaldson <afdx@google.com> 1581008074 +0000
committer GitHub <noreply@github.com> 1581008074 +0000
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsBcBAABCAAQBQJePETKCRBK7hj4Ov3rIwAAdHIIACR0aoA3QPSLRA2QOe2DkKEB
 Bjp6yJ+bTePpPGr5DedWomEJaePaJ4m6y9gONFDB6mq+X7m8wX+tVEG0VBflEnSl
 FMb1Hrjl+FHGlMc6OOWGlXRzQmotkcOp3L3gVDjl43E3nkwuKA8cE5tr6RbfMUcd
 B6viNGU38dFxo6nFszkp3bJwQnnEyoKZ17Pj6PnKEs8odDdIG0b2uYwm/MLOXlfe
 ytow4h/SEjC5BRHYomlm5JjeQh6CFVOnmdm38y0iboG6ZkKAn3yjvqRGbGb/upzE
 e9kE9wHD9VH+eAPRT3LPIHy1x+w31vxAPMhHY7UinAbeZa31AX084LWz+cDaK+A=
 =SsKT
 -----END PGP SIGNATURE-----
 

spirv-fuzz: Add fuzzer passes to add loads/stores (#3176)

This change adds fuzzer passes that sprinkle loads and stores into a
module at random, with stores restricted to occur in either dead
blocks, or to use pointers for which it is known that the pointee
value does not influence the module's overall behaviour.

The change also generalises the VariableValueIsArbitrary fact to
PointeeValueIsIrrelevant, to allow stores through access chains or
object copies of variables whose values are known to be irrelevant.

The change includes some other minor refactorings.