[PATCH] D139316: ValueTracking: Teach isKnownNeverInfinity about rounding intrinsics

[Serge Pavlov via Phabricator via llvm-commits]

sepavloff added inline comments.


================
Comment at: llvm/test/Transforms/InstSimplify/floating-point-compare.ll:1554
+; CHECK-LABEL: @isKnownNeverInfinity_floor_ppcf128(
+; CHECK-NEXT:    ret i1 true
+;
----------------
IIUC this case should not be folded, only `trunc` is folded for ppc_fp128?


CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D139316/new/

https://reviews.llvm.org/D139316