https://github.com/arsenm created https://github.com/llvm/llvm-project/pull/172496
If the source cannot be -inf, the result cannot be +0. >From 47281a6505a94caec8ba58574603ab63f8ea0d84 Mon Sep 17 00:00:00 2001 From: Matt Arsenault <[email protected]> Date: Tue, 16 Dec 2025 15:35:12 +0100 Subject: [PATCH] ValueTracking: Teach computeKnownFPClass about exp(-inf) If the source cannot be -inf, the result cannot be +0. --- llvm/lib/Analysis/ValueTracking.cpp | 3 + .../Attributor/AMDGPU/nofpclass-amdgcn-exp.ll | 48 +++---- .../Transforms/Attributor/nofpclass-exp.ll | 132 +++++++++--------- 3 files changed, 93 insertions(+), 90 deletions(-) diff --git a/llvm/lib/Analysis/ValueTracking.cpp b/llvm/lib/Analysis/ValueTracking.cpp index 0b57e27c92331..097cb01c2b390 100644 --- a/llvm/lib/Analysis/ValueTracking.cpp +++ b/llvm/lib/Analysis/ValueTracking.cpp @@ -5392,6 +5392,9 @@ void computeKnownFPClass(const Value *V, const APInt &DemandedElts, if (IID == Intrinsic::amdgcn_exp2 && EltTy->isFloatTy()) Known.knownNot(fcSubnormal); + if (Known.isKnownNeverNegInfinity()) + Known.knownNot(fcPosZero); + break; } case Intrinsic::fptrunc_round: { diff --git a/llvm/test/Transforms/Attributor/AMDGPU/nofpclass-amdgcn-exp.ll b/llvm/test/Transforms/Attributor/AMDGPU/nofpclass-amdgcn-exp.ll index e7c41e9be7e33..a43874dbf8b98 100644 --- a/llvm/test/Transforms/Attributor/AMDGPU/nofpclass-amdgcn-exp.ll +++ b/llvm/test/Transforms/Attributor/AMDGPU/nofpclass-amdgcn-exp.ll @@ -4,9 +4,9 @@ declare float @llvm.amdgcn.exp2.f32(float) define half @ret_exp_f16(half %arg0) { -; CHECK-LABEL: define nofpclass(ninf nzero nsub nnorm) half @ret_exp_f16( +; CHECK-LABEL: define nofpclass(ninf zero nsub nnorm) half @ret_exp_f16( ; CHECK-SAME: half [[ARG0:%.*]]) #[[ATTR1:[0-9]+]] { -; CHECK-NEXT: [[CALL:%.*]] = call nofpclass(ninf nzero nsub nnorm) half @llvm.amdgcn.exp2.f16(half [[ARG0]]) #[[ATTR2:[0-9]+]] +; CHECK-NEXT: [[CALL:%.*]] = call nofpclass(ninf zero nsub nnorm) half @llvm.amdgcn.exp2.f16(half [[ARG0]]) #[[ATTR2:[0-9]+]] ; CHECK-NEXT: ret half [[CALL]] ; %call = call half @llvm.amdgcn.exp2.f16(half %arg0) @@ -14,9 +14,9 @@ define half @ret_exp_f16(half %arg0) { } define float @ret_exp_f32(float %arg0) { -; CHECK-LABEL: define nofpclass(ninf nzero sub nnorm) float @ret_exp_f32( +; CHECK-LABEL: define nofpclass(ninf zero sub nnorm) float @ret_exp_f32( ; CHECK-SAME: float [[ARG0:%.*]]) #[[ATTR1]] { -; CHECK-NEXT: [[CALL:%.*]] = call nofpclass(ninf nzero sub nnorm) float @llvm.amdgcn.exp2.f32(float [[ARG0]]) #[[ATTR2]] +; CHECK-NEXT: [[CALL:%.*]] = call nofpclass(ninf zero sub nnorm) float @llvm.amdgcn.exp2.f32(float [[ARG0]]) #[[ATTR2]] ; CHECK-NEXT: ret float [[CALL]] ; %call = call float @llvm.amdgcn.exp2.f32(float %arg0) @@ -24,9 +24,9 @@ define float @ret_exp_f32(float %arg0) { } define float @ret_exp_noinf(float nofpclass(inf) %arg0) { -; CHECK-LABEL: define nofpclass(ninf nzero sub nnorm) float @ret_exp_noinf( +; CHECK-LABEL: define nofpclass(ninf zero sub nnorm) float @ret_exp_noinf( ; CHECK-SAME: float nofpclass(inf) [[ARG0:%.*]]) #[[ATTR1]] { -; CHECK-NEXT: [[CALL:%.*]] = call nofpclass(ninf nzero sub nnorm) float @llvm.amdgcn.exp2.f32(float nofpclass(inf) [[ARG0]]) #[[ATTR2]] +; CHECK-NEXT: [[CALL:%.*]] = call nofpclass(ninf zero sub nnorm) float @llvm.amdgcn.exp2.f32(float nofpclass(inf) [[ARG0]]) #[[ATTR2]] ; CHECK-NEXT: ret float [[CALL]] ; %call = call float @llvm.amdgcn.exp2.f32(float %arg0) @@ -34,9 +34,9 @@ define float @ret_exp_noinf(float nofpclass(inf) %arg0) { } define float @ret_exp_nopinf(float nofpclass(pinf) %arg0) { -; CHECK-LABEL: define nofpclass(ninf nzero sub nnorm) float @ret_exp_nopinf( +; CHECK-LABEL: define nofpclass(ninf zero sub nnorm) float @ret_exp_nopinf( ; CHECK-SAME: float nofpclass(pinf) [[ARG0:%.*]]) #[[ATTR1]] { -; CHECK-NEXT: [[CALL:%.*]] = call nofpclass(ninf nzero sub nnorm) float @llvm.amdgcn.exp2.f32(float nofpclass(pinf) [[ARG0]]) #[[ATTR2]] +; CHECK-NEXT: [[CALL:%.*]] = call nofpclass(ninf zero sub nnorm) float @llvm.amdgcn.exp2.f32(float nofpclass(pinf) [[ARG0]]) #[[ATTR2]] ; CHECK-NEXT: ret float [[CALL]] ; %call = call float @llvm.amdgcn.exp2.f32(float %arg0) @@ -44,9 +44,9 @@ define float @ret_exp_nopinf(float nofpclass(pinf) %arg0) { } define float @ret_exp_noninf(float nofpclass(ninf) %arg0) { -; CHECK-LABEL: define nofpclass(ninf nzero sub nnorm) float @ret_exp_noninf( +; CHECK-LABEL: define nofpclass(ninf zero sub nnorm) float @ret_exp_noninf( ; CHECK-SAME: float nofpclass(ninf) [[ARG0:%.*]]) #[[ATTR1]] { -; CHECK-NEXT: [[CALL:%.*]] = call nofpclass(ninf nzero sub nnorm) float @llvm.amdgcn.exp2.f32(float nofpclass(ninf) [[ARG0]]) #[[ATTR2]] +; CHECK-NEXT: [[CALL:%.*]] = call nofpclass(ninf zero sub nnorm) float @llvm.amdgcn.exp2.f32(float nofpclass(ninf) [[ARG0]]) #[[ATTR2]] ; CHECK-NEXT: ret float [[CALL]] ; %call = call float @llvm.amdgcn.exp2.f32(float %arg0) @@ -54,9 +54,9 @@ define float @ret_exp_noninf(float nofpclass(ninf) %arg0) { } define float @ret_exp_nonan(float nofpclass(nan) %arg0) { -; CHECK-LABEL: define nofpclass(nan ninf nzero sub nnorm) float @ret_exp_nonan( +; CHECK-LABEL: define nofpclass(nan ninf zero sub nnorm) float @ret_exp_nonan( ; CHECK-SAME: float nofpclass(nan) [[ARG0:%.*]]) #[[ATTR1]] { -; CHECK-NEXT: [[CALL:%.*]] = call nofpclass(nan ninf nzero sub nnorm) float @llvm.amdgcn.exp2.f32(float nofpclass(nan) [[ARG0]]) #[[ATTR2]] +; CHECK-NEXT: [[CALL:%.*]] = call nofpclass(nan ninf zero sub nnorm) float @llvm.amdgcn.exp2.f32(float nofpclass(nan) [[ARG0]]) #[[ATTR2]] ; CHECK-NEXT: ret float [[CALL]] ; %call = call float @llvm.amdgcn.exp2.f32(float %arg0) @@ -64,9 +64,9 @@ define float @ret_exp_nonan(float nofpclass(nan) %arg0) { } define float @ret_exp_nonan_noinf(float nofpclass(nan inf) %arg0) { -; CHECK-LABEL: define nofpclass(nan ninf nzero sub nnorm) float @ret_exp_nonan_noinf( +; CHECK-LABEL: define nofpclass(nan ninf zero sub nnorm) float @ret_exp_nonan_noinf( ; CHECK-SAME: float nofpclass(nan inf) [[ARG0:%.*]]) #[[ATTR1]] { -; CHECK-NEXT: [[CALL:%.*]] = call nofpclass(nan ninf nzero sub nnorm) float @llvm.amdgcn.exp2.f32(float nofpclass(nan inf) [[ARG0]]) #[[ATTR2]] +; CHECK-NEXT: [[CALL:%.*]] = call nofpclass(nan ninf zero sub nnorm) float @llvm.amdgcn.exp2.f32(float nofpclass(nan inf) [[ARG0]]) #[[ATTR2]] ; CHECK-NEXT: ret float [[CALL]] ; %call = call float @llvm.amdgcn.exp2.f32(float %arg0) @@ -74,9 +74,9 @@ define float @ret_exp_nonan_noinf(float nofpclass(nan inf) %arg0) { } define float @ret_exp_nonan_noinf_nozero(float nofpclass(nan inf zero) %arg0) { -; CHECK-LABEL: define nofpclass(nan ninf nzero sub nnorm) float @ret_exp_nonan_noinf_nozero( +; CHECK-LABEL: define nofpclass(nan ninf zero sub nnorm) float @ret_exp_nonan_noinf_nozero( ; CHECK-SAME: float nofpclass(nan inf zero) [[ARG0:%.*]]) #[[ATTR1]] { -; CHECK-NEXT: [[CALL:%.*]] = call nofpclass(nan ninf nzero sub nnorm) float @llvm.amdgcn.exp2.f32(float nofpclass(nan inf zero) [[ARG0]]) #[[ATTR2]] +; CHECK-NEXT: [[CALL:%.*]] = call nofpclass(nan ninf zero sub nnorm) float @llvm.amdgcn.exp2.f32(float nofpclass(nan inf zero) [[ARG0]]) #[[ATTR2]] ; CHECK-NEXT: ret float [[CALL]] ; %call = call float @llvm.amdgcn.exp2.f32(float %arg0) @@ -84,9 +84,9 @@ define float @ret_exp_nonan_noinf_nozero(float nofpclass(nan inf zero) %arg0) { } define float @ret_exp_noinf_nozero(float nofpclass(inf zero) %arg0) { -; CHECK-LABEL: define nofpclass(ninf nzero sub nnorm) float @ret_exp_noinf_nozero( +; CHECK-LABEL: define nofpclass(ninf zero sub nnorm) float @ret_exp_noinf_nozero( ; CHECK-SAME: float nofpclass(inf zero) [[ARG0:%.*]]) #[[ATTR1]] { -; CHECK-NEXT: [[CALL:%.*]] = call nofpclass(ninf nzero sub nnorm) float @llvm.amdgcn.exp2.f32(float nofpclass(inf zero) [[ARG0]]) #[[ATTR2]] +; CHECK-NEXT: [[CALL:%.*]] = call nofpclass(ninf zero sub nnorm) float @llvm.amdgcn.exp2.f32(float nofpclass(inf zero) [[ARG0]]) #[[ATTR2]] ; CHECK-NEXT: ret float [[CALL]] ; %call = call float @llvm.amdgcn.exp2.f32(float %arg0) @@ -94,9 +94,9 @@ define float @ret_exp_noinf_nozero(float nofpclass(inf zero) %arg0) { } define float @ret_exp_noinf_nonegzero(float nofpclass(inf nzero) %arg0) { -; CHECK-LABEL: define nofpclass(ninf nzero sub nnorm) float @ret_exp_noinf_nonegzero( +; CHECK-LABEL: define nofpclass(ninf zero sub nnorm) float @ret_exp_noinf_nonegzero( ; CHECK-SAME: float nofpclass(inf nzero) [[ARG0:%.*]]) #[[ATTR1]] { -; CHECK-NEXT: [[CALL:%.*]] = call nofpclass(ninf nzero sub nnorm) float @llvm.amdgcn.exp2.f32(float nofpclass(inf nzero) [[ARG0]]) #[[ATTR2]] +; CHECK-NEXT: [[CALL:%.*]] = call nofpclass(ninf zero sub nnorm) float @llvm.amdgcn.exp2.f32(float nofpclass(inf nzero) [[ARG0]]) #[[ATTR2]] ; CHECK-NEXT: ret float [[CALL]] ; %call = call float @llvm.amdgcn.exp2.f32(float %arg0) @@ -104,10 +104,10 @@ define float @ret_exp_noinf_nonegzero(float nofpclass(inf nzero) %arg0) { } define float @ret_exp_positive_source(i32 %arg) { -; CHECK-LABEL: define nofpclass(nan ninf nzero sub nnorm) float @ret_exp_positive_source( +; CHECK-LABEL: define nofpclass(nan ninf zero sub nnorm) float @ret_exp_positive_source( ; CHECK-SAME: i32 [[ARG:%.*]]) #[[ATTR1]] { ; CHECK-NEXT: [[UITOFP:%.*]] = uitofp i32 [[ARG]] to float -; CHECK-NEXT: [[CALL:%.*]] = call nofpclass(nan ninf nzero sub nnorm) float @llvm.amdgcn.exp2.f32(float [[UITOFP]]) #[[ATTR2]] +; CHECK-NEXT: [[CALL:%.*]] = call nofpclass(nan ninf zero sub nnorm) float @llvm.amdgcn.exp2.f32(float [[UITOFP]]) #[[ATTR2]] ; CHECK-NEXT: ret float [[CALL]] ; %uitofp = uitofp i32 %arg to float @@ -117,10 +117,10 @@ define float @ret_exp_positive_source(i32 %arg) { ; Could produce a nan because we don't know if the multiply is negative. define float @ret_exp_unknown_sign(float nofpclass(nan) %arg0, float nofpclass(nan) %arg1) { -; CHECK-LABEL: define nofpclass(nan ninf nzero sub nnorm) float @ret_exp_unknown_sign( +; CHECK-LABEL: define nofpclass(nan ninf zero sub nnorm) float @ret_exp_unknown_sign( ; CHECK-SAME: float nofpclass(nan) [[ARG0:%.*]], float nofpclass(nan) [[ARG1:%.*]]) #[[ATTR1]] { ; CHECK-NEXT: [[UNKNOWN_SIGN_NOT_NAN:%.*]] = fmul nnan float [[ARG0]], [[ARG1]] -; CHECK-NEXT: [[CALL:%.*]] = call nofpclass(nan ninf nzero sub nnorm) float @llvm.amdgcn.exp2.f32(float [[UNKNOWN_SIGN_NOT_NAN]]) #[[ATTR2]] +; CHECK-NEXT: [[CALL:%.*]] = call nofpclass(nan ninf zero sub nnorm) float @llvm.amdgcn.exp2.f32(float [[UNKNOWN_SIGN_NOT_NAN]]) #[[ATTR2]] ; CHECK-NEXT: ret float [[CALL]] ; %unknown.sign.not.nan = fmul nnan float %arg0, %arg1 diff --git a/llvm/test/Transforms/Attributor/nofpclass-exp.ll b/llvm/test/Transforms/Attributor/nofpclass-exp.ll index 490d3da5505eb..8a87cbb811d32 100644 --- a/llvm/test/Transforms/Attributor/nofpclass-exp.ll +++ b/llvm/test/Transforms/Attributor/nofpclass-exp.ll @@ -6,9 +6,9 @@ declare float @llvm.exp2.f32(float) declare float @llvm.exp10.f32(float) define float @ret_exp(float %arg0) { -; CHECK-LABEL: define nofpclass(ninf nzero nsub nnorm) float @ret_exp +; CHECK-LABEL: define nofpclass(ninf zero nsub nnorm) float @ret_exp ; CHECK-SAME: (float [[ARG0:%.*]]) #[[ATTR1:[0-9]+]] { -; CHECK-NEXT: [[CALL:%.*]] = call nofpclass(ninf nzero nsub nnorm) float @llvm.exp.f32(float [[ARG0]]) #[[ATTR2:[0-9]+]] +; CHECK-NEXT: [[CALL:%.*]] = call nofpclass(ninf zero nsub nnorm) float @llvm.exp.f32(float [[ARG0]]) #[[ATTR2:[0-9]+]] ; CHECK-NEXT: ret float [[CALL]] ; %call = call float @llvm.exp.f32(float %arg0) @@ -16,9 +16,9 @@ define float @ret_exp(float %arg0) { } define float @ret_exp_noinf(float nofpclass(inf) %arg0) { -; CHECK-LABEL: define nofpclass(ninf nzero nsub nnorm) float @ret_exp_noinf +; CHECK-LABEL: define nofpclass(ninf zero nsub nnorm) float @ret_exp_noinf ; CHECK-SAME: (float nofpclass(inf) [[ARG0:%.*]]) #[[ATTR1]] { -; CHECK-NEXT: [[CALL:%.*]] = call nofpclass(ninf nzero nsub nnorm) float @llvm.exp.f32(float nofpclass(inf) [[ARG0]]) #[[ATTR2]] +; CHECK-NEXT: [[CALL:%.*]] = call nofpclass(ninf zero nsub nnorm) float @llvm.exp.f32(float nofpclass(inf) [[ARG0]]) #[[ATTR2]] ; CHECK-NEXT: ret float [[CALL]] ; %call = call float @llvm.exp.f32(float %arg0) @@ -26,9 +26,9 @@ define float @ret_exp_noinf(float nofpclass(inf) %arg0) { } define float @ret_exp_nopinf(float nofpclass(pinf) %arg0) { -; CHECK-LABEL: define nofpclass(ninf nzero nsub nnorm) float @ret_exp_nopinf +; CHECK-LABEL: define nofpclass(ninf zero nsub nnorm) float @ret_exp_nopinf ; CHECK-SAME: (float nofpclass(pinf) [[ARG0:%.*]]) #[[ATTR1]] { -; CHECK-NEXT: [[CALL:%.*]] = call nofpclass(ninf nzero nsub nnorm) float @llvm.exp.f32(float nofpclass(pinf) [[ARG0]]) #[[ATTR2]] +; CHECK-NEXT: [[CALL:%.*]] = call nofpclass(ninf zero nsub nnorm) float @llvm.exp.f32(float nofpclass(pinf) [[ARG0]]) #[[ATTR2]] ; CHECK-NEXT: ret float [[CALL]] ; %call = call float @llvm.exp.f32(float %arg0) @@ -36,9 +36,9 @@ define float @ret_exp_nopinf(float nofpclass(pinf) %arg0) { } define float @ret_exp_noninf(float nofpclass(ninf) %arg0) { -; CHECK-LABEL: define nofpclass(ninf nzero nsub nnorm) float @ret_exp_noninf +; CHECK-LABEL: define nofpclass(ninf zero nsub nnorm) float @ret_exp_noninf ; CHECK-SAME: (float nofpclass(ninf) [[ARG0:%.*]]) #[[ATTR1]] { -; CHECK-NEXT: [[CALL:%.*]] = call nofpclass(ninf nzero nsub nnorm) float @llvm.exp.f32(float nofpclass(ninf) [[ARG0]]) #[[ATTR2]] +; CHECK-NEXT: [[CALL:%.*]] = call nofpclass(ninf zero nsub nnorm) float @llvm.exp.f32(float nofpclass(ninf) [[ARG0]]) #[[ATTR2]] ; CHECK-NEXT: ret float [[CALL]] ; %call = call float @llvm.exp.f32(float %arg0) @@ -46,9 +46,9 @@ define float @ret_exp_noninf(float nofpclass(ninf) %arg0) { } define float @ret_exp_nonan(float nofpclass(nan) %arg0) { -; CHECK-LABEL: define nofpclass(nan ninf nzero nsub nnorm) float @ret_exp_nonan +; CHECK-LABEL: define nofpclass(nan ninf zero nsub nnorm) float @ret_exp_nonan ; CHECK-SAME: (float nofpclass(nan) [[ARG0:%.*]]) #[[ATTR1]] { -; CHECK-NEXT: [[CALL:%.*]] = call nofpclass(nan ninf nzero nsub nnorm) float @llvm.exp.f32(float nofpclass(nan) [[ARG0]]) #[[ATTR2]] +; CHECK-NEXT: [[CALL:%.*]] = call nofpclass(nan ninf zero nsub nnorm) float @llvm.exp.f32(float nofpclass(nan) [[ARG0]]) #[[ATTR2]] ; CHECK-NEXT: ret float [[CALL]] ; %call = call float @llvm.exp.f32(float %arg0) @@ -56,9 +56,9 @@ define float @ret_exp_nonan(float nofpclass(nan) %arg0) { } define float @ret_exp_nonan_noinf(float nofpclass(nan inf) %arg0) { -; CHECK-LABEL: define nofpclass(nan ninf nzero nsub nnorm) float @ret_exp_nonan_noinf +; CHECK-LABEL: define nofpclass(nan ninf zero nsub nnorm) float @ret_exp_nonan_noinf ; CHECK-SAME: (float nofpclass(nan inf) [[ARG0:%.*]]) #[[ATTR1]] { -; CHECK-NEXT: [[CALL:%.*]] = call nofpclass(nan ninf nzero nsub nnorm) float @llvm.exp.f32(float nofpclass(nan inf) [[ARG0]]) #[[ATTR2]] +; CHECK-NEXT: [[CALL:%.*]] = call nofpclass(nan ninf zero nsub nnorm) float @llvm.exp.f32(float nofpclass(nan inf) [[ARG0]]) #[[ATTR2]] ; CHECK-NEXT: ret float [[CALL]] ; %call = call float @llvm.exp.f32(float %arg0) @@ -66,9 +66,9 @@ define float @ret_exp_nonan_noinf(float nofpclass(nan inf) %arg0) { } define float @ret_exp_nonan_noinf_nozero(float nofpclass(nan inf zero) %arg0) { -; CHECK-LABEL: define nofpclass(nan ninf nzero nsub nnorm) float @ret_exp_nonan_noinf_nozero +; CHECK-LABEL: define nofpclass(nan ninf zero nsub nnorm) float @ret_exp_nonan_noinf_nozero ; CHECK-SAME: (float nofpclass(nan inf zero) [[ARG0:%.*]]) #[[ATTR1]] { -; CHECK-NEXT: [[CALL:%.*]] = call nofpclass(nan ninf nzero nsub nnorm) float @llvm.exp.f32(float nofpclass(nan inf zero) [[ARG0]]) #[[ATTR2]] +; CHECK-NEXT: [[CALL:%.*]] = call nofpclass(nan ninf zero nsub nnorm) float @llvm.exp.f32(float nofpclass(nan inf zero) [[ARG0]]) #[[ATTR2]] ; CHECK-NEXT: ret float [[CALL]] ; %call = call float @llvm.exp.f32(float %arg0) @@ -76,9 +76,9 @@ define float @ret_exp_nonan_noinf_nozero(float nofpclass(nan inf zero) %arg0) { } define float @ret_exp_noinf_nozero(float nofpclass(inf zero) %arg0) { -; CHECK-LABEL: define nofpclass(ninf nzero nsub nnorm) float @ret_exp_noinf_nozero +; CHECK-LABEL: define nofpclass(ninf zero nsub nnorm) float @ret_exp_noinf_nozero ; CHECK-SAME: (float nofpclass(inf zero) [[ARG0:%.*]]) #[[ATTR1]] { -; CHECK-NEXT: [[CALL:%.*]] = call nofpclass(ninf nzero nsub nnorm) float @llvm.exp.f32(float nofpclass(inf zero) [[ARG0]]) #[[ATTR2]] +; CHECK-NEXT: [[CALL:%.*]] = call nofpclass(ninf zero nsub nnorm) float @llvm.exp.f32(float nofpclass(inf zero) [[ARG0]]) #[[ATTR2]] ; CHECK-NEXT: ret float [[CALL]] ; %call = call float @llvm.exp.f32(float %arg0) @@ -86,9 +86,9 @@ define float @ret_exp_noinf_nozero(float nofpclass(inf zero) %arg0) { } define float @ret_exp_noinf_nonegzero(float nofpclass(inf nzero) %arg0) { -; CHECK-LABEL: define nofpclass(ninf nzero nsub nnorm) float @ret_exp_noinf_nonegzero +; CHECK-LABEL: define nofpclass(ninf zero nsub nnorm) float @ret_exp_noinf_nonegzero ; CHECK-SAME: (float nofpclass(inf nzero) [[ARG0:%.*]]) #[[ATTR1]] { -; CHECK-NEXT: [[CALL:%.*]] = call nofpclass(ninf nzero nsub nnorm) float @llvm.exp.f32(float nofpclass(inf nzero) [[ARG0]]) #[[ATTR2]] +; CHECK-NEXT: [[CALL:%.*]] = call nofpclass(ninf zero nsub nnorm) float @llvm.exp.f32(float nofpclass(inf nzero) [[ARG0]]) #[[ATTR2]] ; CHECK-NEXT: ret float [[CALL]] ; %call = call float @llvm.exp.f32(float %arg0) @@ -96,10 +96,10 @@ define float @ret_exp_noinf_nonegzero(float nofpclass(inf nzero) %arg0) { } define float @ret_exp_positive_source(i32 %arg) { -; CHECK-LABEL: define nofpclass(nan ninf nzero nsub nnorm) float @ret_exp_positive_source +; CHECK-LABEL: define nofpclass(nan ninf zero nsub nnorm) float @ret_exp_positive_source ; CHECK-SAME: (i32 [[ARG:%.*]]) #[[ATTR1]] { ; CHECK-NEXT: [[UITOFP:%.*]] = uitofp i32 [[ARG]] to float -; CHECK-NEXT: [[CALL:%.*]] = call nofpclass(nan ninf nzero nsub nnorm) float @llvm.exp.f32(float [[UITOFP]]) #[[ATTR2]] +; CHECK-NEXT: [[CALL:%.*]] = call nofpclass(nan ninf zero nsub nnorm) float @llvm.exp.f32(float [[UITOFP]]) #[[ATTR2]] ; CHECK-NEXT: ret float [[CALL]] ; %uitofp = uitofp i32 %arg to float @@ -109,10 +109,10 @@ define float @ret_exp_positive_source(i32 %arg) { ; Could produce a nan because we don't know if the multiply is negative. define float @ret_exp_unknown_sign(float nofpclass(nan) %arg0, float nofpclass(nan) %arg1) { -; CHECK-LABEL: define nofpclass(nan ninf nzero nsub nnorm) float @ret_exp_unknown_sign +; CHECK-LABEL: define nofpclass(nan ninf zero nsub nnorm) float @ret_exp_unknown_sign ; CHECK-SAME: (float nofpclass(nan) [[ARG0:%.*]], float nofpclass(nan) [[ARG1:%.*]]) #[[ATTR1]] { ; CHECK-NEXT: [[UNKNOWN_SIGN_NOT_NAN:%.*]] = fmul nnan float [[ARG0]], [[ARG1]] -; CHECK-NEXT: [[CALL:%.*]] = call nofpclass(nan ninf nzero nsub nnorm) float @llvm.exp.f32(float [[UNKNOWN_SIGN_NOT_NAN]]) #[[ATTR2]] +; CHECK-NEXT: [[CALL:%.*]] = call nofpclass(nan ninf zero nsub nnorm) float @llvm.exp.f32(float [[UNKNOWN_SIGN_NOT_NAN]]) #[[ATTR2]] ; CHECK-NEXT: ret float [[CALL]] ; %unknown.sign.not.nan = fmul nnan float %arg0, %arg1 @@ -121,9 +121,9 @@ define float @ret_exp_unknown_sign(float nofpclass(nan) %arg0, float nofpclass(n } define float @ret_exp2(float %arg0) { -; CHECK-LABEL: define nofpclass(ninf nzero nsub nnorm) float @ret_exp2 +; CHECK-LABEL: define nofpclass(ninf zero nsub nnorm) float @ret_exp2 ; CHECK-SAME: (float [[ARG0:%.*]]) #[[ATTR1]] { -; CHECK-NEXT: [[CALL:%.*]] = call nofpclass(ninf nzero nsub nnorm) float @llvm.exp2.f32(float [[ARG0]]) #[[ATTR2]] +; CHECK-NEXT: [[CALL:%.*]] = call nofpclass(ninf zero nsub nnorm) float @llvm.exp2.f32(float [[ARG0]]) #[[ATTR2]] ; CHECK-NEXT: ret float [[CALL]] ; %call = call float @llvm.exp2.f32(float %arg0) @@ -131,9 +131,9 @@ define float @ret_exp2(float %arg0) { } define float @ret_exp2_noinf(float nofpclass(inf) %arg0) { -; CHECK-LABEL: define nofpclass(ninf nzero nsub nnorm) float @ret_exp2_noinf +; CHECK-LABEL: define nofpclass(ninf zero nsub nnorm) float @ret_exp2_noinf ; CHECK-SAME: (float nofpclass(inf) [[ARG0:%.*]]) #[[ATTR1]] { -; CHECK-NEXT: [[CALL:%.*]] = call nofpclass(ninf nzero nsub nnorm) float @llvm.exp2.f32(float nofpclass(inf) [[ARG0]]) #[[ATTR2]] +; CHECK-NEXT: [[CALL:%.*]] = call nofpclass(ninf zero nsub nnorm) float @llvm.exp2.f32(float nofpclass(inf) [[ARG0]]) #[[ATTR2]] ; CHECK-NEXT: ret float [[CALL]] ; %call = call float @llvm.exp2.f32(float %arg0) @@ -141,9 +141,9 @@ define float @ret_exp2_noinf(float nofpclass(inf) %arg0) { } define float @ret_exp2_nopinf(float nofpclass(pinf) %arg0) { -; CHECK-LABEL: define nofpclass(ninf nzero nsub nnorm) float @ret_exp2_nopinf +; CHECK-LABEL: define nofpclass(ninf zero nsub nnorm) float @ret_exp2_nopinf ; CHECK-SAME: (float nofpclass(pinf) [[ARG0:%.*]]) #[[ATTR1]] { -; CHECK-NEXT: [[CALL:%.*]] = call nofpclass(ninf nzero nsub nnorm) float @llvm.exp2.f32(float nofpclass(pinf) [[ARG0]]) #[[ATTR2]] +; CHECK-NEXT: [[CALL:%.*]] = call nofpclass(ninf zero nsub nnorm) float @llvm.exp2.f32(float nofpclass(pinf) [[ARG0]]) #[[ATTR2]] ; CHECK-NEXT: ret float [[CALL]] ; %call = call float @llvm.exp2.f32(float %arg0) @@ -151,9 +151,9 @@ define float @ret_exp2_nopinf(float nofpclass(pinf) %arg0) { } define float @ret_exp2_noninf(float nofpclass(ninf) %arg0) { -; CHECK-LABEL: define nofpclass(ninf nzero nsub nnorm) float @ret_exp2_noninf +; CHECK-LABEL: define nofpclass(ninf zero nsub nnorm) float @ret_exp2_noninf ; CHECK-SAME: (float nofpclass(ninf) [[ARG0:%.*]]) #[[ATTR1]] { -; CHECK-NEXT: [[CALL:%.*]] = call nofpclass(ninf nzero nsub nnorm) float @llvm.exp2.f32(float nofpclass(ninf) [[ARG0]]) #[[ATTR2]] +; CHECK-NEXT: [[CALL:%.*]] = call nofpclass(ninf zero nsub nnorm) float @llvm.exp2.f32(float nofpclass(ninf) [[ARG0]]) #[[ATTR2]] ; CHECK-NEXT: ret float [[CALL]] ; %call = call float @llvm.exp2.f32(float %arg0) @@ -161,9 +161,9 @@ define float @ret_exp2_noninf(float nofpclass(ninf) %arg0) { } define float @ret_exp2_nonan(float nofpclass(nan) %arg0) { -; CHECK-LABEL: define nofpclass(nan ninf nzero nsub nnorm) float @ret_exp2_nonan +; CHECK-LABEL: define nofpclass(nan ninf zero nsub nnorm) float @ret_exp2_nonan ; CHECK-SAME: (float nofpclass(nan) [[ARG0:%.*]]) #[[ATTR1]] { -; CHECK-NEXT: [[CALL:%.*]] = call nofpclass(nan ninf nzero nsub nnorm) float @llvm.exp2.f32(float nofpclass(nan) [[ARG0]]) #[[ATTR2]] +; CHECK-NEXT: [[CALL:%.*]] = call nofpclass(nan ninf zero nsub nnorm) float @llvm.exp2.f32(float nofpclass(nan) [[ARG0]]) #[[ATTR2]] ; CHECK-NEXT: ret float [[CALL]] ; %call = call float @llvm.exp2.f32(float %arg0) @@ -171,9 +171,9 @@ define float @ret_exp2_nonan(float nofpclass(nan) %arg0) { } define float @ret_exp2_nonan_noinf(float nofpclass(nan inf) %arg0) { -; CHECK-LABEL: define nofpclass(nan ninf nzero nsub nnorm) float @ret_exp2_nonan_noinf +; CHECK-LABEL: define nofpclass(nan ninf zero nsub nnorm) float @ret_exp2_nonan_noinf ; CHECK-SAME: (float nofpclass(nan inf) [[ARG0:%.*]]) #[[ATTR1]] { -; CHECK-NEXT: [[CALL:%.*]] = call nofpclass(nan ninf nzero nsub nnorm) float @llvm.exp2.f32(float nofpclass(nan inf) [[ARG0]]) #[[ATTR2]] +; CHECK-NEXT: [[CALL:%.*]] = call nofpclass(nan ninf zero nsub nnorm) float @llvm.exp2.f32(float nofpclass(nan inf) [[ARG0]]) #[[ATTR2]] ; CHECK-NEXT: ret float [[CALL]] ; %call = call float @llvm.exp2.f32(float %arg0) @@ -181,9 +181,9 @@ define float @ret_exp2_nonan_noinf(float nofpclass(nan inf) %arg0) { } define float @ret_exp2_nonan_noinf_nozero(float nofpclass(nan inf zero) %arg0) { -; CHECK-LABEL: define nofpclass(nan ninf nzero nsub nnorm) float @ret_exp2_nonan_noinf_nozero +; CHECK-LABEL: define nofpclass(nan ninf zero nsub nnorm) float @ret_exp2_nonan_noinf_nozero ; CHECK-SAME: (float nofpclass(nan inf zero) [[ARG0:%.*]]) #[[ATTR1]] { -; CHECK-NEXT: [[CALL:%.*]] = call nofpclass(nan ninf nzero nsub nnorm) float @llvm.exp2.f32(float nofpclass(nan inf zero) [[ARG0]]) #[[ATTR2]] +; CHECK-NEXT: [[CALL:%.*]] = call nofpclass(nan ninf zero nsub nnorm) float @llvm.exp2.f32(float nofpclass(nan inf zero) [[ARG0]]) #[[ATTR2]] ; CHECK-NEXT: ret float [[CALL]] ; %call = call float @llvm.exp2.f32(float %arg0) @@ -191,9 +191,9 @@ define float @ret_exp2_nonan_noinf_nozero(float nofpclass(nan inf zero) %arg0) { } define float @ret_exp2_noinf_nozero(float nofpclass(inf zero) %arg0) { -; CHECK-LABEL: define nofpclass(ninf nzero nsub nnorm) float @ret_exp2_noinf_nozero +; CHECK-LABEL: define nofpclass(ninf zero nsub nnorm) float @ret_exp2_noinf_nozero ; CHECK-SAME: (float nofpclass(inf zero) [[ARG0:%.*]]) #[[ATTR1]] { -; CHECK-NEXT: [[CALL:%.*]] = call nofpclass(ninf nzero nsub nnorm) float @llvm.exp2.f32(float nofpclass(inf zero) [[ARG0]]) #[[ATTR2]] +; CHECK-NEXT: [[CALL:%.*]] = call nofpclass(ninf zero nsub nnorm) float @llvm.exp2.f32(float nofpclass(inf zero) [[ARG0]]) #[[ATTR2]] ; CHECK-NEXT: ret float [[CALL]] ; %call = call float @llvm.exp2.f32(float %arg0) @@ -201,9 +201,9 @@ define float @ret_exp2_noinf_nozero(float nofpclass(inf zero) %arg0) { } define float @ret_exp2_noinf_nonegzero(float nofpclass(inf nzero) %arg0) { -; CHECK-LABEL: define nofpclass(ninf nzero nsub nnorm) float @ret_exp2_noinf_nonegzero +; CHECK-LABEL: define nofpclass(ninf zero nsub nnorm) float @ret_exp2_noinf_nonegzero ; CHECK-SAME: (float nofpclass(inf nzero) [[ARG0:%.*]]) #[[ATTR1]] { -; CHECK-NEXT: [[CALL:%.*]] = call nofpclass(ninf nzero nsub nnorm) float @llvm.exp2.f32(float nofpclass(inf nzero) [[ARG0]]) #[[ATTR2]] +; CHECK-NEXT: [[CALL:%.*]] = call nofpclass(ninf zero nsub nnorm) float @llvm.exp2.f32(float nofpclass(inf nzero) [[ARG0]]) #[[ATTR2]] ; CHECK-NEXT: ret float [[CALL]] ; %call = call float @llvm.exp2.f32(float %arg0) @@ -211,10 +211,10 @@ define float @ret_exp2_noinf_nonegzero(float nofpclass(inf nzero) %arg0) { } define float @ret_exp2_positive_source(i32 %arg) { -; CHECK-LABEL: define nofpclass(nan ninf nzero nsub nnorm) float @ret_exp2_positive_source +; CHECK-LABEL: define nofpclass(nan ninf zero nsub nnorm) float @ret_exp2_positive_source ; CHECK-SAME: (i32 [[ARG:%.*]]) #[[ATTR1]] { ; CHECK-NEXT: [[UITOFP:%.*]] = uitofp i32 [[ARG]] to float -; CHECK-NEXT: [[CALL:%.*]] = call nofpclass(nan ninf nzero nsub nnorm) float @llvm.exp2.f32(float [[UITOFP]]) #[[ATTR2]] +; CHECK-NEXT: [[CALL:%.*]] = call nofpclass(nan ninf zero nsub nnorm) float @llvm.exp2.f32(float [[UITOFP]]) #[[ATTR2]] ; CHECK-NEXT: ret float [[CALL]] ; %uitofp = uitofp i32 %arg to float @@ -224,10 +224,10 @@ define float @ret_exp2_positive_source(i32 %arg) { ; Could produce a nan because we don't know if the multiply is negative. define float @ret_exp2_unknown_sign(float nofpclass(nan) %arg0, float nofpclass(nan) %arg1) { -; CHECK-LABEL: define nofpclass(nan ninf nzero nsub nnorm) float @ret_exp2_unknown_sign +; CHECK-LABEL: define nofpclass(nan ninf zero nsub nnorm) float @ret_exp2_unknown_sign ; CHECK-SAME: (float nofpclass(nan) [[ARG0:%.*]], float nofpclass(nan) [[ARG1:%.*]]) #[[ATTR1]] { ; CHECK-NEXT: [[UNKNOWN_SIGN_NOT_NAN:%.*]] = fmul nnan float [[ARG0]], [[ARG1]] -; CHECK-NEXT: [[CALL:%.*]] = call nofpclass(nan ninf nzero nsub nnorm) float @llvm.exp2.f32(float [[UNKNOWN_SIGN_NOT_NAN]]) #[[ATTR2]] +; CHECK-NEXT: [[CALL:%.*]] = call nofpclass(nan ninf zero nsub nnorm) float @llvm.exp2.f32(float [[UNKNOWN_SIGN_NOT_NAN]]) #[[ATTR2]] ; CHECK-NEXT: ret float [[CALL]] ; %unknown.sign.not.nan = fmul nnan float %arg0, %arg1 @@ -236,9 +236,9 @@ define float @ret_exp2_unknown_sign(float nofpclass(nan) %arg0, float nofpclass( } define float @ret_exp10(float %arg0) { -; CHECK-LABEL: define nofpclass(ninf nzero nsub nnorm) float @ret_exp10 +; CHECK-LABEL: define nofpclass(ninf zero nsub nnorm) float @ret_exp10 ; CHECK-SAME: (float [[ARG0:%.*]]) #[[ATTR1]] { -; CHECK-NEXT: [[CALL:%.*]] = call nofpclass(ninf nzero nsub nnorm) float @llvm.exp10.f32(float [[ARG0]]) #[[ATTR2]] +; CHECK-NEXT: [[CALL:%.*]] = call nofpclass(ninf zero nsub nnorm) float @llvm.exp10.f32(float [[ARG0]]) #[[ATTR2]] ; CHECK-NEXT: ret float [[CALL]] ; %call = call float @llvm.exp10.f32(float %arg0) @@ -246,9 +246,9 @@ define float @ret_exp10(float %arg0) { } define float @ret_exp10_noinf(float nofpclass(inf) %arg0) { -; CHECK-LABEL: define nofpclass(ninf nzero nsub nnorm) float @ret_exp10_noinf +; CHECK-LABEL: define nofpclass(ninf zero nsub nnorm) float @ret_exp10_noinf ; CHECK-SAME: (float nofpclass(inf) [[ARG0:%.*]]) #[[ATTR1]] { -; CHECK-NEXT: [[CALL:%.*]] = call nofpclass(ninf nzero nsub nnorm) float @llvm.exp10.f32(float nofpclass(inf) [[ARG0]]) #[[ATTR2]] +; CHECK-NEXT: [[CALL:%.*]] = call nofpclass(ninf zero nsub nnorm) float @llvm.exp10.f32(float nofpclass(inf) [[ARG0]]) #[[ATTR2]] ; CHECK-NEXT: ret float [[CALL]] ; %call = call float @llvm.exp10.f32(float %arg0) @@ -256,9 +256,9 @@ define float @ret_exp10_noinf(float nofpclass(inf) %arg0) { } define float @ret_exp10_nopinf(float nofpclass(pinf) %arg0) { -; CHECK-LABEL: define nofpclass(ninf nzero nsub nnorm) float @ret_exp10_nopinf +; CHECK-LABEL: define nofpclass(ninf zero nsub nnorm) float @ret_exp10_nopinf ; CHECK-SAME: (float nofpclass(pinf) [[ARG0:%.*]]) #[[ATTR1]] { -; CHECK-NEXT: [[CALL:%.*]] = call nofpclass(ninf nzero nsub nnorm) float @llvm.exp10.f32(float nofpclass(pinf) [[ARG0]]) #[[ATTR2]] +; CHECK-NEXT: [[CALL:%.*]] = call nofpclass(ninf zero nsub nnorm) float @llvm.exp10.f32(float nofpclass(pinf) [[ARG0]]) #[[ATTR2]] ; CHECK-NEXT: ret float [[CALL]] ; %call = call float @llvm.exp10.f32(float %arg0) @@ -266,9 +266,9 @@ define float @ret_exp10_nopinf(float nofpclass(pinf) %arg0) { } define float @ret_exp10_noninf(float nofpclass(ninf) %arg0) { -; CHECK-LABEL: define nofpclass(ninf nzero nsub nnorm) float @ret_exp10_noninf +; CHECK-LABEL: define nofpclass(ninf zero nsub nnorm) float @ret_exp10_noninf ; CHECK-SAME: (float nofpclass(ninf) [[ARG0:%.*]]) #[[ATTR1]] { -; CHECK-NEXT: [[CALL:%.*]] = call nofpclass(ninf nzero nsub nnorm) float @llvm.exp10.f32(float nofpclass(ninf) [[ARG0]]) #[[ATTR2]] +; CHECK-NEXT: [[CALL:%.*]] = call nofpclass(ninf zero nsub nnorm) float @llvm.exp10.f32(float nofpclass(ninf) [[ARG0]]) #[[ATTR2]] ; CHECK-NEXT: ret float [[CALL]] ; %call = call float @llvm.exp10.f32(float %arg0) @@ -276,9 +276,9 @@ define float @ret_exp10_noninf(float nofpclass(ninf) %arg0) { } define float @ret_exp10_nonan(float nofpclass(nan) %arg0) { -; CHECK-LABEL: define nofpclass(nan ninf nzero nsub nnorm) float @ret_exp10_nonan +; CHECK-LABEL: define nofpclass(nan ninf zero nsub nnorm) float @ret_exp10_nonan ; CHECK-SAME: (float nofpclass(nan) [[ARG0:%.*]]) #[[ATTR1]] { -; CHECK-NEXT: [[CALL:%.*]] = call nofpclass(nan ninf nzero nsub nnorm) float @llvm.exp10.f32(float nofpclass(nan) [[ARG0]]) #[[ATTR2]] +; CHECK-NEXT: [[CALL:%.*]] = call nofpclass(nan ninf zero nsub nnorm) float @llvm.exp10.f32(float nofpclass(nan) [[ARG0]]) #[[ATTR2]] ; CHECK-NEXT: ret float [[CALL]] ; %call = call float @llvm.exp10.f32(float %arg0) @@ -286,9 +286,9 @@ define float @ret_exp10_nonan(float nofpclass(nan) %arg0) { } define float @ret_exp10_nonan_noinf(float nofpclass(nan inf) %arg0) { -; CHECK-LABEL: define nofpclass(nan ninf nzero nsub nnorm) float @ret_exp10_nonan_noinf +; CHECK-LABEL: define nofpclass(nan ninf zero nsub nnorm) float @ret_exp10_nonan_noinf ; CHECK-SAME: (float nofpclass(nan inf) [[ARG0:%.*]]) #[[ATTR1]] { -; CHECK-NEXT: [[CALL:%.*]] = call nofpclass(nan ninf nzero nsub nnorm) float @llvm.exp10.f32(float nofpclass(nan inf) [[ARG0]]) #[[ATTR2]] +; CHECK-NEXT: [[CALL:%.*]] = call nofpclass(nan ninf zero nsub nnorm) float @llvm.exp10.f32(float nofpclass(nan inf) [[ARG0]]) #[[ATTR2]] ; CHECK-NEXT: ret float [[CALL]] ; %call = call float @llvm.exp10.f32(float %arg0) @@ -296,9 +296,9 @@ define float @ret_exp10_nonan_noinf(float nofpclass(nan inf) %arg0) { } define float @ret_exp10_nonan_noinf_nozero(float nofpclass(nan inf zero) %arg0) { -; CHECK-LABEL: define nofpclass(nan ninf nzero nsub nnorm) float @ret_exp10_nonan_noinf_nozero +; CHECK-LABEL: define nofpclass(nan ninf zero nsub nnorm) float @ret_exp10_nonan_noinf_nozero ; CHECK-SAME: (float nofpclass(nan inf zero) [[ARG0:%.*]]) #[[ATTR1]] { -; CHECK-NEXT: [[CALL:%.*]] = call nofpclass(nan ninf nzero nsub nnorm) float @llvm.exp10.f32(float nofpclass(nan inf zero) [[ARG0]]) #[[ATTR2]] +; CHECK-NEXT: [[CALL:%.*]] = call nofpclass(nan ninf zero nsub nnorm) float @llvm.exp10.f32(float nofpclass(nan inf zero) [[ARG0]]) #[[ATTR2]] ; CHECK-NEXT: ret float [[CALL]] ; %call = call float @llvm.exp10.f32(float %arg0) @@ -306,9 +306,9 @@ define float @ret_exp10_nonan_noinf_nozero(float nofpclass(nan inf zero) %arg0) } define float @ret_exp10_noinf_nozero(float nofpclass(inf zero) %arg0) { -; CHECK-LABEL: define nofpclass(ninf nzero nsub nnorm) float @ret_exp10_noinf_nozero +; CHECK-LABEL: define nofpclass(ninf zero nsub nnorm) float @ret_exp10_noinf_nozero ; CHECK-SAME: (float nofpclass(inf zero) [[ARG0:%.*]]) #[[ATTR1]] { -; CHECK-NEXT: [[CALL:%.*]] = call nofpclass(ninf nzero nsub nnorm) float @llvm.exp10.f32(float nofpclass(inf zero) [[ARG0]]) #[[ATTR2]] +; CHECK-NEXT: [[CALL:%.*]] = call nofpclass(ninf zero nsub nnorm) float @llvm.exp10.f32(float nofpclass(inf zero) [[ARG0]]) #[[ATTR2]] ; CHECK-NEXT: ret float [[CALL]] ; %call = call float @llvm.exp10.f32(float %arg0) @@ -316,9 +316,9 @@ define float @ret_exp10_noinf_nozero(float nofpclass(inf zero) %arg0) { } define float @ret_exp10_noinf_nonegzero(float nofpclass(inf nzero) %arg0) { -; CHECK-LABEL: define nofpclass(ninf nzero nsub nnorm) float @ret_exp10_noinf_nonegzero +; CHECK-LABEL: define nofpclass(ninf zero nsub nnorm) float @ret_exp10_noinf_nonegzero ; CHECK-SAME: (float nofpclass(inf nzero) [[ARG0:%.*]]) #[[ATTR1]] { -; CHECK-NEXT: [[CALL:%.*]] = call nofpclass(ninf nzero nsub nnorm) float @llvm.exp10.f32(float nofpclass(inf nzero) [[ARG0]]) #[[ATTR2]] +; CHECK-NEXT: [[CALL:%.*]] = call nofpclass(ninf zero nsub nnorm) float @llvm.exp10.f32(float nofpclass(inf nzero) [[ARG0]]) #[[ATTR2]] ; CHECK-NEXT: ret float [[CALL]] ; %call = call float @llvm.exp10.f32(float %arg0) @@ -326,10 +326,10 @@ define float @ret_exp10_noinf_nonegzero(float nofpclass(inf nzero) %arg0) { } define float @ret_exp10_positive_source(i32 %arg) { -; CHECK-LABEL: define nofpclass(nan ninf nzero nsub nnorm) float @ret_exp10_positive_source +; CHECK-LABEL: define nofpclass(nan ninf zero nsub nnorm) float @ret_exp10_positive_source ; CHECK-SAME: (i32 [[ARG:%.*]]) #[[ATTR1]] { ; CHECK-NEXT: [[UITOFP:%.*]] = uitofp i32 [[ARG]] to float -; CHECK-NEXT: [[CALL:%.*]] = call nofpclass(nan ninf nzero nsub nnorm) float @llvm.exp10.f32(float [[UITOFP]]) #[[ATTR2]] +; CHECK-NEXT: [[CALL:%.*]] = call nofpclass(nan ninf zero nsub nnorm) float @llvm.exp10.f32(float [[UITOFP]]) #[[ATTR2]] ; CHECK-NEXT: ret float [[CALL]] ; %uitofp = uitofp i32 %arg to float @@ -339,10 +339,10 @@ define float @ret_exp10_positive_source(i32 %arg) { ; Could produce a nan because we don't know if the multiply is negative. define float @ret_exp10_unknown_sign(float nofpclass(nan) %arg0, float nofpclass(nan) %arg1) { -; CHECK-LABEL: define nofpclass(nan ninf nzero nsub nnorm) float @ret_exp10_unknown_sign +; CHECK-LABEL: define nofpclass(nan ninf zero nsub nnorm) float @ret_exp10_unknown_sign ; CHECK-SAME: (float nofpclass(nan) [[ARG0:%.*]], float nofpclass(nan) [[ARG1:%.*]]) #[[ATTR1]] { ; CHECK-NEXT: [[UNKNOWN_SIGN_NOT_NAN:%.*]] = fmul nnan float [[ARG0]], [[ARG1]] -; CHECK-NEXT: [[CALL:%.*]] = call nofpclass(nan ninf nzero nsub nnorm) float @llvm.exp10.f32(float [[UNKNOWN_SIGN_NOT_NAN]]) #[[ATTR2]] +; CHECK-NEXT: [[CALL:%.*]] = call nofpclass(nan ninf zero nsub nnorm) float @llvm.exp10.f32(float [[UNKNOWN_SIGN_NOT_NAN]]) #[[ATTR2]] ; CHECK-NEXT: ret float [[CALL]] ; %unknown.sign.not.nan = fmul nnan float %arg0, %arg1 _______________________________________________ llvm-branch-commits mailing list [email protected] https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits
