xbolva00 added a comment. Couldn’t passes like FunctionAttrs / Attributor infer “tail call mark” ? Not sure how many times these passes go, indeed. Repository: rL LLVM CHANGES SINCE LAST ACTION https://reviews.llvm.org/D59534/new/ https://reviews.llvm.org/D59534