[clang-tools-extra] [llvm] ValueTracking: Merge fcmpImpliesClass and fcmpToClassTest (PR #66522)
Matt Arsenault via cfe-commits
cfe-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 cfe-commits
mailing list