1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
2; RUN: opt -S -instcombine < %s | FileCheck %s
3
4declare double @llvm.exp.f64(double) nounwind readnone speculatable
5declare void @use(double)
6
7; exp(a) * exp(b) no reassoc flags
8define double @exp_a_exp_b(double %a, double %b) {
9; CHECK-LABEL: @exp_a_exp_b(
10; CHECK-NEXT:    [[TMP:%.*]] = call double @llvm.exp.f64(double [[A:%.*]])
11; CHECK-NEXT:    [[TMP1:%.*]] = call double @llvm.exp.f64(double [[B:%.*]])
12; CHECK-NEXT:    [[MUL:%.*]] = fmul double [[TMP]], [[TMP1]]
13; CHECK-NEXT:    ret double [[MUL]]
14;
15  %tmp = call double @llvm.exp.f64(double %a)
16  %tmp1 = call double @llvm.exp.f64(double %b)
17  %mul = fmul double %tmp, %tmp1
18  ret double %mul
19}
20
21; exp(a) * exp(b) reassoc, multiple uses
22define double @exp_a_exp_b_multiple_uses(double %a, double %b) {
23; CHECK-LABEL: @exp_a_exp_b_multiple_uses(
24; CHECK-NEXT:    [[TMP1:%.*]] = call double @llvm.exp.f64(double [[B:%.*]])
25; CHECK-NEXT:    [[TMP:%.*]] = fadd reassoc double [[A:%.*]], [[B]]
26; CHECK-NEXT:    [[TMP2:%.*]] = call reassoc double @llvm.exp.f64(double [[TMP]])
27; CHECK-NEXT:    call void @use(double [[TMP1]])
28; CHECK-NEXT:    ret double [[TMP2]]
29;
30  %tmp = call double @llvm.exp.f64(double %a)
31  %tmp1 = call double @llvm.exp.f64(double %b)
32  %mul = fmul reassoc double %tmp, %tmp1
33  call void @use(double %tmp1)
34  ret double %mul
35}
36
37; exp(a) * exp(b) reassoc, both with multiple uses
38define double @exp_a_exp_b_multiple_uses_both(double %a, double %b) {
39; CHECK-LABEL: @exp_a_exp_b_multiple_uses_both(
40; CHECK-NEXT:    [[TMP:%.*]] = call double @llvm.exp.f64(double [[A:%.*]])
41; CHECK-NEXT:    [[TMP1:%.*]] = call double @llvm.exp.f64(double [[B:%.*]])
42; CHECK-NEXT:    [[MUL:%.*]] = fmul reassoc double [[TMP]], [[TMP1]]
43; CHECK-NEXT:    call void @use(double [[TMP]])
44; CHECK-NEXT:    call void @use(double [[TMP1]])
45; CHECK-NEXT:    ret double [[MUL]]
46;
47  %tmp = call double @llvm.exp.f64(double %a)
48  %tmp1 = call double @llvm.exp.f64(double %b)
49  %mul = fmul reassoc double %tmp, %tmp1
50  call void @use(double %tmp)
51  call void @use(double %tmp1)
52  ret double %mul
53}
54
55; exp(a) * exp(b) => exp(a+b) with reassoc
56define double @exp_a_exp_b_reassoc(double %a, double %b) {
57; CHECK-LABEL: @exp_a_exp_b_reassoc(
58; CHECK-NEXT:    [[TMP:%.*]] = fadd reassoc double [[A:%.*]], [[B:%.*]]
59; CHECK-NEXT:    [[TMP1:%.*]] = call reassoc double @llvm.exp.f64(double [[TMP]])
60; CHECK-NEXT:    ret double [[TMP1]]
61;
62  %tmp = call double @llvm.exp.f64(double %a)
63  %tmp1 = call double @llvm.exp.f64(double %b)
64  %mul = fmul reassoc double %tmp, %tmp1
65  ret double %mul
66}
67
68; exp(a) * exp(b) * exp(c) * exp(d) => exp(a+b+c+d) with reassoc
69define double @exp_a_exp_b_exp_c_exp_d_fast(double %a, double %b, double %c, double %d) {
70; CHECK-LABEL: @exp_a_exp_b_exp_c_exp_d_fast(
71; CHECK-NEXT:    [[TMP:%.*]] = fadd reassoc double [[A:%.*]], [[B:%.*]]
72; CHECK-NEXT:    [[TMP1:%.*]] = fadd reassoc double [[TMP]], [[C:%.*]]
73; CHECK-NEXT:    [[TMP2:%.*]] = fadd reassoc double [[TMP1]], [[D:%.*]]
74; CHECK-NEXT:    [[TMP3:%.*]] = call reassoc double @llvm.exp.f64(double [[TMP2]])
75; CHECK-NEXT:    ret double [[TMP3]]
76;
77  %tmp = call double @llvm.exp.f64(double %a)
78  %tmp1 = call double @llvm.exp.f64(double %b)
79  %mul = fmul reassoc double %tmp, %tmp1
80  %tmp2 = call double @llvm.exp.f64(double %c)
81  %mul1 = fmul reassoc double %mul, %tmp2
82  %tmp3 = call double @llvm.exp.f64(double %d)
83  %mul2 = fmul reassoc double %mul1, %tmp3
84  ret double %mul2
85}
86