From 066452779ddffe8f2c43d06a9b6635944006d647 Mon Sep 17 00:00:00 2001
From: Dmitry Venikov <quolyk@gmail.com>
Date: Thu, 31 Jan 2019 07:38:19 +0000
Subject: [PATCH] Commit tests for changes in revision D41940

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@352734 91177308-0d34-0410-b5e6-96231b3b80d8
---
 .../InstSimplify/log10-pow10-intrinsic.ll     | 49 +++++++++++++++++++
 .../InstSimplify/log2-pow2-intrinsic.ll       | 49 +++++++++++++++++++
 2 files changed, 98 insertions(+)
 create mode 100644 test/Transforms/InstSimplify/log10-pow10-intrinsic.ll
 create mode 100644 test/Transforms/InstSimplify/log2-pow2-intrinsic.ll

diff --git a/test/Transforms/InstSimplify/log10-pow10-intrinsic.ll b/test/Transforms/InstSimplify/log10-pow10-intrinsic.ll
new file mode 100644
index 00000000000..f0ffbf49b9a
--- /dev/null
+++ b/test/Transforms/InstSimplify/log10-pow10-intrinsic.ll
@@ -0,0 +1,49 @@
+; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
+; RUN: opt -S -instsimplify < %s | FileCheck %s
+
+declare double @llvm.log10.f64(double)
+declare double @llvm.pow.f64(double, double)
+
+define double @log10_pow10(double %x) {
+; CHECK-LABEL: @log10_pow10(
+; CHECK-NEXT:    [[TMP1:%.*]] = call double @llvm.pow.f64(double 1.000000e+01, double [[X:%.*]])
+; CHECK-NEXT:    [[TMP2:%.*]] = call double @llvm.log10.f64(double [[TMP1]])
+; CHECK-NEXT:    ret double [[TMP2]]
+;
+  %tmp = call double @llvm.pow.f64(double 1.000000e+01, double %x)
+  %tmp1 = call double @llvm.log10.f64(double %tmp)
+  ret double %tmp1
+}
+
+define double @log10_strict_pow10_reassoc(double %x) {
+; CHECK-LABEL: @log10_strict_pow10_reassoc(
+; CHECK-NEXT:    [[TMP1:%.*]] = call reassoc double @llvm.pow.f64(double 1.000000e+01, double [[X:%.*]])
+; CHECK-NEXT:    [[TMP2:%.*]] = call double @llvm.log10.f64(double [[TMP1]])
+; CHECK-NEXT:    ret double [[TMP2]]
+;
+  %tmp = call reassoc double @llvm.pow.f64(double 1.000000e+01, double %x)
+  %tmp1 = call double @llvm.log10.f64(double %tmp)
+  ret double %tmp1
+}
+
+define double @log10_reassoc_pow10_strict(double %x) {
+; CHECK-LABEL: @log10_reassoc_pow10_strict(
+; CHECK-NEXT:    [[TMP1:%.*]] = call double @llvm.pow.f64(double 1.000000e+01, 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)
+  %tmp1 = call reassoc double @llvm.log10.f64(double %tmp)
+  ret double %tmp1
+}
+
+define double @log10_pow10_reassoc(double %x) {
+; CHECK-LABEL: @log10_pow10_reassoc(
+; CHECK-NEXT:    [[TMP1:%.*]] = call reassoc double @llvm.pow.f64(double 1.000000e+01, 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)
+  %tmp1 = call reassoc double @llvm.log10.f64(double %tmp)
+  ret double %tmp1
+}
diff --git a/test/Transforms/InstSimplify/log2-pow2-intrinsic.ll b/test/Transforms/InstSimplify/log2-pow2-intrinsic.ll
new file mode 100644
index 00000000000..519db518a4a
--- /dev/null
+++ b/test/Transforms/InstSimplify/log2-pow2-intrinsic.ll
@@ -0,0 +1,49 @@
+; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
+; RUN: opt -S -instsimplify < %s | FileCheck %s
+
+declare double @llvm.log2.f64(double)
+declare double @llvm.pow.f64(double, double)
+
+define double @log2_pow2(double %x) {
+; CHECK-LABEL: @log2_pow2(
+; CHECK-NEXT:    [[TMP:%.*]] = call double @llvm.pow.f64(double 2.000000e+00, double [[X:%.*]])
+; CHECK-NEXT:    [[TMP1:%.*]] = call double @llvm.log2.f64(double [[TMP]])
+; CHECK-NEXT:    ret double [[TMP1]]
+;
+  %tmp = call double @llvm.pow.f64(double 2.000000e+00, double %x)
+  %tmp1 = call double @llvm.log2.f64(double %tmp)
+  ret double %tmp1
+}
+
+define double @log2_strict_pow2_reassoc(double %x) {
+; CHECK-LABEL: @log2_strict_pow2_reassoc(
+; CHECK-NEXT:    [[TMP:%.*]] = call reassoc double @llvm.pow.f64(double 2.000000e+00, double [[X:%.*]])
+; CHECK-NEXT:    [[TMP1:%.*]] = call double @llvm.log2.f64(double [[TMP]])
+; CHECK-NEXT:    ret double [[TMP1]]
+;
+  %tmp = call reassoc double @llvm.pow.f64(double 2.000000e+00, double %x)
+  %tmp1 = call double @llvm.log2.f64(double %tmp)
+  ret double %tmp1
+}
+
+define double @log2_reassoc_pow2_strict(double %x) {
+; CHECK-LABEL: @log2_reassoc_pow2_strict(
+; CHECK-NEXT:    [[TMP:%.*]] = call double @llvm.pow.f64(double 2.000000e+00, 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)
+  %tmp1 = call reassoc double @llvm.log2.f64(double %tmp)
+  ret double %tmp1
+}
+
+define double @log2_pow2_reassoc(double %x) {
+; CHECK-LABEL: @log2_pow2_reassoc(
+; CHECK-NEXT:    [[TMP:%.*]] = call reassoc double @llvm.pow.f64(double 2.000000e+00, 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)
+  %tmp1 = call reassoc double @llvm.log2.f64(double %tmp)
+  ret double %tmp1
+}
-- 
2.50.1