| // Copyright (c) 2019 Google LLC | 
 | // | 
 | // Licensed under the Apache License, Version 2.0 (the "License"); | 
 | // you may not use this file except in compliance with the License. | 
 | // You may obtain a copy of the License at | 
 | // | 
 | //     http://www.apache.org/licenses/LICENSE-2.0 | 
 | // | 
 | // Unless required by applicable law or agreed to in writing, software | 
 | // distributed under the License is distributed on an "AS IS" BASIS, | 
 | // WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. | 
 | // See the License for the specific language governing permissions and | 
 | // limitations under the License. | 
 |  | 
 | #include "source/fuzz/fuzzer_pass_add_dead_breaks.h" | 
 |  | 
 | #include "source/fuzz/transformation_add_dead_break.h" | 
 | #include "source/opt/ir_context.h" | 
 |  | 
 | namespace spvtools { | 
 | namespace fuzz { | 
 |  | 
 | FuzzerPassAddDeadBreaks::FuzzerPassAddDeadBreaks( | 
 |     opt::IRContext* ir_context, FactManager* fact_manager, | 
 |     FuzzerContext* fuzzer_context, | 
 |     protobufs::TransformationSequence* transformations) | 
 |     : FuzzerPass(ir_context, fact_manager, fuzzer_context, transformations) {} | 
 |  | 
 | FuzzerPassAddDeadBreaks::~FuzzerPassAddDeadBreaks() = default; | 
 |  | 
 | void FuzzerPassAddDeadBreaks::Apply() { | 
 |   // We first collect up lots of possibly-applicable transformations. | 
 |   std::vector<TransformationAddDeadBreak> candidate_transformations; | 
 |   // We consider each function separately. | 
 |   for (auto& function : *GetIRContext()->module()) { | 
 |     // For a given function, we find all the merge blocks in that function. | 
 |     std::vector<uint32_t> merge_block_ids; | 
 |     for (auto& block : function) { | 
 |       auto maybe_merge_id = block.MergeBlockIdIfAny(); | 
 |       if (maybe_merge_id) { | 
 |         merge_block_ids.push_back(maybe_merge_id); | 
 |       } | 
 |     } | 
 |     // We rather aggressively consider the possibility of adding a break from | 
 |     // every block in the function to every merge block.  Many of these will be | 
 |     // inapplicable as they would be illegal.  That's OK - we later discard the | 
 |     // ones that turn out to be no good. | 
 |     for (auto& block : function) { | 
 |       for (auto merge_block_id : merge_block_ids) { | 
 |         // TODO(https://github.com/KhronosGroup/SPIRV-Tools/issues/2856): right | 
 |         //  now we completely ignore OpPhi instructions at merge blocks.  This | 
 |         //  will lead to interesting opportunities being missed. | 
 |         auto candidate_transformation = TransformationAddDeadBreak( | 
 |             block.id(), merge_block_id, GetFuzzerContext()->ChooseEven(), {}); | 
 |         if (candidate_transformation.IsApplicable(GetIRContext(), | 
 |                                                   *GetFactManager())) { | 
 |           // Only consider a transformation as a candidate if it is applicable. | 
 |           candidate_transformations.push_back( | 
 |               std::move(candidate_transformation)); | 
 |         } | 
 |       } | 
 |     } | 
 |   } | 
 |  | 
 |   // Go through the candidate transformations that were accumulated, | 
 |   // probabilistically deciding whether to consider each one further and | 
 |   // applying the still-applicable ones that are considered further. | 
 |   // | 
 |   // We iterate through the candidate transformations in a random order by | 
 |   // repeatedly removing a random candidate transformation from the sequence | 
 |   // until no candidate transformations remain.  This is done because | 
 |   // transformations can potentially disable one another, so that iterating | 
 |   // through them in order would lead to a higher probability of | 
 |   // transformations appearing early in the sequence being applied compared | 
 |   // with later transformations. | 
 |   while (!candidate_transformations.empty()) { | 
 |     // Choose a random index into the sequence of remaining candidate | 
 |     // transformations. | 
 |     auto index = GetFuzzerContext()->RandomIndex(candidate_transformations); | 
 |     // Remove the transformation at the chosen index from the sequence. | 
 |     auto transformation = std::move(candidate_transformations[index]); | 
 |     candidate_transformations.erase(candidate_transformations.begin() + index); | 
 |     // Probabilistically decide whether to try to apply it vs. ignore it, in the | 
 |     // case that it is applicable. | 
 |     if (transformation.IsApplicable(GetIRContext(), *GetFactManager()) && | 
 |         GetFuzzerContext()->ChoosePercentage( | 
 |             GetFuzzerContext()->GetChanceOfAddingDeadBreak())) { | 
 |       transformation.Apply(GetIRContext(), GetFactManager()); | 
 |       *GetTransformations()->add_transformation() = transformation.ToMessage(); | 
 |     } | 
 |   } | 
 | } | 
 |  | 
 | }  // namespace fuzz | 
 | }  // namespace spvtools |