Differential D41381 Diff 128406 test/Transforms/InstSimplify/log-intrinsic.ll

Changeset View

Standalone View

test/Transforms/InstSimplify/log-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.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_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
				}