block_merge_pass.cpp 1.6 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051
  1. // Copyright (c) 2017 The Khronos Group Inc.
  2. // Copyright (c) 2017 Valve Corporation
  3. // Copyright (c) 2017 LunarG Inc.
  4. //
  5. // Licensed under the Apache License, Version 2.0 (the "License");
  6. // you may not use this file except in compliance with the License.
  7. // You may obtain a copy of the License at
  8. //
  9. // http://www.apache.org/licenses/LICENSE-2.0
  10. //
  11. // Unless required by applicable law or agreed to in writing, software
  12. // distributed under the License is distributed on an "AS IS" BASIS,
  13. // WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
  14. // See the License for the specific language governing permissions and
  15. // limitations under the License.
  16. #include "source/opt/block_merge_pass.h"
  17. #include "source/opt/block_merge_util.h"
  18. #include "source/opt/ir_context.h"
  19. namespace spvtools {
  20. namespace opt {
  21. bool BlockMergePass::MergeBlocks(Function* func) {
  22. bool modified = false;
  23. for (auto bi = func->begin(); bi != func->end();) {
  24. // Don't bother trying to merge unreachable blocks.
  25. if (context()->IsReachable(*bi) &&
  26. blockmergeutil::CanMergeWithSuccessor(context(), &*bi)) {
  27. blockmergeutil::MergeWithSuccessor(context(), func, bi);
  28. // Reprocess block.
  29. modified = true;
  30. } else {
  31. ++bi;
  32. }
  33. }
  34. return modified;
  35. }
  36. Pass::Status BlockMergePass::Process() {
  37. // Process all entry point functions.
  38. ProcessFunction pfn = [this](Function* fp) { return MergeBlocks(fp); };
  39. bool modified = context()->ProcessReachableCallTree(pfn);
  40. return modified ? Status::SuccessWithChange : Status::SuccessWithoutChange;
  41. }
  42. BlockMergePass::BlockMergePass() = default;
  43. } // namespace opt
  44. } // namespace spvtools