aboutsummaryrefslogtreecommitdiff
path: root/clang/lib/StaticAnalyzer/Checkers/StdLibraryFunctionsChecker.cpp
diff options
context:
space:
mode:
authorSameer Sahasrabuddhe <sameer.sahasrabuddhe@amd.com>2024-02-21 10:06:37 +0530
committerGitHub <noreply@github.com>2024-02-21 10:06:37 +0530
commit79889734b940356ab3381423c93ae06f22e772c9 (patch)
treed0265e450f2cb9a389e62d0e6a3a70aa339a7084 /clang/lib/StaticAnalyzer/Checkers/StdLibraryFunctionsChecker.cpp
parent03203b79c6247465850ee6e9f3e2399afc35720b (diff)
downloadllvm-79889734b940356ab3381423c93ae06f22e772c9.zip
llvm-79889734b940356ab3381423c93ae06f22e772c9.tar.gz
llvm-79889734b940356ab3381423c93ae06f22e772c9.tar.bz2
Implement convergence control in MIR using SelectionDAG (#71785)
LLVM function calls carry convergence control tokens as operand bundles, where the tokens themselves are produced by convergence control intrinsics. This patch implements convergence control tokens in MIR as follows: 1. Introduce target-independent ISD opcodes and MIR opcodes for convergence control intrinsics. 2. Model token values as untyped virtual registers in MIR. The change also introduces an additional ISD opcode CONVERGENCECTRL_GLUE and a corresponding machine opcode with the same spelling. This glues the convergence control token to SDNodes that represent calls to intrinsics. The glued token is later translated to an implicit argument in the MIR. The lowering of calls to user-defined functions is target-specific. On AMDGPU, the convergence control operand bundle at a non-intrinsic call is translated to an explicit argument to the SI_CALL_ISEL instruction. Post-selection adjustment converts this explicit argument to an implicit argument on the SI_CALL instruction.
Diffstat (limited to 'clang/lib/StaticAnalyzer/Checkers/StdLibraryFunctionsChecker.cpp')
0 files changed, 0 insertions, 0 deletions