1 ; RUN: opt < %s -instcombine -S | FileCheck %s
3 define double @mylog(double %x, double %y) #0 {
5 %pow = call double @llvm.pow.f64(double %x, double %y)
6 %call = call double @log(double %pow) #0
10 ; CHECK-LABEL: define double @mylog(
11 ; CHECK: %log = call double @log(double %x) #0
12 ; CHECK: %mul = fmul fast double %log, %y
13 ; CHECK: ret double %mul
16 define double @test2(double ()* %fptr, double %p1) #0 {
17 %call1 = call double %fptr()
18 %pow = call double @log(double %call1)
25 define double @test3(double %x) #0 {
26 %call2 = call double @exp2(double %x) #0
27 %call3 = call double @log(double %call2) #0
32 ; CHECK: %call2 = call double @exp2(double %x) #0
33 ; CHECK: %logmul = fmul fast double %x, 0x3FE62E42FEFA39EF
34 ; CHECK: ret double %logmul
37 declare double @log(double) #0
38 declare double @exp2(double) #0
39 declare double @llvm.pow.f64(double, double)
41 attributes #0 = { "unsafe-fp-math"="true" }