[all-commits] [llvm/llvm-project] f4cf51: [clang][CFG] Add support for partitioning CFG into...

[Yitzhak Mandelbaum via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: f4cf51c99c74f46a490e0ae265da8fba298d800b
      https://github.com/llvm/llvm-project/commit/f4cf51c99c74f46a490e0ae265da8fba298d800b
  Author: Yitzhak Mandelbaum <yitzhakm at google.com>
  Date:   2023-06-27 (Tue, 27 Jun 2023)

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

  Log Message:
  -----------
  [clang][CFG] Add support for partitioning CFG into intervals.

Adds support for the classic dataflow algorithm that partitions a flow graph
into distinct intervals. C.f. Dragon book, pp. 664-666.

A version of this algorithm exists in LLVM (see llvm/Analysis/Interval.h and
related files), but it is specific to LLVM, is a recursive (vs iterative)
algorithm, and uses many layers of abstraction that seem unnecessary for CFG
purposes.

This patch is part 1 of 2. The next patch will generalize the code to work on
intervals, to support computation of the limit flow graph.

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