1; RUN: llc -verify-machineinstrs < %s -mtriple=ppc32-- -fp-contract=fast -mattr=-vsx -disable-ppc-vsx-fma-mutation=false | FileCheck %s 2; RUN: llc -verify-machineinstrs < %s -mtriple=powerpc64-unknown-linux-gnu -fp-contract=fast -mattr=+vsx -mcpu=pwr7 -disable-ppc-vsx-fma-mutation=false | FileCheck -check-prefix=CHECK-VSX %s 3; RUN: llc -verify-machineinstrs < %s -mtriple=powerpc64-unknown-linux-gnu -fp-contract=fast -mcpu=pwr8 -disable-ppc-vsx-fma-mutation=false | FileCheck -check-prefix=CHECK-P8 %s 4; RUN: llc -verify-machineinstrs < %s -mtriple=powerpc64le-unknown-linux-gnu -fp-contract=fast -mcpu=pwr8 -disable-ppc-vsx-fma-mutation=false | FileCheck -check-prefix=CHECK-P8 %s 5 6declare double @dummy1(double) #0 7declare double @dummy2(double, double) #0 8declare double @dummy3(double, double, double) #0 9declare float @dummy4(float, float) #0 10 11define double @test_FMADD1(double %A, double %B, double %C) { 12 %D = fmul double %A, %B ; <double> [#uses=1] 13 %E = fadd double %C, %D ; <double> [#uses=1] 14 ret double %E 15; CHECK-LABEL: test_FMADD1: 16; CHECK: fmadd 17; CHECK-NEXT: blr 18 19; CHECK-VSX-LABEL: test_FMADD1: 20; CHECK-VSX: xsmaddmdp 21; CHECK-VSX-NEXT: blr 22} 23 24define double @test_FMADD2(double %A, double %B, double %C) { 25 %D = fmul double %A, %B ; <double> [#uses=1] 26 %E = fadd double %D, %C ; <double> [#uses=1] 27 ret double %E 28; CHECK-LABEL: test_FMADD2: 29; CHECK: fmadd 30; CHECK-NEXT: blr 31 32; CHECK-VSX-LABEL: test_FMADD2: 33; CHECK-VSX: xsmaddmdp 34; CHECK-VSX-NEXT: blr 35} 36 37define double @test_FMSUB1(double %A, double %B, double %C) { 38 %D = fmul double %A, %B ; <double> [#uses=1] 39 %E = fsub double %D, %C ; <double> [#uses=1] 40 ret double %E 41; CHECK-LABEL: test_FMSUB1: 42; CHECK: fmsub 43; CHECK-NEXT: blr 44 45; CHECK-VSX-LABEL: test_FMSUB1: 46; CHECK-VSX: xsmsubmdp 47; CHECK-VSX-NEXT: blr 48} 49 50define double @test_FMSUB2(double %A, double %B, double %C, double %D) { 51 %E = fmul double %A, %B ; <double> [#uses=2] 52 %F = fadd double %E, %C ; <double> [#uses=1] 53 %G = fsub double %E, %D ; <double> [#uses=1] 54 %H = call double @dummy2(double %F, double %G) ; <double> [#uses=1] 55 ret double %H 56; CHECK-LABEL: test_FMSUB2: 57; CHECK: fmadd 58; CHECK-NEXT: fmsub 59 60; CHECK-VSX-LABEL: test_FMSUB2: 61; CHECK-VSX: xsmaddadp 62; CHECK-VSX-NEXT: xsmsubmdp 63} 64 65define double @test_FNMADD1(double %A, double %B, double %C) { 66 %D = fmul double %A, %B ; <double> [#uses=1] 67 %E = fadd double %D, %C ; <double> [#uses=1] 68 %F = fsub double -0.000000e+00, %E ; <double> [#uses=1] 69 ret double %F 70; CHECK-LABEL: test_FNMADD1: 71; CHECK: fnmadd 72; CHECK-NEXT: blr 73 74; CHECK-VSX-LABEL: test_FNMADD1: 75; CHECK-VSX: xsnmaddmdp 76; CHECK-VSX-NEXT: blr 77} 78 79define double @test_FNMADD2(double %A, double %B, double %C) { 80 %D = fmul double %A, %B ; <double> [#uses=1] 81 %E = fadd double %C, %D ; <double> [#uses=1] 82 %F = fsub double -0.000000e+00, %E ; <double> [#uses=1] 83 ret double %F 84; CHECK-LABEL: test_FNMADD2: 85; CHECK: fnmadd 86; CHECK-NEXT: blr 87 88; CHECK-VSX-LABEL: test_FNMADD2: 89; CHECK-VSX: xsnmaddmdp 90; CHECK-VSX-NEXT: blr 91} 92 93define double @test_FNMSUB1(double %A, double %B, double %C) { 94 %D = fmul double %A, %B ; <double> [#uses=1] 95 %E = fsub double %C, %D ; <double> [#uses=1] 96 ret double %E 97; CHECK-LABEL: test_FNMSUB1: 98; CHECK: fnmsub 99; CHECK-NEXT: blr 100 101; CHECK-VSX-LABEL: test_FNMSUB1: 102; CHECK-VSX: xsnmsubmdp 103} 104 105define double @test_FNMSUB2(double %A, double %B, double %C) { 106 %D = fmul double %A, %B ; <double> [#uses=1] 107 %E = fsub double %D, %C ; <double> [#uses=1] 108 %F = fsub double -0.000000e+00, %E ; <double> [#uses=1] 109 ret double %F 110; CHECK-LABEL: test_FNMSUB2: 111; CHECK: fnmsub 112; CHECK-NEXT: blr 113 114; CHECK-VSX-LABEL: test_FNMSUB2: 115; CHECK-VSX: xsnmsubmdp 116; CHECK-VSX-NEXT: blr 117} 118 119define float @test_FNMSUBS(float %A, float %B, float %C) { 120 %D = fmul float %A, %B ; <float> [#uses=1] 121 %E = fsub float %D, %C ; <float> [#uses=1] 122 %F = fsub float -0.000000e+00, %E ; <float> [#uses=1] 123 ret float %F 124; CHECK-LABEL: test_FNMSUBS: 125; CHECK: fnmsubs 126; CHECK-NEXT: blr 127 128; CHECK-VSX-LABEL: test_FNMSUBS: 129; CHECK-VSX: fnmsubs 130; CHECK-VSX-NEXT: blr 131} 132 133define float @test_XSMADDMSP(float %A, float %B, float %C) { 134 %D = fmul float %A, %B ; <float> [#uses=1] 135 %E = fadd float %C, %D ; <float> [#uses=1] 136 ret float %E 137; CHECK-P8-LABEL: test_XSMADDMSP: 138; CHECK-P8: xsmaddmsp 139; CHECK-P8-NEXT: blr 140} 141 142define float @test_XSMSUBMSP(float %A, float %B, float %C) { 143 %D = fmul float %A, %B ; <float> [#uses=1] 144 %E = fsub float %D, %C ; <float> [#uses=1] 145 ret float %E 146; CHECK-P8-LABEL: test_XSMSUBMSP: 147; CHECK-P8: xsmsubmsp 148; CHECK-P8-NEXT: blr 149} 150 151define float @test_XSMADDASP(float %A, float %B, float %C, float %D) { 152 %E = fmul float %A, %B ; <float> [#uses=2] 153 %F = fadd float %E, %C ; <float> [#uses=1] 154 %G = fsub float %E, %D ; <float> [#uses=1] 155 %H = call float @dummy4(float %F, float %G) ; <float> [#uses=1] 156 ret float %H 157; CHECK-P8-LABEL: test_XSMADDASP: 158; CHECK-P8: xsmaddasp 159; CHECK-P8-NEXT: xsmsubmsp 160} 161 162define float @test_XSMSUBASP(float %A, float %B, float %C, float %D) { 163 %E = fmul float %A, %B ; <float> [#uses=2] 164 %F = fsub float %E, %C ; <float> [#uses=1] 165 %G = fsub float %E, %D ; <float> [#uses=1] 166 %H = call float @dummy4(float %F, float %G) ; <float> [#uses=1] 167 ret float %H 168; CHECK-P8-LABEL: test_XSMSUBASP: 169; CHECK-P8: xsmsubasp 170; CHECK-P8-NEXT: xsmsubmsp 171} 172 173define float @test_XSNMADDMSP(float %A, float %B, float %C) { 174 %D = fmul float %A, %B ; <float> [#uses=1] 175 %E = fadd float %D, %C ; <float> [#uses=1] 176 %F = fsub float -0.000000e+00, %E ; <float> [#uses=1] 177 ret float %F 178; CHECK-P8-LABEL: test_XSNMADDMSP: 179; CHECK-P8: xsnmaddmsp 180; CHECK-P8-NEXT: blr 181} 182 183define float @test_XSNMSUBMSP(float %A, float %B, float %C) { 184 %D = fmul float %A, %B ; <float> [#uses=1] 185 %E = fsub float %D, %C ; <float> [#uses=1] 186 %F = fsub float -0.000000e+00, %E ; <float> [#uses=1] 187 ret float %F 188; CHECK-P8-LABEL: test_XSNMSUBMSP: 189; CHECK-P8: xsnmsubmsp 190; CHECK-P8-NEXT: blr 191} 192 193define float @test_XSNMADDASP(float %A, float %B, float %C) { 194 %D = fmul float %A, %B ; <float> [#uses=1] 195 %E = fadd float %D, %C ; <float> [#uses=1] 196 %F = fsub float -0.000000e+00, %E ; <float> [#uses=1] 197 %H = call float @dummy4(float %E, float %F) ; <float> [#uses=1] 198 ret float %F 199; CHECK-P8-LABEL: test_XSNMADDASP: 200; CHECK-P8: xsnmaddasp 201} 202 203define float @test_XSNMSUBASP(float %A, float %B, float %C) { 204 %D = fmul float %A, %B ; <float> [#uses=1] 205 %E = fsub float %D, %C ; <float> [#uses=1] 206 %F = fsub float -0.000000e+00, %E ; <float> [#uses=1] 207 %H = call float @dummy4(float %E, float %F) ; <float> [#uses=1] 208 ret float %F 209; CHECK-P8-LABEL: test_XSNMSUBASP: 210; CHECK-P8: xsnmsubasp 211} 212