[llvm] r324961 - [InstSimplify] consolidate tests for log-exp inverse folds
Sanjay Patel via llvm-commits
llvm-commits at lists.llvm.org
Mon Feb 12 15:18:12 PST 2018
Author: spatel
Date: Mon Feb 12 15:18:11 2018
New Revision: 324961
URL: http://llvm.org/viewvc/llvm-project?rev=324961&view=rev
Log:
[InstSimplify] consolidate tests for log-exp inverse folds
Some tests didn't add much value because we already show stronger
constraints for the folds in other tests, so the weaker versions
were deleted.
Moved the remaining tests into 1 file because the folds are
very similar and handled from 1 place in the code.
Added:
llvm/trunk/test/Transforms/InstSimplify/log-exp-intrinsic.ll
- copied, changed from r324960, llvm/trunk/test/Transforms/InstSimplify/log-intrinsic.ll
Removed:
llvm/trunk/test/Transforms/InstSimplify/exp-intrinsic.ll
llvm/trunk/test/Transforms/InstSimplify/exp2-intrinsic.ll
llvm/trunk/test/Transforms/InstSimplify/log-intrinsic.ll
llvm/trunk/test/Transforms/InstSimplify/log2-intrinsic.ll
Removed: llvm/trunk/test/Transforms/InstSimplify/exp-intrinsic.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Transforms/InstSimplify/exp-intrinsic.ll?rev=324960&view=auto
==============================================================================
--- llvm/trunk/test/Transforms/InstSimplify/exp-intrinsic.ll (original)
+++ llvm/trunk/test/Transforms/InstSimplify/exp-intrinsic.ll (removed)
@@ -1,71 +0,0 @@
-; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
-; RUN: opt < %s -instsimplify -S | FileCheck %s
-
-declare double @llvm.exp.f64(double)
-declare double @llvm.log.f64(double)
-
-define double @exp_log(double %a) {
-; CHECK-LABEL: @exp_log(
-; CHECK-NEXT: [[TMP1:%.*]] = call double @llvm.log.f64(double [[A:%.*]])
-; CHECK-NEXT: [[TMP2:%.*]] = call double @llvm.exp.f64(double [[TMP1]])
-; CHECK-NEXT: ret double [[TMP2]]
-;
- %1 = call double @llvm.log.f64(double %a)
- %2 = call double @llvm.exp.f64(double %1)
- ret double %2
-}
-
-define double @exp_log_fast(double %a) {
-; CHECK-LABEL: @exp_log_fast(
-; CHECK-NEXT: ret double [[A:%.*]]
-;
- %1 = call fast double @llvm.log.f64(double %a)
- %2 = call fast double @llvm.exp.f64(double %1)
- ret double %2
-}
-
-define double @exp_fast_log_strict(double %a) {
-; CHECK-LABEL: @exp_fast_log_strict(
-; CHECK-NEXT: ret double [[A:%.*]]
-;
- %1 = call double @llvm.log.f64(double %a)
- %2 = call fast double @llvm.exp.f64(double %1)
- ret double %2
-}
-
-define double @exp_strict_log_fast(double %a) {
-; CHECK-LABEL: @exp_strict_log_fast(
-; CHECK-NEXT: [[TMP1:%.*]] = call fast double @llvm.log.f64(double [[A:%.*]])
-; CHECK-NEXT: [[TMP2:%.*]] = call double @llvm.exp.f64(double [[TMP1]])
-; CHECK-NEXT: ret double [[TMP2]]
-;
- %1 = call fast double @llvm.log.f64(double %a)
- %2 = call double @llvm.exp.f64(double %1)
- ret double %2
-}
-
-define double @exp_log_exp_log(double %a) {
-; CHECK-LABEL: @exp_log_exp_log(
-; CHECK-NEXT: [[TMP1:%.*]] = call double @llvm.log.f64(double [[A:%.*]])
-; CHECK-NEXT: [[TMP2:%.*]] = call double @llvm.exp.f64(double [[TMP1]])
-; CHECK-NEXT: [[TMP3:%.*]] = call double @llvm.log.f64(double [[TMP2]])
-; CHECK-NEXT: [[TMP4:%.*]] = call double @llvm.exp.f64(double [[TMP3]])
-; CHECK-NEXT: ret double [[TMP4]]
-;
- %1 = call double @llvm.log.f64(double %a)
- %2 = call double @llvm.exp.f64(double %1)
- %3 = call double @llvm.log.f64(double %2)
- %4 = call double @llvm.exp.f64(double %3)
- ret double %4
-}
-
-define double @exp_log_exp_log_fast(double %a) {
-; CHECK-LABEL: @exp_log_exp_log_fast(
-; CHECK-NEXT: ret double [[A:%.*]]
-;
- %1 = call fast double @llvm.log.f64(double %a)
- %2 = call fast double @llvm.exp.f64(double %1)
- %3 = call fast double @llvm.log.f64(double %2)
- %4 = call fast double @llvm.exp.f64(double %3)
- ret double %4
-}
Removed: llvm/trunk/test/Transforms/InstSimplify/exp2-intrinsic.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Transforms/InstSimplify/exp2-intrinsic.ll?rev=324960&view=auto
==============================================================================
--- llvm/trunk/test/Transforms/InstSimplify/exp2-intrinsic.ll (original)
+++ llvm/trunk/test/Transforms/InstSimplify/exp2-intrinsic.ll (removed)
@@ -1,71 +0,0 @@
-; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
-; RUN: opt < %s -instsimplify -S | FileCheck %s
-
-declare double @llvm.exp2.f64(double)
-declare double @llvm.log2.f64(double)
-
-define double @exp2_log2(double %a) {
-; CHECK-LABEL: @exp2_log2(
-; CHECK-NEXT: [[TMP1:%.*]] = call double @llvm.log2.f64(double [[A:%.*]])
-; CHECK-NEXT: [[TMP2:%.*]] = call double @llvm.exp2.f64(double [[TMP1]])
-; CHECK-NEXT: ret double [[TMP2]]
-;
- %1 = call double @llvm.log2.f64(double %a)
- %2 = call double @llvm.exp2.f64(double %1)
- ret double %2
-}
-
-define double @exp2_log2_fast(double %a) {
-; CHECK-LABEL: @exp2_log2_fast(
-; CHECK-NEXT: ret double [[A:%.*]]
-;
- %1 = call fast double @llvm.log2.f64(double %a)
- %2 = call fast double @llvm.exp2.f64(double %1)
- ret double %2
-}
-
-define double @exp2_fast_log2_strict(double %a) {
-; CHECK-LABEL: @exp2_fast_log2_strict(
-; CHECK-NEXT: ret double [[A:%.*]]
-;
- %1 = call double @llvm.log2.f64(double %a)
- %2 = call fast double @llvm.exp2.f64(double %1)
- ret double %2
-}
-
-define double @exp2_strict_log2_fast(double %a) {
-; CHECK-LABEL: @exp2_strict_log2_fast(
-; CHECK-NEXT: [[TMP1:%.*]] = call fast double @llvm.log2.f64(double [[A:%.*]])
-; CHECK-NEXT: [[TMP2:%.*]] = call double @llvm.exp2.f64(double [[TMP1]])
-; CHECK-NEXT: ret double [[TMP2]]
-;
- %1 = call fast double @llvm.log2.f64(double %a)
- %2 = call double @llvm.exp2.f64(double %1)
- ret double %2
-}
-
-define double @exp2_log2_exp2_log2(double %a) {
-; CHECK-LABEL: @exp2_log2_exp2_log2(
-; CHECK-NEXT: [[TMP1:%.*]] = call double @llvm.log2.f64(double [[A:%.*]])
-; CHECK-NEXT: [[TMP2:%.*]] = call double @llvm.exp2.f64(double [[TMP1]])
-; CHECK-NEXT: [[TMP3:%.*]] = call double @llvm.log2.f64(double [[TMP2]])
-; CHECK-NEXT: [[TMP4:%.*]] = call double @llvm.exp2.f64(double [[TMP3]])
-; CHECK-NEXT: ret double [[TMP4]]
-;
- %1 = call double @llvm.log2.f64(double %a)
- %2 = call double @llvm.exp2.f64(double %1)
- %3 = call double @llvm.log2.f64(double %2)
- %4 = call double @llvm.exp2.f64(double %3)
- ret double %4
-}
-
-define double @exp2_log2_exp2_log2_fast(double %a) {
-; CHECK-LABEL: @exp2_log2_exp2_log2_fast(
-; CHECK-NEXT: ret double [[A:%.*]]
-;
- %1 = call fast double @llvm.log2.f64(double %a)
- %2 = call fast double @llvm.exp2.f64(double %1)
- %3 = call fast double @llvm.log2.f64(double %2)
- %4 = call fast double @llvm.exp2.f64(double %3)
- ret double %4
-}
Copied: llvm/trunk/test/Transforms/InstSimplify/log-exp-intrinsic.ll (from r324960, llvm/trunk/test/Transforms/InstSimplify/log-intrinsic.ll)
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Transforms/InstSimplify/log-exp-intrinsic.ll?p2=llvm/trunk/test/Transforms/InstSimplify/log-exp-intrinsic.ll&p1=llvm/trunk/test/Transforms/InstSimplify/log-intrinsic.ll&r1=324960&r2=324961&rev=324961&view=diff
==============================================================================
--- llvm/trunk/test/Transforms/InstSimplify/log-intrinsic.ll (original)
+++ llvm/trunk/test/Transforms/InstSimplify/log-exp-intrinsic.ll Mon Feb 12 15:18:11 2018
@@ -4,42 +4,24 @@
declare double @llvm.log.f64(double)
declare double @llvm.exp.f64(double)
-define double @log_exp(double %a) {
-; CHECK-LABEL: @log_exp(
+define double @log_reassoc_exp_strict(double %a) {
+; CHECK-LABEL: @log_reassoc_exp_strict(
; CHECK-NEXT: [[TMP1:%.*]] = call double @llvm.exp.f64(double [[A:%.*]])
-; CHECK-NEXT: [[TMP2:%.*]] = call double @llvm.log.f64(double [[TMP1]])
+; CHECK-NEXT: [[TMP2:%.*]] = call reassoc double @llvm.log.f64(double [[TMP1]])
; CHECK-NEXT: ret double [[TMP2]]
;
%1 = call double @llvm.exp.f64(double %a)
- %2 = call double @llvm.log.f64(double %1)
- ret double %2
-}
-
-define double @log_exp_fast(double %a) {
-; CHECK-LABEL: @log_exp_fast(
-; CHECK-NEXT: ret double [[A:%.*]]
-;
- %1 = call fast double @llvm.exp.f64(double %a)
- %2 = call fast double @llvm.log.f64(double %1)
- ret double %2
-}
-
-define double @log_fast_exp_strict(double %a) {
-; CHECK-LABEL: @log_fast_exp_strict(
-; CHECK-NEXT: ret double [[A:%.*]]
-;
- %1 = call double @llvm.exp.f64(double %a)
- %2 = call fast double @llvm.log.f64(double %1)
+ %2 = call reassoc double @llvm.log.f64(double %1)
ret double %2
}
-define double @log_strict_exp_fast(double %a) {
-; CHECK-LABEL: @log_strict_exp_fast(
-; CHECK-NEXT: [[TMP1:%.*]] = call fast double @llvm.exp.f64(double [[A:%.*]])
+define double @log_strict_exp_reassoc(double %a) {
+; CHECK-LABEL: @log_strict_exp_reassoc(
+; CHECK-NEXT: [[TMP1:%.*]] = call reassoc double @llvm.exp.f64(double [[A:%.*]])
; CHECK-NEXT: [[TMP2:%.*]] = call double @llvm.log.f64(double [[TMP1]])
; CHECK-NEXT: ret double [[TMP2]]
;
- %1 = call fast double @llvm.exp.f64(double %a)
+ %1 = call reassoc double @llvm.exp.f64(double %a)
%2 = call double @llvm.log.f64(double %1)
ret double %2
}
@@ -59,13 +41,177 @@ define double @log_exp_log_exp(double %a
ret double %4
}
-define double @log_exp_log_exp_fast(double %a) {
-; CHECK-LABEL: @log_exp_log_exp_fast(
-; CHECK-NEXT: ret double [[A:%.*]]
-;
- %1 = call fast double @llvm.exp.f64(double %a)
- %2 = call fast double @llvm.log.f64(double %1)
- %3 = call fast double @llvm.exp.f64(double %2)
- %4 = call fast double @llvm.log.f64(double %3)
+define double @log_exp_log_exp_reassoc(double %a) {
+; CHECK-LABEL: @log_exp_log_exp_reassoc(
+; CHECK-NEXT: [[TMP1:%.*]] = call double @llvm.exp.f64(double [[A:%.*]])
+; CHECK-NEXT: [[TMP2:%.*]] = call reassoc double @llvm.log.f64(double [[TMP1]])
+; CHECK-NEXT: [[TMP3:%.*]] = call double @llvm.exp.f64(double [[TMP2]])
+; CHECK-NEXT: [[TMP4:%.*]] = call reassoc double @llvm.log.f64(double [[TMP3]])
+; CHECK-NEXT: ret double [[TMP4]]
+;
+ %1 = call double @llvm.exp.f64(double %a)
+ %2 = call reassoc double @llvm.log.f64(double %1)
+ %3 = call double @llvm.exp.f64(double %2)
+ %4 = call reassoc double @llvm.log.f64(double %3)
+ ret double %4
+}
+
+declare double @llvm.log2.f64(double)
+declare double @llvm.exp2.f64(double)
+
+define double @log2_reassoc_exp2_strict(double %a) {
+; CHECK-LABEL: @log2_reassoc_exp2_strict(
+; CHECK-NEXT: [[TMP1:%.*]] = call double @llvm.exp2.f64(double [[A:%.*]])
+; CHECK-NEXT: [[TMP2:%.*]] = call reassoc double @llvm.log2.f64(double [[TMP1]])
+; CHECK-NEXT: ret double [[TMP2]]
+;
+ %1 = call double @llvm.exp2.f64(double %a)
+ %2 = call reassoc double @llvm.log2.f64(double %1)
+ ret double %2
+}
+
+define double @log2_strict_exp2_reassoc(double %a) {
+; CHECK-LABEL: @log2_strict_exp2_reassoc(
+; CHECK-NEXT: [[TMP1:%.*]] = call reassoc double @llvm.exp2.f64(double [[A:%.*]])
+; CHECK-NEXT: [[TMP2:%.*]] = call double @llvm.log2.f64(double [[TMP1]])
+; CHECK-NEXT: ret double [[TMP2]]
+;
+ %1 = call reassoc double @llvm.exp2.f64(double %a)
+ %2 = call double @llvm.log2.f64(double %1)
+ ret double %2
+}
+
+define double @log2_exp2_log2_exp2(double %a) {
+; CHECK-LABEL: @log2_exp2_log2_exp2(
+; CHECK-NEXT: [[TMP1:%.*]] = call double @llvm.exp2.f64(double [[A:%.*]])
+; CHECK-NEXT: [[TMP2:%.*]] = call double @llvm.log2.f64(double [[TMP1]])
+; CHECK-NEXT: [[TMP3:%.*]] = call double @llvm.exp2.f64(double [[TMP2]])
+; CHECK-NEXT: [[TMP4:%.*]] = call double @llvm.log2.f64(double [[TMP3]])
+; CHECK-NEXT: ret double [[TMP4]]
+;
+ %1 = call double @llvm.exp2.f64(double %a)
+ %2 = call double @llvm.log2.f64(double %1)
+ %3 = call double @llvm.exp2.f64(double %2)
+ %4 = call double @llvm.log2.f64(double %3)
+ ret double %4
+}
+
+define double @log2_exp2_log2_exp2_reassoc(double %a) {
+; CHECK-LABEL: @log2_exp2_log2_exp2_reassoc(
+; CHECK-NEXT: [[TMP1:%.*]] = call double @llvm.exp2.f64(double [[A:%.*]])
+; CHECK-NEXT: [[TMP2:%.*]] = call reassoc double @llvm.log2.f64(double [[TMP1]])
+; CHECK-NEXT: [[TMP3:%.*]] = call double @llvm.exp2.f64(double [[TMP2]])
+; CHECK-NEXT: [[TMP4:%.*]] = call reassoc double @llvm.log2.f64(double [[TMP3]])
+; CHECK-NEXT: ret double [[TMP4]]
+;
+ %1 = call double @llvm.exp2.f64(double %a)
+ %2 = call reassoc double @llvm.log2.f64(double %1)
+ %3 = call double @llvm.exp2.f64(double %2)
+ %4 = call reassoc double @llvm.log2.f64(double %3)
ret double %4
}
+
+define double @exp_reassoc_log_strict(double %a) {
+; CHECK-LABEL: @exp_reassoc_log_strict(
+; CHECK-NEXT: [[TMP1:%.*]] = call double @llvm.log.f64(double [[A:%.*]])
+; CHECK-NEXT: [[TMP2:%.*]] = call reassoc double @llvm.exp.f64(double [[TMP1]])
+; CHECK-NEXT: ret double [[TMP2]]
+;
+ %1 = call double @llvm.log.f64(double %a)
+ %2 = call reassoc double @llvm.exp.f64(double %1)
+ ret double %2
+}
+
+define double @exp_strict_log_reassoc(double %a) {
+; CHECK-LABEL: @exp_strict_log_reassoc(
+; CHECK-NEXT: [[TMP1:%.*]] = call reassoc double @llvm.log.f64(double [[A:%.*]])
+; CHECK-NEXT: [[TMP2:%.*]] = call double @llvm.exp.f64(double [[TMP1]])
+; CHECK-NEXT: ret double [[TMP2]]
+;
+ %1 = call reassoc double @llvm.log.f64(double %a)
+ %2 = call double @llvm.exp.f64(double %1)
+ ret double %2
+}
+
+define double @exp_log_exp_log(double %a) {
+; CHECK-LABEL: @exp_log_exp_log(
+; CHECK-NEXT: [[TMP1:%.*]] = call double @llvm.log.f64(double [[A:%.*]])
+; CHECK-NEXT: [[TMP2:%.*]] = call double @llvm.exp.f64(double [[TMP1]])
+; CHECK-NEXT: [[TMP3:%.*]] = call double @llvm.log.f64(double [[TMP2]])
+; CHECK-NEXT: [[TMP4:%.*]] = call double @llvm.exp.f64(double [[TMP3]])
+; CHECK-NEXT: ret double [[TMP4]]
+;
+ %1 = call double @llvm.log.f64(double %a)
+ %2 = call double @llvm.exp.f64(double %1)
+ %3 = call double @llvm.log.f64(double %2)
+ %4 = call double @llvm.exp.f64(double %3)
+ ret double %4
+}
+
+define double @exp_log_exp_log_reassoc(double %a) {
+; CHECK-LABEL: @exp_log_exp_log_reassoc(
+; CHECK-NEXT: [[TMP1:%.*]] = call double @llvm.log.f64(double [[A:%.*]])
+; CHECK-NEXT: [[TMP2:%.*]] = call reassoc double @llvm.exp.f64(double [[TMP1]])
+; CHECK-NEXT: [[TMP3:%.*]] = call double @llvm.log.f64(double [[TMP2]])
+; CHECK-NEXT: [[TMP4:%.*]] = call reassoc double @llvm.exp.f64(double [[TMP3]])
+; CHECK-NEXT: ret double [[TMP4]]
+;
+ %1 = call double @llvm.log.f64(double %a)
+ %2 = call reassoc double @llvm.exp.f64(double %1)
+ %3 = call double @llvm.log.f64(double %2)
+ %4 = call reassoc double @llvm.exp.f64(double %3)
+ ret double %4
+}
+
+define double @exp2_reassoc_log2_strict(double %a) {
+; CHECK-LABEL: @exp2_reassoc_log2_strict(
+; CHECK-NEXT: [[TMP1:%.*]] = call double @llvm.log2.f64(double [[A:%.*]])
+; CHECK-NEXT: [[TMP2:%.*]] = call reassoc double @llvm.exp2.f64(double [[TMP1]])
+; CHECK-NEXT: ret double [[TMP2]]
+;
+ %1 = call double @llvm.log2.f64(double %a)
+ %2 = call reassoc double @llvm.exp2.f64(double %1)
+ ret double %2
+}
+
+define double @exp2_strict_log2_reassoc(double %a) {
+; CHECK-LABEL: @exp2_strict_log2_reassoc(
+; CHECK-NEXT: [[TMP1:%.*]] = call reassoc double @llvm.log2.f64(double [[A:%.*]])
+; CHECK-NEXT: [[TMP2:%.*]] = call double @llvm.exp2.f64(double [[TMP1]])
+; CHECK-NEXT: ret double [[TMP2]]
+;
+ %1 = call reassoc double @llvm.log2.f64(double %a)
+ %2 = call double @llvm.exp2.f64(double %1)
+ ret double %2
+}
+
+define double @exp2_log2_exp2_log2(double %a) {
+; CHECK-LABEL: @exp2_log2_exp2_log2(
+; CHECK-NEXT: [[TMP1:%.*]] = call double @llvm.log2.f64(double [[A:%.*]])
+; CHECK-NEXT: [[TMP2:%.*]] = call double @llvm.exp2.f64(double [[TMP1]])
+; CHECK-NEXT: [[TMP3:%.*]] = call double @llvm.log2.f64(double [[TMP2]])
+; CHECK-NEXT: [[TMP4:%.*]] = call double @llvm.exp2.f64(double [[TMP3]])
+; CHECK-NEXT: ret double [[TMP4]]
+;
+ %1 = call double @llvm.log2.f64(double %a)
+ %2 = call double @llvm.exp2.f64(double %1)
+ %3 = call double @llvm.log2.f64(double %2)
+ %4 = call double @llvm.exp2.f64(double %3)
+ ret double %4
+}
+
+define double @exp2_log2_exp2_log2_reassoc(double %a) {
+; CHECK-LABEL: @exp2_log2_exp2_log2_reassoc(
+; CHECK-NEXT: [[TMP1:%.*]] = call double @llvm.log2.f64(double [[A:%.*]])
+; CHECK-NEXT: [[TMP2:%.*]] = call reassoc double @llvm.exp2.f64(double [[TMP1]])
+; CHECK-NEXT: [[TMP3:%.*]] = call double @llvm.log2.f64(double [[TMP2]])
+; CHECK-NEXT: [[TMP4:%.*]] = call reassoc double @llvm.exp2.f64(double [[TMP3]])
+; CHECK-NEXT: ret double [[TMP4]]
+;
+ %1 = call double @llvm.log2.f64(double %a)
+ %2 = call reassoc double @llvm.exp2.f64(double %1)
+ %3 = call double @llvm.log2.f64(double %2)
+ %4 = call reassoc double @llvm.exp2.f64(double %3)
+ ret double %4
+}
+
Removed: llvm/trunk/test/Transforms/InstSimplify/log-intrinsic.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Transforms/InstSimplify/log-intrinsic.ll?rev=324960&view=auto
==============================================================================
--- llvm/trunk/test/Transforms/InstSimplify/log-intrinsic.ll (original)
+++ llvm/trunk/test/Transforms/InstSimplify/log-intrinsic.ll (removed)
@@ -1,71 +0,0 @@
-; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
-; RUN: opt < %s -instsimplify -S | FileCheck %s
-
-declare double @llvm.log.f64(double)
-declare double @llvm.exp.f64(double)
-
-define double @log_exp(double %a) {
-; CHECK-LABEL: @log_exp(
-; CHECK-NEXT: [[TMP1:%.*]] = call double @llvm.exp.f64(double [[A:%.*]])
-; CHECK-NEXT: [[TMP2:%.*]] = call double @llvm.log.f64(double [[TMP1]])
-; CHECK-NEXT: ret double [[TMP2]]
-;
- %1 = call double @llvm.exp.f64(double %a)
- %2 = call double @llvm.log.f64(double %1)
- ret double %2
-}
-
-define double @log_exp_fast(double %a) {
-; CHECK-LABEL: @log_exp_fast(
-; CHECK-NEXT: ret double [[A:%.*]]
-;
- %1 = call fast double @llvm.exp.f64(double %a)
- %2 = call fast double @llvm.log.f64(double %1)
- ret double %2
-}
-
-define double @log_fast_exp_strict(double %a) {
-; CHECK-LABEL: @log_fast_exp_strict(
-; CHECK-NEXT: ret double [[A:%.*]]
-;
- %1 = call double @llvm.exp.f64(double %a)
- %2 = call fast double @llvm.log.f64(double %1)
- ret double %2
-}
-
-define double @log_strict_exp_fast(double %a) {
-; CHECK-LABEL: @log_strict_exp_fast(
-; CHECK-NEXT: [[TMP1:%.*]] = call fast double @llvm.exp.f64(double [[A:%.*]])
-; CHECK-NEXT: [[TMP2:%.*]] = call double @llvm.log.f64(double [[TMP1]])
-; CHECK-NEXT: ret double [[TMP2]]
-;
- %1 = call fast double @llvm.exp.f64(double %a)
- %2 = call double @llvm.log.f64(double %1)
- ret double %2
-}
-
-define double @log_exp_log_exp(double %a) {
-; CHECK-LABEL: @log_exp_log_exp(
-; CHECK-NEXT: [[TMP1:%.*]] = call double @llvm.exp.f64(double [[A:%.*]])
-; CHECK-NEXT: [[TMP2:%.*]] = call double @llvm.log.f64(double [[TMP1]])
-; CHECK-NEXT: [[TMP3:%.*]] = call double @llvm.exp.f64(double [[TMP2]])
-; CHECK-NEXT: [[TMP4:%.*]] = call double @llvm.log.f64(double [[TMP3]])
-; CHECK-NEXT: ret double [[TMP4]]
-;
- %1 = call double @llvm.exp.f64(double %a)
- %2 = call double @llvm.log.f64(double %1)
- %3 = call double @llvm.exp.f64(double %2)
- %4 = call double @llvm.log.f64(double %3)
- ret double %4
-}
-
-define double @log_exp_log_exp_fast(double %a) {
-; CHECK-LABEL: @log_exp_log_exp_fast(
-; CHECK-NEXT: ret double [[A:%.*]]
-;
- %1 = call fast double @llvm.exp.f64(double %a)
- %2 = call fast double @llvm.log.f64(double %1)
- %3 = call fast double @llvm.exp.f64(double %2)
- %4 = call fast double @llvm.log.f64(double %3)
- ret double %4
-}
Removed: llvm/trunk/test/Transforms/InstSimplify/log2-intrinsic.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Transforms/InstSimplify/log2-intrinsic.ll?rev=324960&view=auto
==============================================================================
--- llvm/trunk/test/Transforms/InstSimplify/log2-intrinsic.ll (original)
+++ llvm/trunk/test/Transforms/InstSimplify/log2-intrinsic.ll (removed)
@@ -1,71 +0,0 @@
-; 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.exp2.f64(double)
-
-define double @log2_exp2(double %a) {
-; CHECK-LABEL: @log2_exp2(
-; CHECK-NEXT: [[TMP1:%.*]] = call double @llvm.exp2.f64(double [[A:%.*]])
-; CHECK-NEXT: [[TMP2:%.*]] = call double @llvm.log2.f64(double [[TMP1]])
-; CHECK-NEXT: ret double [[TMP2]]
-;
- %1 = call double @llvm.exp2.f64(double %a)
- %2 = call double @llvm.log2.f64(double %1)
- ret double %2
-}
-
-define double @log2_exp2_fast(double %a) {
-; CHECK-LABEL: @log2_exp2_fast(
-; CHECK-NEXT: ret double [[A:%.*]]
-;
- %1 = call fast double @llvm.exp2.f64(double %a)
- %2 = call fast double @llvm.log2.f64(double %1)
- ret double %2
-}
-
-define double @log2_fast_exp2_strict(double %a) {
-; CHECK-LABEL: @log2_fast_exp2_strict(
-; CHECK-NEXT: ret double [[A:%.*]]
-;
- %1 = call double @llvm.exp2.f64(double %a)
- %2 = call fast double @llvm.log2.f64(double %1)
- ret double %2
-}
-
-define double @log2_strict_exp2_fast(double %a) {
-; CHECK-LABEL: @log2_strict_exp2_fast(
-; CHECK-NEXT: [[TMP1:%.*]] = call fast double @llvm.exp2.f64(double [[A:%.*]])
-; CHECK-NEXT: [[TMP2:%.*]] = call double @llvm.log2.f64(double [[TMP1]])
-; CHECK-NEXT: ret double [[TMP2]]
-;
- %1 = call fast double @llvm.exp2.f64(double %a)
- %2 = call double @llvm.log2.f64(double %1)
- ret double %2
-}
-
-define double @log2_exp2_log2_exp2(double %a) {
-; CHECK-LABEL: @log2_exp2_log2_exp2(
-; CHECK-NEXT: [[TMP1:%.*]] = call double @llvm.exp2.f64(double [[A:%.*]])
-; CHECK-NEXT: [[TMP2:%.*]] = call double @llvm.log2.f64(double [[TMP1]])
-; CHECK-NEXT: [[TMP3:%.*]] = call double @llvm.exp2.f64(double [[TMP2]])
-; CHECK-NEXT: [[TMP4:%.*]] = call double @llvm.log2.f64(double [[TMP3]])
-; CHECK-NEXT: ret double [[TMP4]]
-;
- %1 = call double @llvm.exp2.f64(double %a)
- %2 = call double @llvm.log2.f64(double %1)
- %3 = call double @llvm.exp2.f64(double %2)
- %4 = call double @llvm.log2.f64(double %3)
- ret double %4
-}
-
-define double @log2_exp2_log2_exp2_fast(double %a) {
-; CHECK-LABEL: @log2_exp2_log2_exp2_fast(
-; CHECK-NEXT: ret double [[A:%.*]]
-;
- %1 = call fast double @llvm.exp2.f64(double %a)
- %2 = call fast double @llvm.log2.f64(double %1)
- %3 = call fast double @llvm.exp2.f64(double %2)
- %4 = call fast double @llvm.log2.f64(double %3)
- ret double %4
-}
More information about the llvm-commits
mailing list