diff options
| author | Nathan Gauër <brioche@google.com> | 2025-05-02 08:17:58 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-05-02 08:17:58 +0000 |
| commit | df344285e260109e016e28a14e663f376d8e903c (patch) | |
| tree | f14bd5e31a8c3c3004cf9adf7a290319f2a52657 /lldb/source/Commands/CommandObjectProcess.cpp | |
| parent | abe93fe7c88c477343c884036982ddc15f820425 (diff) | |
| download | llvm-df344285e260109e016e28a14e663f376d8e903c.zip llvm-df344285e260109e016e28a14e663f376d8e903c.tar.gz llvm-df344285e260109e016e28a14e663f376d8e903c.tar.bz2 | |
[IR] Relax convergence requirements on call (#135794)
Before this commit, having a convergence token on a non-convergent call
was considered to be an error.
This commit relaxes this requirement and allows convergence tokens to be
present on non-convergent calls.
When such token is present, they have no effect as the underlying call
is non-convergent.
This allows passes like DCE to strip `convergent` attribute from
functions for which all convergent operations have been stripped. When
this happens, a convergence token can still exist in the call-site,
causing the verifier to complain.
Alternatives have been considered in #134863 and #134844.
Diffstat (limited to 'lldb/source/Commands/CommandObjectProcess.cpp')
0 files changed, 0 insertions, 0 deletions