test/Transforms/InstSimplify/log-exp-intrinsic.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt < %s -instsimplify -S | FileCheck %s
   3
   4 declare double @llvm.log.f64(double)
   5 declare double @llvm.exp.f64(double)
   6 declare double @llvm.log2.f64(double)
   7 declare double @llvm.exp2.f64(double)
   8
   9 define double @log_reassoc_exp_strict(double %a) {
  10 ; CHECK-LABEL: @log_reassoc_exp_strict(
  11 ; CHECK-NEXT:    ret double [[A:%.*]]
  12 ;
  13   %1 = call double @llvm.exp.f64(double %a)
  14   %2 = call reassoc double @llvm.log.f64(double %1)
  15   ret double %2
  16 }
  17
  18 define double @log_strict_exp_reassoc(double %a) {
  19 ; CHECK-LABEL: @log_strict_exp_reassoc(
  20 ; CHECK-NEXT:    [[TMP1:%.*]] = call reassoc double @llvm.exp.f64(double [[A:%.*]])
  21 ; CHECK-NEXT:    [[TMP2:%.*]] = call double @llvm.log.f64(double [[TMP1]])
  22 ; CHECK-NEXT:    ret double [[TMP2]]
  23 ;
  24   %1 = call reassoc double @llvm.exp.f64(double %a)
  25   %2 = call double @llvm.log.f64(double %1)
  26   ret double %2
  27 }
  28
  29 define double @log_exp_log_exp(double %a) {
  30 ; CHECK-LABEL: @log_exp_log_exp(
  31 ; CHECK-NEXT:    [[TMP1:%.*]] = call double @llvm.exp.f64(double [[A:%.*]])
  32 ; CHECK-NEXT:    [[TMP2:%.*]] = call double @llvm.log.f64(double [[TMP1]])
  33 ; CHECK-NEXT:    [[TMP3:%.*]] = call double @llvm.exp.f64(double [[TMP2]])
  34 ; CHECK-NEXT:    [[TMP4:%.*]] = call double @llvm.log.f64(double [[TMP3]])
  35 ; CHECK-NEXT:    ret double [[TMP4]]
  36 ;
  37   %1 = call double @llvm.exp.f64(double %a)
  38   %2 = call double @llvm.log.f64(double %1)
  39   %3 = call double @llvm.exp.f64(double %2)
  40   %4 = call double @llvm.log.f64(double %3)
  41   ret double %4
  42 }
  43
  44 define double @log_exp_log_exp_reassoc(double %a) {
  45 ; CHECK-LABEL: @log_exp_log_exp_reassoc(
  46 ; CHECK-NEXT:    ret double [[A:%.*]]
  47 ;
  48   %1 = call double @llvm.exp.f64(double %a)
  49   %2 = call reassoc double @llvm.log.f64(double %1)
  50   %3 = call double @llvm.exp.f64(double %2)
  51   %4 = call reassoc double @llvm.log.f64(double %3)
  52   ret double %4
  53 }
  54
  55 define double @log2_reassoc_exp2_strict(double %a) {
  56 ; CHECK-LABEL: @log2_reassoc_exp2_strict(
  57 ; CHECK-NEXT:    ret double [[A:%.*]]
  58 ;
  59   %1 = call double @llvm.exp2.f64(double %a)
  60   %2 = call reassoc double @llvm.log2.f64(double %1)
  61   ret double %2
  62 }
  63
  64 define double @log2_strict_exp2_reassoc(double %a) {
  65 ; CHECK-LABEL: @log2_strict_exp2_reassoc(
  66 ; CHECK-NEXT:    [[TMP1:%.*]] = call reassoc double @llvm.exp2.f64(double [[A:%.*]])
  67 ; CHECK-NEXT:    [[TMP2:%.*]] = call double @llvm.log2.f64(double [[TMP1]])
  68 ; CHECK-NEXT:    ret double [[TMP2]]
  69 ;
  70   %1 = call reassoc double @llvm.exp2.f64(double %a)
  71   %2 = call double @llvm.log2.f64(double %1)
  72   ret double %2
  73 }
  74
  75 define double @log2_exp2_log2_exp2(double %a) {
  76 ; CHECK-LABEL: @log2_exp2_log2_exp2(
  77 ; CHECK-NEXT:    [[TMP1:%.*]] = call double @llvm.exp2.f64(double [[A:%.*]])
  78 ; CHECK-NEXT:    [[TMP2:%.*]] = call double @llvm.log2.f64(double [[TMP1]])
  79 ; CHECK-NEXT:    [[TMP3:%.*]] = call double @llvm.exp2.f64(double [[TMP2]])
  80 ; CHECK-NEXT:    [[TMP4:%.*]] = call double @llvm.log2.f64(double [[TMP3]])
  81 ; CHECK-NEXT:    ret double [[TMP4]]
  82 ;
  83   %1 = call double @llvm.exp2.f64(double %a)
  84   %2 = call double @llvm.log2.f64(double %1)
  85   %3 = call double @llvm.exp2.f64(double %2)
  86   %4 = call double @llvm.log2.f64(double %3)
  87   ret double %4
  88 }
  89
  90 define double @log2_exp2_log2_exp2_reassoc(double %a) {
  91 ; CHECK-LABEL: @log2_exp2_log2_exp2_reassoc(
  92 ; CHECK-NEXT:    ret double [[A:%.*]]
  93 ;
  94   %1 = call double @llvm.exp2.f64(double %a)
  95   %2 = call reassoc double @llvm.log2.f64(double %1)
  96   %3 = call double @llvm.exp2.f64(double %2)
  97   %4 = call reassoc double @llvm.log2.f64(double %3)
  98   ret double %4
  99 }
 100
 101 define double @exp_reassoc_log_strict(double %a) {
 102 ; CHECK-LABEL: @exp_reassoc_log_strict(
 103 ; CHECK-NEXT:    ret double [[A:%.*]]
 104 ;
 105   %1 = call double @llvm.log.f64(double %a)
 106   %2 = call reassoc double @llvm.exp.f64(double %1)
 107   ret double %2
 108 }
 109
 110 define double @exp_strict_log_reassoc(double %a) {
 111 ; CHECK-LABEL: @exp_strict_log_reassoc(
 112 ; CHECK-NEXT:    [[TMP1:%.*]] = call reassoc double @llvm.log.f64(double [[A:%.*]])
 113 ; CHECK-NEXT:    [[TMP2:%.*]] = call double @llvm.exp.f64(double [[TMP1]])
 114 ; CHECK-NEXT:    ret double [[TMP2]]
 115 ;
 116   %1 = call reassoc double @llvm.log.f64(double %a)
 117   %2 = call double @llvm.exp.f64(double %1)
 118   ret double %2
 119 }
 120
 121 define double @exp_log_exp_log(double %a) {
 122 ; CHECK-LABEL: @exp_log_exp_log(
 123 ; CHECK-NEXT:    [[TMP1:%.*]] = call double @llvm.log.f64(double [[A:%.*]])
 124 ; CHECK-NEXT:    [[TMP2:%.*]] = call double @llvm.exp.f64(double [[TMP1]])
 125 ; CHECK-NEXT:    [[TMP3:%.*]] = call double @llvm.log.f64(double [[TMP2]])
 126 ; CHECK-NEXT:    [[TMP4:%.*]] = call double @llvm.exp.f64(double [[TMP3]])
 127 ; CHECK-NEXT:    ret double [[TMP4]]
 128 ;
 129   %1 = call double @llvm.log.f64(double %a)
 130   %2 = call double @llvm.exp.f64(double %1)
 131   %3 = call double @llvm.log.f64(double %2)
 132   %4 = call double @llvm.exp.f64(double %3)
 133   ret double %4
 134 }
 135
 136 define double @exp_log_exp_log_reassoc(double %a) {
 137 ; CHECK-LABEL: @exp_log_exp_log_reassoc(
 138 ; CHECK-NEXT:    ret double [[A:%.*]]
 139 ;
 140   %1 = call double @llvm.log.f64(double %a)
 141   %2 = call reassoc double @llvm.exp.f64(double %1)
 142   %3 = call double @llvm.log.f64(double %2)
 143   %4 = call reassoc double @llvm.exp.f64(double %3)
 144   ret double %4
 145 }
 146
 147 define double @exp2_reassoc_log2_strict(double %a) {
 148 ; CHECK-LABEL: @exp2_reassoc_log2_strict(
 149 ; CHECK-NEXT:    ret double [[A:%.*]]
 150 ;
 151   %1 = call double @llvm.log2.f64(double %a)
 152   %2 = call reassoc double @llvm.exp2.f64(double %1)
 153   ret double %2
 154 }
 155
 156 define double @exp2_strict_log2_reassoc(double %a) {
 157 ; CHECK-LABEL: @exp2_strict_log2_reassoc(
 158 ; CHECK-NEXT:    [[TMP1:%.*]] = call reassoc double @llvm.log2.f64(double [[A:%.*]])
 159 ; CHECK-NEXT:    [[TMP2:%.*]] = call double @llvm.exp2.f64(double [[TMP1]])
 160 ; CHECK-NEXT:    ret double [[TMP2]]
 161 ;
 162   %1 = call reassoc double @llvm.log2.f64(double %a)
 163   %2 = call double @llvm.exp2.f64(double %1)
 164   ret double %2
 165 }
 166
 167 define double @exp2_log2_exp2_log2(double %a) {
 168 ; CHECK-LABEL: @exp2_log2_exp2_log2(
 169 ; CHECK-NEXT:    [[TMP1:%.*]] = call double @llvm.log2.f64(double [[A:%.*]])
 170 ; CHECK-NEXT:    [[TMP2:%.*]] = call double @llvm.exp2.f64(double [[TMP1]])
 171 ; CHECK-NEXT:    [[TMP3:%.*]] = call double @llvm.log2.f64(double [[TMP2]])
 172 ; CHECK-NEXT:    [[TMP4:%.*]] = call double @llvm.exp2.f64(double [[TMP3]])
 173 ; CHECK-NEXT:    ret double [[TMP4]]
 174 ;
 175   %1 = call double @llvm.log2.f64(double %a)
 176   %2 = call double @llvm.exp2.f64(double %1)
 177   %3 = call double @llvm.log2.f64(double %2)
 178   %4 = call double @llvm.exp2.f64(double %3)
 179   ret double %4
 180 }
 181
 182 define double @exp2_log2_exp2_log2_reassoc(double %a) {
 183 ; CHECK-LABEL: @exp2_log2_exp2_log2_reassoc(
 184 ; CHECK-NEXT:    ret double [[A:%.*]]
 185 ;
 186   %1 = call double @llvm.log2.f64(double %a)
 187   %2 = call reassoc double @llvm.exp2.f64(double %1)
 188   %3 = call double @llvm.log2.f64(double %2)
 189   %4 = call reassoc double @llvm.exp2.f64(double %3)
 190   ret double %4
 191 }
 192