This is an archive of the discontinued LLVM Phabricator instance.

Differential D77558

PowerPC: Don't hoist float multiply + add to fused operation on SPE
ClosedPublic

Authored by jhibbits on Apr 6 2020, 8:12 AM.

Details

Reviewers
shchenz
nemanjai
Group Reviewers
Restricted Project
Summary

SPE doesn't have a fmadd instruction, so don't bother hoisting a
multiply and add sequence to this, as it'd become just a library call.
Hoisting happens too late for the CTR usability test to veto using the CTR
in a loop, and results in an assert "Invalid PPC CTR loop!".

Diff Detail

Event Timeline

jhibbits created this revision.Apr 6 2020, 8:12 AM
Herald added a project: Restricted Project. · View Herald TranscriptApr 6 2020, 8:12 AM
Herald added subscribers: llvm-commits, shchenz, kbarton and 2 others. · View Herald Transcript
Harbormaster completed remote builds in B51955: Diff 255351.Apr 6 2020, 9:45 AM
Herald added a subscriber: • wuzish. · View Herald TranscriptApr 6 2020, 9:45 AM
lkail added a reviewer: shchenz.Apr 6 2020, 3:20 PM
shchenz added a comment.Apr 6 2020, 10:37 PM

This happens too late for the CTR usability test to veto using the CTR in a loop, and results in an assert "Invalid PPC CTR loop!".

This means after not hoisting fmul makes a case have "Invalid PPC CTR loop!" assertion? This is a little surprised for me. Hoist or not hoist fmul should not impact CTR register.
Looking forward to your case.

jhibbits added a comment.Apr 7 2020, 7:04 AM
In D77558#1966207, @shchenz wrote:

This happens too late for the CTR usability test to veto using the CTR in a loop, and results in an assert "Invalid PPC CTR loop!".

This means after not hoisting fmul makes a case have "Invalid PPC CTR loop!" assertion? This is a little surprised for me. Hoist or not hoist fmul should not impact CTR register.
Looking forward to your case.

Sorry, on a further reading of the summary I can see it can be a little confusing. *hoisting* fmul + fadd to fma results in a library call, because SPE doesn't have a fma instruction. Unfortunately, this transform is performed long after a loop is transformed to a CTR with bdnz loop, so it can't be caught at the loop transform time, and block the loop. In addition to triggering that assert, hoisting two instructions into a function call is quite a pessimization anyway :)

I'll update the summary to clarify this.

jhibbits edited the summary of this revision. (Show Details)Apr 7 2020, 7:06 AM
adalava added a subscriber: adalava.Jul 5 2022, 12:20 PM
Herald added a project: Restricted Project. · View Herald TranscriptJul 5 2022, 12:20 PM
nemanjai added a comment.Jul 6 2022, 1:43 PM

I think this is the right thing to do regardless of whether it affects CTR loops or not. The FMA is never faster with SPE and that should be marked as such. But yes, we still need a test case.

jhibbits updated this revision to Diff 442752.Jul 6 2022, 7:07 PM
jhibbits edited the summary of this revision. (Show Details)
jhibbits added a reviewer: nemanjai.

Add test case into fma-assoc test. This appears to be the simplest test to validate the change.

Harbormaster completed remote builds in B174032: Diff 442752.Jul 6 2022, 7:46 PM
jhibbits added a comment.Aug 9 2022, 6:37 AM

@nemanjai Any further comment on this, or is it good to go?

nemanjai accepted this revision.Aug 9 2022, 8:01 AM

LGTM.

This revision is now accepted and ready to land.Aug 9 2022, 8:01 AM
jhibbits closed this revision.Aug 10 2022, 8:07 AM

https://github.com/llvm/llvm-project/commit/f43b2285815961da057af1a772bc31d0152d286b

Revision Contents

PathSize
llvm/
lib/
Target/
PowerPC/
2 lines
test/
CodeGen/
PowerPC/
414 lines

Diff 442752

llvm/lib/Target/PowerPC/PPCISelLowering.cpp

