SuccessChanges

Summary

  1. gn build: Merge r372238
  2. Data Dependence Graph Basics Summary: This is the first patch in a series of patches that will implement data dependence graph in LLVM. Many of the ideas used in this implementation are based on the following paper: D. J. Kuck, R. H. Kuhn, D. A. Padua, B. Leasure, and M. Wolfe (1981). DEPENDENCE GRAPHS AND COMPILER OPTIMIZATIONS. This patch contains support for a basic DDGs containing only atomic nodes (one node for each instruction). The edges are two fold: def-use edges and memory-dependence edges. The implementation takes a list of basic-blocks and only considers dependencies among instructions in those basic blocks. Any dependencies coming into or going out of instructions that do not belong to those basic blocks are ignored. The algorithm for building the graph involves the following steps in order: 1. For each instruction in the range of basic blocks to consider, create an atomic node in the resulting graph. 2. For each node in the graph establish def-use edges to/from other nodes in the graph. 3. For each pair of nodes containing memory instruction(s) create memory edges between them. This part of the algorithm goes through the instructions in lexicographical order and creates edges in reverse order if the sink of the dependence occurs before the source of it. Authored By: bmahjour Reviewer: Meinersbur, fhahn, myhsu, xtian, dmgreen, kbarton, jdoerfert Reviewed By: Meinersbur, fhahn, myhsu Subscribers: ychen, arphaman, simoll, a.elovikov, mgorny, hiraditya, jfb, wuzish, llvm-commits, jsji, Whitney, etiotto Tag: #llvm Differential Revision: https://reviews.llvm.org/D65350
  3. [c++20] P1331R2: Allow transient use of uninitialized objects in constant evaluation.
  4. [InstSimplify] add tests for fma/fmuladd; NFC
Revision 372239 by gnsyncbot:
gn build: Merge r372238
Change TypePath in RepositoryPath in Workspace
The file was modified/llvm/trunk/utils/gn/secondary/llvm/lib/Analysis/BUILD.gn (diff)llvm.src/utils/gn/secondary/llvm/lib/Analysis/BUILD.gn
Revision 372238 by bmahjour:
Data Dependence Graph Basics

Summary:
This is the first patch in a series of patches that will implement data dependence graph in LLVM. Many of the ideas used in this implementation are based on the following paper:
D. J. Kuck, R. H. Kuhn, D. A. Padua, B. Leasure, and M. Wolfe (1981). DEPENDENCE GRAPHS AND COMPILER OPTIMIZATIONS.
This patch contains support for a basic DDGs containing only atomic nodes (one node for each instruction). The edges are two fold: def-use edges and memory-dependence edges.
The implementation takes a list of basic-blocks and only considers dependencies among instructions in those basic blocks. Any dependencies coming into or going out of instructions that do not belong to those basic blocks are ignored.

The algorithm for building the graph involves the following steps in order:

  1. For each instruction in the range of basic blocks to consider, create an atomic node in the resulting graph.
  2. For each node in the graph establish def-use edges to/from other nodes in the graph.
  3. For each pair of nodes containing memory instruction(s) create memory edges between them. This part of the algorithm goes through the instructions in lexicographical order and creates edges in reverse order if the sink of the dependence occurs before the source of it.

Authored By: bmahjour

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

Reviewed By: Meinersbur, fhahn, myhsu

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

Tag: #llvm

