[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