maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity

[InstSimplify] Missed optimization in math expression: log10(pow(10.0,x)) == x, log2(pow(2.0,x)) == x 

Summary: This patch enables folding following instructions under -ffast-math flag: log10(pow(10.0,x)) -> x, log2(pow(2.0,x)) -> x

Reviewers: hfinkel, spatel, efriedma, craig.topper, zvi, majnemer, lebedev.ri

Reviewed By: spatel, lebedev.ri

Subscribers: lebedev.ri, llvm-commits

Differential Revision: https://reviews.llvm.org/D41940

llvm-svn: 352981
This commit is contained in:
Dmitry Venikov 2019-02-03 03:48:30 +00:00
parent 24a2a48bc2
commit aaa709f2ec
3 changed files with 13 additions and 13 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
llvm/lib/Analysis/InstructionSimplify.cpp
View File

@ -4940,7 +4940,15 @@ static Value *simplifyUnaryIntrinsic(Function *F, Value *Op0,
case Intrinsic::log2: case Intrinsic::log2:
// log2(exp2(x)) -> x // log2(exp2(x)) -> x
if (Q.CxtI->hasAllowReassoc() && if (Q.CxtI->hasAllowReassoc() &&
match(Op0, m_Intrinsic<Intrinsic::exp2>(m_Value(X)))) return X; (match(Op0, m_Intrinsic<Intrinsic::exp2>(m_Value(X))) ||
match(Op0, m_Intrinsic<Intrinsic::pow>(m_SpecificFP(2.0),
m_Value(X))))) return X;
break;
case Intrinsic::log10:
// log10(pow(10.0, x)) -> x
if (Q.CxtI->hasAllowReassoc() &&
match(Op0, m_Intrinsic<Intrinsic::pow>(m_SpecificFP(10.0),
m_Value(X)))) return X;
break; break;
default: default:
break; break;

8
llvm/test/Transforms/InstSimplify/log10-pow10-intrinsic.ll
View File

@ -28,9 +28,7 @@ define double @log10_strict_pow10_reassoc(double %x) {
define double @log10_reassoc_pow10_strict(double %x) { define double @log10_reassoc_pow10_strict(double %x) {
; CHECK-LABEL: @log10_reassoc_pow10_strict( ; CHECK-LABEL: @log10_reassoc_pow10_strict(
; CHECK-NEXT: [[TMP1:%.*]] = call double @llvm.pow.f64(double 1.000000e+01, double [[X:%.*]]) ; CHECK-NEXT: ret double [[X:%.*]]
; CHECK-NEXT: [[TMP2:%.*]] = call reassoc double @llvm.log10.f64(double [[TMP1]])
; CHECK-NEXT: ret double [[TMP2]]
; ;
%tmp = call double @llvm.pow.f64(double 1.000000e+01, double %x) %tmp = call double @llvm.pow.f64(double 1.000000e+01, double %x)
%tmp1 = call reassoc double @llvm.log10.f64(double %tmp) %tmp1 = call reassoc double @llvm.log10.f64(double %tmp)
@ -39,9 +37,7 @@ define double @log10_reassoc_pow10_strict(double %x) {
define double @log10_pow10_reassoc(double %x) { define double @log10_pow10_reassoc(double %x) {
; CHECK-LABEL: @log10_pow10_reassoc( ; CHECK-LABEL: @log10_pow10_reassoc(
; CHECK-NEXT: [[TMP1:%.*]] = call reassoc double @llvm.pow.f64(double 1.000000e+01, double [[X:%.*]]) ; CHECK-NEXT: ret double [[X:%.*]]
; CHECK-NEXT: [[TMP2:%.*]] = call reassoc double @llvm.log10.f64(double [[TMP1]])
; CHECK-NEXT: ret double [[TMP2]]
; ;
%tmp = call reassoc double @llvm.pow.f64(double 1.000000e+01, double %x) %tmp = call reassoc double @llvm.pow.f64(double 1.000000e+01, double %x)
%tmp1 = call reassoc double @llvm.log10.f64(double %tmp) %tmp1 = call reassoc double @llvm.log10.f64(double %tmp)

8
llvm/test/Transforms/InstSimplify/log2-pow2-intrinsic.ll
View File

@ -28,9 +28,7 @@ define double @log2_strict_pow2_reassoc(double %x) {
define double @log2_reassoc_pow2_strict(double %x) { define double @log2_reassoc_pow2_strict(double %x) {
; CHECK-LABEL: @log2_reassoc_pow2_strict( ; CHECK-LABEL: @log2_reassoc_pow2_strict(
; CHECK-NEXT: [[TMP:%.*]] = call double @llvm.pow.f64(double 2.000000e+00, double [[X:%.*]]) ; CHECK-NEXT: ret double [[X:%.*]]
; CHECK-NEXT: [[TMP1:%.*]] = call reassoc double @llvm.log2.f64(double [[TMP]])
; CHECK-NEXT: ret double [[TMP1]]
; ;
%tmp = call double @llvm.pow.f64(double 2.000000e+00, double %x) %tmp = call double @llvm.pow.f64(double 2.000000e+00, double %x)
%tmp1 = call reassoc double @llvm.log2.f64(double %tmp) %tmp1 = call reassoc double @llvm.log2.f64(double %tmp)
@ -39,9 +37,7 @@ define double @log2_reassoc_pow2_strict(double %x) {
define double @log2_pow2_reassoc(double %x) { define double @log2_pow2_reassoc(double %x) {
; CHECK-LABEL: @log2_pow2_reassoc( ; CHECK-LABEL: @log2_pow2_reassoc(
; CHECK-NEXT: [[TMP:%.*]] = call reassoc double @llvm.pow.f64(double 2.000000e+00, double [[X:%.*]]) ; CHECK-NEXT: ret double [[X:%.*]]
; CHECK-NEXT: [[TMP1:%.*]] = call reassoc double @llvm.log2.f64(double [[TMP]])
; CHECK-NEXT: ret double [[TMP1]]
; ;
%tmp = call reassoc double @llvm.pow.f64(double 2.000000e+00, double %x) %tmp = call reassoc double @llvm.pow.f64(double 2.000000e+00, double %x)
%tmp1 = call reassoc double @llvm.log2.f64(double %tmp) %tmp1 = call reassoc double @llvm.log2.f64(double %tmp)