1 // Copyright (c) 2020 Google LLC 2 // 3 // Licensed under the Apache License, Version 2.0 (the "License"); 4 // you may not use this file except in compliance with the License. 5 // You may obtain a copy of the License at 6 // 7 // http://www.apache.org/licenses/LICENSE-2.0 8 // 9 // Unless required by applicable law or agreed to in writing, software 10 // distributed under the License is distributed on an "AS IS" BASIS, 11 // WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. 12 // See the License for the specific language governing permissions and 13 // limitations under the License. 14 15 #ifndef SOURCE_FUZZ_FUZZER_PASS_INTERCHANGE_SIGNEDNESS_OF_INTEGER_OPERANDS_H_ 16 #define SOURCE_FUZZ_FUZZER_PASS_INTERCHANGE_SIGNEDNESS_OF_INTEGER_OPERANDS_H_ 17 18 #include "source/fuzz/fuzzer_pass.h" 19 20 namespace spvtools { 21 namespace fuzz { 22 23 // A pass that: 24 // - Finds all the integer constant (scalar and vector) definitions in the 25 // module and adds the definitions of the integer with the same data words but 26 // opposite signedness. If the synonym is already in the module, it does not 27 // add a new one. 28 // - For each use of an integer constant where its signedness does not matter, 29 // decides whether to change it to the id of the toggled constant. 30 class FuzzerPassInterchangeSignednessOfIntegerOperands : public FuzzerPass { 31 public: 32 FuzzerPassInterchangeSignednessOfIntegerOperands( 33 opt::IRContext* ir_context, TransformationContext* transformation_context, 34 FuzzerContext* fuzzer_context, 35 protobufs::TransformationSequence* transformations); 36 37 void Apply() override; 38 39 private: 40 // Given the id of an integer constant (scalar or vector), it finds or creates 41 // the corresponding toggled constant (the integer with the same data words 42 // but opposite signedness). Returns the id of the toggled instruction if the 43 // constant is an integer scalar or vector, 0 otherwise. 44 uint32_t FindOrCreateToggledIntegerConstant(uint32_t id); 45 }; 46 } // namespace fuzz 47 } // namespace spvtools 48 49 #endif // SOURCE_FUZZ_FUZZER_PASS_INTERCHANGE_SIGNEDNESS_OF_INTEGER_OPERANDS_H_ 50