110 lines · plain
1; RUN: llc -verify-machineinstrs < %s -mtriple=ppc32-- -fp-contract=fast -mattr=-vsx -disable-ppc-vsx-fma-mutation=false | FileCheck %s2; 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 %s3 4define double @test_FMADD_EXT1(float %A, float %B, double %C) {5 %D = fmul float %A, %B ; <float> [#uses=1]6 %E = fpext float %D to double ; <double> [#uses=1]7 %F = fadd double %E, %C ; <double> [#uses=1]8 ret double %F9; CHECK-LABEL: test_FMADD_EXT1:10; CHECK: fmadd11; CHECK-NEXT: blr12 13; CHECK-VSX-LABEL: test_FMADD_EXT1:14; CHECK-VSX: xsmaddmdp15; CHECK-VSX-NEXT: blr16}17 18define double @test_FMADD_EXT2(float %A, float %B, double %C) {19 %D = fmul float %A, %B ; <float> [#uses=1]20 %E = fpext float %D to double ; <double> [#uses=1]21 %F = fadd double %C, %E ; <double> [#uses=1]22 ret double %F23; CHECK-LABEL: test_FMADD_EXT2:24; CHECK: fmadd25; CHECK-NEXT: blr26 27; CHECK-VSX-LABEL: test_FMADD_EXT2:28; CHECK-VSX: xsmaddmdp29; CHECK-VSX-NEXT: blr30}31 32define double @test_FMSUB_EXT1(float %A, float %B, double %C) {33 %D = fmul float %A, %B ; <float> [#uses=1]34 %E = fpext float %D to double ; <double> [#uses=1]35 %F = fsub double %E, %C ; <double> [#uses=1]36 ret double %F37; CHECK-LABEL: test_FMSUB_EXT1:38; CHECK: fmsub39; CHECK-NEXT: blr40 41; CHECK-VSX-LABEL: test_FMSUB_EXT1:42; CHECK-VSX: xsmsubmdp43; CHECK-VSX-NEXT: blr44}45 46define double @test_FMSUB_EXT2(float %A, float %B, double %C) {47 %D = fmul float %A, %B ; <float> [#uses=1]48 %E = fpext float %D to double ; <double> [#uses=1]49 %F = fsub double %C, %E ; <double> [#uses=1]50 ret double %F51; CHECK-LABEL: test_FMSUB_EXT2:52; CHECK: fneg53; CHECK-NEXT: fmadd54; CHECK-NEXT: blr55 56; CHECK-VSX-LABEL: test_FMSUB_EXT2:57; CHECK-VSX: xsnegdp58; CHECK-VSX-NEXT: xsmaddmdp59; CHECK-VSX-NEXT: blr60}61 62; need nsz flag to generate fnmsub since it may affect sign of zero63define double @test_FMSUB_EXT2_NSZ(float %A, float %B, double %C) {64 %D = fmul nsz float %A, %B ; <float> [#uses=1]65 %E = fpext float %D to double ; <double> [#uses=1]66 %F = fsub nsz double %C, %E ; <double> [#uses=1]67 ret double %F68; CHECK-LABEL: test_FMSUB_EXT2_NSZ:69; CHECK: fnmsub70; CHECK-NEXT: blr71 72; CHECK-VSX-LABEL: test_FMSUB_EXT2_NSZ:73; CHECK-VSX: xsnmsubmdp74; CHECK-VSX-NEXT: blr75}76 77define double @test_FMSUB_EXT3(float %A, float %B, double %C) {78 %D = fmul float %A, %B ; <float> [#uses=1]79 %E = fsub float -0.000000e+00, %D ; <float> [#uses=1]80 %F = fpext float %E to double ; <double> [#uses=1]81 %G = fsub double %F, %C ; <double> [#uses=1]82 ret double %G83; CHECK-LABEL: test_FMSUB_EXT3:84; CHECK: fnmadd85 86; CHECK-NEXT: blr87 88; CHECK-VSX-LABEL: test_FMSUB_EXT3:89; CHECK-VSX: xsnmaddmdp90 91; CHECK-VSX-NEXT: blr92}93 94define double @test_FMSUB_EXT4(float %A, float %B, double %C) {95 %D = fmul float %A, %B ; <float> [#uses=1]96 %E = fpext float %D to double ; <double> [#uses=1]97 %F = fsub double -0.000000e+00, %E ; <double> [#uses=1]98 %G = fsub double %F, %C ; <double> [#uses=1]99 ret double %G100; CHECK-LABEL: test_FMSUB_EXT4:101; CHECK: fnmadd102 103; CHECK-NEXT: blr104 105; CHECK-VSX-LABEL: test_FMSUB_EXT4:106; CHECK-VSX: xsnmaddmdp107 108; CHECK-VSX-NEXT: blr109} 110