[all-commits] [llvm/llvm-project] 26db5e: [clang][CFG] Support construction of a weak topolo...

[Yitzhak Mandelbaum via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 26db5e651bb65287b57a9ca84388d61d8b3305c9
      https://github.com/llvm/llvm-project/commit/26db5e651bb65287b57a9ca84388d61d8b3305c9
  Author: Yitzhak Mandelbaum <yitzhakm at google.com>
  Date:   2023-07-27 (Thu, 27 Jul 2023)

  Changed paths:
    M clang/include/clang/Analysis/Analyses/IntervalPartition.h
    M clang/lib/Analysis/IntervalPartition.cpp
    M clang/unittests/Analysis/IntervalPartitionTest.cpp

  Log Message:
  -----------
  [clang][CFG] Support construction of a weak topological ordering of the CFG.

This patch adds support for building a weak topological ordering (WTO) of the
CFG blocks, based on a limit flow graph constructed via (repeated) interval
partitioning of the CFG.

This patch is part 2 of 2 for adding WTO support.

Differential Revision: https://reviews.llvm.org/D153058