1
0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2024-11-24 11:42:57 +01:00

Commit tests for changes in revision D41940

llvm-svn: 352734
This commit is contained in:
Dmitry Venikov 2019-01-31 07:38:19 +00:00
parent be96a2d9e7
commit 63be0818ee
2 changed files with 98 additions and 0 deletions

View File

@ -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
}

View File

@ -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
}