3 Commits

Author	SHA1	Message	Date
Alastair Donaldson	698b56a8f0	Add 'copy object' transformation (#2766) ... This transformation can introduce an instruction that uses OpCopyObject to make a copy of some other result id. This change introduces the transformation, but does not yet introduce a fuzzer pass to actually apply it.	2019-08-05 18:00:13 +01:00
Alastair Donaldson	51b0d5ce50	Represent uniform facts via descriptor set and binding. (#2681) ... * Represent uniform facts via descriptor set and binding. Previously uniform facts were expressed with resepect to the id of a uniform variable. Describing them with respect to a descriptor set and binding is more convenient from the point of view of expressing facts about a shader without requiring analysis of its SPIR-V. * Fix equality testing for uniform buffer element descriptors. The equality test now checks that the lengths of the index vectors match. Added a test that exposes the previous omission.	2019-06-19 20:45:14 +01:00
Alastair Donaldson	9c0830133b	Add constant == uniform facts. (#2660) ... Adds a new (and first) kind of fact to the fact manager, which is that a specific uniform value is guaranteed to be equal to a specific constant. The point of this is that such information (if known to be true by some external source) can be used by spirv-fuzz to transform the module in interesting ways that a static compiler cannot reverse via compile-time analysis. This change introduces protobuf messages for the fact, and adds capabilities to the fact manager to store this kind of fact and provide information about it.	2019-06-11 15:56:08 +01:00