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

[Matt Arsenault 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]] {
----------------
arsenm wrote:

You cannot apply the attribute to the return value because it's a struct, not an FP/FP vector. You have to specially recognize the extractvalue of the first element of the struct 

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