[clang-tools-extra] [llvm] ValueTracking: Merge fcmpImpliesClass and fcmpToClassTest (PR #66522)

Matt Arsenault via llvm-commits llvm-commits at lists.llvm.org
Fri Jan 26 19:07:14 PST 2024


================
@@ -2641,8 +2641,8 @@ define float @assume_false_smallest_normal(float %arg) {
 }
 
 define float @clamp_false_nan(float %arg) {
-; CHECK-LABEL: define float @clamp_false_nan(
-; CHECK-SAME: float returned [[ARG:%.*]]) #[[ATTR2]] {
+; CHECK-LABEL: define nofpclass(nan inf nzero sub norm) float @clamp_false_nan(
+; CHECK-SAME: float returned nofpclass(nan inf nzero sub norm) [[ARG:%.*]]) #[[ATTR2]] {
----------------
arsenm wrote:

@jdoerfert this is the case I was looking at in #78507. It makes no sense to infer anything here 

https://github.com/llvm/llvm-project/pull/66522


More information about the llvm-commits mailing list