Some opcodes in MIR are defined to be convergent by the target by setting
IsConvergent in the corresponding TD file. For example, in AMDGPU, the opcodes
SI_CALL and G_INTRINSIC* are marked as convergent. But this is too conservative,
since calls to functions that do not execute convergent operations should not be
marked convergent. This information is available in LLVM IR.
The new flag MIFlag::NoConvergent now allows the IR translator to mark an
instruction as not performing any convergent operations. It is relevant only on
occurrences of opcodes that are marked convergent. It may be specified on
occurrences of other opcodes, but that's redundant.
Missed doc comment here