regehr added a comment. LGTM but happy to wait for Matt's view. I like putting the oracle check in a callback, very cute! Repository: rG LLVM Github Monorepo CHANGES SINCE LAST ACTION https://reviews.llvm.org/D123749/new/ https://reviews.llvm.org/D123749