Context not available.
bool PPCTargetLowering::isFMAFasterThanFMulAndFAdd(const Function &F, bool PPCTargetLowering::isFMAFasterThanFMulAndFAdd(const Function &F,
Type *Ty) const { Type *Ty) const {
if (Subtarget.hasSPE())
return false;
switch (Ty->getScalarType()->getTypeID()) { switch (Ty->getScalarType()->getTypeID()) {
case Type::FloatTyID: case Type::FloatTyID:
case Type::DoubleTyID: case Type::DoubleTyID:
Context not available.

llvm/test/CodeGen/PowerPC/fma-assoc.ll

Context not available.
; RUN: llc -verify-machineinstrs < %s -mtriple=powerpc64-ibm-aix-xcoff \ ; RUN: llc -verify-machineinstrs < %s -mtriple=powerpc64-ibm-aix-xcoff \
; RUN: -fp-contract=fast -mattr=+vsx -disable-ppc-vsx-fma-mutation=false \ ; RUN: -fp-contract=fast -mattr=+vsx -disable-ppc-vsx-fma-mutation=false \
; RUN: -mcpu=pwr7 -vec-extabi | FileCheck -check-prefix=CHECK-VSX %s ; RUN: -mcpu=pwr7 -vec-extabi | FileCheck -check-prefix=CHECK-VSX %s
; RUN: llc -verify-machineinstrs < %s -mtriple=powerpcspe-linux-unknown-gnu \
; RUN: | FileCheck -check-prefix=CHECK-SPE %s
define double @test_FMADD_ASSOC1(double %A, double %B, double %C, define double @test_FMADD_ASSOC1(double %A, double %B, double %C,
; CHECK-LABEL: test_FMADD_ASSOC1: ; CHECK-LABEL: test_FMADD_ASSOC1:
Context not available.
; CHECK-VSX-NEXT: xsmaddadp 0, 1, 2 ; CHECK-VSX-NEXT: xsmaddadp 0, 1, 2
; CHECK-VSX-NEXT: xsadddp 1, 0, 5 ; CHECK-VSX-NEXT: xsadddp 1, 0, 5
; CHECK-VSX-NEXT: blr ; CHECK-VSX-NEXT: blr
;
; CHECK-SPE-LABEL: test_FMADD_ASSOC1:
; CHECK-SPE: # %bb.0:
; CHECK-SPE-NEXT: evmergelo 9, 9, 10
; CHECK-SPE-NEXT: evmergelo 7, 7, 8
; CHECK-SPE-NEXT: evmergelo 5, 5, 6
; CHECK-SPE-NEXT: evmergelo 3, 3, 4
; CHECK-SPE-NEXT: efdmul 4, 7, 9
; CHECK-SPE-NEXT: efdmul 3, 3, 5
; CHECK-SPE-NEXT: evldd 5, 8(1)
; CHECK-SPE-NEXT: efdadd 3, 3, 4
; CHECK-SPE-NEXT: efdadd 4, 3, 5
; CHECK-SPE-NEXT: evmergehi 3, 4, 4
; CHECK-SPE-NEXT: # kill: def $r4 killed $r4 killed $s4
; CHECK-SPE-NEXT: # kill: def $r3 killed $r3 killed $s3
; CHECK-SPE-NEXT: blr
double %D, double %E) { double %D, double %E) {
%F = fmul double %A, %B ; <double> [#uses=1] %F = fmul double %A, %B ; <double> [#uses=1]
%G = fmul double %C, %D ; <double> [#uses=1] %G = fmul double %C, %D ; <double> [#uses=1]
Context not available.
; CHECK-VSX-NEXT: xsmaddadp 0, 1, 2 ; CHECK-VSX-NEXT: xsmaddadp 0, 1, 2
; CHECK-VSX-NEXT: xsadddp 1, 5, 0 ; CHECK-VSX-NEXT: xsadddp 1, 5, 0
; CHECK-VSX-NEXT: blr ; CHECK-VSX-NEXT: blr
;
; CHECK-SPE-LABEL: test_FMADD_ASSOC2:
; CHECK-SPE: # %bb.0:
; CHECK-SPE-NEXT: evmergelo 9, 9, 10
; CHECK-SPE-NEXT: evmergelo 7, 7, 8
; CHECK-SPE-NEXT: evmergelo 5, 5, 6
; CHECK-SPE-NEXT: evmergelo 3, 3, 4
; CHECK-SPE-NEXT: efdmul 4, 7, 9
; CHECK-SPE-NEXT: efdmul 3, 3, 5
; CHECK-SPE-NEXT: evldd 5, 8(1)
; CHECK-SPE-NEXT: efdadd 3, 3, 4
; CHECK-SPE-NEXT: efdadd 4, 5, 3
; CHECK-SPE-NEXT: evmergehi 3, 4, 4
; CHECK-SPE-NEXT: # kill: def $r4 killed $r4 killed $s4
; CHECK-SPE-NEXT: # kill: def $r3 killed $r3 killed $s3
; CHECK-SPE-NEXT: blr
double %D, double %E) { double %D, double %E) {
%F = fmul double %A, %B ; <double> [#uses=1] %F = fmul double %A, %B ; <double> [#uses=1]
%G = fmul double %C, %D ; <double> [#uses=1] %G = fmul double %C, %D ; <double> [#uses=1]
Context not available.
; CHECK-VSX-NEXT: xsmaddadp 0, 1, 2 ; CHECK-VSX-NEXT: xsmaddadp 0, 1, 2
; CHECK-VSX-NEXT: xssubdp 1, 0, 5 ; CHECK-VSX-NEXT: xssubdp 1, 0, 5
; CHECK-VSX-NEXT: blr ; CHECK-VSX-NEXT: blr
;
; CHECK-SPE-LABEL: test_FMSUB_ASSOC1:
; CHECK-SPE: # %bb.0:
; CHECK-SPE-NEXT: evmergelo 9, 9, 10
; CHECK-SPE-NEXT: evmergelo 7, 7, 8
; CHECK-SPE-NEXT: evmergelo 5, 5, 6
; CHECK-SPE-NEXT: evmergelo 3, 3, 4
; CHECK-SPE-NEXT: efdmul 4, 7, 9
; CHECK-SPE-NEXT: efdmul 3, 3, 5
; CHECK-SPE-NEXT: evldd 5, 8(1)
; CHECK-SPE-NEXT: efdadd 3, 3, 4
; CHECK-SPE-NEXT: efdsub 4, 3, 5
; CHECK-SPE-NEXT: evmergehi 3, 4, 4
; CHECK-SPE-NEXT: # kill: def $r4 killed $r4 killed $s4
; CHECK-SPE-NEXT: # kill: def $r3 killed $r3 killed $s3
; CHECK-SPE-NEXT: blr
double %D, double %E) { double %D, double %E) {
%F = fmul double %A, %B ; <double> [#uses=1] %F = fmul double %A, %B ; <double> [#uses=1]
%G = fmul double %C, %D ; <double> [#uses=1] %G = fmul double %C, %D ; <double> [#uses=1]
Context not available.
; CHECK-VSX-NEXT: xsmaddadp 0, 1, 2 ; CHECK-VSX-NEXT: xsmaddadp 0, 1, 2
; CHECK-VSX-NEXT: xssubdp 1, 5, 0 ; CHECK-VSX-NEXT: xssubdp 1, 5, 0
; CHECK-VSX-NEXT: blr ; CHECK-VSX-NEXT: blr
;
; CHECK-SPE-LABEL: test_FMSUB_ASSOC2:
; CHECK-SPE: # %bb.0:
; CHECK-SPE-NEXT: evmergelo 9, 9, 10
; CHECK-SPE-NEXT: evmergelo 7, 7, 8
; CHECK-SPE-NEXT: evmergelo 5, 5, 6
; CHECK-SPE-NEXT: evmergelo 3, 3, 4
; CHECK-SPE-NEXT: efdmul 4, 7, 9
; CHECK-SPE-NEXT: efdmul 3, 3, 5
; CHECK-SPE-NEXT: evldd 5, 8(1)
; CHECK-SPE-NEXT: efdadd 3, 3, 4
; CHECK-SPE-NEXT: efdsub 4, 5, 3
; CHECK-SPE-NEXT: evmergehi 3, 4, 4
; CHECK-SPE-NEXT: # kill: def $r4 killed $r4 killed $s4
; CHECK-SPE-NEXT: # kill: def $r3 killed $r3 killed $s3
; CHECK-SPE-NEXT: blr
double %D, double %E) { double %D, double %E) {
%F = fmul double %A, %B ; <double> [#uses=1] %F = fmul double %A, %B ; <double> [#uses=1]
%G = fmul double %C, %D ; <double> [#uses=1] %G = fmul double %C, %D ; <double> [#uses=1]
Context not available.
; CHECK-VSX-NEXT: xsmaddmdp 1, 2, 5 ; CHECK-VSX-NEXT: xsmaddmdp 1, 2, 5
; CHECK-VSX-NEXT: xsmaddadp 1, 3, 4 ; CHECK-VSX-NEXT: xsmaddadp 1, 3, 4
; CHECK-VSX-NEXT: blr ; CHECK-VSX-NEXT: blr
;
; CHECK-SPE-LABEL: test_FMADD_ASSOC_EXT1:
; CHECK-SPE: # %bb.0:
; CHECK-SPE-NEXT: efsmul 3, 3, 4
; CHECK-SPE-NEXT: evmergelo 4, 9, 10
; CHECK-SPE-NEXT: evmergelo 7, 7, 8
; CHECK-SPE-NEXT: efdcfs 3, 3
; CHECK-SPE-NEXT: evmergelo 5, 5, 6
; CHECK-SPE-NEXT: efdmul 5, 5, 7
; CHECK-SPE-NEXT: efdadd 3, 5, 3
; CHECK-SPE-NEXT: efdadd 4, 3, 4
; CHECK-SPE-NEXT: evmergehi 3, 4, 4
; CHECK-SPE-NEXT: # kill: def $r4 killed $r4 killed $s4
; CHECK-SPE-NEXT: # kill: def $r3 killed $r3 killed $s3
; CHECK-SPE-NEXT: blr
double %D, double %E) { double %D, double %E) {
%F = fmul float %A, %B ; <float> [#uses=1] %F = fmul float %A, %B ; <float> [#uses=1]
%G = fpext float %F to double ; <double> [#uses=1] %G = fpext float %F to double ; <double> [#uses=1]
Context not available.
; CHECK-VSX-NEXT: xsmaddadp 3, 1, 2 ; CHECK-VSX-NEXT: xsmaddadp 3, 1, 2
; CHECK-VSX-NEXT: fmr 1, 3 ; CHECK-VSX-NEXT: fmr 1, 3
; CHECK-VSX-NEXT: blr ; CHECK-VSX-NEXT: blr
;
; CHECK-SPE-LABEL: test_FMADD_ASSOC_EXT2:
; CHECK-SPE: # %bb.0:
; CHECK-SPE-NEXT: efsmul 3, 3, 4
; CHECK-SPE-NEXT: efsmul 4, 5, 6
; CHECK-SPE-NEXT: efsadd 3, 3, 4
; CHECK-SPE-NEXT: evmergelo 4, 7, 8
; CHECK-SPE-NEXT: efdcfs 3, 3
; CHECK-SPE-NEXT: efdadd 4, 3, 4
; CHECK-SPE-NEXT: evmergehi 3, 4, 4
; CHECK-SPE-NEXT: # kill: def $r4 killed $r4 killed $s4
; CHECK-SPE-NEXT: # kill: def $r3 killed $r3 killed $s3
; CHECK-SPE-NEXT: blr
float %D, double %E) { float %D, double %E) {
%F = fmul float %A, %B ; <float> [#uses=1] %F = fmul float %A, %B ; <float> [#uses=1]
%G = fmul float %C, %D ; <float> [#uses=1] %G = fmul float %C, %D ; <float> [#uses=1]
Context not available.
; CHECK-VSX-NEXT: xsmaddmdp 1, 2, 5 ; CHECK-VSX-NEXT: xsmaddmdp 1, 2, 5
; CHECK-VSX-NEXT: xsmaddadp 1, 3, 4 ; CHECK-VSX-NEXT: xsmaddadp 1, 3, 4
; CHECK-VSX-NEXT: blr ; CHECK-VSX-NEXT: blr
;
; CHECK-SPE-LABEL: test_FMADD_ASSOC_EXT3:
; CHECK-SPE: # %bb.0:
; CHECK-SPE-NEXT: efsmul 3, 3, 4
; CHECK-SPE-NEXT: evmergelo 4, 9, 10
; CHECK-SPE-NEXT: evmergelo 7, 7, 8
; CHECK-SPE-NEXT: efdcfs 3, 3
; CHECK-SPE-NEXT: evmergelo 5, 5, 6
; CHECK-SPE-NEXT: efdmul 5, 5, 7
; CHECK-SPE-NEXT: efdadd 3, 5, 3
; CHECK-SPE-NEXT: efdadd 4, 4, 3
; CHECK-SPE-NEXT: evmergehi 3, 4, 4
; CHECK-SPE-NEXT: # kill: def $r4 killed $r4 killed $s4
; CHECK-SPE-NEXT: # kill: def $r3 killed $r3 killed $s3
; CHECK-SPE-NEXT: blr
double %D, double %E) { double %D, double %E) {
%F = fmul float %A, %B ; <float> [#uses=1] %F = fmul float %A, %B ; <float> [#uses=1]
%G = fpext float %F to double ; <double> [#uses=1] %G = fpext float %F to double ; <double> [#uses=1]
Context not available.
; CHECK-VSX-NEXT: xsmaddadp 3, 1, 2 ; CHECK-VSX-NEXT: xsmaddadp 3, 1, 2
; CHECK-VSX-NEXT: fmr 1, 3 ; CHECK-VSX-NEXT: fmr 1, 3
; CHECK-VSX-NEXT: blr ; CHECK-VSX-NEXT: blr
;
; CHECK-SPE-LABEL: test_FMADD_ASSOC_EXT4:
; CHECK-SPE: # %bb.0:
; CHECK-SPE-NEXT: efsmul 3, 3, 4
; CHECK-SPE-NEXT: efsmul 4, 5, 6
; CHECK-SPE-NEXT: efsadd 3, 3, 4
; CHECK-SPE-NEXT: evmergelo 4, 7, 8
; CHECK-SPE-NEXT: efdcfs 3, 3
; CHECK-SPE-NEXT: efdadd 4, 4, 3
; CHECK-SPE-NEXT: evmergehi 3, 4, 4
; CHECK-SPE-NEXT: # kill: def $r4 killed $r4 killed $s4
; CHECK-SPE-NEXT: # kill: def $r3 killed $r3 killed $s3
; CHECK-SPE-NEXT: blr
float %D, double %E) { float %D, double %E) {
%F = fmul float %A, %B ; <float> [#uses=1] %F = fmul float %A, %B ; <float> [#uses=1]
%G = fmul float %C, %D ; <float> [#uses=1] %G = fmul float %C, %D ; <float> [#uses=1]
Context not available.
; CHECK-VSX-NEXT: xsmaddadp 0, 3, 4 ; CHECK-VSX-NEXT: xsmaddadp 0, 3, 4
; CHECK-VSX-NEXT: xssubdp 1, 0, 5 ; CHECK-VSX-NEXT: xssubdp 1, 0, 5
; CHECK-VSX-NEXT: blr ; CHECK-VSX-NEXT: blr
;
; CHECK-SPE-LABEL: test_FMSUB_ASSOC_EXT1:
; CHECK-SPE: # %bb.0:
; CHECK-SPE-NEXT: efsmul 3, 3, 4
; CHECK-SPE-NEXT: evmergelo 4, 9, 10
; CHECK-SPE-NEXT: evmergelo 7, 7, 8
; CHECK-SPE-NEXT: efdcfs 3, 3
; CHECK-SPE-NEXT: evmergelo 5, 5, 6
; CHECK-SPE-NEXT: efdmul 5, 5, 7
; CHECK-SPE-NEXT: efdadd 3, 5, 3
; CHECK-SPE-NEXT: efdsub 4, 3, 4
; CHECK-SPE-NEXT: evmergehi 3, 4, 4
; CHECK-SPE-NEXT: # kill: def $r4 killed $r4 killed $s4
; CHECK-SPE-NEXT: # kill: def $r3 killed $r3 killed $s3
; CHECK-SPE-NEXT: blr
double %D, double %E) { double %D, double %E) {
%F = fmul float %A, %B ; <float> [#uses=1] %F = fmul float %A, %B ; <float> [#uses=1]
%G = fpext float %F to double ; <double> [#uses=1] %G = fpext float %F to double ; <double> [#uses=1]
Context not available.
; CHECK-VSX-NEXT: fmadds 0, 1, 2, 0 ; CHECK-VSX-NEXT: fmadds 0, 1, 2, 0
; CHECK-VSX-NEXT: xssubdp 1, 0, 5 ; CHECK-VSX-NEXT: xssubdp 1, 0, 5
; CHECK-VSX-NEXT: blr ; CHECK-VSX-NEXT: blr
;
; CHECK-SPE-LABEL: test_FMSUB_ASSOC_EXT2:
; CHECK-SPE: # %bb.0:
; CHECK-SPE-NEXT: efsmul 3, 3, 4
; CHECK-SPE-NEXT: efsmul 4, 5, 6
; CHECK-SPE-NEXT: efsadd 3, 3, 4
; CHECK-SPE-NEXT: evmergelo 4, 7, 8
; CHECK-SPE-NEXT: efdcfs 3, 3
; CHECK-SPE-NEXT: efdsub 4, 3, 4
; CHECK-SPE-NEXT: evmergehi 3, 4, 4
; CHECK-SPE-NEXT: # kill: def $r4 killed $r4 killed $s4
; CHECK-SPE-NEXT: # kill: def $r3 killed $r3 killed $s3
; CHECK-SPE-NEXT: blr
float %D, double %E) { float %D, double %E) {
%F = fmul float %A, %B ; <float> [#uses=1] %F = fmul float %A, %B ; <float> [#uses=1]
%G = fmul float %C, %D ; <float> [#uses=1] %G = fmul float %C, %D ; <float> [#uses=1]
Context not available.
; CHECK-VSX-NEXT: xsmaddadp 0, 3, 4 ; CHECK-VSX-NEXT: xsmaddadp 0, 3, 4
; CHECK-VSX-NEXT: xssubdp 1, 5, 0 ; CHECK-VSX-NEXT: xssubdp 1, 5, 0
; CHECK-VSX-NEXT: blr ; CHECK-VSX-NEXT: blr
;
; CHECK-SPE-LABEL: test_FMSUB_ASSOC_EXT3:
; CHECK-SPE: # %bb.0:
; CHECK-SPE-NEXT: efsmul 3, 3, 4
; CHECK-SPE-NEXT: evmergelo 4, 9, 10
; CHECK-SPE-NEXT: evmergelo 7, 7, 8
; CHECK-SPE-NEXT: efdcfs 3, 3
; CHECK-SPE-NEXT: evmergelo 5, 5, 6
; CHECK-SPE-NEXT: efdmul 5, 5, 7
; CHECK-SPE-NEXT: efdadd 3, 5, 3
; CHECK-SPE-NEXT: efdsub 4, 4, 3
; CHECK-SPE-NEXT: evmergehi 3, 4, 4
; CHECK-SPE-NEXT: # kill: def $r4 killed $r4 killed $s4
; CHECK-SPE-NEXT: # kill: def $r3 killed $r3 killed $s3
; CHECK-SPE-NEXT: blr
double %D, double %E) { double %D, double %E) {
%F = fmul float %A, %B ; <float> [#uses=1] %F = fmul float %A, %B ; <float> [#uses=1]
%G = fpext float %F to double ; <double> [#uses=1] %G = fpext float %F to double ; <double> [#uses=1]
Context not available.
; CHECK-VSX-NEXT: fmadds 0, 1, 2, 0 ; CHECK-VSX-NEXT: fmadds 0, 1, 2, 0
; CHECK-VSX-NEXT: xssubdp 1, 5, 0 ; CHECK-VSX-NEXT: xssubdp 1, 5, 0
; CHECK-VSX-NEXT: blr ; CHECK-VSX-NEXT: blr
;
; CHECK-SPE-LABEL: test_FMSUB_ASSOC_EXT4:
; CHECK-SPE: # %bb.0:
; CHECK-SPE-NEXT: efsmul 3, 3, 4
; CHECK-SPE-NEXT: efsmul 4, 5, 6
; CHECK-SPE-NEXT: efsadd 3, 3, 4
; CHECK-SPE-NEXT: evmergelo 4, 7, 8
; CHECK-SPE-NEXT: efdcfs 3, 3
; CHECK-SPE-NEXT: efdsub 4, 4, 3
; CHECK-SPE-NEXT: evmergehi 3, 4, 4
; CHECK-SPE-NEXT: # kill: def $r4 killed $r4 killed $s4
; CHECK-SPE-NEXT: # kill: def $r3 killed $r3 killed $s3
; CHECK-SPE-NEXT: blr
float %D, double %E) { float %D, double %E) {
%F = fmul float %A, %B ; <float> [#uses=1] %F = fmul float %A, %B ; <float> [#uses=1]
%G = fmul float %C, %D ; <float> [#uses=1] %G = fmul float %C, %D ; <float> [#uses=1]
Context not available.
; CHECK-VSX-NEXT: xsmaddadp 3, 1, 2 ; CHECK-VSX-NEXT: xsmaddadp 3, 1, 2
; CHECK-VSX-NEXT: fmr 1, 3 ; CHECK-VSX-NEXT: fmr 1, 3
; CHECK-VSX-NEXT: blr ; CHECK-VSX-NEXT: blr
;
; CHECK-SPE-LABEL: test_reassoc_FMADD_ASSOC1:
; CHECK-SPE: # %bb.0:
; CHECK-SPE-NEXT: evmergelo 9, 9, 10
; CHECK-SPE-NEXT: evmergelo 7, 7, 8
; CHECK-SPE-NEXT: evmergelo 5, 5, 6
; CHECK-SPE-NEXT: evmergelo 3, 3, 4
; CHECK-SPE-NEXT: efdmul 4, 7, 9
; CHECK-SPE-NEXT: efdmul 3, 3, 5
; CHECK-SPE-NEXT: evldd 5, 8(1)
; CHECK-SPE-NEXT: efdadd 3, 3, 4
; CHECK-SPE-NEXT: efdadd 4, 3, 5
; CHECK-SPE-NEXT: evmergehi 3, 4, 4
; CHECK-SPE-NEXT: # kill: def $r4 killed $r4 killed $s4
; CHECK-SPE-NEXT: # kill: def $r3 killed $r3 killed $s3
; CHECK-SPE-NEXT: blr
double %D, double %E) { double %D, double %E) {
%F = fmul reassoc double %A, %B ; <double> [#uses=1] %F = fmul reassoc double %A, %B ; <double> [#uses=1]
%G = fmul reassoc double %C, %D ; <double> [#uses=1] %G = fmul reassoc double %C, %D ; <double> [#uses=1]
Context not available.
; CHECK-VSX-NEXT: xsmaddadp 3, 1, 2 ; CHECK-VSX-NEXT: xsmaddadp 3, 1, 2
; CHECK-VSX-NEXT: fmr 1, 3 ; CHECK-VSX-NEXT: fmr 1, 3
; CHECK-VSX-NEXT: blr ; CHECK-VSX-NEXT: blr
;
; CHECK-SPE-LABEL: test_reassoc_FMADD_ASSOC2:
; CHECK-SPE: # %bb.0:
; CHECK-SPE-NEXT: evmergelo 9, 9, 10
; CHECK-SPE-NEXT: evmergelo 7, 7, 8
; CHECK-SPE-NEXT: evmergelo 5, 5, 6
; CHECK-SPE-NEXT: evmergelo 3, 3, 4
; CHECK-SPE-NEXT: efdmul 4, 7, 9
; CHECK-SPE-NEXT: efdmul 3, 3, 5
; CHECK-SPE-NEXT: evldd 5, 8(1)
; CHECK-SPE-NEXT: efdadd 3, 3, 4
; CHECK-SPE-NEXT: efdadd 4, 5, 3
; CHECK-SPE-NEXT: evmergehi 3, 4, 4
; CHECK-SPE-NEXT: # kill: def $r4 killed $r4 killed $s4
; CHECK-SPE-NEXT: # kill: def $r3 killed $r3 killed $s3
; CHECK-SPE-NEXT: blr
double %D, double %E) { double %D, double %E) {
%F = fmul reassoc double %A, %B ; <double> [#uses=1] %F = fmul reassoc double %A, %B ; <double> [#uses=1]
%G = fmul reassoc double %C, %D ; <double> [#uses=1] %G = fmul reassoc double %C, %D ; <double> [#uses=1]
Context not available.
; CHECK-VSX-NEXT: xsmaddadp 0, 1, 2 ; CHECK-VSX-NEXT: xsmaddadp 0, 1, 2
; CHECK-VSX-NEXT: xssubdp 1, 0, 5 ; CHECK-VSX-NEXT: xssubdp 1, 0, 5
; CHECK-VSX-NEXT: blr ; CHECK-VSX-NEXT: blr
;
; CHECK-SPE-LABEL: test_reassoc_FMSUB_ASSOC1:
; CHECK-SPE: # %bb.0:
; CHECK-SPE-NEXT: evmergelo 9, 9, 10
; CHECK-SPE-NEXT: evmergelo 7, 7, 8
; CHECK-SPE-NEXT: evmergelo 5, 5, 6
; CHECK-SPE-NEXT: evmergelo 3, 3, 4
; CHECK-SPE-NEXT: efdmul 4, 7, 9
; CHECK-SPE-NEXT: efdmul 3, 3, 5
; CHECK-SPE-NEXT: evldd 5, 8(1)
; CHECK-SPE-NEXT: efdadd 3, 3, 4
; CHECK-SPE-NEXT: efdsub 4, 3, 5
; CHECK-SPE-NEXT: evmergehi 3, 4, 4
; CHECK-SPE-NEXT: # kill: def $r4 killed $r4 killed $s4
; CHECK-SPE-NEXT: # kill: def $r3 killed $r3 killed $s3
; CHECK-SPE-NEXT: blr
double %D, double %E) { double %D, double %E) {
%F = fmul reassoc double %A, %B ; <double> [#uses=1] %F = fmul reassoc double %A, %B ; <double> [#uses=1]
%G = fmul reassoc double %C, %D ; <double> [#uses=1] %G = fmul reassoc double %C, %D ; <double> [#uses=1]
Context not available.
; CHECK-VSX-NEXT: xsmaddadp 3, 1, 2 ; CHECK-VSX-NEXT: xsmaddadp 3, 1, 2
; CHECK-VSX-NEXT: fmr 1, 3 ; CHECK-VSX-NEXT: fmr 1, 3
; CHECK-VSX-NEXT: blr ; CHECK-VSX-NEXT: blr
;
; CHECK-SPE-LABEL: test_reassoc_FMSUB_ASSOC11:
; CHECK-SPE: # %bb.0:
; CHECK-SPE-NEXT: evmergelo 9, 9, 10
; CHECK-SPE-NEXT: evmergelo 7, 7, 8
; CHECK-SPE-NEXT: evmergelo 5, 5, 6
; CHECK-SPE-NEXT: evmergelo 3, 3, 4
; CHECK-SPE-NEXT: efdmul 4, 7, 9
; CHECK-SPE-NEXT: efdmul 3, 3, 5
; CHECK-SPE-NEXT: evldd 5, 8(1)
; CHECK-SPE-NEXT: efdadd 3, 3, 4
; CHECK-SPE-NEXT: efdsub 4, 3, 5
; CHECK-SPE-NEXT: evmergehi 3, 4, 4
; CHECK-SPE-NEXT: # kill: def $r4 killed $r4 killed $s4
; CHECK-SPE-NEXT: # kill: def $r3 killed $r3 killed $s3
; CHECK-SPE-NEXT: blr
double %D, double %E) { double %D, double %E) {
%F = fmul contract reassoc double %A, %B ; <double> [#uses=1] %F = fmul contract reassoc double %A, %B ; <double> [#uses=1]
%G = fmul contract reassoc double %C, %D ; <double> [#uses=1] %G = fmul contract reassoc double %C, %D ; <double> [#uses=1]
Context not available.
; CHECK-VSX-NEXT: xsmaddadp 0, 1, 2 ; CHECK-VSX-NEXT: xsmaddadp 0, 1, 2
; CHECK-VSX-NEXT: xssubdp 1, 5, 0 ; CHECK-VSX-NEXT: xssubdp 1, 5, 0
; CHECK-VSX-NEXT: blr ; CHECK-VSX-NEXT: blr
;
; CHECK-SPE-LABEL: test_reassoc_FMSUB_ASSOC2:
; CHECK-SPE: # %bb.0:
; CHECK-SPE-NEXT: evmergelo 9, 9, 10
; CHECK-SPE-NEXT: evmergelo 7, 7, 8
; CHECK-SPE-NEXT: evmergelo 5, 5, 6
; CHECK-SPE-NEXT: evmergelo 3, 3, 4
; CHECK-SPE-NEXT: efdmul 4, 7, 9
; CHECK-SPE-NEXT: efdmul 3, 3, 5
; CHECK-SPE-NEXT: evldd 5, 8(1)
; CHECK-SPE-NEXT: efdadd 3, 3, 4
; CHECK-SPE-NEXT: efdsub 4, 5, 3
; CHECK-SPE-NEXT: evmergehi 3, 4, 4
; CHECK-SPE-NEXT: # kill: def $r4 killed $r4 killed $s4
; CHECK-SPE-NEXT: # kill: def $r3 killed $r3 killed $s3
; CHECK-SPE-NEXT: blr
double %D, double %E) { double %D, double %E) {
%F = fmul reassoc double %A, %B ; <double> [#uses=1] %F = fmul reassoc double %A, %B ; <double> [#uses=1]
%G = fmul reassoc double %C, %D ; <double> [#uses=1] %G = fmul reassoc double %C, %D ; <double> [#uses=1]
Context not available.
; CHECK-VSX-NEXT: xsmaddadp 0, 1, 2 ; CHECK-VSX-NEXT: xsmaddadp 0, 1, 2
; CHECK-VSX-NEXT: xssubdp 1, 5, 0 ; CHECK-VSX-NEXT: xssubdp 1, 5, 0
; CHECK-VSX-NEXT: blr ; CHECK-VSX-NEXT: blr
;
; CHECK-SPE-LABEL: test_fast_FMSUB_ASSOC2:
; CHECK-SPE: # %bb.0:
; CHECK-SPE-NEXT: evmergelo 9, 9, 10
; CHECK-SPE-NEXT: evmergelo 7, 7, 8
; CHECK-SPE-NEXT: evmergelo 5, 5, 6
; CHECK-SPE-NEXT: evmergelo 3, 3, 4
; CHECK-SPE-NEXT: efdmul 4, 7, 9
; CHECK-SPE-NEXT: efdmul 3, 3, 5
; CHECK-SPE-NEXT: evldd 5, 8(1)
; CHECK-SPE-NEXT: efdadd 3, 3, 4
; CHECK-SPE-NEXT: efdsub 4, 5, 3
; CHECK-SPE-NEXT: evmergehi 3, 4, 4
; CHECK-SPE-NEXT: # kill: def $r4 killed $r4 killed $s4
; CHECK-SPE-NEXT: # kill: def $r3 killed $r3 killed $s3
; CHECK-SPE-NEXT: blr
double %D, double %E) { double %D, double %E) {
%F = fmul reassoc double %A, %B ; <double> [#uses=1] %F = fmul reassoc double %A, %B ; <double> [#uses=1]
%G = fmul reassoc double %C, %D ; <double> [#uses=1] %G = fmul reassoc double %C, %D ; <double> [#uses=1]
Context not available.
; CHECK-VSX-NEXT: xsmaddmdp 1, 2, 5 ; CHECK-VSX-NEXT: xsmaddmdp 1, 2, 5
; CHECK-VSX-NEXT: xsmaddadp 1, 3, 4 ; CHECK-VSX-NEXT: xsmaddadp 1, 3, 4
; CHECK-VSX-NEXT: blr ; CHECK-VSX-NEXT: blr
;
; CHECK-SPE-LABEL: test_reassoc_FMADD_ASSOC_EXT1:
; CHECK-SPE: # %bb.0:
; CHECK-SPE-NEXT: efsmul 3, 3, 4
; CHECK-SPE-NEXT: evmergelo 4, 9, 10
; CHECK-SPE-NEXT: evmergelo 7, 7, 8
; CHECK-SPE-NEXT: efdcfs 3, 3
; CHECK-SPE-NEXT: evmergelo 5, 5, 6
; CHECK-SPE-NEXT: efdmul 5, 5, 7
; CHECK-SPE-NEXT: efdadd 3, 5, 3
; CHECK-SPE-NEXT: efdadd 4, 3, 4
; CHECK-SPE-NEXT: evmergehi 3, 4, 4
; CHECK-SPE-NEXT: # kill: def $r4 killed $r4 killed $s4
; CHECK-SPE-NEXT: # kill: def $r3 killed $r3 killed $s3
; CHECK-SPE-NEXT: blr
double %D, double %E) { double %D, double %E) {
%F = fmul reassoc float %A, %B ; <float> [#uses=1] %F = fmul reassoc float %A, %B ; <float> [#uses=1]
%G = fpext float %F to double ; <double> [#uses=1] %G = fpext float %F to double ; <double> [#uses=1]
Context not available.
; CHECK-VSX-NEXT: xsmaddadp 3, 1, 2 ; CHECK-VSX-NEXT: xsmaddadp 3, 1, 2
; CHECK-VSX-NEXT: fmr 1, 3 ; CHECK-VSX-NEXT: fmr 1, 3
; CHECK-VSX-NEXT: blr ; CHECK-VSX-NEXT: blr
;
; CHECK-SPE-LABEL: test_reassoc_FMADD_ASSOC_EXT2:
; CHECK-SPE: # %bb.0:
; CHECK-SPE-NEXT: efsmul 3, 3, 4
; CHECK-SPE-NEXT: efsmul 4, 5, 6
; CHECK-SPE-NEXT: efsadd 3, 3, 4
; CHECK-SPE-NEXT: evmergelo 4, 7, 8
; CHECK-SPE-NEXT: efdcfs 3, 3
; CHECK-SPE-NEXT: efdadd 4, 3, 4
; CHECK-SPE-NEXT: evmergehi 3, 4, 4
; CHECK-SPE-NEXT: # kill: def $r4 killed $r4 killed $s4
; CHECK-SPE-NEXT: # kill: def $r3 killed $r3 killed $s3
; CHECK-SPE-NEXT: blr
float %D, double %E) { float %D, double %E) {
%F = fmul reassoc float %A, %B ; <float> [#uses=1] %F = fmul reassoc float %A, %B ; <float> [#uses=1]
%G = fmul reassoc float %C, %D ; <float> [#uses=1] %G = fmul reassoc float %C, %D ; <float> [#uses=1]
Context not available.
; CHECK-VSX-NEXT: xsmaddmdp 1, 2, 5 ; CHECK-VSX-NEXT: xsmaddmdp 1, 2, 5
; CHECK-VSX-NEXT: xsmaddadp 1, 3, 4 ; CHECK-VSX-NEXT: xsmaddadp 1, 3, 4
; CHECK-VSX-NEXT: blr ; CHECK-VSX-NEXT: blr
;
; CHECK-SPE-LABEL: test_reassoc_FMADD_ASSOC_EXT3:
; CHECK-SPE: # %bb.0:
; CHECK-SPE-NEXT: efsmul 3, 3, 4
; CHECK-SPE-NEXT: evmergelo 4, 9, 10
; CHECK-SPE-NEXT: evmergelo 7, 7, 8
; CHECK-SPE-NEXT: efdcfs 3, 3
; CHECK-SPE-NEXT: evmergelo 5, 5, 6
; CHECK-SPE-NEXT: efdmul 5, 5, 7
; CHECK-SPE-NEXT: efdadd 3, 5, 3
; CHECK-SPE-NEXT: efdadd 4, 4, 3
; CHECK-SPE-NEXT: evmergehi 3, 4, 4
; CHECK-SPE-NEXT: # kill: def $r4 killed $r4 killed $s4
; CHECK-SPE-NEXT: # kill: def $r3 killed $r3 killed $s3
; CHECK-SPE-NEXT: blr
double %D, double %E) { double %D, double %E) {
%F = fmul reassoc float %A, %B ; <float> [#uses=1] %F = fmul reassoc float %A, %B ; <float> [#uses=1]
%G = fpext float %F to double ; <double> [#uses=1] %G = fpext float %F to double ; <double> [#uses=1]
Context not available.
; CHECK-VSX-NEXT: xsmaddadp 3, 1, 2 ; CHECK-VSX-NEXT: xsmaddadp 3, 1, 2
; CHECK-VSX-NEXT: fmr 1, 3 ; CHECK-VSX-NEXT: fmr 1, 3
; CHECK-VSX-NEXT: blr ; CHECK-VSX-NEXT: blr
;
; CHECK-SPE-LABEL: test_reassoc_FMADD_ASSOC_EXT4:
; CHECK-SPE: # %bb.0:
; CHECK-SPE-NEXT: efsmul 3, 3, 4
; CHECK-SPE-NEXT: efsmul 4, 5, 6
; CHECK-SPE-NEXT: efsadd 3, 3, 4
; CHECK-SPE-NEXT: evmergelo 4, 7, 8
; CHECK-SPE-NEXT: efdcfs 3, 3
; CHECK-SPE-NEXT: efdadd 4, 4, 3
; CHECK-SPE-NEXT: evmergehi 3, 4, 4
; CHECK-SPE-NEXT: # kill: def $r4 killed $r4 killed $s4
; CHECK-SPE-NEXT: # kill: def $r3 killed $r3 killed $s3
; CHECK-SPE-NEXT: blr
float %D, double %E) { float %D, double %E) {
%F = fmul reassoc float %A, %B ; <float> [#uses=1] %F = fmul reassoc float %A, %B ; <float> [#uses=1]
%G = fmul reassoc float %C, %D ; <float> [#uses=1] %G = fmul reassoc float %C, %D ; <float> [#uses=1]
Context not available.
; CHECK-VSX-NEXT: xsmsubmdp 1, 2, 5 ; CHECK-VSX-NEXT: xsmsubmdp 1, 2, 5
; CHECK-VSX-NEXT: xsmaddadp 1, 3, 4 ; CHECK-VSX-NEXT: xsmaddadp 1, 3, 4
; CHECK-VSX-NEXT: blr ; CHECK-VSX-NEXT: blr
;
; CHECK-SPE-LABEL: test_reassoc_FMSUB_ASSOC_EXT1:
; CHECK-SPE: # %bb.0:
; CHECK-SPE-NEXT: efsmul 3, 3, 4
; CHECK-SPE-NEXT: evmergelo 4, 9, 10
; CHECK-SPE-NEXT: evmergelo 7, 7, 8
; CHECK-SPE-NEXT: efdcfs 3, 3
; CHECK-SPE-NEXT: evmergelo 5, 5, 6
; CHECK-SPE-NEXT: efdmul 5, 5, 7
; CHECK-SPE-NEXT: efdadd 3, 5, 3
; CHECK-SPE-NEXT: efdsub 4, 3, 4
; CHECK-SPE-NEXT: evmergehi 3, 4, 4
; CHECK-SPE-NEXT: # kill: def $r4 killed $r4 killed $s4
; CHECK-SPE-NEXT: # kill: def $r3 killed $r3 killed $s3
; CHECK-SPE-NEXT: blr
double %D, double %E) { double %D, double %E) {
%F = fmul reassoc float %A, %B ; <float> [#uses=1] %F = fmul reassoc float %A, %B ; <float> [#uses=1]
%G = fpext float %F to double ; <double> [#uses=1] %G = fpext float %F to double ; <double> [#uses=1]
Context not available.
; CHECK-VSX-NEXT: xsmaddadp 3, 1, 2 ; CHECK-VSX-NEXT: xsmaddadp 3, 1, 2
; CHECK-VSX-NEXT: fmr 1, 3 ; CHECK-VSX-NEXT: fmr 1, 3
; CHECK-VSX-NEXT: blr ; CHECK-VSX-NEXT: blr
;
; CHECK-SPE-LABEL: test_reassoc_FMSUB_ASSOC_EXT2:
; CHECK-SPE: # %bb.0:
; CHECK-SPE-NEXT: efsmul 3, 3, 4
; CHECK-SPE-NEXT: efsmul 4, 5, 6
; CHECK-SPE-NEXT: efsadd 3, 3, 4
; CHECK-SPE-NEXT: evmergelo 4, 7, 8
; CHECK-SPE-NEXT: efdcfs 3, 3
; CHECK-SPE-NEXT: efdsub 4, 3, 4
; CHECK-SPE-NEXT: evmergehi 3, 4, 4
; CHECK-SPE-NEXT: # kill: def $r4 killed $r4 killed $s4
; CHECK-SPE-NEXT: # kill: def $r3 killed $r3 killed $s3
; CHECK-SPE-NEXT: blr
float %D, double %E) { float %D, double %E) {
%F = fmul reassoc float %A, %B ; <float> [#uses=1] %F = fmul reassoc float %A, %B ; <float> [#uses=1]
%G = fmul reassoc float %C, %D ; <float> [#uses=1] %G = fmul reassoc float %C, %D ; <float> [#uses=1]
Context not available.
; CHECK-VSX-NEXT: xsmaddmdp 1, 2, 5 ; CHECK-VSX-NEXT: xsmaddmdp 1, 2, 5
; CHECK-VSX-NEXT: xsmaddadp 1, 0, 4 ; CHECK-VSX-NEXT: xsmaddadp 1, 0, 4
; CHECK-VSX-NEXT: blr ; CHECK-VSX-NEXT: blr
;
; CHECK-SPE-LABEL: test_reassoc_FMSUB_ASSOC_EXT3:
; CHECK-SPE: # %bb.0:
; CHECK-SPE-NEXT: efsmul 3, 3, 4
; CHECK-SPE-NEXT: evmergelo 4, 9, 10
; CHECK-SPE-NEXT: evmergelo 7, 7, 8
; CHECK-SPE-NEXT: efdcfs 3, 3
; CHECK-SPE-NEXT: evmergelo 5, 5, 6
; CHECK-SPE-NEXT: efdmul 5, 5, 7
; CHECK-SPE-NEXT: efdadd 3, 5, 3
; CHECK-SPE-NEXT: efdsub 4, 4, 3
; CHECK-SPE-NEXT: evmergehi 3, 4, 4
; CHECK-SPE-NEXT: # kill: def $r4 killed $r4 killed $s4
; CHECK-SPE-NEXT: # kill: def $r3 killed $r3 killed $s3
; CHECK-SPE-NEXT: blr
double %D, double %E) { double %D, double %E) {
%F = fmul reassoc float %A, %B ; <float> [#uses=1] %F = fmul reassoc float %A, %B ; <float> [#uses=1]
%G = fpext float %F to double ; <double> [#uses=1] %G = fpext float %F to double ; <double> [#uses=1]
Context not available.
; CHECK-VSX-NEXT: xsnmsubmdp 1, 2, 5 ; CHECK-VSX-NEXT: xsnmsubmdp 1, 2, 5
; CHECK-VSX-NEXT: xsnmsubadp 1, 3, 4 ; CHECK-VSX-NEXT: xsnmsubadp 1, 3, 4
; CHECK-VSX-NEXT: blr ; CHECK-VSX-NEXT: blr
;
; CHECK-SPE-LABEL: test_fast_FMSUB_ASSOC_EXT3:
; CHECK-SPE: # %bb.0:
; CHECK-SPE-NEXT: efsmul 3, 3, 4
; CHECK-SPE-NEXT: evmergelo 4, 9, 10
; CHECK-SPE-NEXT: evmergelo 7, 7, 8
; CHECK-SPE-NEXT: efdcfs 3, 3
; CHECK-SPE-NEXT: evmergelo 5, 5, 6
; CHECK-SPE-NEXT: efdmul 5, 5, 7
; CHECK-SPE-NEXT: efdadd 3, 5, 3
; CHECK-SPE-NEXT: efdsub 4, 4, 3
; CHECK-SPE-NEXT: evmergehi 3, 4, 4
; CHECK-SPE-NEXT: # kill: def $r4 killed $r4 killed $s4
; CHECK-SPE-NEXT: # kill: def $r3 killed $r3 killed $s3
; CHECK-SPE-NEXT: blr
double %D, double %E) { double %D, double %E) {
%F = fmul reassoc float %A, %B %F = fmul reassoc float %A, %B
%G = fpext float %F to double %G = fpext float %F to double
Context not available.
; CHECK-VSX-NEXT: xsmaddadp 0, 1, 2 ; CHECK-VSX-NEXT: xsmaddadp 0, 1, 2
; CHECK-VSX-NEXT: fmr 1, 0 ; CHECK-VSX-NEXT: fmr 1, 0
; CHECK-VSX-NEXT: blr ; CHECK-VSX-NEXT: blr
;
; CHECK-SPE-LABEL: test_reassoc_FMSUB_ASSOC_EXT4:
; CHECK-SPE: # %bb.0:
; CHECK-SPE-NEXT: efsmul 3, 3, 4
; CHECK-SPE-NEXT: efsmul 4, 5, 6
; CHECK-SPE-NEXT: efsadd 3, 3, 4
; CHECK-SPE-NEXT: evmergelo 4, 7, 8
; CHECK-SPE-NEXT: efdcfs 3, 3
; CHECK-SPE-NEXT: efdsub 4, 4, 3
; CHECK-SPE-NEXT: evmergehi 3, 4, 4
; CHECK-SPE-NEXT: # kill: def $r4 killed $r4 killed $s4
; CHECK-SPE-NEXT: # kill: def $r3 killed $r3 killed $s3
; CHECK-SPE-NEXT: blr
float %D, double %E) { float %D, double %E) {
%F = fmul reassoc float %A, %B ; <float> [#uses=1] %F = fmul reassoc float %A, %B ; <float> [#uses=1]
%G = fmul reassoc float %C, %D ; <float> [#uses=1] %G = fmul reassoc float %C, %D ; <float> [#uses=1]
Context not available.
; CHECK-VSX-NEXT: xsnmsubadp 3, 1, 2 ; CHECK-VSX-NEXT: xsnmsubadp 3, 1, 2
; CHECK-VSX-NEXT: fmr 1, 3 ; CHECK-VSX-NEXT: fmr 1, 3
; CHECK-VSX-NEXT: blr ; CHECK-VSX-NEXT: blr
;
; CHECK-SPE-LABEL: test_fast_FMSUB_ASSOC_EXT4:
; CHECK-SPE: # %bb.0:
; CHECK-SPE-NEXT: efsmul 3, 3, 4
; CHECK-SPE-NEXT: efsmul 4, 5, 6
; CHECK-SPE-NEXT: efsadd 3, 3, 4
; CHECK-SPE-NEXT: evmergelo 4, 7, 8
; CHECK-SPE-NEXT: efdcfs 3, 3
; CHECK-SPE-NEXT: efdsub 4, 4, 3
; CHECK-SPE-NEXT: evmergehi 3, 4, 4
; CHECK-SPE-NEXT: # kill: def $r4 killed $r4 killed $s4
; CHECK-SPE-NEXT: # kill: def $r3 killed $r3 killed $s3
; CHECK-SPE-NEXT: blr
float %D, double %E) { float %D, double %E) {
%F = fmul reassoc float %A, %B %F = fmul reassoc float %A, %B
%G = fmul reassoc float %C, %D %G = fmul reassoc float %C, %D
Context not available.