llvmbot wrote:
<!--LLVM PR SUMMARY COMMENT--> @llvm/pr-subscribers-backend-amdgpu @llvm/pr-subscribers-llvm-analysis Author: Matt Arsenault (arsenm) <details> <summary>Changes</summary> If the source cannot be -inf, the result cannot be +0. --- Patch is 34.91 KiB, truncated to 20.00 KiB below, full version: https://github.com/llvm/llvm-project/pull/172496.diff 3 Files Affected: - (modified) llvm/lib/Analysis/ValueTracking.cpp (+3) - (modified) llvm/test/Transforms/Attributor/AMDGPU/nofpclass-amdgcn-exp.ll (+24-24) - (modified) llvm/test/Transforms/Attributor/nofpclass-exp.ll (+66-66) ``````````diff 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-... [truncated] `````````` </details> https://github.com/llvm/llvm-project/pull/172496 _______________________________________________ llvm-branch-commits mailing list [email protected] https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits
