Page MenuHomePhabricator
Differential D41381 Diff 128406 test/Transforms/InstSimplify/exp-intrinsic.ll

Changeset View

Standalone View

View Options

test/Transforms/InstSimplify/exp-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.exp.f64(double)
declare double @llvm.log.f64(double)
spatelUnsubmitted
Not Done
ReplyInline Actions

It's a matter of taste, but since these are highly similar transforms, I'd put all of the tests together in one test file to match the fact that they're all handled together in one block of code.

spatel: It's a matter of taste, but since these are highly similar transforms, I'd put all of the tests…
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_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)
spatelUnsubmitted
Not Done
ReplyInline Actions

Looking back at the discussion in D5584, I think this is correct. Only the later op needs to be relaxed to do the transform.

spatel: Looking back at the discussion in D5584, I think this is correct. Only the later op needs to be…
%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
}