1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
2 ; RUN: opt -S -instcombine < %s | FileCheck %s
4 declare double @llvm.exp2.f64(double) nounwind readnone speculatable
5 declare void @use(double)
7 ; exp2(a) * exp2(b) no reassoc flags
8 define double @exp2_a_exp2_b(double %a, double %b) {
9 ; CHECK-LABEL: @exp2_a_exp2_b(
10 ; CHECK-NEXT: [[T:%.*]] = call double @llvm.exp2.f64(double [[A:%.*]])
11 ; CHECK-NEXT: [[T1:%.*]] = call double @llvm.exp2.f64(double [[B:%.*]])
12 ; CHECK-NEXT: [[MUL:%.*]] = fmul double [[T]], [[T1]]
13 ; CHECK-NEXT: ret double [[MUL]]
15 %t = call double @llvm.exp2.f64(double %a)
16 %t1 = call double @llvm.exp2.f64(double %b)
17 %mul = fmul double %t, %t1
21 ; exp2(a) * exp2(b) reassoc, multiple uses
22 define double @exp2_a_exp2_b_multiple_uses(double %a, double %b) {
23 ; CHECK-LABEL: @exp2_a_exp2_b_multiple_uses(
24 ; CHECK-NEXT: [[T1:%.*]] = call double @llvm.exp2.f64(double [[B:%.*]])
25 ; CHECK-NEXT: [[TMP1:%.*]] = fadd reassoc double [[A:%.*]], [[B]]
26 ; CHECK-NEXT: [[TMP2:%.*]] = call reassoc double @llvm.exp2.f64(double [[TMP1]])
27 ; CHECK-NEXT: call void @use(double [[T1]])
28 ; CHECK-NEXT: ret double [[TMP2]]
30 %t = call double @llvm.exp2.f64(double %a)
31 %t1 = call double @llvm.exp2.f64(double %b)
32 %mul = fmul reassoc double %t, %t1
33 call void @use(double %t1)
37 define double @exp2_a_a(double %a) {
38 ; CHECK-LABEL: @exp2_a_a(
39 ; CHECK-NEXT: [[T:%.*]] = fadd reassoc double [[A:%.*]], [[A]]
40 ; CHECK-NEXT: [[E:%.*]] = call reassoc double @llvm.exp2.f64(double [[T]])
41 ; CHECK-NEXT: ret double [[E]]
43 %t = call double @llvm.exp2.f64(double %a)
44 %m = fmul reassoc double %t, %t
48 ; exp2(a) * exp2(b) reassoc, both with multiple uses
49 define double @exp2_a_exp2_b_multiple_uses_both(double %a, double %b) {
50 ; CHECK-LABEL: @exp2_a_exp2_b_multiple_uses_both(
51 ; CHECK-NEXT: [[T:%.*]] = call double @llvm.exp2.f64(double [[A:%.*]])
52 ; CHECK-NEXT: [[T1:%.*]] = call double @llvm.exp2.f64(double [[B:%.*]])
53 ; CHECK-NEXT: [[MUL:%.*]] = fmul reassoc double [[T]], [[T1]]
54 ; CHECK-NEXT: call void @use(double [[T]])
55 ; CHECK-NEXT: call void @use(double [[T1]])
56 ; CHECK-NEXT: ret double [[MUL]]
58 %t = call double @llvm.exp2.f64(double %a)
59 %t1 = call double @llvm.exp2.f64(double %b)
60 %mul = fmul reassoc double %t, %t1
61 call void @use(double %t)
62 call void @use(double %t1)
66 ; exp2(a) * exp2(b) => exp2(a+b) with reassoc
67 define double @exp2_a_exp2_b_reassoc(double %a, double %b) {
68 ; CHECK-LABEL: @exp2_a_exp2_b_reassoc(
69 ; CHECK-NEXT: [[TMP1:%.*]] = fadd reassoc double [[A:%.*]], [[B:%.*]]
70 ; CHECK-NEXT: [[TMP2:%.*]] = call reassoc double @llvm.exp2.f64(double [[TMP1]])
71 ; CHECK-NEXT: ret double [[TMP2]]
73 %t = call double @llvm.exp2.f64(double %a)
74 %t1 = call double @llvm.exp2.f64(double %b)
75 %mul = fmul reassoc double %t, %t1
79 ; exp2(a) * exp2(b) * exp2(c) * exp2(d) => exp2(a+b+c+d) with reassoc
80 define double @exp2_a_exp2_b_exp2_c_exp2_d(double %a, double %b, double %c, double %d) {
81 ; CHECK-LABEL: @exp2_a_exp2_b_exp2_c_exp2_d(
82 ; CHECK-NEXT: [[TMP1:%.*]] = fadd reassoc double [[A:%.*]], [[B:%.*]]
83 ; CHECK-NEXT: [[TMP2:%.*]] = fadd reassoc double [[TMP1]], [[C:%.*]]
84 ; CHECK-NEXT: [[TMP3:%.*]] = fadd reassoc double [[TMP2]], [[D:%.*]]
85 ; CHECK-NEXT: [[TMP4:%.*]] = call reassoc double @llvm.exp2.f64(double [[TMP3]])
86 ; CHECK-NEXT: ret double [[TMP4]]
88 %t = call double @llvm.exp2.f64(double %a)
89 %t1 = call double @llvm.exp2.f64(double %b)
90 %mul = fmul reassoc double %t, %t1
91 %t2 = call double @llvm.exp2.f64(double %c)
92 %mul1 = fmul reassoc double %mul, %t2
93 %t3 = call double @llvm.exp2.f64(double %d)
94 %mul2 = fmul reassoc double %mul1, %t3