112 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt -S -passes=instcombine < %s | FileCheck %s3 4declare double @llvm.exp.f64(double) nounwind readnone speculatable5declare void @use(double)6 7; exp(a) * exp(b) no reassoc flags8define double @exp_a_exp_b(double %a, double %b) {9; CHECK-LABEL: @exp_a_exp_b(10; CHECK-NEXT: [[T:%.*]] = call double @llvm.exp.f64(double [[A:%.*]])11; CHECK-NEXT: [[T1:%.*]] = call double @llvm.exp.f64(double [[B:%.*]])12; CHECK-NEXT: [[MUL:%.*]] = fmul double [[T]], [[T1]]13; CHECK-NEXT: ret double [[MUL]]14;15 %t = call double @llvm.exp.f64(double %a)16 %t1 = call double @llvm.exp.f64(double %b)17 %mul = fmul double %t, %t118 ret double %mul19}20 21; exp(a) * exp(b) reassoc, multiple uses22define double @exp_a_exp_b_multiple_uses(double %a, double %b) {23; CHECK-LABEL: @exp_a_exp_b_multiple_uses(24; CHECK-NEXT: [[T1:%.*]] = call double @llvm.exp.f64(double [[B:%.*]])25; CHECK-NEXT: [[TMP1:%.*]] = fadd reassoc double [[A:%.*]], [[B]]26; CHECK-NEXT: [[MUL:%.*]] = call reassoc double @llvm.exp.f64(double [[TMP1]])27; CHECK-NEXT: call void @use(double [[T1]])28; CHECK-NEXT: ret double [[MUL]]29;30 %t = call double @llvm.exp.f64(double %a)31 %t1 = call double @llvm.exp.f64(double %b)32 %mul = fmul reassoc double %t, %t133 call void @use(double %t1)34 ret double %mul35}36 37; exp(a) * exp(b) reassoc, both with multiple uses38define 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: [[T:%.*]] = call double @llvm.exp.f64(double [[A:%.*]])41; CHECK-NEXT: [[T1:%.*]] = call double @llvm.exp.f64(double [[B:%.*]])42; CHECK-NEXT: [[MUL:%.*]] = fmul reassoc double [[T]], [[T1]]43; CHECK-NEXT: call void @use(double [[T]])44; CHECK-NEXT: call void @use(double [[T1]])45; CHECK-NEXT: ret double [[MUL]]46;47 %t = call double @llvm.exp.f64(double %a)48 %t1 = call double @llvm.exp.f64(double %b)49 %mul = fmul reassoc double %t, %t150 call void @use(double %t)51 call void @use(double %t1)52 ret double %mul53}54 55; exp(a) * exp(b) => exp(a+b) with reassoc56define double @exp_a_exp_b_reassoc(double %a, double %b) {57; CHECK-LABEL: @exp_a_exp_b_reassoc(58; CHECK-NEXT: [[TMP1:%.*]] = fadd reassoc double [[A:%.*]], [[B:%.*]]59; CHECK-NEXT: [[MUL:%.*]] = call reassoc double @llvm.exp.f64(double [[TMP1]])60; CHECK-NEXT: ret double [[MUL]]61;62 %t = call double @llvm.exp.f64(double %a)63 %t1 = call double @llvm.exp.f64(double %b)64 %mul = fmul reassoc double %t, %t165 ret double %mul66}67 68define double @exp_a_a(double %a) {69; CHECK-LABEL: @exp_a_a(70; CHECK-NEXT: [[TMP1:%.*]] = fadd reassoc double [[A:%.*]], [[A]]71; CHECK-NEXT: [[M:%.*]] = call reassoc double @llvm.exp.f64(double [[TMP1]])72; CHECK-NEXT: ret double [[M]]73;74 %t = call double @llvm.exp.f64(double %a)75 %m = fmul reassoc double %t, %t76 ret double %m77}78 79; negative test80 81define double @exp_a_a_extra_use(double %a) {82; CHECK-LABEL: @exp_a_a_extra_use(83; CHECK-NEXT: [[T:%.*]] = call double @llvm.exp.f64(double [[A:%.*]])84; CHECK-NEXT: call void @use(double [[T]])85; CHECK-NEXT: [[M:%.*]] = fmul reassoc double [[T]], [[T]]86; CHECK-NEXT: ret double [[M]]87;88 %t = call double @llvm.exp.f64(double %a)89 call void @use(double %t)90 %m = fmul reassoc double %t, %t91 ret double %m92}93 94; exp(a) * exp(b) * exp(c) * exp(d) => exp(a+b+c+d) with reassoc95define double @exp_a_exp_b_exp_c_exp_d_fast(double %a, double %b, double %c, double %d) {96; CHECK-LABEL: @exp_a_exp_b_exp_c_exp_d_fast(97; CHECK-NEXT: [[TMP1:%.*]] = fadd reassoc double [[A:%.*]], [[B:%.*]]98; CHECK-NEXT: [[TMP2:%.*]] = fadd reassoc double [[TMP1]], [[C:%.*]]99; CHECK-NEXT: [[TMP3:%.*]] = fadd reassoc double [[TMP2]], [[D:%.*]]100; CHECK-NEXT: [[MUL2:%.*]] = call reassoc double @llvm.exp.f64(double [[TMP3]])101; CHECK-NEXT: ret double [[MUL2]]102;103 %t = call double @llvm.exp.f64(double %a)104 %t1 = call double @llvm.exp.f64(double %b)105 %mul = fmul reassoc double %t, %t1106 %t2 = call double @llvm.exp.f64(double %c)107 %mul1 = fmul reassoc double %mul, %t2108 %t3 = call double @llvm.exp.f64(double %d)109 %mul2 = fmul reassoc double %mul1, %t3110 ret double %mul2111}112