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_REPLACE_OPSELECTS_WITH_CONDITIONAL_BRANCHES_H_ 16 #define SOURCE_FUZZ_FUZZER_PASS_REPLACE_OPSELECTS_WITH_CONDITIONAL_BRANCHES_H_ 17 18 #include "source/fuzz/fuzzer_pass.h" 19 20 namespace spvtools { 21 namespace fuzz { 22 23 // A fuzzer pass to replace OpSelect instructions (where the condition is a 24 // scalar boolean) with conditional branches and OpPhi instructions. 25 class FuzzerPassReplaceOpSelectsWithConditionalBranches : public FuzzerPass { 26 public: 27 FuzzerPassReplaceOpSelectsWithConditionalBranches( 28 opt::IRContext* ir_context, TransformationContext* transformation_context, 29 FuzzerContext* fuzzer_context, 30 protobufs::TransformationSequence* transformations); 31 32 void Apply() override; 33 34 private: 35 // Returns true if any of the following holds: 36 // - the instruction is not the first in its block 37 // - the block containing it is a merge block 38 // - the block does not have a unique predecessor 39 // - the predecessor of the block is the header of a construct 40 // - the predecessor does not branch unconditionally to the block 41 // If this function returns true, the block must be split before the 42 // instruction for TransformationReplaceOpSelectWithConditionalBranch to be 43 // applicable. 44 // Assumes that the instruction is OpSelect. 45 bool InstructionNeedsSplitBefore(opt::Instruction* instruction); 46 }; 47 48 } // namespace fuzz 49 } // namespace spvtools 50 51 #endif // SOURCE_FUZZ_FUZZER_PASS_REPLACE_OPSELECTS_WITH_CONDITIONAL_BRANCHES_H_ 52