<div dir="ltr"><div>If I'm seeing it correctly, this is implementing my suggestion from <span class="gmail-phui-crumb-view gmail-phabricator-last-crumb"><span class="gmail-phui-crumb-name"> D76419</span> ( <a href="https://reviews.llvm.org/D76419">https://reviews.llvm.org/D76419</a> ).</span></div><div><span class="gmail-phui-crumb-view gmail-phabricator-last-crumb">We duplicated the existing tests to have versions that toggle "reassoc" in IR rather than having separate RUN lines that use the (should-be-) deprecated global flag "-enable-unsafe-fp-math".</span></div><div><span class="gmail-phui-crumb-view gmail-phabricator-last-crumb">Ideally, we could also replace the global "-fp-contract=fast" flag on the RUN line with "contract" FMF in IR. Not sure if we have underlying bugs there though.<br></span></div><div><span class="gmail-phui-crumb-view gmail-phabricator-last-crumb"></span></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Sun, Mar 22, 2020 at 10:50 AM Roman Lebedev via llvm-commits <<a href="mailto:llvm-commits@lists.llvm.org" target="_blank">llvm-commits@lists.llvm.org</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">Why remove an entire test?<br>
<br>
On Sun, Mar 22, 2020 at 5:41 PM Qiu Chaofan via llvm-commits<br>
<<a href="mailto:llvm-commits@lists.llvm.org" target="_blank">llvm-commits@lists.llvm.org</a>> wrote:<br>
><br>
><br>
> Author: Qiu Chaofan<br>
> Date: 2020-03-22T22:40:49+08:00<br>
> New Revision: 996dc13dc4cfb6efe0dee5388300b0f54cb5bb91<br>
><br>
> URL: <a href="https://github.com/llvm/llvm-project/commit/996dc13dc4cfb6efe0dee5388300b0f54cb5bb91" rel="noreferrer" target="_blank">https://github.com/llvm/llvm-project/commit/996dc13dc4cfb6efe0dee5388300b0f54cb5bb91</a><br>
> DIFF: <a href="https://github.com/llvm/llvm-project/commit/996dc13dc4cfb6efe0dee5388300b0f54cb5bb91.diff" rel="noreferrer" target="_blank">https://github.com/llvm/llvm-project/commit/996dc13dc4cfb6efe0dee5388300b0f54cb5bb91.diff</a><br>
><br>
> LOG: [NFC] [PowerPC] Remove unsafe-fp-math in FMA test<br>
><br>
> Added:<br>
><br>
><br>
> Modified:<br>
> llvm/test/CodeGen/PowerPC/fma-assoc.ll<br>
><br>
> Removed:<br>
><br>
><br>
><br>
> ################################################################################<br>
> diff --git a/llvm/test/CodeGen/PowerPC/fma-assoc.ll b/llvm/test/CodeGen/PowerPC/fma-assoc.ll<br>
> index 0bc63d6ef765..e43967a59ff3 100644<br>
> --- a/llvm/test/CodeGen/PowerPC/fma-assoc.ll<br>
> +++ b/llvm/test/CodeGen/PowerPC/fma-assoc.ll<br>
> @@ -1,36 +1,24 @@<br>
> ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py<br>
> -; RUN: llc -verify-machineinstrs < %s -mtriple=ppc32-- -fp-contract=fast -mattr=-vsx -disable-ppc-vsx-fma-mutation=false | FileCheck -check-prefix=CHECK-SAFE %s<br>
> -; 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-SAFE %s<br>
> -; RUN: llc -verify-machineinstrs < %s -mtriple=ppc32-- -fp-contract=fast -enable-unsafe-fp-math -mattr=-vsx -disable-ppc-vsx-fma-mutation=false | FileCheck -check-prefix=CHECK-UNSAFE %s<br>
> -; RUN: llc -verify-machineinstrs < %s -mtriple=powerpc64-unknown-linux-gnu -fp-contract=fast -enable-unsafe-fp-math -mattr=+vsx -mcpu=pwr7 -disable-ppc-vsx-fma-mutation=false | FileCheck -check-prefix=CHECK-VSX-UNSAFE %s<br>
> +; RUN: llc -verify-machineinstrs < %s -mtriple=ppc32-- -fp-contract=fast \<br>
> +; RUN: -mattr=-vsx -disable-ppc-vsx-fma-mutation=false | FileCheck %s<br>
> +; RUN: llc -verify-machineinstrs < %s -mtriple=powerpc64-unknown-linux-gnu \<br>
> +; RUN: -fp-contract=fast -mattr=+vsx -disable-ppc-vsx-fma-mutation=false \<br>
> +; RUN: -mcpu=pwr7 | FileCheck -check-prefix=CHECK-VSX %s<br>
><br>
> define double @test_FMADD_ASSOC1(double %A, double %B, double %C,<br>
> -; CHECK-SAFE-LABEL: test_FMADD_ASSOC1:<br>
> -; CHECK-SAFE: # %bb.0:<br>
> -; CHECK-SAFE-NEXT: fmul 0, 3, 4<br>
> -; CHECK-SAFE-NEXT: fmadd 0, 1, 2, 0<br>
> -; CHECK-SAFE-NEXT: fadd 1, 0, 5<br>
> -; CHECK-SAFE-NEXT: blr<br>
> -;<br>
> -; CHECK-VSX-SAFE-LABEL: test_FMADD_ASSOC1:<br>
> -; CHECK-VSX-SAFE: # %bb.0:<br>
> -; CHECK-VSX-SAFE-NEXT: xsmuldp 0, 3, 4<br>
> -; CHECK-VSX-SAFE-NEXT: xsmaddadp 0, 1, 2<br>
> -; CHECK-VSX-SAFE-NEXT: xsadddp 1, 0, 5<br>
> -; CHECK-VSX-SAFE-NEXT: blr<br>
> -;<br>
> -; CHECK-UNSAFE-LABEL: test_FMADD_ASSOC1:<br>
> -; CHECK-UNSAFE: # %bb.0:<br>
> -; CHECK-UNSAFE-NEXT: fmadd 0, 3, 4, 5<br>
> -; CHECK-UNSAFE-NEXT: fmadd 1, 1, 2, 0<br>
> -; CHECK-UNSAFE-NEXT: blr<br>
> -;<br>
> -; CHECK-VSX-UNSAFE-LABEL: test_FMADD_ASSOC1:<br>
> -; CHECK-VSX-UNSAFE: # %bb.0:<br>
> -; CHECK-VSX-UNSAFE-NEXT: xsmaddmdp 3, 4, 5<br>
> -; CHECK-VSX-UNSAFE-NEXT: xsmaddadp 3, 1, 2<br>
> -; CHECK-VSX-UNSAFE-NEXT: fmr 1, 3<br>
> -; CHECK-VSX-UNSAFE-NEXT: blr<br>
> +; CHECK-LABEL: test_FMADD_ASSOC1:<br>
> +; CHECK: # %bb.0:<br>
> +; CHECK-NEXT: fmul 0, 3, 4<br>
> +; CHECK-NEXT: fmadd 0, 1, 2, 0<br>
> +; CHECK-NEXT: fadd 1, 0, 5<br>
> +; CHECK-NEXT: blr<br>
> +;<br>
> +; CHECK-VSX-LABEL: test_FMADD_ASSOC1:<br>
> +; CHECK-VSX: # %bb.0:<br>
> +; CHECK-VSX-NEXT: xsmuldp 0, 3, 4<br>
> +; CHECK-VSX-NEXT: xsmaddadp 0, 1, 2<br>
> +; CHECK-VSX-NEXT: xsadddp 1, 0, 5<br>
> +; CHECK-VSX-NEXT: blr<br>
> double %D, double %E) {<br>
> %F = fmul double %A, %B ; <double> [#uses=1]<br>
> %G = fmul double %C, %D ; <double> [#uses=1]<br>
> @@ -40,32 +28,19 @@ define double @test_FMADD_ASSOC1(double %A, double %B, double %C,<br>
> }<br>
><br>
> define double @test_FMADD_ASSOC2(double %A, double %B, double %C,<br>
> -; CHECK-SAFE-LABEL: test_FMADD_ASSOC2:<br>
> -; CHECK-SAFE: # %bb.0:<br>
> -; CHECK-SAFE-NEXT: fmul 0, 3, 4<br>
> -; CHECK-SAFE-NEXT: fmadd 0, 1, 2, 0<br>
> -; CHECK-SAFE-NEXT: fadd 1, 5, 0<br>
> -; CHECK-SAFE-NEXT: blr<br>
> -;<br>
> -; CHECK-VSX-SAFE-LABEL: test_FMADD_ASSOC2:<br>
> -; CHECK-VSX-SAFE: # %bb.0:<br>
> -; CHECK-VSX-SAFE-NEXT: xsmuldp 0, 3, 4<br>
> -; CHECK-VSX-SAFE-NEXT: xsmaddadp 0, 1, 2<br>
> -; CHECK-VSX-SAFE-NEXT: xsadddp 1, 5, 0<br>
> -; CHECK-VSX-SAFE-NEXT: blr<br>
> -;<br>
> -; CHECK-UNSAFE-LABEL: test_FMADD_ASSOC2:<br>
> -; CHECK-UNSAFE: # %bb.0:<br>
> -; CHECK-UNSAFE-NEXT: fmadd 0, 3, 4, 5<br>
> -; CHECK-UNSAFE-NEXT: fmadd 1, 1, 2, 0<br>
> -; CHECK-UNSAFE-NEXT: blr<br>
> -;<br>
> -; CHECK-VSX-UNSAFE-LABEL: test_FMADD_ASSOC2:<br>
> -; CHECK-VSX-UNSAFE: # %bb.0:<br>
> -; CHECK-VSX-UNSAFE-NEXT: xsmaddmdp 3, 4, 5<br>
> -; CHECK-VSX-UNSAFE-NEXT: xsmaddadp 3, 1, 2<br>
> -; CHECK-VSX-UNSAFE-NEXT: fmr 1, 3<br>
> -; CHECK-VSX-UNSAFE-NEXT: blr<br>
> +; CHECK-LABEL: test_FMADD_ASSOC2:<br>
> +; CHECK: # %bb.0:<br>
> +; CHECK-NEXT: fmul 0, 3, 4<br>
> +; CHECK-NEXT: fmadd 0, 1, 2, 0<br>
> +; CHECK-NEXT: fadd 1, 5, 0<br>
> +; CHECK-NEXT: blr<br>
> +;<br>
> +; CHECK-VSX-LABEL: test_FMADD_ASSOC2:<br>
> +; CHECK-VSX: # %bb.0:<br>
> +; CHECK-VSX-NEXT: xsmuldp 0, 3, 4<br>
> +; CHECK-VSX-NEXT: xsmaddadp 0, 1, 2<br>
> +; CHECK-VSX-NEXT: xsadddp 1, 5, 0<br>
> +; CHECK-VSX-NEXT: blr<br>
> double %D, double %E) {<br>
> %F = fmul double %A, %B ; <double> [#uses=1]<br>
> %G = fmul double %C, %D ; <double> [#uses=1]<br>
> @@ -75,32 +50,19 @@ define double @test_FMADD_ASSOC2(double %A, double %B, double %C,<br>
> }<br>
><br>
> define double @test_FMSUB_ASSOC1(double %A, double %B, double %C,<br>
> -; CHECK-SAFE-LABEL: test_FMSUB_ASSOC1:<br>
> -; CHECK-SAFE: # %bb.0:<br>
> -; CHECK-SAFE-NEXT: fmul 0, 3, 4<br>
> -; CHECK-SAFE-NEXT: fmadd 0, 1, 2, 0<br>
> -; CHECK-SAFE-NEXT: fsub 1, 0, 5<br>
> -; CHECK-SAFE-NEXT: blr<br>
> -;<br>
> -; CHECK-VSX-SAFE-LABEL: test_FMSUB_ASSOC1:<br>
> -; CHECK-VSX-SAFE: # %bb.0:<br>
> -; CHECK-VSX-SAFE-NEXT: xsmuldp 0, 3, 4<br>
> -; CHECK-VSX-SAFE-NEXT: xsmaddadp 0, 1, 2<br>
> -; CHECK-VSX-SAFE-NEXT: xssubdp 1, 0, 5<br>
> -; CHECK-VSX-SAFE-NEXT: blr<br>
> -;<br>
> -; CHECK-UNSAFE-LABEL: test_FMSUB_ASSOC1:<br>
> -; CHECK-UNSAFE: # %bb.0:<br>
> -; CHECK-UNSAFE-NEXT: fmsub 0, 3, 4, 5<br>
> -; CHECK-UNSAFE-NEXT: fmadd 1, 1, 2, 0<br>
> -; CHECK-UNSAFE-NEXT: blr<br>
> -;<br>
> -; CHECK-VSX-UNSAFE-LABEL: test_FMSUB_ASSOC1:<br>
> -; CHECK-VSX-UNSAFE: # %bb.0:<br>
> -; CHECK-VSX-UNSAFE-NEXT: xsmsubmdp 3, 4, 5<br>
> -; CHECK-VSX-UNSAFE-NEXT: xsmaddadp 3, 1, 2<br>
> -; CHECK-VSX-UNSAFE-NEXT: fmr 1, 3<br>
> -; CHECK-VSX-UNSAFE-NEXT: blr<br>
> +; CHECK-LABEL: test_FMSUB_ASSOC1:<br>
> +; CHECK: # %bb.0:<br>
> +; CHECK-NEXT: fmul 0, 3, 4<br>
> +; CHECK-NEXT: fmadd 0, 1, 2, 0<br>
> +; CHECK-NEXT: fsub 1, 0, 5<br>
> +; CHECK-NEXT: blr<br>
> +;<br>
> +; CHECK-VSX-LABEL: test_FMSUB_ASSOC1:<br>
> +; CHECK-VSX: # %bb.0:<br>
> +; CHECK-VSX-NEXT: xsmuldp 0, 3, 4<br>
> +; CHECK-VSX-NEXT: xsmaddadp 0, 1, 2<br>
> +; CHECK-VSX-NEXT: xssubdp 1, 0, 5<br>
> +; CHECK-VSX-NEXT: blr<br>
> double %D, double %E) {<br>
> %F = fmul double %A, %B ; <double> [#uses=1]<br>
> %G = fmul double %C, %D ; <double> [#uses=1]<br>
> @@ -110,32 +72,19 @@ define double @test_FMSUB_ASSOC1(double %A, double %B, double %C,<br>
> }<br>
><br>
> define double @test_FMSUB_ASSOC2(double %A, double %B, double %C,<br>
> -; CHECK-SAFE-LABEL: test_FMSUB_ASSOC2:<br>
> -; CHECK-SAFE: # %bb.0:<br>
> -; CHECK-SAFE-NEXT: fmul 0, 3, 4<br>
> -; CHECK-SAFE-NEXT: fmadd 0, 1, 2, 0<br>
> -; CHECK-SAFE-NEXT: fsub 1, 5, 0<br>
> -; CHECK-SAFE-NEXT: blr<br>
> -;<br>
> -; CHECK-VSX-SAFE-LABEL: test_FMSUB_ASSOC2:<br>
> -; CHECK-VSX-SAFE: # %bb.0:<br>
> -; CHECK-VSX-SAFE-NEXT: xsmuldp 0, 3, 4<br>
> -; CHECK-VSX-SAFE-NEXT: xsmaddadp 0, 1, 2<br>
> -; CHECK-VSX-SAFE-NEXT: xssubdp 1, 5, 0<br>
> -; CHECK-VSX-SAFE-NEXT: blr<br>
> -;<br>
> -; CHECK-UNSAFE-LABEL: test_FMSUB_ASSOC2:<br>
> -; CHECK-UNSAFE: # %bb.0:<br>
> -; CHECK-UNSAFE-NEXT: fnmsub 0, 3, 4, 5<br>
> -; CHECK-UNSAFE-NEXT: fnmsub 1, 1, 2, 0<br>
> -; CHECK-UNSAFE-NEXT: blr<br>
> -;<br>
> -; CHECK-VSX-UNSAFE-LABEL: test_FMSUB_ASSOC2:<br>
> -; CHECK-VSX-UNSAFE: # %bb.0:<br>
> -; CHECK-VSX-UNSAFE-NEXT: xsnmsubmdp 3, 4, 5<br>
> -; CHECK-VSX-UNSAFE-NEXT: xsnmsubadp 3, 1, 2<br>
> -; CHECK-VSX-UNSAFE-NEXT: fmr 1, 3<br>
> -; CHECK-VSX-UNSAFE-NEXT: blr<br>
> +; CHECK-LABEL: test_FMSUB_ASSOC2:<br>
> +; CHECK: # %bb.0:<br>
> +; CHECK-NEXT: fmul 0, 3, 4<br>
> +; CHECK-NEXT: fmadd 0, 1, 2, 0<br>
> +; CHECK-NEXT: fsub 1, 5, 0<br>
> +; CHECK-NEXT: blr<br>
> +;<br>
> +; CHECK-VSX-LABEL: test_FMSUB_ASSOC2:<br>
> +; CHECK-VSX: # %bb.0:<br>
> +; CHECK-VSX-NEXT: xsmuldp 0, 3, 4<br>
> +; CHECK-VSX-NEXT: xsmaddadp 0, 1, 2<br>
> +; CHECK-VSX-NEXT: xssubdp 1, 5, 0<br>
> +; CHECK-VSX-NEXT: blr<br>
> double %D, double %E) {<br>
> %F = fmul double %A, %B ; <double> [#uses=1]<br>
> %G = fmul double %C, %D ; <double> [#uses=1]<br>
> @@ -145,29 +94,17 @@ define double @test_FMSUB_ASSOC2(double %A, double %B, double %C,<br>
> }<br>
><br>
> define double @test_FMADD_ASSOC_EXT1(float %A, float %B, double %C,<br>
> -; CHECK-SAFE-LABEL: test_FMADD_ASSOC_EXT1:<br>
> -; CHECK-SAFE: # %bb.0:<br>
> -; CHECK-SAFE-NEXT: fmadd 0, 1, 2, 5<br>
> -; CHECK-SAFE-NEXT: fmadd 1, 3, 4, 0<br>
> -; CHECK-SAFE-NEXT: blr<br>
> -;<br>
> -; CHECK-VSX-SAFE-LABEL: test_FMADD_ASSOC_EXT1:<br>
> -; CHECK-VSX-SAFE: # %bb.0:<br>
> -; CHECK-VSX-SAFE-NEXT: xsmaddmdp 1, 2, 5<br>
> -; CHECK-VSX-SAFE-NEXT: xsmaddadp 1, 3, 4<br>
> -; CHECK-VSX-SAFE-NEXT: blr<br>
> -;<br>
> -; CHECK-UNSAFE-LABEL: test_FMADD_ASSOC_EXT1:<br>
> -; CHECK-UNSAFE: # %bb.0:<br>
> -; CHECK-UNSAFE-NEXT: fmadd 0, 1, 2, 5<br>
> -; CHECK-UNSAFE-NEXT: fmadd 1, 3, 4, 0<br>
> -; CHECK-UNSAFE-NEXT: blr<br>
> -;<br>
> -; CHECK-VSX-UNSAFE-LABEL: test_FMADD_ASSOC_EXT1:<br>
> -; CHECK-VSX-UNSAFE: # %bb.0:<br>
> -; CHECK-VSX-UNSAFE-NEXT: xsmaddmdp 1, 2, 5<br>
> -; CHECK-VSX-UNSAFE-NEXT: xsmaddadp 1, 3, 4<br>
> -; CHECK-VSX-UNSAFE-NEXT: blr<br>
> +; CHECK-LABEL: test_FMADD_ASSOC_EXT1:<br>
> +; CHECK: # %bb.0:<br>
> +; CHECK-NEXT: fmadd 0, 1, 2, 5<br>
> +; CHECK-NEXT: fmadd 1, 3, 4, 0<br>
> +; CHECK-NEXT: blr<br>
> +;<br>
> +; CHECK-VSX-LABEL: test_FMADD_ASSOC_EXT1:<br>
> +; CHECK-VSX: # %bb.0:<br>
> +; CHECK-VSX-NEXT: xsmaddmdp 1, 2, 5<br>
> +; CHECK-VSX-NEXT: xsmaddadp 1, 3, 4<br>
> +; CHECK-VSX-NEXT: blr<br>
> double %D, double %E) {<br>
> %F = fmul float %A, %B ; <float> [#uses=1]<br>
> %G = fpext float %F to double ; <double> [#uses=1]<br>
> @@ -178,31 +115,18 @@ define double @test_FMADD_ASSOC_EXT1(float %A, float %B, double %C,<br>
> }<br>
><br>
> define double @test_FMADD_ASSOC_EXT2(float %A, float %B, float %C,<br>
> -; CHECK-SAFE-LABEL: test_FMADD_ASSOC_EXT2:<br>
> -; CHECK-SAFE: # %bb.0:<br>
> -; CHECK-SAFE-NEXT: fmadd 0, 3, 4, 5<br>
> -; CHECK-SAFE-NEXT: fmadd 1, 1, 2, 0<br>
> -; CHECK-SAFE-NEXT: blr<br>
> -;<br>
> -; CHECK-VSX-SAFE-LABEL: test_FMADD_ASSOC_EXT2:<br>
> -; CHECK-VSX-SAFE: # %bb.0:<br>
> -; CHECK-VSX-SAFE-NEXT: xsmaddmdp 3, 4, 5<br>
> -; CHECK-VSX-SAFE-NEXT: xsmaddadp 3, 1, 2<br>
> -; CHECK-VSX-SAFE-NEXT: fmr 1, 3<br>
> -; CHECK-VSX-SAFE-NEXT: blr<br>
> -;<br>
> -; CHECK-UNSAFE-LABEL: test_FMADD_ASSOC_EXT2:<br>
> -; CHECK-UNSAFE: # %bb.0:<br>
> -; CHECK-UNSAFE-NEXT: fmadd 0, 3, 4, 5<br>
> -; CHECK-UNSAFE-NEXT: fmadd 1, 1, 2, 0<br>
> -; CHECK-UNSAFE-NEXT: blr<br>
> -;<br>
> -; CHECK-VSX-UNSAFE-LABEL: test_FMADD_ASSOC_EXT2:<br>
> -; CHECK-VSX-UNSAFE: # %bb.0:<br>
> -; CHECK-VSX-UNSAFE-NEXT: xsmaddmdp 3, 4, 5<br>
> -; CHECK-VSX-UNSAFE-NEXT: xsmaddadp 3, 1, 2<br>
> -; CHECK-VSX-UNSAFE-NEXT: fmr 1, 3<br>
> -; CHECK-VSX-UNSAFE-NEXT: blr<br>
> +; CHECK-LABEL: test_FMADD_ASSOC_EXT2:<br>
> +; CHECK: # %bb.0:<br>
> +; CHECK-NEXT: fmadd 0, 3, 4, 5<br>
> +; CHECK-NEXT: fmadd 1, 1, 2, 0<br>
> +; CHECK-NEXT: blr<br>
> +;<br>
> +; CHECK-VSX-LABEL: test_FMADD_ASSOC_EXT2:<br>
> +; CHECK-VSX: # %bb.0:<br>
> +; CHECK-VSX-NEXT: xsmaddmdp 3, 4, 5<br>
> +; CHECK-VSX-NEXT: xsmaddadp 3, 1, 2<br>
> +; CHECK-VSX-NEXT: fmr 1, 3<br>
> +; CHECK-VSX-NEXT: blr<br>
> float %D, double %E) {<br>
> %F = fmul float %A, %B ; <float> [#uses=1]<br>
> %G = fmul float %C, %D ; <float> [#uses=1]<br>
> @@ -213,29 +137,17 @@ define double @test_FMADD_ASSOC_EXT2(float %A, float %B, float %C,<br>
> }<br>
><br>
> define double @test_FMADD_ASSOC_EXT3(float %A, float %B, double %C,<br>
> -; CHECK-SAFE-LABEL: test_FMADD_ASSOC_EXT3:<br>
> -; CHECK-SAFE: # %bb.0:<br>
> -; CHECK-SAFE-NEXT: fmadd 0, 1, 2, 5<br>
> -; CHECK-SAFE-NEXT: fmadd 1, 3, 4, 0<br>
> -; CHECK-SAFE-NEXT: blr<br>
> -;<br>
> -; CHECK-VSX-SAFE-LABEL: test_FMADD_ASSOC_EXT3:<br>
> -; CHECK-VSX-SAFE: # %bb.0:<br>
> -; CHECK-VSX-SAFE-NEXT: xsmaddmdp 1, 2, 5<br>
> -; CHECK-VSX-SAFE-NEXT: xsmaddadp 1, 3, 4<br>
> -; CHECK-VSX-SAFE-NEXT: blr<br>
> -;<br>
> -; CHECK-UNSAFE-LABEL: test_FMADD_ASSOC_EXT3:<br>
> -; CHECK-UNSAFE: # %bb.0:<br>
> -; CHECK-UNSAFE-NEXT: fmadd 0, 1, 2, 5<br>
> -; CHECK-UNSAFE-NEXT: fmadd 1, 3, 4, 0<br>
> -; CHECK-UNSAFE-NEXT: blr<br>
> -;<br>
> -; CHECK-VSX-UNSAFE-LABEL: test_FMADD_ASSOC_EXT3:<br>
> -; CHECK-VSX-UNSAFE: # %bb.0:<br>
> -; CHECK-VSX-UNSAFE-NEXT: xsmaddmdp 1, 2, 5<br>
> -; CHECK-VSX-UNSAFE-NEXT: xsmaddadp 1, 3, 4<br>
> -; CHECK-VSX-UNSAFE-NEXT: blr<br>
> +; CHECK-LABEL: test_FMADD_ASSOC_EXT3:<br>
> +; CHECK: # %bb.0:<br>
> +; CHECK-NEXT: fmadd 0, 1, 2, 5<br>
> +; CHECK-NEXT: fmadd 1, 3, 4, 0<br>
> +; CHECK-NEXT: blr<br>
> +;<br>
> +; CHECK-VSX-LABEL: test_FMADD_ASSOC_EXT3:<br>
> +; CHECK-VSX: # %bb.0:<br>
> +; CHECK-VSX-NEXT: xsmaddmdp 1, 2, 5<br>
> +; CHECK-VSX-NEXT: xsmaddadp 1, 3, 4<br>
> +; CHECK-VSX-NEXT: blr<br>
> double %D, double %E) {<br>
> %F = fmul float %A, %B ; <float> [#uses=1]<br>
> %G = fpext float %F to double ; <double> [#uses=1]<br>
> @@ -246,31 +158,18 @@ define double @test_FMADD_ASSOC_EXT3(float %A, float %B, double %C,<br>
> }<br>
><br>
> define double @test_FMADD_ASSOC_EXT4(float %A, float %B, float %C,<br>
> -; CHECK-SAFE-LABEL: test_FMADD_ASSOC_EXT4:<br>
> -; CHECK-SAFE: # %bb.0:<br>
> -; CHECK-SAFE-NEXT: fmadd 0, 3, 4, 5<br>
> -; CHECK-SAFE-NEXT: fmadd 1, 1, 2, 0<br>
> -; CHECK-SAFE-NEXT: blr<br>
> -;<br>
> -; CHECK-VSX-SAFE-LABEL: test_FMADD_ASSOC_EXT4:<br>
> -; CHECK-VSX-SAFE: # %bb.0:<br>
> -; CHECK-VSX-SAFE-NEXT: xsmaddmdp 3, 4, 5<br>
> -; CHECK-VSX-SAFE-NEXT: xsmaddadp 3, 1, 2<br>
> -; CHECK-VSX-SAFE-NEXT: fmr 1, 3<br>
> -; CHECK-VSX-SAFE-NEXT: blr<br>
> -;<br>
> -; CHECK-UNSAFE-LABEL: test_FMADD_ASSOC_EXT4:<br>
> -; CHECK-UNSAFE: # %bb.0:<br>
> -; CHECK-UNSAFE-NEXT: fmadd 0, 3, 4, 5<br>
> -; CHECK-UNSAFE-NEXT: fmadd 1, 1, 2, 0<br>
> -; CHECK-UNSAFE-NEXT: blr<br>
> -;<br>
> -; CHECK-VSX-UNSAFE-LABEL: test_FMADD_ASSOC_EXT4:<br>
> -; CHECK-VSX-UNSAFE: # %bb.0:<br>
> -; CHECK-VSX-UNSAFE-NEXT: xsmaddmdp 3, 4, 5<br>
> -; CHECK-VSX-UNSAFE-NEXT: xsmaddadp 3, 1, 2<br>
> -; CHECK-VSX-UNSAFE-NEXT: fmr 1, 3<br>
> -; CHECK-VSX-UNSAFE-NEXT: blr<br>
> +; CHECK-LABEL: test_FMADD_ASSOC_EXT4:<br>
> +; CHECK: # %bb.0:<br>
> +; CHECK-NEXT: fmadd 0, 3, 4, 5<br>
> +; CHECK-NEXT: fmadd 1, 1, 2, 0<br>
> +; CHECK-NEXT: blr<br>
> +;<br>
> +; CHECK-VSX-LABEL: test_FMADD_ASSOC_EXT4:<br>
> +; CHECK-VSX: # %bb.0:<br>
> +; CHECK-VSX-NEXT: xsmaddmdp 3, 4, 5<br>
> +; CHECK-VSX-NEXT: xsmaddadp 3, 1, 2<br>
> +; CHECK-VSX-NEXT: fmr 1, 3<br>
> +; CHECK-VSX-NEXT: blr<br>
> float %D, double %E) {<br>
> %F = fmul float %A, %B ; <float> [#uses=1]<br>
> %G = fmul float %C, %D ; <float> [#uses=1]<br>
> @@ -281,29 +180,17 @@ define double @test_FMADD_ASSOC_EXT4(float %A, float %B, float %C,<br>
> }<br>
><br>
> define double @test_FMSUB_ASSOC_EXT1(float %A, float %B, double %C,<br>
> -; CHECK-SAFE-LABEL: test_FMSUB_ASSOC_EXT1:<br>
> -; CHECK-SAFE: # %bb.0:<br>
> -; CHECK-SAFE-NEXT: fmsub 0, 1, 2, 5<br>
> -; CHECK-SAFE-NEXT: fmadd 1, 3, 4, 0<br>
> -; CHECK-SAFE-NEXT: blr<br>
> -;<br>
> -; CHECK-VSX-SAFE-LABEL: test_FMSUB_ASSOC_EXT1:<br>
> -; CHECK-VSX-SAFE: # %bb.0:<br>
> -; CHECK-VSX-SAFE-NEXT: xsmsubmdp 1, 2, 5<br>
> -; CHECK-VSX-SAFE-NEXT: xsmaddadp 1, 3, 4<br>
> -; CHECK-VSX-SAFE-NEXT: blr<br>
> -;<br>
> -; CHECK-UNSAFE-LABEL: test_FMSUB_ASSOC_EXT1:<br>
> -; CHECK-UNSAFE: # %bb.0:<br>
> -; CHECK-UNSAFE-NEXT: fmsub 0, 1, 2, 5<br>
> -; CHECK-UNSAFE-NEXT: fmadd 1, 3, 4, 0<br>
> -; CHECK-UNSAFE-NEXT: blr<br>
> -;<br>
> -; CHECK-VSX-UNSAFE-LABEL: test_FMSUB_ASSOC_EXT1:<br>
> -; CHECK-VSX-UNSAFE: # %bb.0:<br>
> -; CHECK-VSX-UNSAFE-NEXT: xsmsubmdp 1, 2, 5<br>
> -; CHECK-VSX-UNSAFE-NEXT: xsmaddadp 1, 3, 4<br>
> -; CHECK-VSX-UNSAFE-NEXT: blr<br>
> +; CHECK-LABEL: test_FMSUB_ASSOC_EXT1:<br>
> +; CHECK: # %bb.0:<br>
> +; CHECK-NEXT: fmsub 0, 1, 2, 5<br>
> +; CHECK-NEXT: fmadd 1, 3, 4, 0<br>
> +; CHECK-NEXT: blr<br>
> +;<br>
> +; CHECK-VSX-LABEL: test_FMSUB_ASSOC_EXT1:<br>
> +; CHECK-VSX: # %bb.0:<br>
> +; CHECK-VSX-NEXT: xsmsubmdp 1, 2, 5<br>
> +; CHECK-VSX-NEXT: xsmaddadp 1, 3, 4<br>
> +; CHECK-VSX-NEXT: blr<br>
> double %D, double %E) {<br>
> %F = fmul float %A, %B ; <float> [#uses=1]<br>
> %G = fpext float %F to double ; <double> [#uses=1]<br>
> @@ -314,31 +201,18 @@ define double @test_FMSUB_ASSOC_EXT1(float %A, float %B, double %C,<br>
> }<br>
><br>
> define double @test_FMSUB_ASSOC_EXT2(float %A, float %B, float %C,<br>
> -; CHECK-SAFE-LABEL: test_FMSUB_ASSOC_EXT2:<br>
> -; CHECK-SAFE: # %bb.0:<br>
> -; CHECK-SAFE-NEXT: fmsub 0, 3, 4, 5<br>
> -; CHECK-SAFE-NEXT: fmadd 1, 1, 2, 0<br>
> -; CHECK-SAFE-NEXT: blr<br>
> -;<br>
> -; CHECK-VSX-SAFE-LABEL: test_FMSUB_ASSOC_EXT2:<br>
> -; CHECK-VSX-SAFE: # %bb.0:<br>
> -; CHECK-VSX-SAFE-NEXT: xsmsubmdp 3, 4, 5<br>
> -; CHECK-VSX-SAFE-NEXT: xsmaddadp 3, 1, 2<br>
> -; CHECK-VSX-SAFE-NEXT: fmr 1, 3<br>
> -; CHECK-VSX-SAFE-NEXT: blr<br>
> -;<br>
> -; CHECK-UNSAFE-LABEL: test_FMSUB_ASSOC_EXT2:<br>
> -; CHECK-UNSAFE: # %bb.0:<br>
> -; CHECK-UNSAFE-NEXT: fmsub 0, 3, 4, 5<br>
> -; CHECK-UNSAFE-NEXT: fmadd 1, 1, 2, 0<br>
> -; CHECK-UNSAFE-NEXT: blr<br>
> -;<br>
> -; CHECK-VSX-UNSAFE-LABEL: test_FMSUB_ASSOC_EXT2:<br>
> -; CHECK-VSX-UNSAFE: # %bb.0:<br>
> -; CHECK-VSX-UNSAFE-NEXT: xsmsubmdp 3, 4, 5<br>
> -; CHECK-VSX-UNSAFE-NEXT: xsmaddadp 3, 1, 2<br>
> -; CHECK-VSX-UNSAFE-NEXT: fmr 1, 3<br>
> -; CHECK-VSX-UNSAFE-NEXT: blr<br>
> +; CHECK-LABEL: test_FMSUB_ASSOC_EXT2:<br>
> +; CHECK: # %bb.0:<br>
> +; CHECK-NEXT: fmsub 0, 3, 4, 5<br>
> +; CHECK-NEXT: fmadd 1, 1, 2, 0<br>
> +; CHECK-NEXT: blr<br>
> +;<br>
> +; CHECK-VSX-LABEL: test_FMSUB_ASSOC_EXT2:<br>
> +; CHECK-VSX: # %bb.0:<br>
> +; CHECK-VSX-NEXT: xsmsubmdp 3, 4, 5<br>
> +; CHECK-VSX-NEXT: xsmaddadp 3, 1, 2<br>
> +; CHECK-VSX-NEXT: fmr 1, 3<br>
> +; CHECK-VSX-NEXT: blr<br>
> float %D, double %E) {<br>
> %F = fmul float %A, %B ; <float> [#uses=1]<br>
> %G = fmul float %C, %D ; <float> [#uses=1]<br>
> @@ -349,29 +223,17 @@ define double @test_FMSUB_ASSOC_EXT2(float %A, float %B, float %C,<br>
> }<br>
><br>
> define double @test_FMSUB_ASSOC_EXT3(float %A, float %B, double %C,<br>
> -; CHECK-SAFE-LABEL: test_FMSUB_ASSOC_EXT3:<br>
> -; CHECK-SAFE: # %bb.0:<br>
> -; CHECK-SAFE-NEXT: fnmsub 0, 1, 2, 5<br>
> -; CHECK-SAFE-NEXT: fnmsub 1, 3, 4, 0<br>
> -; CHECK-SAFE-NEXT: blr<br>
> -;<br>
> -; CHECK-VSX-SAFE-LABEL: test_FMSUB_ASSOC_EXT3:<br>
> -; CHECK-VSX-SAFE: # %bb.0:<br>
> -; CHECK-VSX-SAFE-NEXT: xsnmsubmdp 1, 2, 5<br>
> -; CHECK-VSX-SAFE-NEXT: xsnmsubadp 1, 3, 4<br>
> -; CHECK-VSX-SAFE-NEXT: blr<br>
> -;<br>
> -; CHECK-UNSAFE-LABEL: test_FMSUB_ASSOC_EXT3:<br>
> -; CHECK-UNSAFE: # %bb.0:<br>
> -; CHECK-UNSAFE-NEXT: fnmsub 0, 1, 2, 5<br>
> -; CHECK-UNSAFE-NEXT: fnmsub 1, 3, 4, 0<br>
> -; CHECK-UNSAFE-NEXT: blr<br>
> -;<br>
> -; CHECK-VSX-UNSAFE-LABEL: test_FMSUB_ASSOC_EXT3:<br>
> -; CHECK-VSX-UNSAFE: # %bb.0:<br>
> -; CHECK-VSX-UNSAFE-NEXT: xsnmsubmdp 1, 2, 5<br>
> -; CHECK-VSX-UNSAFE-NEXT: xsnmsubadp 1, 3, 4<br>
> -; CHECK-VSX-UNSAFE-NEXT: blr<br>
> +; CHECK-LABEL: test_FMSUB_ASSOC_EXT3:<br>
> +; CHECK: # %bb.0:<br>
> +; CHECK-NEXT: fnmsub 0, 1, 2, 5<br>
> +; CHECK-NEXT: fnmsub 1, 3, 4, 0<br>
> +; CHECK-NEXT: blr<br>
> +;<br>
> +; CHECK-VSX-LABEL: test_FMSUB_ASSOC_EXT3:<br>
> +; CHECK-VSX: # %bb.0:<br>
> +; CHECK-VSX-NEXT: xsnmsubmdp 1, 2, 5<br>
> +; CHECK-VSX-NEXT: xsnmsubadp 1, 3, 4<br>
> +; CHECK-VSX-NEXT: blr<br>
> double %D, double %E) {<br>
> %F = fmul float %A, %B ; <float> [#uses=1]<br>
> %G = fpext float %F to double ; <double> [#uses=1]<br>
> @@ -382,31 +244,18 @@ define double @test_FMSUB_ASSOC_EXT3(float %A, float %B, double %C,<br>
> }<br>
><br>
> define double @test_FMSUB_ASSOC_EXT4(float %A, float %B, float %C,<br>
> -; CHECK-SAFE-LABEL: test_FMSUB_ASSOC_EXT4:<br>
> -; CHECK-SAFE: # %bb.0:<br>
> -; CHECK-SAFE-NEXT: fnmsub 0, 3, 4, 5<br>
> -; CHECK-SAFE-NEXT: fnmsub 1, 1, 2, 0<br>
> -; CHECK-SAFE-NEXT: blr<br>
> -;<br>
> -; CHECK-VSX-SAFE-LABEL: test_FMSUB_ASSOC_EXT4:<br>
> -; CHECK-VSX-SAFE: # %bb.0:<br>
> -; CHECK-VSX-SAFE-NEXT: xsnmsubmdp 3, 4, 5<br>
> -; CHECK-VSX-SAFE-NEXT: xsnmsubadp 3, 1, 2<br>
> -; CHECK-VSX-SAFE-NEXT: fmr 1, 3<br>
> -; CHECK-VSX-SAFE-NEXT: blr<br>
> -;<br>
> -; CHECK-UNSAFE-LABEL: test_FMSUB_ASSOC_EXT4:<br>
> -; CHECK-UNSAFE: # %bb.0:<br>
> -; CHECK-UNSAFE-NEXT: fnmsub 0, 3, 4, 5<br>
> -; CHECK-UNSAFE-NEXT: fnmsub 1, 1, 2, 0<br>
> -; CHECK-UNSAFE-NEXT: blr<br>
> -;<br>
> -; CHECK-VSX-UNSAFE-LABEL: test_FMSUB_ASSOC_EXT4:<br>
> -; CHECK-VSX-UNSAFE: # %bb.0:<br>
> -; CHECK-VSX-UNSAFE-NEXT: xsnmsubmdp 3, 4, 5<br>
> -; CHECK-VSX-UNSAFE-NEXT: xsnmsubadp 3, 1, 2<br>
> -; CHECK-VSX-UNSAFE-NEXT: fmr 1, 3<br>
> -; CHECK-VSX-UNSAFE-NEXT: blr<br>
> +; CHECK-LABEL: test_FMSUB_ASSOC_EXT4:<br>
> +; CHECK: # %bb.0:<br>
> +; CHECK-NEXT: fnmsub 0, 3, 4, 5<br>
> +; CHECK-NEXT: fnmsub 1, 1, 2, 0<br>
> +; CHECK-NEXT: blr<br>
> +;<br>
> +; CHECK-VSX-LABEL: test_FMSUB_ASSOC_EXT4:<br>
> +; CHECK-VSX: # %bb.0:<br>
> +; CHECK-VSX-NEXT: xsnmsubmdp 3, 4, 5<br>
> +; CHECK-VSX-NEXT: xsnmsubadp 3, 1, 2<br>
> +; CHECK-VSX-NEXT: fmr 1, 3<br>
> +; CHECK-VSX-NEXT: blr<br>
> float %D, double %E) {<br>
> %F = fmul float %A, %B ; <float> [#uses=1]<br>
> %G = fmul float %C, %D ; <float> [#uses=1]<br>
> @@ -415,3 +264,280 @@ define double @test_FMSUB_ASSOC_EXT4(float %A, float %B, float %C,<br>
> %J = fsub double %E, %I ; <double> [#uses=1]<br>
> ret double %J<br>
> }<br>
> +<br>
> +define double @test_reassoc_FMADD_ASSOC1(double %A, double %B, double %C,<br>
> +; CHECK-LABEL: test_reassoc_FMADD_ASSOC1:<br>
> +; CHECK: # %bb.0:<br>
> +; CHECK-NEXT: fmadd 0, 3, 4, 5<br>
> +; CHECK-NEXT: fmadd 1, 1, 2, 0<br>
> +; CHECK-NEXT: blr<br>
> +;<br>
> +; CHECK-VSX-LABEL: test_reassoc_FMADD_ASSOC1:<br>
> +; CHECK-VSX: # %bb.0:<br>
> +; CHECK-VSX-NEXT: xsmaddmdp 3, 4, 5<br>
> +; CHECK-VSX-NEXT: xsmaddadp 3, 1, 2<br>
> +; CHECK-VSX-NEXT: fmr 1, 3<br>
> +; CHECK-VSX-NEXT: blr<br>
> + double %D, double %E) {<br>
> + %F = fmul reassoc double %A, %B ; <double> [#uses=1]<br>
> + %G = fmul reassoc double %C, %D ; <double> [#uses=1]<br>
> + %H = fadd reassoc double %F, %G ; <double> [#uses=1]<br>
> + %I = fadd reassoc double %H, %E ; <double> [#uses=1]<br>
> + ret double %I<br>
> +}<br>
> +<br>
> +define double @test_reassoc_FMADD_ASSOC2(double %A, double %B, double %C,<br>
> +; CHECK-LABEL: test_reassoc_FMADD_ASSOC2:<br>
> +; CHECK: # %bb.0:<br>
> +; CHECK-NEXT: fmadd 0, 3, 4, 5<br>
> +; CHECK-NEXT: fmadd 1, 1, 2, 0<br>
> +; CHECK-NEXT: blr<br>
> +;<br>
> +; CHECK-VSX-LABEL: test_reassoc_FMADD_ASSOC2:<br>
> +; CHECK-VSX: # %bb.0:<br>
> +; CHECK-VSX-NEXT: xsmaddmdp 3, 4, 5<br>
> +; CHECK-VSX-NEXT: xsmaddadp 3, 1, 2<br>
> +; CHECK-VSX-NEXT: fmr 1, 3<br>
> +; CHECK-VSX-NEXT: blr<br>
> + double %D, double %E) {<br>
> + %F = fmul reassoc double %A, %B ; <double> [#uses=1]<br>
> + %G = fmul reassoc double %C, %D ; <double> [#uses=1]<br>
> + %H = fadd reassoc double %F, %G ; <double> [#uses=1]<br>
> + %I = fadd reassoc double %E, %H ; <double> [#uses=1]<br>
> + ret double %I<br>
> +}<br>
> +<br>
> +define double @test_reassoc_FMSUB_ASSOC1(double %A, double %B, double %C,<br>
> +; CHECK-LABEL: test_reassoc_FMSUB_ASSOC1:<br>
> +; CHECK: # %bb.0:<br>
> +; CHECK-NEXT: fmsub 0, 3, 4, 5<br>
> +; CHECK-NEXT: fmadd 1, 1, 2, 0<br>
> +; CHECK-NEXT: blr<br>
> +;<br>
> +; CHECK-VSX-LABEL: test_reassoc_FMSUB_ASSOC1:<br>
> +; CHECK-VSX: # %bb.0:<br>
> +; CHECK-VSX-NEXT: xsmsubmdp 3, 4, 5<br>
> +; CHECK-VSX-NEXT: xsmaddadp 3, 1, 2<br>
> +; CHECK-VSX-NEXT: fmr 1, 3<br>
> +; CHECK-VSX-NEXT: blr<br>
> + double %D, double %E) {<br>
> + %F = fmul reassoc double %A, %B ; <double> [#uses=1]<br>
> + %G = fmul reassoc double %C, %D ; <double> [#uses=1]<br>
> + %H = fadd reassoc double %F, %G ; <double> [#uses=1]<br>
> + %I = fsub reassoc double %H, %E ; <double> [#uses=1]<br>
> + ret double %I<br>
> +}<br>
> +<br>
> +define double @test_reassoc_FMSUB_ASSOC2(double %A, double %B, double %C,<br>
> +; CHECK-LABEL: test_reassoc_FMSUB_ASSOC2:<br>
> +; CHECK: # %bb.0:<br>
> +; CHECK-NEXT: fnmsub 0, 3, 4, 5<br>
> +; CHECK-NEXT: fnmsub 1, 1, 2, 0<br>
> +; CHECK-NEXT: blr<br>
> +;<br>
> +; CHECK-VSX-LABEL: test_reassoc_FMSUB_ASSOC2:<br>
> +; CHECK-VSX: # %bb.0:<br>
> +; CHECK-VSX-NEXT: xsnmsubmdp 3, 4, 5<br>
> +; CHECK-VSX-NEXT: xsnmsubadp 3, 1, 2<br>
> +; CHECK-VSX-NEXT: fmr 1, 3<br>
> +; CHECK-VSX-NEXT: blr<br>
> + double %D, double %E) {<br>
> + %F = fmul reassoc double %A, %B ; <double> [#uses=1]<br>
> + %G = fmul reassoc double %C, %D ; <double> [#uses=1]<br>
> + %H = fadd reassoc double %F, %G ; <double> [#uses=1]<br>
> + %I = fsub reassoc double %E, %H ; <double> [#uses=1]<br>
> + ret double %I<br>
> +}<br>
> +<br>
> +define double @test_fast_FMSUB_ASSOC2(double %A, double %B, double %C,<br>
> +; CHECK-LABEL: test_fast_FMSUB_ASSOC2:<br>
> +; CHECK: # %bb.0:<br>
> +; CHECK-NEXT: fnmsub 0, 3, 4, 5<br>
> +; CHECK-NEXT: fnmsub 1, 1, 2, 0<br>
> +; CHECK-NEXT: blr<br>
> +;<br>
> +; CHECK-VSX-LABEL: test_fast_FMSUB_ASSOC2:<br>
> +; CHECK-VSX: # %bb.0:<br>
> +; CHECK-VSX-NEXT: xsnmsubmdp 3, 4, 5<br>
> +; CHECK-VSX-NEXT: xsnmsubadp 3, 1, 2<br>
> +; CHECK-VSX-NEXT: fmr 1, 3<br>
> +; CHECK-VSX-NEXT: blr<br>
> + double %D, double %E) {<br>
> + %F = fmul fast double %A, %B ; <double> [#uses=1]<br>
> + %G = fmul fast double %C, %D ; <double> [#uses=1]<br>
> + %H = fadd fast double %F, %G ; <double> [#uses=1]<br>
> + %I = fsub fast double %E, %H ; <double> [#uses=1]<br>
> + ret double %I<br>
> +}<br>
> +<br>
> +define double @test_reassoc_FMADD_ASSOC_EXT1(float %A, float %B, double %C,<br>
> +; CHECK-LABEL: test_reassoc_FMADD_ASSOC_EXT1:<br>
> +; CHECK: # %bb.0:<br>
> +; CHECK-NEXT: fmadd 0, 1, 2, 5<br>
> +; CHECK-NEXT: fmadd 1, 3, 4, 0<br>
> +; CHECK-NEXT: blr<br>
> +;<br>
> +; CHECK-VSX-LABEL: test_reassoc_FMADD_ASSOC_EXT1:<br>
> +; CHECK-VSX: # %bb.0:<br>
> +; CHECK-VSX-NEXT: xsmaddmdp 1, 2, 5<br>
> +; CHECK-VSX-NEXT: xsmaddadp 1, 3, 4<br>
> +; CHECK-VSX-NEXT: blr<br>
> + double %D, double %E) {<br>
> + %F = fmul reassoc float %A, %B ; <float> [#uses=1]<br>
> + %G = fpext float %F to double ; <double> [#uses=1]<br>
> + %H = fmul reassoc double %C, %D ; <double> [#uses=1]<br>
> + %I = fadd reassoc double %H, %G ; <double> [#uses=1]<br>
> + %J = fadd reassoc double %I, %E ; <double> [#uses=1]<br>
> + ret double %J<br>
> +}<br>
> +<br>
> +define double @test_reassoc_FMADD_ASSOC_EXT2(float %A, float %B, float %C,<br>
> +; CHECK-LABEL: test_reassoc_FMADD_ASSOC_EXT2:<br>
> +; CHECK: # %bb.0:<br>
> +; CHECK-NEXT: fmadd 0, 3, 4, 5<br>
> +; CHECK-NEXT: fmadd 1, 1, 2, 0<br>
> +; CHECK-NEXT: blr<br>
> +;<br>
> +; CHECK-VSX-LABEL: test_reassoc_FMADD_ASSOC_EXT2:<br>
> +; CHECK-VSX: # %bb.0:<br>
> +; CHECK-VSX-NEXT: xsmaddmdp 3, 4, 5<br>
> +; CHECK-VSX-NEXT: xsmaddadp 3, 1, 2<br>
> +; CHECK-VSX-NEXT: fmr 1, 3<br>
> +; CHECK-VSX-NEXT: blr<br>
> + float %D, double %E) {<br>
> + %F = fmul reassoc float %A, %B ; <float> [#uses=1]<br>
> + %G = fmul reassoc float %C, %D ; <float> [#uses=1]<br>
> + %H = fadd reassoc float %F, %G ; <float> [#uses=1]<br>
> + %I = fpext float %H to double ; <double> [#uses=1]<br>
> + %J = fadd reassoc double %I, %E ; <double> [#uses=1]<br>
> + ret double %J<br>
> +}<br>
> +<br>
> +define double @test_reassoc_FMADD_ASSOC_EXT3(float %A, float %B, double %C,<br>
> +; CHECK-LABEL: test_reassoc_FMADD_ASSOC_EXT3:<br>
> +; CHECK: # %bb.0:<br>
> +; CHECK-NEXT: fmadd 0, 1, 2, 5<br>
> +; CHECK-NEXT: fmadd 1, 3, 4, 0<br>
> +; CHECK-NEXT: blr<br>
> +;<br>
> +; CHECK-VSX-LABEL: test_reassoc_FMADD_ASSOC_EXT3:<br>
> +; CHECK-VSX: # %bb.0:<br>
> +; CHECK-VSX-NEXT: xsmaddmdp 1, 2, 5<br>
> +; CHECK-VSX-NEXT: xsmaddadp 1, 3, 4<br>
> +; CHECK-VSX-NEXT: blr<br>
> + double %D, double %E) {<br>
> + %F = fmul reassoc float %A, %B ; <float> [#uses=1]<br>
> + %G = fpext float %F to double ; <double> [#uses=1]<br>
> + %H = fmul reassoc double %C, %D ; <double> [#uses=1]<br>
> + %I = fadd reassoc double %H, %G ; <double> [#uses=1]<br>
> + %J = fadd reassoc double %E, %I ; <double> [#uses=1]<br>
> + ret double %J<br>
> +}<br>
> +<br>
> +define double @test_reassoc_FMADD_ASSOC_EXT4(float %A, float %B, float %C,<br>
> +; CHECK-LABEL: test_reassoc_FMADD_ASSOC_EXT4:<br>
> +; CHECK: # %bb.0:<br>
> +; CHECK-NEXT: fmadd 0, 3, 4, 5<br>
> +; CHECK-NEXT: fmadd 1, 1, 2, 0<br>
> +; CHECK-NEXT: blr<br>
> +;<br>
> +; CHECK-VSX-LABEL: test_reassoc_FMADD_ASSOC_EXT4:<br>
> +; CHECK-VSX: # %bb.0:<br>
> +; CHECK-VSX-NEXT: xsmaddmdp 3, 4, 5<br>
> +; CHECK-VSX-NEXT: xsmaddadp 3, 1, 2<br>
> +; CHECK-VSX-NEXT: fmr 1, 3<br>
> +; CHECK-VSX-NEXT: blr<br>
> + float %D, double %E) {<br>
> + %F = fmul reassoc float %A, %B ; <float> [#uses=1]<br>
> + %G = fmul reassoc float %C, %D ; <float> [#uses=1]<br>
> + %H = fadd reassoc float %F, %G ; <float> [#uses=1]<br>
> + %I = fpext float %H to double ; <double> [#uses=1]<br>
> + %J = fadd reassoc double %E, %I ; <double> [#uses=1]<br>
> + ret double %J<br>
> +}<br>
> +<br>
> +define double @test_reassoc_FMSUB_ASSOC_EXT1(float %A, float %B, double %C,<br>
> +; CHECK-LABEL: test_reassoc_FMSUB_ASSOC_EXT1:<br>
> +; CHECK: # %bb.0:<br>
> +; CHECK-NEXT: fmsub 0, 1, 2, 5<br>
> +; CHECK-NEXT: fmadd 1, 3, 4, 0<br>
> +; CHECK-NEXT: blr<br>
> +;<br>
> +; CHECK-VSX-LABEL: test_reassoc_FMSUB_ASSOC_EXT1:<br>
> +; CHECK-VSX: # %bb.0:<br>
> +; CHECK-VSX-NEXT: xsmsubmdp 1, 2, 5<br>
> +; CHECK-VSX-NEXT: xsmaddadp 1, 3, 4<br>
> +; CHECK-VSX-NEXT: blr<br>
> + double %D, double %E) {<br>
> + %F = fmul reassoc float %A, %B ; <float> [#uses=1]<br>
> + %G = fpext float %F to double ; <double> [#uses=1]<br>
> + %H = fmul reassoc double %C, %D ; <double> [#uses=1]<br>
> + %I = fadd reassoc double %H, %G ; <double> [#uses=1]<br>
> + %J = fsub reassoc double %I, %E ; <double> [#uses=1]<br>
> + ret double %J<br>
> +}<br>
> +<br>
> +define double @test_reassoc_FMSUB_ASSOC_EXT2(float %A, float %B, float %C,<br>
> +; CHECK-LABEL: test_reassoc_FMSUB_ASSOC_EXT2:<br>
> +; CHECK: # %bb.0:<br>
> +; CHECK-NEXT: fmsub 0, 3, 4, 5<br>
> +; CHECK-NEXT: fmadd 1, 1, 2, 0<br>
> +; CHECK-NEXT: blr<br>
> +;<br>
> +; CHECK-VSX-LABEL: test_reassoc_FMSUB_ASSOC_EXT2:<br>
> +; CHECK-VSX: # %bb.0:<br>
> +; CHECK-VSX-NEXT: xsmsubmdp 3, 4, 5<br>
> +; CHECK-VSX-NEXT: xsmaddadp 3, 1, 2<br>
> +; CHECK-VSX-NEXT: fmr 1, 3<br>
> +; CHECK-VSX-NEXT: blr<br>
> + float %D, double %E) {<br>
> + %F = fmul reassoc float %A, %B ; <float> [#uses=1]<br>
> + %G = fmul reassoc float %C, %D ; <float> [#uses=1]<br>
> + %H = fadd reassoc float %F, %G ; <float> [#uses=1]<br>
> + %I = fpext float %H to double ; <double> [#uses=1]<br>
> + %J = fsub reassoc double %I, %E ; <double> [#uses=1]<br>
> + ret double %J<br>
> +}<br>
> +<br>
> +define double @test_reassoc_FMSUB_ASSOC_EXT3(float %A, float %B, double %C,<br>
> +; CHECK-LABEL: test_reassoc_FMSUB_ASSOC_EXT3:<br>
> +; CHECK: # %bb.0:<br>
> +; CHECK-NEXT: fnmsub 0, 1, 2, 5<br>
> +; CHECK-NEXT: fnmsub 1, 3, 4, 0<br>
> +; CHECK-NEXT: blr<br>
> +;<br>
> +; CHECK-VSX-LABEL: test_reassoc_FMSUB_ASSOC_EXT3:<br>
> +; CHECK-VSX: # %bb.0:<br>
> +; CHECK-VSX-NEXT: xsnmsubmdp 1, 2, 5<br>
> +; CHECK-VSX-NEXT: xsnmsubadp 1, 3, 4<br>
> +; CHECK-VSX-NEXT: blr<br>
> + double %D, double %E) {<br>
> + %F = fmul reassoc float %A, %B ; <float> [#uses=1]<br>
> + %G = fpext float %F to double ; <double> [#uses=1]<br>
> + %H = fmul reassoc double %C, %D ; <double> [#uses=1]<br>
> + %I = fadd reassoc double %H, %G ; <double> [#uses=1]<br>
> + %J = fsub reassoc double %E, %I ; <double> [#uses=1]<br>
> + ret double %J<br>
> +}<br>
> +<br>
> +define double @test_reassoc_FMSUB_ASSOC_EXT4(float %A, float %B, float %C,<br>
> +; CHECK-LABEL: test_reassoc_FMSUB_ASSOC_EXT4:<br>
> +; CHECK: # %bb.0:<br>
> +; CHECK-NEXT: fnmsub 0, 3, 4, 5<br>
> +; CHECK-NEXT: fnmsub 1, 1, 2, 0<br>
> +; CHECK-NEXT: blr<br>
> +;<br>
> +; CHECK-VSX-LABEL: test_reassoc_FMSUB_ASSOC_EXT4:<br>
> +; CHECK-VSX: # %bb.0:<br>
> +; CHECK-VSX-NEXT: xsnmsubmdp 3, 4, 5<br>
> +; CHECK-VSX-NEXT: xsnmsubadp 3, 1, 2<br>
> +; CHECK-VSX-NEXT: fmr 1, 3<br>
> +; CHECK-VSX-NEXT: blr<br>
> + float %D, double %E) {<br>
> + %F = fmul reassoc float %A, %B ; <float> [#uses=1]<br>
> + %G = fmul reassoc float %C, %D ; <float> [#uses=1]<br>
> + %H = fadd reassoc float %F, %G ; <float> [#uses=1]<br>
> + %I = fpext float %H to double ; <double> [#uses=1]<br>
> + %J = fsub reassoc double %E, %I ; <double> [#uses=1]<br>
> + ret double %J<br>
> +}<br>
><br>
><br>
><br>
> _______________________________________________<br>
> llvm-commits mailing list<br>
> <a href="mailto:llvm-commits@lists.llvm.org" target="_blank">llvm-commits@lists.llvm.org</a><br>
> <a href="https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-commits" rel="noreferrer" target="_blank">https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-commits</a><br>
_______________________________________________<br>
llvm-commits mailing list<br>
<a href="mailto:llvm-commits@lists.llvm.org" target="_blank">llvm-commits@lists.llvm.org</a><br>
<a href="https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-commits" rel="noreferrer" target="_blank">https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-commits</a><br>
</blockquote></div>