1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py 2 ; RUN: opt < %s -instcombine -S | FileCheck %s 3 4 define double @pow_intrinsic_third_fast(double %x) { 5 ; CHECK-LABEL: @pow_intrinsic_third_fast( 6 ; CHECK-NEXT: [[POW:%.*]] = call fast double @llvm.pow.f64(double [[X:%.*]], double 0x3FD5555555555555) 7 ; CHECK-NEXT: ret double [[POW]] 8 ; 9 %pow = call fast double @llvm.pow.f64(double %x, double 0x3fd5555555555555) 10 ret double %pow 11 } 12 13 define float @powf_intrinsic_third_fast(float %x) { 14 ; CHECK-LABEL: @powf_intrinsic_third_fast( 15 ; CHECK-NEXT: [[POW:%.*]] = call fast float @llvm.pow.f32(float [[X:%.*]], float 0x3FD5555560000000) 16 ; CHECK-NEXT: ret float [[POW]] 17 ; 18 %pow = call fast float @llvm.pow.f32(float %x, float 0x3fd5555560000000) 19 ret float %pow 20 } 21 22 define double @pow_intrinsic_third_approx(double %x) { 23 ; CHECK-LABEL: @pow_intrinsic_third_approx( 24 ; CHECK-NEXT: [[POW:%.*]] = call afn double @llvm.pow.f64(double [[X:%.*]], double 0x3FD5555555555555) 25 ; CHECK-NEXT: ret double [[POW]] 26 ; 27 %pow = call afn double @llvm.pow.f64(double %x, double 0x3fd5555555555555) 28 ret double %pow 29 } 30 31 define float @powf_intrinsic_third_approx(float %x) { 32 ; CHECK-LABEL: @powf_intrinsic_third_approx( 33 ; CHECK-NEXT: [[POW:%.*]] = call afn float @llvm.pow.f32(float [[X:%.*]], float 0x3FD5555560000000) 34 ; CHECK-NEXT: ret float [[POW]] 35 ; 36 %pow = call afn float @llvm.pow.f32(float %x, float 0x3fd5555560000000) 37 ret float %pow 38 } 39 40 define double @pow_libcall_third_fast(double %x) { 41 ; CHECK-LABEL: @pow_libcall_third_fast( 42 ; CHECK-NEXT: [[POW:%.*]] = call fast double @pow(double [[X:%.*]], double 0x3FD5555555555555) 43 ; CHECK-NEXT: ret double [[POW]] 44 ; 45 %pow = call fast double @pow(double %x, double 0x3fd5555555555555) 46 ret double %pow 47 } 48 49 define float @powf_libcall_third_fast(float %x) { 50 ; CHECK-LABEL: @powf_libcall_third_fast( 51 ; CHECK-NEXT: [[POW:%.*]] = call fast float @powf(float [[X:%.*]], float 0x3FD5555560000000) 52 ; CHECK-NEXT: ret float [[POW]] 53 ; 54 %pow = call fast float @powf(float %x, float 0x3fd5555560000000) 55 ret float %pow 56 } 57 58 define double @pow_intrinsic_negthird_fast(double %x) { 59 ; CHECK-LABEL: @pow_intrinsic_negthird_fast( 60 ; CHECK-NEXT: [[POW:%.*]] = call fast double @llvm.pow.f64(double [[X:%.*]], double 0xBFD5555555555555) 61 ; CHECK-NEXT: ret double [[POW]] 62 ; 63 %pow = call fast double @llvm.pow.f64(double %x, double 0xbfd5555555555555) 64 ret double %pow 65 } 66 67 define float @powf_intrinsic_negthird_fast(float %x) { 68 ; CHECK-LABEL: @powf_intrinsic_negthird_fast( 69 ; CHECK-NEXT: [[POW:%.*]] = call fast float @llvm.pow.f32(float [[X:%.*]], float 0xBFD5555560000000) 70 ; CHECK-NEXT: ret float [[POW]] 71 ; 72 %pow = call fast float @llvm.pow.f32(float %x, float 0xbfd5555560000000) 73 ret float %pow 74 } 75 76 define double @pow_intrinsic_negthird_approx(double %x) { 77 ; CHECK-LABEL: @pow_intrinsic_negthird_approx( 78 ; CHECK-NEXT: [[POW:%.*]] = call afn double @llvm.pow.f64(double [[X:%.*]], double 0xBFD5555555555555) 79 ; CHECK-NEXT: ret double [[POW]] 80 ; 81 %pow = call afn double @llvm.pow.f64(double %x, double 0xbfd5555555555555) 82 ret double %pow 83 } 84 85 define float @powf_intrinsic_negthird_approx(float %x) { 86 ; CHECK-LABEL: @powf_intrinsic_negthird_approx( 87 ; CHECK-NEXT: [[POW:%.*]] = call afn float @llvm.pow.f32(float [[X:%.*]], float 0xBFD5555560000000) 88 ; CHECK-NEXT: ret float [[POW]] 89 ; 90 %pow = call afn float @llvm.pow.f32(float %x, float 0xbfd5555560000000) 91 ret float %pow 92 } 93 94 define double @pow_libcall_negthird_fast(double %x) { 95 ; CHECK-LABEL: @pow_libcall_negthird_fast( 96 ; CHECK-NEXT: [[POW:%.*]] = call fast double @pow(double [[X:%.*]], double 0xBFD5555555555555) 97 ; CHECK-NEXT: ret double [[POW]] 98 ; 99 %pow = call fast double @pow(double %x, double 0xbfd5555555555555) 100 ret double %pow 101 } 102 103 define float @powf_libcall_negthird_fast(float %x) { 104 ; CHECK-LABEL: @powf_libcall_negthird_fast( 105 ; CHECK-NEXT: [[POW:%.*]] = call fast float @powf(float [[X:%.*]], float 0xBFD5555560000000) 106 ; CHECK-NEXT: ret float [[POW]] 107 ; 108 %pow = call fast float @powf(float %x, float 0xbfd5555560000000) 109 ret float %pow 110 } 111 112 declare double @llvm.pow.f64(double, double) #0 113 declare float @llvm.pow.f32(float, float) #0 114 declare double @pow(double, double) 115 declare float @powf(float, float) 116 117 attributes #0 = { nounwind readnone speculatable } 118
