From: Evandro Menezes <e.menezes@samsung.com>
Date: Wed, 4 Sep 2019 20:01:09 +0000 (+0000)
Subject: [InstCombine] Add more test cases (NFC)
X-Git-Tag: llvmorg-11-init~10028
X-Git-Url: http://review.tizen.org/git/?a=commitdiff_plain;h=bf78e39cbbbe4df8f750d338f93eea7aa3a0957b;p=platform%2Fupstream%2Fllvm.git

[InstCombine] Add more test cases (NFC)

Add more test cases simplifying `log()`.

llvm-svn: 370966
---

diff --git a/llvm/test/Transforms/InstCombine/log-pow.ll b/llvm/test/Transforms/InstCombine/log-pow.ll
index 4e4a2b2..3a6b4ea 100644
--- a/llvm/test/Transforms/InstCombine/log-pow.ll
+++ b/llvm/test/Transforms/InstCombine/log-pow.ll
@@ -1,62 +1,121 @@
+; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
 ; RUN: opt < %s -instcombine -S | FileCheck %s
 
 define double @log_pow(double %x, double %y) {
-  %pow = call fast double @llvm.pow.f64(double %x, double %y)
-  %call = call fast double @log(double %pow)
-  ret double %call
+; CHECK-LABEL: @log_pow(
+; CHECK-NEXT:    [[LOG1:%.*]] = call fast double @log(double [[X:%.*]]) #0
+; CHECK-NEXT:    [[MUL:%.*]] = fmul fast double [[LOG1]], [[Y:%.*]]
+; CHECK-NEXT:    ret double [[MUL]]
+;
+  %pow = call fast double @pow(double %x, double %y)
+  %log = call fast double @log(double %pow)
+  ret double %log
 }
 
-; CHECK-LABEL: define double @log_pow(
-; CHECK-NEXT:  %log = call fast double @log(double %x)
-; CHECK-NEXT:  %mul = fmul fast double %log, %y
-; CHECK-NEXT:  ret double %mul
-
-define double @log_pow_not_fast(double %x, double %y) {
-  %pow = call double @llvm.pow.f64(double %x, double %y)
-  %call = call fast double @log(double %pow)
-  ret double %call
+; FIXME: log10f() should also be simplified.
+define float @log10f_powf(float %x, float %y) {
+; CHECK-LABEL: @log10f_powf(
+; CHECK-NEXT:    [[POW:%.*]] = call fast float @powf(float [[X:%.*]], float [[Y:%.*]])
+; CHECK-NEXT:    [[LOG:%.*]] = call fast float @log10f(float [[POW]])
+; CHECK-NEXT:    ret float [[LOG]]
+;
+  %pow = call fast float @powf(float %x, float %y)
+  %log = call fast float @log10f(float %pow)
+  ret float %log
 }
 
-; CHECK-LABEL: define double @log_pow_not_fast(
-; CHECK-NEXT:  %pow = call double @llvm.pow.f64(double %x, double %y)
-; CHECK-NEXT:  %call = call fast double @log(double %pow)
-; CHECK-NEXT:  ret double %call
+; FIXME: Intrinsic log2() should also be simplified.
+define <2 x double> @log2v_powv(<2 x double> %x, <2 x double> %y) {
+; CHECK-LABEL: @log2v_powv(
+; CHECK-NEXT:    [[POW:%.*]] = call fast <2 x double> @llvm.pow.v2f64(<2 x double> [[X:%.*]], <2 x double> [[Y:%.*]])
+; CHECK-NEXT:    [[LOG:%.*]] = call fast <2 x double> @llvm.log2.v2f64(<2 x double> [[POW]])
+; CHECK-NEXT:    ret <2 x double> [[LOG]]
+;
+  %pow = call fast <2 x double> @llvm.pow.v2f64(<2 x double> %x, <2 x double> %y)
+  %log = call fast <2 x double> @llvm.log2.v2f64(<2 x double> %pow)
+  ret <2 x double> %log
+}
 
-define double @function_pointer(double ()* %fptr, double %p1) {
-  %call1 = call double %fptr()
-  %pow = call double @log(double %call1)
-  ret double %pow
+define double @log_pow_not_fast(double %x, double %y) {
+; CHECK-LABEL: @log_pow_not_fast(
+; CHECK-NEXT:    [[POW:%.*]] = call double @pow(double [[X:%.*]], double [[Y:%.*]])
+; CHECK-NEXT:    [[LOG:%.*]] = call fast double @log(double [[POW]])
+; CHECK-NEXT:    ret double [[LOG]]
+;
+  %pow = call double @pow(double %x, double %y)
+  %log = call fast double @log(double %pow)
+  ret double %log
 }
 
-; CHECK-LABEL: @function_pointer
-; CHECK-NEXT:  %call1 = call double %fptr()
-; CHECK-NEXT:  %pow = call double @log(double %call1)
-; CHECK-NEXT:  ret double %pow
+define float @function_pointer(float ()* %fptr, float %p1) {
+; CHECK-LABEL: @function_pointer(
+; CHECK-NEXT:    [[PTR:%.*]] = call float [[FPTR:%.*]]()
+; CHECK-NEXT:    [[LOG:%.*]] = call float @logf(float [[PTR]])
+; CHECK-NEXT:    ret float [[LOG]]
+;
+  %ptr = call float %fptr()
+  %log = call float @logf(float %ptr)
+  ret float %log
+}
 
+; FIXME: The call to exp2() should be removed.
 define double @log_exp2(double %x) {
-  %call2 = call fast double @exp2(double %x)
-  %call3 = call fast double @log(double %call2)
-  ret double %call3
+; CHECK-LABEL: @log_exp2(
+; CHECK-NEXT:    [[EXP:%.*]] = call fast double @exp2(double [[X:%.*]])
+; CHECK-NEXT:    [[LOGMUL:%.*]] = fmul fast double [[X]], 0x3FE62E42FEFA39EF
+; CHECK-NEXT:    ret double [[LOGMUL]]
+;
+  %exp = call fast double @exp2(double %x)
+  %log = call fast double @log(double %exp)
+  ret double %log
 }
 
-; CHECK-LABEL: @log_exp2
-; CHECK-NEXT:  %call2 = call fast double @exp2(double %x)
-; CHECK-NEXT:  %logmul = fmul fast double %x, 0x3FE62E42FEFA39EF
-; CHECK-NEXT:  ret double %logmul
+; FIXME: Intrinsic logf() should also be simplified.
+define <2 x float> @logv_exp2v(<2 x float> %x) {
+; CHECK-LABEL: @logv_exp2v(
+; CHECK-NEXT:    [[EXP:%.*]] = call fast <2 x float> @llvm.exp2.v2f32(<2 x float> [[X:%.*]])
+; CHECK-NEXT:    [[LOG:%.*]] = call fast <2 x float> @llvm.log.v2f32(<2 x float> [[EXP]])
+; CHECK-NEXT:    ret <2 x float> [[LOG]]
+;
+  %exp = call fast <2 x float> @llvm.exp2.v2f32(<2 x float> %x)
+  %log = call fast <2 x float> @llvm.log.v2f32(<2 x float> %exp)
+  ret <2 x float> %log
+}
 
-define double @log_exp2_not_fast(double %x) {
-  %call2 = call double @exp2(double %x)
-  %call3 = call fast double @log(double %call2)
-  ret double %call3
+; FIXME: log10f() should also be simplified.
+define float @log10f_exp2f(float %x) {
+; CHECK-LABEL: @log10f_exp2f(
+; CHECK-NEXT:    [[EXP:%.*]] = call fast float @exp2f(float [[X:%.*]])
+; CHECK-NEXT:    [[LOG:%.*]] = call fast float @log10f(float [[EXP]])
+; CHECK-NEXT:    ret float [[LOG]]
+;
+  %exp = call fast float @exp2f(float %x)
+  %log = call fast float @log10f(float %exp)
+  ret float %log
 }
 
-; CHECK-LABEL: @log_exp2_not_fast
-; CHECK-NEXT:  %call2 = call double @exp2(double %x)
-; CHECK-NEXT:  %call3 = call fast double @log(double %call2)
-; CHECK-NEXT:  ret double %call3
+define double @log_exp2_not_fast(double %x) {
+; CHECK-LABEL: @log_exp2_not_fast(
+; CHECK-NEXT:    [[EXP:%.*]] = call double @exp2(double [[X:%.*]])
+; CHECK-NEXT:    [[LOG:%.*]] = call fast double @log(double [[EXP]])
+; CHECK-NEXT:    ret double [[LOG]]
+;
+  %exp = call double @exp2(double %x)
+  %log = call fast double @log(double %exp)
+  ret double %log
+}
 
 declare double @log(double) #0
+declare float @logf(float) #0
+declare <2 x float> @llvm.log.v2f32(<2 x float>)
+declare double @log2(double) #0
+declare <2 x double> @llvm.log2.v2f64(<2 x double>)
+declare float @log10f(float) #0
 declare double @exp2(double)
-declare double @llvm.pow.f64(double, double)
+declare float @exp2f(float)
+declare <2 x float> @llvm.exp2.v2f32(<2 x float>)
+declare double @pow(double, double) #0
+declare float @powf(float, float) #0
+declare <2 x double> @llvm.pow.v2f64(<2 x double>, <2 x double>)
 
 attributes #0 = { nounwind readnone }