Page MenuHomePhabricator

Please use GitHub pull requests for new patches. Avoid migrating existing patches. Phabricator shutdown timeline

Differential D41940 Diff 129409 test/Transforms/InstSimplify/log2-intrinsic.ll

Changeset View

Standalone View

View Options

test/Transforms/InstSimplify/log2-intrinsic.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -instsimplify -S | FileCheck %s ; RUN: opt < %s -instsimplify -S | FileCheck %s
declare double @llvm.log2.f64(double) declare double @llvm.log2.f64(double)
declare double @llvm.exp2.f64(double) declare double @llvm.exp2.f64(double)
declare double @llvm.pow.f64(double, double)
define double @log2_exp2(double %a) { define double @log2_exp2(double %a) {
; CHECK-LABEL: @log2_exp2( ; CHECK-LABEL: @log2_exp2(
; CHECK-NEXT: [[TMP1:%.*]] = call double @llvm.exp2.f64(double [[A:%.*]]) ; CHECK-NEXT: [[TMP1:%.*]] = call double @llvm.exp2.f64(double [[A:%.*]])
; CHECK-NEXT: [[TMP2:%.*]] = call double @llvm.log2.f64(double [[TMP1]]) ; CHECK-NEXT: [[TMP2:%.*]] = call double @llvm.log2.f64(double [[TMP1]])
; CHECK-NEXT: ret double [[TMP2]] ; CHECK-NEXT: ret double [[TMP2]]
; ;
%1 = call double @llvm.exp2.f64(double %a) %1 = call double @llvm.exp2.f64(double %a)
▲ Show 20 Lines • Show All 50 Lines • ▼ Show 20 Lines
; CHECK-NEXT: ret double [[A:%.*]] ; CHECK-NEXT: ret double [[A:%.*]]
; ;
%1 = call fast double @llvm.exp2.f64(double %a) %1 = call fast double @llvm.exp2.f64(double %a)
%2 = call fast double @llvm.log2.f64(double %1) %2 = call fast double @llvm.log2.f64(double %1)
%3 = call fast double @llvm.exp2.f64(double %2) %3 = call fast double @llvm.exp2.f64(double %2)
%4 = call fast double @llvm.log2.f64(double %3) %4 = call fast double @llvm.log2.f64(double %3)
ret double %4 ret double %4
} }
define double @log2_pow2(double %x) {
; CHECK-LABEL: @log2_pow2(
; CHECK-NEXT: [[TMP1:%.*]] = call double @llvm.pow.f64(double 2.000000e+00, double [[X:%.*]])
; CHECK-NEXT: [[TMP2:%.*]] = call double @llvm.log2.f64(double [[TMP1]])
; CHECK-NEXT: ret double [[TMP2]]
;
%1 = call double @llvm.pow.f64(double 2.000000e+00, double %x)
%2 = call double @llvm.log2.f64(double %1)
ret double %2
}
define double @log2_strict_pow2_fast(double %x) {
; CHECK-LABEL: @log2_strict_pow2_fast(
; CHECK-NEXT: [[TMP1:%.*]] = call fast double @llvm.pow.f64(double 2.000000e+00, double [[X:%.*]])
; CHECK-NEXT: [[TMP2:%.*]] = call double @llvm.log2.f64(double [[TMP1]])
; CHECK-NEXT: ret double [[TMP2]]
;
%1 = call fast double @llvm.pow.f64(double 2.000000e+00, double %x)
%2 = call double @llvm.log2.f64(double %1)
ret double %2
}
define double @log2_fast_pow2_strict(double %x) {
; CHECK-LABEL: @log2_fast_pow2_strict(
; CHECK-NEXT: ret double [[X:%.*]]
;
%1 = call double @llvm.pow.f64(double 2.000000e+00, double %x)
%2 = call fast double @llvm.log2.f64(double %1)
ret double %2
}
define double @log2_pow2_fast(double %x) {
; CHECK-LABEL: @log2_pow2_fast(
; CHECK-NEXT: ret double [[X:%.*]]
;
%1 = call fast double @llvm.pow.f64(double 2.000000e+00, double %x)
%2 = call fast double @llvm.log2.f64(double %1)
ret double %2
}