Page MenuHomePhabricator

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

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

Changeset View

Standalone View

View Options

test/Transforms/InstSimplify/log2-pow2-intrinsic.ll

  • This file was added.
; 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: [[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_reassoc(double %x) {
; CHECK-LABEL: @log2_strict_pow2_reassoc(
; CHECK-NEXT: [[TMP1:%.*]] = call reassoc 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 reassoc double @llvm.pow.f64(double 2.000000e+00, double %x)
%2 = call double @llvm.log2.f64(double %1)
ret double %2
}
define double @log2_reassoc_pow2_strict(double %x) {
; CHECK-LABEL: @log2_reassoc_pow2_strict(
; CHECK-NEXT: ret double [[X:%.*]]
;
%1 = call double @llvm.pow.f64(double 2.000000e+00, double %x)
%2 = call reassoc double @llvm.log2.f64(double %1)
ret double %2
}
define double @log2_pow2_reassoc(double %x) {
; CHECK-LABEL: @log2_pow2_reassoc(
; CHECK-NEXT: ret double [[X:%.*]]
;
%1 = call reassoc double @llvm.pow.f64(double 2.000000e+00, double %x)
%2 = call reassoc double @llvm.log2.f64(double %1)
ret double %2
}