tree f14bd5e31a8c3c3004cf9adf7a290319f2a52657
parent abe93fe7c88c477343c884036982ddc15f820425
author Nathan Gauër <brioche@google.com> 1746173878 +0000
committer GitHub <noreply@github.com> 1746173878 +0000
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsFcBAABCAAQBQJoFH+2CRC1aQ7uu5UhlAAAeEwQAKQCWNI2cacT5HehsH7oJ0tU
 eoDRy2tba8PBjcLJR6Acx4jIR0fI4O6EcymOf+tb1UTjcPh3Xo0jD8eHd0JMaBX0
 yMijGtkQpSeE7ZT1YnQir62UvbzLihOMJncwTFcayT4cz8wJDqAKX+a+eNMazMHN
 gCS8Gs3iM+sBzpuOkAMt5UgYSkwLhzYnPwDTtVR88SHK+Cbi3ApYR4MHbuUPb3Tx
 sSm3+4vTK4YKkglN8Ry1KFrnxjOXjNawqVSFSDVs6FwOOZoBnjkfZTFGD/9D/8F4
 nqLUHtedWem9L1c3JxwPefrYSWVULUPAtzuh2NMPSYGc08IKVif0D9J8bonbItJZ
 hpghZnhvJ8UxFGz/sNpZFkJAslN9NPw33zuyFvB+/P/VTFa0DilgC7WyONO4R+xt
 NiCCXA0ytkyOAMfiB7bPyyqYMM5Uh7NbdwlUrvYZ+tb6tGvJtczlfDJF6mTOLe1i
 FsGD0TTbt9CbTUvC86GggycZDq+jUQD9tqjBB/aeeVLxzemreYL2kAbkoGJ3z4ZX
 USa0cP/2pq3dWkLaId+8lm9H4iFGtdQAsrump8MLCjGFPgba9hQcshB1MOaT4RGM
 VNCVX4zK1G+RZTMWQ/3EQJ54zwS0bRIEsCzPI81yHj2/Vo3ZXFFEUZt0HSIPat9D
 S5SLAalT/mAmGgWuXYv6
 =0pFF
 -----END PGP SIGNATURE-----
 

[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.