efriedma added a comment. An INLINEASM_BR edge should count as a predecessor, yes; if that edge is missing, something went wrong. Repository: rG LLVM Github Monorepo CHANGES SINCE LAST ACTION https://reviews.llvm.org/D76961/new/ https://reviews.llvm.org/D76961