[PATCH] D145278: Attributor: Start looking at uses when inferring nofpclass

[Johannes Doerfert via Phabricator via llvm-commits]

jdoerfert added a comment.

LG



================
Comment at: llvm/lib/Transforms/IPO/AttributorAttributes.cpp:10307
+        followUsesInMBEC(*this, A, getState(), *CtxI);
+  }
+
----------------
This code doesn't seem to affect a test.
I think something like this should work now:

```
call void @extern(%fp) willreturn nounwind ; < annotate this use
call void @extern(nofpclass(nan inf) %fp)
```


================
Comment at: llvm/lib/Transforms/IPO/AttributorAttributes.cpp:10336
+
+    return clampStateAndIndicateChange(getState(), T);
   }
----------------
You can add a test with an alloca if you want to verify it works not only through PHIs but also memory.


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

https://reviews.llvm.org/D145278