Differential Revision: https://reviews.llvm.org/D65350
Change TypePath in RepositoryPath in Workspace
The file was added/llvm/trunk/docs/DependenceGraphsllvm.src/docs/DependenceGraphs
The file was added/llvm/trunk/docs/DependenceGraphs/cycle.pngllvm.src/docs/DependenceGraphs/cycle.png
The file was added/llvm/trunk/docs/DependenceGraphs/cycle_pi.pngllvm.src/docs/DependenceGraphs/cycle_pi.png
The file was added/llvm/trunk/docs/DependenceGraphs/index.rstllvm.src/docs/DependenceGraphs/index.rst
The file was added/llvm/trunk/docs/DependenceGraphs/uml_builder_pattern.pngllvm.src/docs/DependenceGraphs/uml_builder_pattern.png
The file was added/llvm/trunk/docs/DependenceGraphs/uml_nodes_and_edges.pngllvm.src/docs/DependenceGraphs/uml_nodes_and_edges.png
The file was modified/llvm/trunk/docs/SubsystemDocumentation.rst (diff)llvm.src/docs/SubsystemDocumentation.rst
The file was added/llvm/trunk/include/llvm/Analysis/DDG.hllvm.src/include/llvm/Analysis/DDG.h
The file was added/llvm/trunk/include/llvm/Analysis/DependenceGraphBuilder.hllvm.src/include/llvm/Analysis/DependenceGraphBuilder.h
The file was modified/llvm/trunk/lib/Analysis/CMakeLists.txt (diff)llvm.src/lib/Analysis/CMakeLists.txt
The file was added/llvm/trunk/lib/Analysis/DDG.cppllvm.src/lib/Analysis/DDG.cpp
The file was added/llvm/trunk/lib/Analysis/DependenceGraphBuilder.cppllvm.src/lib/Analysis/DependenceGraphBuilder.cpp
The file was modified/llvm/trunk/lib/Passes/PassBuilder.cpp (diff)llvm.src/lib/Passes/PassBuilder.cpp
The file was modified/llvm/trunk/lib/Passes/PassRegistry.def (diff)llvm.src/lib/Passes/PassRegistry.def
The file was added/llvm/trunk/test/Analysis/DDGllvm.src/test/Analysis/DDG
The file was added/llvm/trunk/test/Analysis/DDG/basic-a.llllvm.src/test/Analysis/DDG/basic-a.ll
The file was added/llvm/trunk/test/Analysis/DDG/basic-b.llllvm.src/test/Analysis/DDG/basic-b.ll
The file was added/llvm/trunk/test/Analysis/DDG/basic-loopnest.llllvm.src/test/Analysis/DDG/basic-loopnest.ll
Revision 372237 by rsmith:
[c++20] P1331R2: Allow transient use of uninitialized objects in
constant evaluation.
Change TypePath in RepositoryPath in Workspace
The file was modified/cfe/trunk/include/clang/AST/DeclCXX.h (diff)clang.src/include/clang/AST/DeclCXX.h
The file was modified/cfe/trunk/include/clang/Basic/DiagnosticASTKinds.td (diff)clang.src/include/clang/Basic/DiagnosticASTKinds.td
The file was modified/cfe/trunk/include/clang/Basic/DiagnosticSemaKinds.td (diff)clang.src/include/clang/Basic/DiagnosticSemaKinds.td
The file was modified/cfe/trunk/lib/AST/DeclCXX.cpp (diff)clang.src/lib/AST/DeclCXX.cpp
The file was modified/cfe/trunk/lib/AST/ExprConstant.cpp (diff)clang.src/lib/AST/ExprConstant.cpp
The file was modified/cfe/trunk/lib/AST/Interp/State.h (diff)clang.src/lib/AST/Interp/State.h
The file was modified/cfe/trunk/lib/Sema/SemaDeclCXX.cpp (diff)clang.src/lib/Sema/SemaDeclCXX.cpp
The file was modified/cfe/trunk/test/CXX/dcl.dcl/dcl.spec/dcl.constexpr/p3.cpp (diff)clang.src/test/CXX/dcl.dcl/dcl.spec/dcl.constexpr/p3.cpp
The file was modified/cfe/trunk/test/CXX/dcl.dcl/dcl.spec/dcl.constexpr/p4.cpp (diff)clang.src/test/CXX/dcl.dcl/dcl.spec/dcl.constexpr/p4.cpp
The file was modified/cfe/trunk/test/CXX/drs/dr14xx.cpp (diff)clang.src/test/CXX/drs/dr14xx.cpp
The file was modified/cfe/trunk/test/SemaCXX/constant-expression-cxx11.cpp (diff)clang.src/test/SemaCXX/constant-expression-cxx11.cpp
The file was modified/cfe/trunk/test/SemaCXX/constant-expression-cxx1y.cpp (diff)clang.src/test/SemaCXX/constant-expression-cxx1y.cpp
The file was modified/cfe/trunk/test/SemaCXX/constant-expression-cxx2a.cpp (diff)clang.src/test/SemaCXX/constant-expression-cxx2a.cpp
The file was modified/cfe/trunk/www/cxx_status.html (diff)clang.src/www/cxx_status.html
Revision 372236 by spatel:
[InstSimplify] add tests for fma/fmuladd; NFC
Change TypePath in RepositoryPath in Workspace
The file was modified/llvm/trunk/test/Transforms/InstSimplify/call.ll (diff)llvm.src/test/Transforms/InstSimplify/call.ll