v01dXYZ wrote: There is a big problem with my suggestion because some instructions are not marked as terminators although they allow modifying execution path: `INT` for example for `x86`. https://github.com/llvm/llvm-project/pull/104240