[llvm] [Attributor][FIX] Replace AANoFPClass MBEC propagation (PR #91030)

[Johannes Doerfert via llvm-commits]

================
@@ -27,8 +27,8 @@ define { float, i32 } @ret_frexp_f32_nonan(float nofpclass(nan) %arg0) {
 
 define float @ret_frexp_f32_0_nonan(float nofpclass(nan) %arg0) {
 ; CHECK-LABEL: define nofpclass(nan sub) float @ret_frexp_f32_0_nonan
-; CHECK-SAME: (float nofpclass(nan sub) [[ARG0:%.*]]) #[[ATTR1]] {
-; CHECK-NEXT:    [[CALL:%.*]] = call { float, i32 } @llvm.frexp.f32.i32(float [[ARG0]]) #[[ATTR7]]
+; CHECK-SAME: (float nofpclass(nan) [[ARG0:%.*]]) #[[ATTR1]] {
----------------
jdoerfert wrote:

I don't get it. Extractvalue does not imply anything.
What you said first, or what I understood, is that frexp implies that the argument is `nofpclass(sub)`. Is that true? If so, I can implement that.

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