blob: faaef97311ec545e6ecd8548486dfc3bffa82935 [file] [log] [blame]
Davide Italianob8b71332015-11-29 20:58:04 +00001; RUN: opt < %s -instcombine -S | FileCheck %s
2
Davide Italiano9c261612015-11-30 19:38:35 +00003define double @mylog(double %x, double %y) {
Davide Italianob8b71332015-11-29 20:58:04 +00004entry:
5 %pow = call double @llvm.pow.f64(double %x, double %y)
Davide Italiano9c261612015-11-30 19:38:35 +00006 %call = call double @log(double %pow)
Davide Italianob8b71332015-11-29 20:58:04 +00007 ret double %call
8}
9
10; CHECK-LABEL: define double @mylog(
11; CHECK: %pow = call double @llvm.pow.f64(double %x, double %y)
12; CHECK: %call = call double @log(double %pow)
13; CHECK: ret double %call
14; CHECK: }
15
Davide Italiano9c261612015-11-30 19:38:35 +000016define double @test3(double %x) {
17 %call2 = call double @exp2(double %x)
18 %call3 = call double @log(double %call2)
Davide Italiano1aeed6a2015-11-30 19:36:35 +000019 ret double %call3
20}
21
22; CHECK-LABEL: @test3
23; CHECK: %call2 = call double @exp2(double %x)
24; CHECK: %call3 = call double @log(double %call2)
25; CHECK: ret double %call3
26; CHECK: }
27
Davide Italiano9c261612015-11-30 19:38:35 +000028declare double @log(double)
Davide Italiano1aeed6a2015-11-30 19:36:35 +000029declare double @exp2(double)
Davide Italianob8b71332015-11-29 20:58:04 +000030declare double @llvm.pow.f64(double, double)