Skip to content

ConstantFold logl calls #94944

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 4 commits into from
Jun 18, 2024
Merged

ConstantFold logl calls #94944

Show file tree
Hide file tree
Changes from 1 commit
Commits
Show all changes
4 commits
Select commit Hold shift + click to select a range
8f80f15
ConstantFold logl calls
MDevereau Jun 7, 2024
a0683c4
Remove negative and zero checks, add more tests
MDevereau Jun 12, 2024
172f77f
Run constant folded values through exception check
MDevereau Jun 14, 2024
e49bad4
Remove errno check for log.f128
MDevereau Jun 14, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
24 changes: 15 additions & 9 deletions llvm/lib/Analysis/ConstantFolding.cpp
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -1669,9 +1669,9 @@ bool llvm::canConstantFoldCallTo(const CallBase *Call, const Function *F) {
Name == "floor" || Name == "floorf" ||
Name == "fmod" || Name == "fmodf";
case 'l':
return Name == "log" || Name == "logf" ||
Name == "log2" || Name == "log2f" ||
Name == "log10" || Name == "log10f";
return Name == "log" || Name == "logf" || Name == "log2" ||
Name == "log2f" || Name == "log10" || Name == "log10f" ||
Name == "logl";
case 'n':
return Name == "nearbyint" || Name == "nearbyintf";
case 'p':
Expand Down Expand Up @@ -2085,15 +2085,19 @@ static Constant *ConstantFoldScalarCall1(StringRef Name,
if (IntrinsicID == Intrinsic::canonicalize)
return constantFoldCanonicalize(Ty, Call, U);

// Try to handle special fp128 cases before bailing
#if defined(HAS_IEE754_FLOAT128) && defined(HAS_LOGF128)
if (Ty->isFP128Ty()) {
switch (IntrinsicID) {
default:
return nullptr;
case Intrinsic::log:
return ConstantFP::get(Ty, logf128(Op->getValueAPF().convertToQuad()));
}
const APFloat &Fp128APF = Op->getValueAPF();
if (IntrinsicID == Intrinsic::log)
return ConstantFP::get(Ty, logf128(Fp128APF.convertToQuad()));
}

LibFunc Fp128Func = NotLibFunc;
if (Ty->isFP128Ty() && TLI->getLibFunc(Name, Fp128Func) &&
TLI->has(Fp128Func) && Fp128Func == LibFunc_logl &&
!Op->getValueAPF().isNegative() && !Op->getValueAPF().isZero())
return ConstantFP::get(Ty, logf128(Op->getValueAPF().convertToQuad()));
#endif

if (!Ty->isHalfTy() && !Ty->isFloatTy() && !Ty->isDoubleTy())
Expand Down Expand Up @@ -2356,6 +2360,8 @@ static Constant *ConstantFoldScalarCall1(StringRef Name,
// TODO: What about hosts that lack a C99 library?
return ConstantFoldFP(log10, APF, Ty);
break;
case LibFunc_logl:
return nullptr;
case LibFunc_nearbyint:
case LibFunc_nearbyintf:
case LibFunc_rint:
Expand Down
10 changes: 10 additions & 0 deletions llvm/test/Transforms/InstSimplify/ConstProp/logf128.ll
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -3,6 +3,7 @@

; REQUIRES: has_logf128
declare fp128 @llvm.log.f128(fp128)
declare fp128 @logl(fp128)

define fp128 @log_e_64(){
; CHECK-LABEL: define fp128 @log_e_64() {
Expand Down Expand Up @@ -124,3 +125,12 @@ define <2 x fp128> @log_e_negative_2_vector(){
%A = call <2 x fp128> @llvm.log.v2f128(<2 x fp128> <fp128 0xL0000000000000000C000000000000000, fp128 0xL0000000000000000C000000000000001>)
ret <2 x fp128> %A
}

define fp128 @logl_e_64(){
; CHECK-LABEL: define fp128 @logl_e_64() {
; CHECK-NEXT: %A = call fp128 @logl(fp128 noundef 0xL00000000000000004005000000000000)
; CHECK-NEXT: ret fp128 0xL300000000000000040010A2B23F3BAB7
;
%A = call fp128 @logl(fp128 noundef 0xL00000000000000004005000000000000)
ret fp128 %A
}