nlopes added a comment. FYI just added support for select w/ fast-math to Alive2 so we can check these tests. Repository: rG LLVM Github Monorepo CHANGES SINCE LAST ACTION https://reviews.llvm.org/D101727/new/ https://reviews.llvm.org/D101727