nikic added a comment. Shouldn't this be covered by the speculatable attribute? A convergent function shouldn't be marked speculatable. Repository: rG LLVM Github Monorepo CHANGES SINCE LAST ACTION https://reviews.llvm.org/D153414/new/ https://reviews.llvm.org/D153414