[all-commits] [llvm/llvm-project] 0a2626: [DDG] Data Dependence Graph - Graph Simplification

[Bardia Mahjour via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: 0a2626d0cdc2942799026c616fcac974e0a1e204
      https://github.com/llvm/llvm-project/commit/0a2626d0cdc2942799026c616fcac974e0a1e204
  Author: Bardia Mahjour <bmahjour at ca.ibm.com>
  Date:   2020-02-19 (Wed, 19 Feb 2020)

  Changed paths:
    M llvm/include/llvm/Analysis/DDG.h
    M llvm/include/llvm/Analysis/DependenceGraphBuilder.h
    M llvm/lib/Analysis/DDG.cpp
    M llvm/lib/Analysis/DependenceGraphBuilder.cpp
    M llvm/test/Analysis/DDG/basic-a.ll
    M llvm/test/Analysis/DDG/basic-b.ll
    M llvm/test/Analysis/DDG/basic-loopnest.ll

  Log Message:
  -----------
  [DDG] Data Dependence Graph - Graph Simplification

Summary:
This is the last functional patch affecting the representation of DDG.
Here we try to simplify the DDG to reduce the number of nodes and edges by
iteratively merging pairs of nodes that satisfy the following conditions,
until no such pair can be identified. A pair of nodes consisting of a and b
can be merged if:

    1. the only edge from a is a def-use edge to b and
    2. the only edge to b is a def-use edge from a and
    3. there is no cyclic edge from b to a and
    4. all instructions in a and b belong to the same basic block and
    5. both a and b are simple (single or multi instruction) nodes.

These criteria allow us to fold many uninteresting def-use edges that
commonly exist in the graph while avoiding the risk of introducing
dependencies that didn't exist before.

Authored By: bmahjour

Reviewer: Meinersbur, fhahn, myhsu, xtian, dmgreen, kbarton, jdoerfert

Reviewed By: Meinersbur

Subscribers: ychen, arphaman, simoll, a.elovikov, mgorny, hiraditya, jfb, wuzish, llvm-commits, jsji, Whitney, etiotto, ppc-slack

Tags: #llvm

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