[PATCH] D113543: [RISCV] Add inline expansion for vector ftrunc/fceil/ffloor.
Craig Topper via Phabricator via llvm-commits
llvm-commits at lists.llvm.org
Tue Nov 30 12:11:11 PST 2021
craig.topper added a comment.
In D113543#3160892 <https://reviews.llvm.org/D113543#3160892>, @frasercrmck wrote:
> Thanks, Craig. From what I can see, taking the alive2 for `ceil` and modifying it to what you've got for `floor` also times out rather than finding a verification error. If it works for you locally I'm happy.
I tested this for floor locally and it also passed https://alive2.llvm.org/ce/z/r4zopB
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D113543/new/
https://reviews.llvm.org/D113543
More information about the llvm-commits
mailing list