| 1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465 |
- // Copyright (c) 2020 Vasyl Teliman
- //
- // 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_propagate_instructions_down.h"
- #include "source/fuzz/fuzzer_context.h"
- #include "source/fuzz/transformation_propagate_instruction_down.h"
- namespace spvtools {
- namespace fuzz {
- FuzzerPassPropagateInstructionsDown::FuzzerPassPropagateInstructionsDown(
- opt::IRContext* ir_context, TransformationContext* transformation_context,
- FuzzerContext* fuzzer_context,
- protobufs::TransformationSequence* transformations,
- bool ignore_inapplicable_transformations)
- : FuzzerPass(ir_context, transformation_context, fuzzer_context,
- transformations, ignore_inapplicable_transformations) {}
- void FuzzerPassPropagateInstructionsDown::Apply() {
- for (const auto& function : *GetIRContext()->module()) {
- std::vector<const opt::BasicBlock*> reachable_blocks;
- for (const auto& block : function) {
- if (GetIRContext()->IsReachable(block)) {
- reachable_blocks.push_back(&block);
- }
- }
- for (const auto* block : reachable_blocks) {
- if (!GetFuzzerContext()->ChoosePercentage(
- GetFuzzerContext()->GetChanceOfPropagatingInstructionsDown())) {
- continue;
- }
- if (TransformationPropagateInstructionDown::IsApplicableToBlock(
- GetIRContext(), block->id())) {
- // Record fresh ids for every successor of the |block| that we can
- // propagate an instruction into.
- std::map<uint32_t, uint32_t> fresh_ids;
- for (auto id :
- TransformationPropagateInstructionDown::GetAcceptableSuccessors(
- GetIRContext(), block->id())) {
- fresh_ids[id] = GetFuzzerContext()->GetFreshId();
- }
- ApplyTransformation(TransformationPropagateInstructionDown(
- block->id(), GetFuzzerContext()->GetFreshId(), fresh_ids));
- }
- }
- }
- }
- } // namespace fuzz
- } // namespace spvtools
|