RPCS3/llvm-mirror
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2024-10-18 18:42:46 +02:00
Code Issues Projects Releases Wiki Activity

[NFC] [PowerPC] Update FMA association test

Browse Source
This commit is contained in:
Qiu Chaofan 2020-03-22 20:55:32 +08:00
parent 93b266cf4d
commit 913eed32b6
1 changed files with 301 additions and 168 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

469
test/CodeGen/PowerPC/fma-assoc.ll
View File

@ -1,133 +1,173 @@
; RUN: llc -verify-machineinstrs < %s -mtriple=ppc32-- -fp-contract=fast -mattr=-vsx -disable-ppc-vsx-fma-mutation=false | FileCheck -check-prefix=CHECK -check-prefix=CHECK-SAFE %s
; 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 -check-prefix=CHECK-VSX-SAFE %s
; 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 -check-prefix=CHECK-UNSAFE %s
; 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 -check-prefix=CHECK-UNSAFE-VSX %s
; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
; RUN: llc -verify-machineinstrs < %s -mtriple=ppc32-- -fp-contract=fast -mattr=-vsx -disable-ppc-vsx-fma-mutation=false | FileCheck -check-prefix=CHECK-SAFE %s
; 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
; 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
; 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
define double @test_FMADD_ASSOC1(double %A, double %B, double %C,
; CHECK-SAFE-LABEL: test_FMADD_ASSOC1:
; CHECK-SAFE: # %bb.0:
; CHECK-SAFE-NEXT: fmul 0, 3, 4
; CHECK-SAFE-NEXT: fmadd 0, 1, 2, 0
; CHECK-SAFE-NEXT: fadd 1, 0, 5
; CHECK-SAFE-NEXT: blr
;
; CHECK-VSX-SAFE-LABEL: test_FMADD_ASSOC1:
; CHECK-VSX-SAFE: # %bb.0:
; CHECK-VSX-SAFE-NEXT: xsmuldp 0, 3, 4
; CHECK-VSX-SAFE-NEXT: xsmaddadp 0, 1, 2
; CHECK-VSX-SAFE-NEXT: xsadddp 1, 0, 5
; CHECK-VSX-SAFE-NEXT: blr
;
; CHECK-UNSAFE-LABEL: test_FMADD_ASSOC1:
; CHECK-UNSAFE: # %bb.0:
; CHECK-UNSAFE-NEXT: fmadd 0, 3, 4, 5
; CHECK-UNSAFE-NEXT: fmadd 1, 1, 2, 0
; CHECK-UNSAFE-NEXT: blr
;
; CHECK-VSX-UNSAFE-LABEL: test_FMADD_ASSOC1:
; CHECK-VSX-UNSAFE: # %bb.0:
; CHECK-VSX-UNSAFE-NEXT: xsmaddmdp 3, 4, 5
; CHECK-VSX-UNSAFE-NEXT: xsmaddadp 3, 1, 2
; CHECK-VSX-UNSAFE-NEXT: fmr 1, 3
; CHECK-VSX-UNSAFE-NEXT: blr
double %D, double %E) {
%F = fmul double %A, %B ; <double> [#uses=1]
%G = fmul double %C, %D ; <double> [#uses=1]
%H = fadd double %F, %G ; <double> [#uses=1]
%I = fadd double %H, %E ; <double> [#uses=1]
ret double %I
; CHECK-SAFE-LABEL: test_FMADD_ASSOC1:
; CHECK-SAFE: fmul
; CHECK-SAFE-NEXT: fmadd
; CHECK-SAFE-NEXT: fadd
; CHECK-SAFE-NEXT: blr
; CHECK-UNSAFE-LABEL: test_FMADD_ASSOC1:
; CHECK-UNSAFE: fmadd
; CHECK-UNSAFE-NEXT: fmadd
; CHECK-UNSAFE-NEXT: blr
; CHECK-VSX-SAFE-LABEL: test_FMADD_ASSOC1:
; CHECK-VSX-SAFE: xsmuldp
; CHECK-VSX-SAFE-NEXT: xsmaddadp
; CHECK-VSX-SAFE-NEXT: xsadddp
; CHECK-VSX-SAFE-NEXT: blr
; CHECK-VSX-UNSAFE-LABEL: test_FMADD_ASSOC1:
; CHECK-VSX-UNSAFE: xsmaddmdp
; CHECK-VSX-UNSAFE-NEXT: xsmaddadp
; CHECK-VSX-UNSAFE-NEXT: fmr
; CHECK-VSX-UNSAFE-NEXT: blr
}
define double @test_FMADD_ASSOC2(double %A, double %B, double %C,
; CHECK-SAFE-LABEL: test_FMADD_ASSOC2:
; CHECK-SAFE: # %bb.0:
; CHECK-SAFE-NEXT: fmul 0, 3, 4
; CHECK-SAFE-NEXT: fmadd 0, 1, 2, 0
; CHECK-SAFE-NEXT: fadd 1, 5, 0
; CHECK-SAFE-NEXT: blr
;
; CHECK-VSX-SAFE-LABEL: test_FMADD_ASSOC2:
; CHECK-VSX-SAFE: # %bb.0:
; CHECK-VSX-SAFE-NEXT: xsmuldp 0, 3, 4
; CHECK-VSX-SAFE-NEXT: xsmaddadp 0, 1, 2
; CHECK-VSX-SAFE-NEXT: xsadddp 1, 5, 0
; CHECK-VSX-SAFE-NEXT: blr
;
; CHECK-UNSAFE-LABEL: test_FMADD_ASSOC2:
; CHECK-UNSAFE: # %bb.0:
; CHECK-UNSAFE-NEXT: fmadd 0, 3, 4, 5
; CHECK-UNSAFE-NEXT: fmadd 1, 1, 2, 0
; CHECK-UNSAFE-NEXT: blr
;
; CHECK-VSX-UNSAFE-LABEL: test_FMADD_ASSOC2:
; CHECK-VSX-UNSAFE: # %bb.0:
; CHECK-VSX-UNSAFE-NEXT: xsmaddmdp 3, 4, 5
; CHECK-VSX-UNSAFE-NEXT: xsmaddadp 3, 1, 2
; CHECK-VSX-UNSAFE-NEXT: fmr 1, 3
; CHECK-VSX-UNSAFE-NEXT: blr
double %D, double %E) {
%F = fmul double %A, %B ; <double> [#uses=1]
%G = fmul double %C, %D ; <double> [#uses=1]
%H = fadd double %F, %G ; <double> [#uses=1]
%I = fadd double %E, %H ; <double> [#uses=1]
ret double %I
; CHECK-SAFE-LABEL: test_FMADD_ASSOC2:
; CHECK-SAFE: fmul
; CHECK-SAFE-NEXT: fmadd
; CHECK-SAFE-NEXT: fadd
; CHECK-SAFE-NEXT: blr
; CHECK-UNSAFE-LABEL: test_FMADD_ASSOC2:
; CHECK-UNSAFE: fmadd
; CHECK-UNSAFE-NEXT: fmadd
; CHECK-UNSAFE-NEXT: blr
; CHECK-VSX-SAFE-LABEL: test_FMADD_ASSOC2:
; CHECK-VSX-SAFE: xsmuldp
; CHECK-VSX-SAFE-NEXT: xsmaddadp
; CHECK-VSX-SAFE-NEXT: xsadddp
; CHECK-VSX-SAFE-NEXT: blr
; CHECK-VSX-UNSAFE-LABEL: test_FMADD_ASSOC2:
; CHECK-VSX-UNSAFE: xsmaddmdp
; CHECK-VSX-UNSAFE-NEXT: xsmaddadp
; CHECK-VSX-UNSAFE-NEXT: fmr
; CHECK-VSX-UNSAFE-NEXT: blr
}
define double @test_FMSUB_ASSOC1(double %A, double %B, double %C,
; CHECK-SAFE-LABEL: test_FMSUB_ASSOC1:
; CHECK-SAFE: # %bb.0:
; CHECK-SAFE-NEXT: fmul 0, 3, 4
; CHECK-SAFE-NEXT: fmadd 0, 1, 2, 0
; CHECK-SAFE-NEXT: fsub 1, 0, 5
; CHECK-SAFE-NEXT: blr
;
; CHECK-VSX-SAFE-LABEL: test_FMSUB_ASSOC1:
; CHECK-VSX-SAFE: # %bb.0:
; CHECK-VSX-SAFE-NEXT: xsmuldp 0, 3, 4
; CHECK-VSX-SAFE-NEXT: xsmaddadp 0, 1, 2
; CHECK-VSX-SAFE-NEXT: xssubdp 1, 0, 5
; CHECK-VSX-SAFE-NEXT: blr
;
; CHECK-UNSAFE-LABEL: test_FMSUB_ASSOC1:
; CHECK-UNSAFE: # %bb.0:
; CHECK-UNSAFE-NEXT: fmsub 0, 3, 4, 5
; CHECK-UNSAFE-NEXT: fmadd 1, 1, 2, 0
; CHECK-UNSAFE-NEXT: blr
;
; CHECK-VSX-UNSAFE-LABEL: test_FMSUB_ASSOC1:
; CHECK-VSX-UNSAFE: # %bb.0:
; CHECK-VSX-UNSAFE-NEXT: xsmsubmdp 3, 4, 5
; CHECK-VSX-UNSAFE-NEXT: xsmaddadp 3, 1, 2
; CHECK-VSX-UNSAFE-NEXT: fmr 1, 3
; CHECK-VSX-UNSAFE-NEXT: blr
double %D, double %E) {
%F = fmul double %A, %B ; <double> [#uses=1]
%G = fmul double %C, %D ; <double> [#uses=1]
%H = fadd double %F, %G ; <double> [#uses=1]
%I = fsub double %H, %E ; <double> [#uses=1]
ret double %I
; CHECK-SAFE-LABEL: test_FMSUB_ASSOC1:
; CHECK-SAFE: fmul
; CHECK-SAFE-NEXT: fmadd
; CHECK-SAFE-NEXT: fsub
; CHECK-SAFE-NEXT: blr
; CHECK-UNSAFE-LABEL: test_FMSUB_ASSOC1:
; CHECK-UNSAFE: fmsub
; CHECK-UNSAFE-NEXT: fmadd
; CHECK-UNSAFE-NEXT: blr
; CHECK-SAFE-VSX-LABEL: test_FMSUB_ASSOC1:
; CHECK-SAFE-VSX: xsmuldp
; CHECK-SAFE-VSX-NEXT: xsmaddadp
; CHECK-SAFE-VSX-NEXT: xssubdp
; CHECK-SAFE-VSX-NEXT: blr
; CHECK-UNSAFE-VSX-LABEL: test_FMSUB_ASSOC1:
; CHECK-UNSAFE-VSX: xsmsubmdp
; CHECK-UNSAFE-VSX-NEXT: xsmaddadp
; CHECK-UNSAFE-VSX-NEXT: fmr
; CHECK-UNSAFE-VSX-NEXT: blr
}
define double @test_FMSUB_ASSOC2(double %A, double %B, double %C,
; CHECK-SAFE-LABEL: test_FMSUB_ASSOC2:
; CHECK-SAFE: # %bb.0:
; CHECK-SAFE-NEXT: fmul 0, 3, 4
; CHECK-SAFE-NEXT: fmadd 0, 1, 2, 0
; CHECK-SAFE-NEXT: fsub 1, 5, 0
; CHECK-SAFE-NEXT: blr
;
; CHECK-VSX-SAFE-LABEL: test_FMSUB_ASSOC2:
; CHECK-VSX-SAFE: # %bb.0:
; CHECK-VSX-SAFE-NEXT: xsmuldp 0, 3, 4
; CHECK-VSX-SAFE-NEXT: xsmaddadp 0, 1, 2
; CHECK-VSX-SAFE-NEXT: xssubdp 1, 5, 0
; CHECK-VSX-SAFE-NEXT: blr
;
; CHECK-UNSAFE-LABEL: test_FMSUB_ASSOC2:
; CHECK-UNSAFE: # %bb.0:
; CHECK-UNSAFE-NEXT: fnmsub 0, 3, 4, 5
; CHECK-UNSAFE-NEXT: fnmsub 1, 1, 2, 0
; CHECK-UNSAFE-NEXT: blr
;
; CHECK-VSX-UNSAFE-LABEL: test_FMSUB_ASSOC2:
; CHECK-VSX-UNSAFE: # %bb.0:
; CHECK-VSX-UNSAFE-NEXT: xsnmsubmdp 3, 4, 5
; CHECK-VSX-UNSAFE-NEXT: xsnmsubadp 3, 1, 2
; CHECK-VSX-UNSAFE-NEXT: fmr 1, 3
; CHECK-VSX-UNSAFE-NEXT: blr
double %D, double %E) {
%F = fmul double %A, %B ; <double> [#uses=1]
%G = fmul double %C, %D ; <double> [#uses=1]
%H = fadd double %F, %G ; <double> [#uses=1]
%I = fsub double %E, %H ; <double> [#uses=1]
ret double %I
; CHECK-SAFE-LABEL: test_FMSUB_ASSOC2:
; CHECK-SAFE: fmul
; CHECK-SAFE-NEXT: fmadd
; CHECK-SAFE-NEXT: fsub
; CHECK-SAFE-NEXT: blr
; CHECK-UNSAFE-LABEL: test_FMSUB_ASSOC2:
; CHECK-UNSAFE: fnmsub
; CHECK-UNSAFE-NEXT: fnmsub
; CHECK-UNSAFE-NEXT: blr
; CHECK-SAFE-VSX-LABEL: test_FMSUB_ASSOC2:
; CHECK-SAFE-VSX: xsmuldp
; CHECK-SAFE-VSX-NEXT: xsmaddadp
; CHECK-SAFE-VSX-NEXT: xssubdp
; CHECK-SAFE-VSX-NEXT: blr
; CHECK-UNSAFE-VSX-LABEL: test_FMSUB_ASSOC2:
; CHECK-UNSAFE-VSX: xsnmsubmdp
; CHECK-UNSAFE-VSX-NEXT: xsnmsubadp
; CHECK-UNSAFE-VSX-NEXT: fmr
; CHECK-UNSAFE-VSX-NEXT: blr
}
define double @test_FMADD_ASSOC_EXT1(float %A, float %B, double %C,
; CHECK-SAFE-LABEL: test_FMADD_ASSOC_EXT1:
; CHECK-SAFE: # %bb.0:
; CHECK-SAFE-NEXT: fmadd 0, 1, 2, 5
; CHECK-SAFE-NEXT: fmadd 1, 3, 4, 0
; CHECK-SAFE-NEXT: blr
;
; CHECK-VSX-SAFE-LABEL: test_FMADD_ASSOC_EXT1:
; CHECK-VSX-SAFE: # %bb.0:
; CHECK-VSX-SAFE-NEXT: xsmaddmdp 1, 2, 5
; CHECK-VSX-SAFE-NEXT: xsmaddadp 1, 3, 4
; CHECK-VSX-SAFE-NEXT: blr
;
; CHECK-UNSAFE-LABEL: test_FMADD_ASSOC_EXT1:
; CHECK-UNSAFE: # %bb.0:
; CHECK-UNSAFE-NEXT: fmadd 0, 1, 2, 5
; CHECK-UNSAFE-NEXT: fmadd 1, 3, 4, 0
; CHECK-UNSAFE-NEXT: blr
;
; CHECK-VSX-UNSAFE-LABEL: test_FMADD_ASSOC_EXT1:
; CHECK-VSX-UNSAFE: # %bb.0:
; CHECK-VSX-UNSAFE-NEXT: xsmaddmdp 1, 2, 5
; CHECK-VSX-UNSAFE-NEXT: xsmaddadp 1, 3, 4
; CHECK-VSX-UNSAFE-NEXT: blr
double %D, double %E) {
%F = fmul float %A, %B ; <float> [#uses=1]
%G = fpext float %F to double ; <double> [#uses=1]
@ -135,18 +175,34 @@ define double @test_FMADD_ASSOC_EXT1(float %A, float %B, double %C,
%I = fadd double %H, %G ; <double> [#uses=1]
%J = fadd double %I, %E ; <double> [#uses=1]
ret double %J
; CHECK-LABEL: test_FMADD_ASSOC_EXT1:
; CHECK: fmadd
; CHECK-NEXT: fmadd
; CHECK-NEXT: blr
; CHECK-VSX-LABEL: test_FMADD_ASSOC_EXT1:
; CHECK-VSX: xsmaddmdp
; CHECK-VSX-NEXT: xsmaddadp
; CHECK-VSX-NEXT: blr
}
define double @test_FMADD_ASSOC_EXT2(float %A, float %B, float %C,
; CHECK-SAFE-LABEL: test_FMADD_ASSOC_EXT2:
; CHECK-SAFE: # %bb.0:
; CHECK-SAFE-NEXT: fmadd 0, 3, 4, 5
; CHECK-SAFE-NEXT: fmadd 1, 1, 2, 0
; CHECK-SAFE-NEXT: blr
;
; CHECK-VSX-SAFE-LABEL: test_FMADD_ASSOC_EXT2:
; CHECK-VSX-SAFE: # %bb.0:
; CHECK-VSX-SAFE-NEXT: xsmaddmdp 3, 4, 5
; CHECK-VSX-SAFE-NEXT: xsmaddadp 3, 1, 2
; CHECK-VSX-SAFE-NEXT: fmr 1, 3
; CHECK-VSX-SAFE-NEXT: blr
;
; CHECK-UNSAFE-LABEL: test_FMADD_ASSOC_EXT2:
; CHECK-UNSAFE: # %bb.0:
; CHECK-UNSAFE-NEXT: fmadd 0, 3, 4, 5
; CHECK-UNSAFE-NEXT: fmadd 1, 1, 2, 0
; CHECK-UNSAFE-NEXT: blr
;
; CHECK-VSX-UNSAFE-LABEL: test_FMADD_ASSOC_EXT2:
; CHECK-VSX-UNSAFE: # %bb.0:
; CHECK-VSX-UNSAFE-NEXT: xsmaddmdp 3, 4, 5
; CHECK-VSX-UNSAFE-NEXT: xsmaddadp 3, 1, 2
; CHECK-VSX-UNSAFE-NEXT: fmr 1, 3
; CHECK-VSX-UNSAFE-NEXT: blr
float %D, double %E) {
%F = fmul float %A, %B ; <float> [#uses=1]
%G = fmul float %C, %D ; <float> [#uses=1]
@ -154,19 +210,32 @@ define double @test_FMADD_ASSOC_EXT2(float %A, float %B, float %C,
%I = fpext float %H to double ; <double> [#uses=1]
%J = fadd double %I, %E ; <double> [#uses=1]
ret double %J
; CHECK-LABEL: test_FMADD_ASSOC_EXT2:
; CHECK: fmadd
; CHECK-NEXT: fmadd
; CHECK-NEXT: blr
; CHECK-VSX-LABEL: test_FMADD_ASSOC_EXT2:
; CHECK-VSX: xsmaddmdp
; CHECK-VSX-NEXT: xsmaddadp
; CHECK-VSX-NEXT: fmr
; CHECK-VSX-NEXT: blr
}
define double @test_FMADD_ASSOC_EXT3(float %A, float %B, double %C,
; CHECK-SAFE-LABEL: test_FMADD_ASSOC_EXT3:
; CHECK-SAFE: # %bb.0:
; CHECK-SAFE-NEXT: fmadd 0, 1, 2, 5
; CHECK-SAFE-NEXT: fmadd 1, 3, 4, 0
; CHECK-SAFE-NEXT: blr
;
; CHECK-VSX-SAFE-LABEL: test_FMADD_ASSOC_EXT3:
; CHECK-VSX-SAFE: # %bb.0:
; CHECK-VSX-SAFE-NEXT: xsmaddmdp 1, 2, 5
; CHECK-VSX-SAFE-NEXT: xsmaddadp 1, 3, 4
; CHECK-VSX-SAFE-NEXT: blr
;
; CHECK-UNSAFE-LABEL: test_FMADD_ASSOC_EXT3:
; CHECK-UNSAFE: # %bb.0:
; CHECK-UNSAFE-NEXT: fmadd 0, 1, 2, 5
; CHECK-UNSAFE-NEXT: fmadd 1, 3, 4, 0
; CHECK-UNSAFE-NEXT: blr
;
; CHECK-VSX-UNSAFE-LABEL: test_FMADD_ASSOC_EXT3:
; CHECK-VSX-UNSAFE: # %bb.0:
; CHECK-VSX-UNSAFE-NEXT: xsmaddmdp 1, 2, 5
; CHECK-VSX-UNSAFE-NEXT: xsmaddadp 1, 3, 4
; CHECK-VSX-UNSAFE-NEXT: blr
double %D, double %E) {
%F = fmul float %A, %B ; <float> [#uses=1]
%G = fpext float %F to double ; <double> [#uses=1]
@ -174,18 +243,34 @@ define double @test_FMADD_ASSOC_EXT3(float %A, float %B, double %C,
%I = fadd double %H, %G ; <double> [#uses=1]
%J = fadd double %E, %I ; <double> [#uses=1]
ret double %J
; CHECK-LABEL: test_FMADD_ASSOC_EXT3:
; CHECK: fmadd
; CHECK-NEXT: fmadd
; CHECK-NEXT: blr
; CHECK-VSX-LABEL: test_FMADD_ASSOC_EXT3:
; CHECK-VSX: xsmaddmdp
; CHECK-VSX-NEXT: xsmaddadp
; CHECK-VSX-NEXT: blr
}
define double @test_FMADD_ASSOC_EXT4(float %A, float %B, float %C,
; CHECK-SAFE-LABEL: test_FMADD_ASSOC_EXT4:
; CHECK-SAFE: # %bb.0:
; CHECK-SAFE-NEXT: fmadd 0, 3, 4, 5
; CHECK-SAFE-NEXT: fmadd 1, 1, 2, 0
; CHECK-SAFE-NEXT: blr
;
; CHECK-VSX-SAFE-LABEL: test_FMADD_ASSOC_EXT4:
; CHECK-VSX-SAFE: # %bb.0:
; CHECK-VSX-SAFE-NEXT: xsmaddmdp 3, 4, 5
; CHECK-VSX-SAFE-NEXT: xsmaddadp 3, 1, 2
; CHECK-VSX-SAFE-NEXT: fmr 1, 3
; CHECK-VSX-SAFE-NEXT: blr
;
; CHECK-UNSAFE-LABEL: test_FMADD_ASSOC_EXT4:
; CHECK-UNSAFE: # %bb.0:
; CHECK-UNSAFE-NEXT: fmadd 0, 3, 4, 5
; CHECK-UNSAFE-NEXT: fmadd 1, 1, 2, 0
; CHECK-UNSAFE-NEXT: blr
;
; CHECK-VSX-UNSAFE-LABEL: test_FMADD_ASSOC_EXT4:
; CHECK-VSX-UNSAFE: # %bb.0:
; CHECK-VSX-UNSAFE-NEXT: xsmaddmdp 3, 4, 5
; CHECK-VSX-UNSAFE-NEXT: xsmaddadp 3, 1, 2
; CHECK-VSX-UNSAFE-NEXT: fmr 1, 3
; CHECK-VSX-UNSAFE-NEXT: blr
float %D, double %E) {
%F = fmul float %A, %B ; <float> [#uses=1]
%G = fmul float %C, %D ; <float> [#uses=1]
@ -193,19 +278,32 @@ define double @test_FMADD_ASSOC_EXT4(float %A, float %B, float %C,
%I = fpext float %H to double ; <double> [#uses=1]
%J = fadd double %E, %I ; <double> [#uses=1]
ret double %J
; CHECK-LABEL: test_FMADD_ASSOC_EXT4:
; CHECK: fmadd
; CHECK-NEXT: fmadd
; CHECK-NEXT: blr
; CHECK-VSX-LABEL: test_FMADD_ASSOC_EXT4:
; CHECK-VSX: xsmaddmdp
; CHECK-VSX-NEXT: xsmaddadp
; CHECK-VSX-NEXT: fmr
; CHECK-VSX-NEXT: blr
}
define double @test_FMSUB_ASSOC_EXT1(float %A, float %B, double %C,
; CHECK-SAFE-LABEL: test_FMSUB_ASSOC_EXT1:
; CHECK-SAFE: # %bb.0:
; CHECK-SAFE-NEXT: fmsub 0, 1, 2, 5
; CHECK-SAFE-NEXT: fmadd 1, 3, 4, 0
; CHECK-SAFE-NEXT: blr
;
; CHECK-VSX-SAFE-LABEL: test_FMSUB_ASSOC_EXT1:
; CHECK-VSX-SAFE: # %bb.0:
; CHECK-VSX-SAFE-NEXT: xsmsubmdp 1, 2, 5
; CHECK-VSX-SAFE-NEXT: xsmaddadp 1, 3, 4
; CHECK-VSX-SAFE-NEXT: blr
;
; CHECK-UNSAFE-LABEL: test_FMSUB_ASSOC_EXT1:
; CHECK-UNSAFE: # %bb.0:
; CHECK-UNSAFE-NEXT: fmsub 0, 1, 2, 5
; CHECK-UNSAFE-NEXT: fmadd 1, 3, 4, 0
; CHECK-UNSAFE-NEXT: blr
;
; CHECK-VSX-UNSAFE-LABEL: test_FMSUB_ASSOC_EXT1:
; CHECK-VSX-UNSAFE: # %bb.0:
; CHECK-VSX-UNSAFE-NEXT: xsmsubmdp 1, 2, 5
; CHECK-VSX-UNSAFE-NEXT: xsmaddadp 1, 3, 4
; CHECK-VSX-UNSAFE-NEXT: blr
double %D, double %E) {
%F = fmul float %A, %B ; <float> [#uses=1]
%G = fpext float %F to double ; <double> [#uses=1]
@ -213,18 +311,34 @@ define double @test_FMSUB_ASSOC_EXT1(float %A, float %B, double %C,
%I = fadd double %H, %G ; <double> [#uses=1]
%J = fsub double %I, %E ; <double> [#uses=1]
ret double %J
; CHECK-LABEL: test_FMSUB_ASSOC_EXT1:
; CHECK: fmsub
; CHECK-NEXT: fmadd
; CHECK-NEXT: blr
; CHECK-VSX-LABEL: test_FMSUB_ASSOC_EXT1:
; CHECK-VSX: xsmsubmdp
; CHECK-VSX-NEXT: xsmaddadp
; CHECK-VSX-NEXT: blr
}
define double @test_FMSUB_ASSOC_EXT2(float %A, float %B, float %C,
; CHECK-SAFE-LABEL: test_FMSUB_ASSOC_EXT2:
; CHECK-SAFE: # %bb.0:
; CHECK-SAFE-NEXT: fmsub 0, 3, 4, 5
; CHECK-SAFE-NEXT: fmadd 1, 1, 2, 0
; CHECK-SAFE-NEXT: blr
;
; CHECK-VSX-SAFE-LABEL: test_FMSUB_ASSOC_EXT2:
; CHECK-VSX-SAFE: # %bb.0:
; CHECK-VSX-SAFE-NEXT: xsmsubmdp 3, 4, 5
; CHECK-VSX-SAFE-NEXT: xsmaddadp 3, 1, 2
; CHECK-VSX-SAFE-NEXT: fmr 1, 3
; CHECK-VSX-SAFE-NEXT: blr
;
; CHECK-UNSAFE-LABEL: test_FMSUB_ASSOC_EXT2:
; CHECK-UNSAFE: # %bb.0:
; CHECK-UNSAFE-NEXT: fmsub 0, 3, 4, 5
; CHECK-UNSAFE-NEXT: fmadd 1, 1, 2, 0
; CHECK-UNSAFE-NEXT: blr
;
; CHECK-VSX-UNSAFE-LABEL: test_FMSUB_ASSOC_EXT2:
; CHECK-VSX-UNSAFE: # %bb.0:
; CHECK-VSX-UNSAFE-NEXT: xsmsubmdp 3, 4, 5
; CHECK-VSX-UNSAFE-NEXT: xsmaddadp 3, 1, 2
; CHECK-VSX-UNSAFE-NEXT: fmr 1, 3
; CHECK-VSX-UNSAFE-NEXT: blr
float %D, double %E) {
%F = fmul float %A, %B ; <float> [#uses=1]
%G = fmul float %C, %D ; <float> [#uses=1]
@ -232,19 +346,32 @@ define double @test_FMSUB_ASSOC_EXT2(float %A, float %B, float %C,
%I = fpext float %H to double ; <double> [#uses=1]
%J = fsub double %I, %E ; <double> [#uses=1]
ret double %J
; CHECK-LABEL: test_FMSUB_ASSOC_EXT2:
; CHECK: fmsub
; CHECK-NEXT: fmadd
; CHECK-NEXT: blr
; CHECK-VSX-LABEL: test_FMSUB_ASSOC_EXT2:
; CHECK-VSX: xsmsubmdp
; CHECK-VSX-NEXT: xsmaddadp
; CHECK-VSX-NEXT: fmr
; CHECK-VSX-NEXT: blr
}
define double @test_FMSUB_ASSOC_EXT3(float %A, float %B, double %C,
; CHECK-SAFE-LABEL: test_FMSUB_ASSOC_EXT3:
; CHECK-SAFE: # %bb.0:
; CHECK-SAFE-NEXT: fnmsub 0, 1, 2, 5
; CHECK-SAFE-NEXT: fnmsub 1, 3, 4, 0
; CHECK-SAFE-NEXT: blr
;
; CHECK-VSX-SAFE-LABEL: test_FMSUB_ASSOC_EXT3:
; CHECK-VSX-SAFE: # %bb.0:
; CHECK-VSX-SAFE-NEXT: xsnmsubmdp 1, 2, 5
; CHECK-VSX-SAFE-NEXT: xsnmsubadp 1, 3, 4
; CHECK-VSX-SAFE-NEXT: blr
;
; CHECK-UNSAFE-LABEL: test_FMSUB_ASSOC_EXT3:
; CHECK-UNSAFE: # %bb.0:
; CHECK-UNSAFE-NEXT: fnmsub 0, 1, 2, 5
; CHECK-UNSAFE-NEXT: fnmsub 1, 3, 4, 0
; CHECK-UNSAFE-NEXT: blr
;
; CHECK-VSX-UNSAFE-LABEL: test_FMSUB_ASSOC_EXT3:
; CHECK-VSX-UNSAFE: # %bb.0:
; CHECK-VSX-UNSAFE-NEXT: xsnmsubmdp 1, 2, 5
; CHECK-VSX-UNSAFE-NEXT: xsnmsubadp 1, 3, 4
; CHECK-VSX-UNSAFE-NEXT: blr
double %D, double %E) {
%F = fmul float %A, %B ; <float> [#uses=1]
%G = fpext float %F to double ; <double> [#uses=1]
@ -252,18 +379,34 @@ define double @test_FMSUB_ASSOC_EXT3(float %A, float %B, double %C,
%I = fadd double %H, %G ; <double> [#uses=1]
%J = fsub double %E, %I ; <double> [#uses=1]
ret double %J
; CHECK-LABEL: test_FMSUB_ASSOC_EXT3:
; CHECK: fnmsub
; CHECK-NEXT: fnmsub
; CHECK-NEXT: blr
; CHECK-VSX-LABEL: test_FMSUB_ASSOC_EXT3:
; CHECK-VSX: xsnmsubmdp
; CHECK-VSX-NEXT: xsnmsubadp
; CHECK-VSX-NEXT: blr
}
define double @test_FMSUB_ASSOC_EXT4(float %A, float %B, float %C,
; CHECK-SAFE-LABEL: test_FMSUB_ASSOC_EXT4:
; CHECK-SAFE: # %bb.0:
; CHECK-SAFE-NEXT: fnmsub 0, 3, 4, 5
; CHECK-SAFE-NEXT: fnmsub 1, 1, 2, 0
; CHECK-SAFE-NEXT: blr
;
; CHECK-VSX-SAFE-LABEL: test_FMSUB_ASSOC_EXT4:
; CHECK-VSX-SAFE: # %bb.0:
; CHECK-VSX-SAFE-NEXT: xsnmsubmdp 3, 4, 5
; CHECK-VSX-SAFE-NEXT: xsnmsubadp 3, 1, 2
; CHECK-VSX-SAFE-NEXT: fmr 1, 3
; CHECK-VSX-SAFE-NEXT: blr
;
; CHECK-UNSAFE-LABEL: test_FMSUB_ASSOC_EXT4:
; CHECK-UNSAFE: # %bb.0:
; CHECK-UNSAFE-NEXT: fnmsub 0, 3, 4, 5
; CHECK-UNSAFE-NEXT: fnmsub 1, 1, 2, 0
; CHECK-UNSAFE-NEXT: blr
;
; CHECK-VSX-UNSAFE-LABEL: test_FMSUB_ASSOC_EXT4:
; CHECK-VSX-UNSAFE: # %bb.0:
; CHECK-VSX-UNSAFE-NEXT: xsnmsubmdp 3, 4, 5
; CHECK-VSX-UNSAFE-NEXT: xsnmsubadp 3, 1, 2
; CHECK-VSX-UNSAFE-NEXT: fmr 1, 3
; CHECK-VSX-UNSAFE-NEXT: blr
float %D, double %E) {
%F = fmul float %A, %B ; <float> [#uses=1]
%G = fmul float %C, %D ; <float> [#uses=1]
@ -271,14 +414,4 @@ define double @test_FMSUB_ASSOC_EXT4(float %A, float %B, float %C,
%I = fpext float %H to double ; <double> [#uses=1]
%J = fsub double %E, %I ; <double> [#uses=1]
ret double %J
; CHECK-LABEL: test_FMSUB_ASSOC_EXT4:
; CHECK: fnmsub
; CHECK-NEXT: fnmsub
; CHECK-NEXT: blr
; CHECK-VSX-LABEL: test_FMSUB_ASSOC_EXT4:
; CHECK-VSX: xsnmsubmdp
; CHECK-VSX-NEXT: xsnmsubadp
; CHECK-VSX-NEXT: fmr
; CHECK-VSX-NEXT: blr
}