diff options
| author | Sameer Sahasrabuddhe <sameer.sahasrabuddhe@amd.com> | 2023-07-12 12:31:42 +0530 |
|---|---|---|
| committer | Sameer Sahasrabuddhe <sameer.sahasrabuddhe@amd.com> | 2023-07-12 12:31:42 +0530 |
| commit | da61c865e734d5520c34907add970911f49b5796 (patch) | |
| tree | c85693e35e18dc1d5baea585e848659d237e97c0 /llvm/lib/IR/CMakeLists.txt | |
| parent | e36dd3ea8a18b08617f7c7689746860c6cd76c57 (diff) | |
| download | llvm-da61c865e734d5520c34907add970911f49b5796.zip llvm-da61c865e734d5520c34907add970911f49b5796.tar.gz llvm-da61c865e734d5520c34907add970911f49b5796.tar.bz2 | |
[RFC] Introduce convergence control intrinsics
This is a reboot of the original design and implementation by
Nicolai Haehnle <nicolai.haehnle@amd.com>:
https://reviews.llvm.org/D85603
This change also obsoletes an earlier attempt at restarting the work on
convergence tokens:
https://reviews.llvm.org/D104504
Changes relative to D85603:
1. Clean up the definition of a "convergent operation", a convergent
call and convergent function.
2. Clean up the relationship between dynamic instances, sets of threads and
convergence tokens.
3. Redistribute the formal rules into the definitions of the convergence
intrinsics.
4. Expand on the semantics of entering a function from outside LLVM,
and the environment-defined outcome of the entry intrinsic.
5. Replace the term "cycle" with "closed path". The static rules are defined
in terms of closed paths, and then a relation is established with cycles.
6. Specify that if a function contains a controlled convergent operation, then
all convergent operations in that function must be controlled.
7. Describe an optional procedure to infer tokens for uncontrolled convergent
operations.
8. Introduce controlled maximal convergence-before and controlled m-converged
property as an update to the original properties in UniformityAnalysis.
9. Additional constraint that a cycle heart can only occur in the header of a
reducible cycle (natural loop).
Reviewed By: nhaehnle
Differential Revision: https://reviews.llvm.org/D147116
Diffstat (limited to 'llvm/lib/IR/CMakeLists.txt')
| -rw-r--r-- | llvm/lib/IR/CMakeLists.txt | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/llvm/lib/IR/CMakeLists.txt b/llvm/lib/IR/CMakeLists.txt index 88c4938..217fe70 100644 --- a/llvm/lib/IR/CMakeLists.txt +++ b/llvm/lib/IR/CMakeLists.txt @@ -11,6 +11,7 @@ add_llvm_component_library(LLVMCore ConstantRange.cpp Constants.cpp Core.cpp + CycleInfo.cpp DIBuilder.cpp DataLayout.cpp DebugInfo.cpp |