| Dmitry Venikov | 4c81a2b | 2019-01-31 07:38:19 +0000 | [diff] [blame] | 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.log10.f64(double) |
| 5 | declare double @llvm.pow.f64(double, double) |
| 6 | |
| 7 | define double @log10_pow10(double %x) { |
| 8 | ; CHECK-LABEL: @log10_pow10( |
| 9 | ; CHECK-NEXT: [[TMP1:%.*]] = call double @llvm.pow.f64(double 1.000000e+01, double [[X:%.*]]) |
| 10 | ; CHECK-NEXT: [[TMP2:%.*]] = call double @llvm.log10.f64(double [[TMP1]]) |
| 11 | ; CHECK-NEXT: ret double [[TMP2]] |
| 12 | ; |
| 13 | %tmp = call double @llvm.pow.f64(double 1.000000e+01, double %x) |
| 14 | %tmp1 = call double @llvm.log10.f64(double %tmp) |
| 15 | ret double %tmp1 |
| 16 | } |
| 17 | |
| 18 | define double @log10_strict_pow10_reassoc(double %x) { |
| 19 | ; CHECK-LABEL: @log10_strict_pow10_reassoc( |
| 20 | ; CHECK-NEXT: [[TMP1:%.*]] = call reassoc double @llvm.pow.f64(double 1.000000e+01, double [[X:%.*]]) |
| 21 | ; CHECK-NEXT: [[TMP2:%.*]] = call double @llvm.log10.f64(double [[TMP1]]) |
| 22 | ; CHECK-NEXT: ret double [[TMP2]] |
| 23 | ; |
| 24 | %tmp = call reassoc double @llvm.pow.f64(double 1.000000e+01, double %x) |
| 25 | %tmp1 = call double @llvm.log10.f64(double %tmp) |
| 26 | ret double %tmp1 |
| 27 | } |
| 28 | |
| 29 | define double @log10_reassoc_pow10_strict(double %x) { |
| 30 | ; CHECK-LABEL: @log10_reassoc_pow10_strict( |
| Dmitry Venikov | aaa709f | 2019-02-03 03:48:30 +0000 | [diff] [blame^] | 31 | ; CHECK-NEXT: ret double [[X:%.*]] |
| Dmitry Venikov | 4c81a2b | 2019-01-31 07:38:19 +0000 | [diff] [blame] | 32 | ; |
| 33 | %tmp = call double @llvm.pow.f64(double 1.000000e+01, double %x) |
| 34 | %tmp1 = call reassoc double @llvm.log10.f64(double %tmp) |
| 35 | ret double %tmp1 |
| 36 | } |
| 37 | |
| 38 | define double @log10_pow10_reassoc(double %x) { |
| 39 | ; CHECK-LABEL: @log10_pow10_reassoc( |
| Dmitry Venikov | aaa709f | 2019-02-03 03:48:30 +0000 | [diff] [blame^] | 40 | ; CHECK-NEXT: ret double [[X:%.*]] |
| Dmitry Venikov | 4c81a2b | 2019-01-31 07:38:19 +0000 | [diff] [blame] | 41 | ; |
| 42 | %tmp = call reassoc double @llvm.pow.f64(double 1.000000e+01, double %x) |
| 43 | %tmp1 = call reassoc double @llvm.log10.f64(double %tmp) |
| 44 | ret double %tmp1 |
| 45 | } |