forked from OSchip/llvm-project
[NFC] [PowerPC] Remove unsafe-fp-math in FMA test
This commit is contained in:
Qiu Chaofan
parent
0105e9cd92
commit
996dc13dc4
|
|
@ -1,36 +1,24 @@
|
|||
; 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
|
||||
; RUN: llc -verify-machineinstrs < %s -mtriple=ppc32-- -fp-contract=fast \
|
||||
; RUN: -mattr=-vsx -disable-ppc-vsx-fma-mutation=false | FileCheck %s
|
||||
; RUN: llc -verify-machineinstrs < %s -mtriple=powerpc64-unknown-linux-gnu \
|
||||
; RUN: -fp-contract=fast -mattr=+vsx -disable-ppc-vsx-fma-mutation=false \
|
||||
; RUN: -mcpu=pwr7 | FileCheck -check-prefix=CHECK-VSX %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-LABEL: test_FMADD_ASSOC1:
|
||||
; CHECK: # %bb.0:
|
||||
; CHECK-NEXT: fmul 0, 3, 4
|
||||
; CHECK-NEXT: fmadd 0, 1, 2, 0
|
||||
; CHECK-NEXT: fadd 1, 0, 5
|
||||
; CHECK-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
|
||||
; CHECK-VSX-LABEL: test_FMADD_ASSOC1:
|
||||
; CHECK-VSX: # %bb.0:
|
||||
; CHECK-VSX-NEXT: xsmuldp 0, 3, 4
|
||||
; CHECK-VSX-NEXT: xsmaddadp 0, 1, 2
|
||||
; CHECK-VSX-NEXT: xsadddp 1, 0, 5
|
||||
; CHECK-VSX-NEXT: blr
|
||||
double %D, double %E) {
|
||||
%F = fmul double %A, %B ; <double> [#uses=1]
|
||||
%G = fmul double %C, %D ; <double> [#uses=1]
|
||||
|
|
@ -40,32 +28,19 @@ define double @test_FMADD_ASSOC1(double %A, double %B, double %C,
|
|||
}
|
||||
|
||||
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-LABEL: test_FMADD_ASSOC2:
|
||||
; CHECK: # %bb.0:
|
||||
; CHECK-NEXT: fmul 0, 3, 4
|
||||
; CHECK-NEXT: fmadd 0, 1, 2, 0
|
||||
; CHECK-NEXT: fadd 1, 5, 0
|
||||
; CHECK-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
|
||||
; CHECK-VSX-LABEL: test_FMADD_ASSOC2:
|
||||
; CHECK-VSX: # %bb.0:
|
||||
; CHECK-VSX-NEXT: xsmuldp 0, 3, 4
|
||||
; CHECK-VSX-NEXT: xsmaddadp 0, 1, 2
|
||||
; CHECK-VSX-NEXT: xsadddp 1, 5, 0
|
||||
; CHECK-VSX-NEXT: blr
|
||||
double %D, double %E) {
|
||||
%F = fmul double %A, %B ; <double> [#uses=1]
|
||||
%G = fmul double %C, %D ; <double> [#uses=1]
|
||||
|
|
@ -75,32 +50,19 @@ define double @test_FMADD_ASSOC2(double %A, double %B, double %C,
|
|||
}
|
||||
|
||||
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-LABEL: test_FMSUB_ASSOC1:
|
||||
; CHECK: # %bb.0:
|
||||
; CHECK-NEXT: fmul 0, 3, 4
|
||||
; CHECK-NEXT: fmadd 0, 1, 2, 0
|
||||
; CHECK-NEXT: fsub 1, 0, 5
|
||||
; CHECK-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
|
||||
; CHECK-VSX-LABEL: test_FMSUB_ASSOC1:
|
||||
; CHECK-VSX: # %bb.0:
|
||||
; CHECK-VSX-NEXT: xsmuldp 0, 3, 4
|
||||
; CHECK-VSX-NEXT: xsmaddadp 0, 1, 2
|
||||
; CHECK-VSX-NEXT: xssubdp 1, 0, 5
|
||||
; CHECK-VSX-NEXT: blr
|
||||
double %D, double %E) {
|
||||
%F = fmul double %A, %B ; <double> [#uses=1]
|
||||
%G = fmul double %C, %D ; <double> [#uses=1]
|
||||
|
|
@ -110,32 +72,19 @@ define double @test_FMSUB_ASSOC1(double %A, double %B, double %C,
|
|||
}
|
||||
|
||||
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-LABEL: test_FMSUB_ASSOC2:
|
||||
; CHECK: # %bb.0:
|
||||
; CHECK-NEXT: fmul 0, 3, 4
|
||||
; CHECK-NEXT: fmadd 0, 1, 2, 0
|
||||
; CHECK-NEXT: fsub 1, 5, 0
|
||||
; CHECK-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
|
||||
; CHECK-VSX-LABEL: test_FMSUB_ASSOC2:
|
||||
; CHECK-VSX: # %bb.0:
|
||||
; CHECK-VSX-NEXT: xsmuldp 0, 3, 4
|
||||
; CHECK-VSX-NEXT: xsmaddadp 0, 1, 2
|
||||
; CHECK-VSX-NEXT: xssubdp 1, 5, 0
|
||||
; CHECK-VSX-NEXT: blr
|
||||
double %D, double %E) {
|
||||
%F = fmul double %A, %B ; <double> [#uses=1]
|
||||
%G = fmul double %C, %D ; <double> [#uses=1]
|
||||
|
|
@ -145,29 +94,17 @@ define double @test_FMSUB_ASSOC2(double %A, double %B, double %C,
|
|||
}
|
||||
|
||||
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-LABEL: test_FMADD_ASSOC_EXT1:
|
||||
; CHECK: # %bb.0:
|
||||
; CHECK-NEXT: fmadd 0, 1, 2, 5
|
||||
; CHECK-NEXT: fmadd 1, 3, 4, 0
|
||||
; CHECK-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
|
||||
; CHECK-VSX-LABEL: test_FMADD_ASSOC_EXT1:
|
||||
; CHECK-VSX: # %bb.0:
|
||||
; CHECK-VSX-NEXT: xsmaddmdp 1, 2, 5
|
||||
; CHECK-VSX-NEXT: xsmaddadp 1, 3, 4
|
||||
; CHECK-VSX-NEXT: blr
|
||||
double %D, double %E) {
|
||||
%F = fmul float %A, %B ; <float> [#uses=1]
|
||||
%G = fpext float %F to double ; <double> [#uses=1]
|
||||
|
|
@ -178,31 +115,18 @@ define double @test_FMADD_ASSOC_EXT1(float %A, float %B, double %C,
|
|||
}
|
||||
|
||||
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-LABEL: test_FMADD_ASSOC_EXT2:
|
||||
; CHECK: # %bb.0:
|
||||
; CHECK-NEXT: fmadd 0, 3, 4, 5
|
||||
; CHECK-NEXT: fmadd 1, 1, 2, 0
|
||||
; CHECK-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
|
||||
; CHECK-VSX-LABEL: test_FMADD_ASSOC_EXT2:
|
||||
; CHECK-VSX: # %bb.0:
|
||||
; CHECK-VSX-NEXT: xsmaddmdp 3, 4, 5
|
||||
; CHECK-VSX-NEXT: xsmaddadp 3, 1, 2
|
||||
; CHECK-VSX-NEXT: fmr 1, 3
|
||||
; CHECK-VSX-NEXT: blr
|
||||
float %D, double %E) {
|
||||
%F = fmul float %A, %B ; <float> [#uses=1]
|
||||
%G = fmul float %C, %D ; <float> [#uses=1]
|
||||
|
|
@ -213,29 +137,17 @@ define double @test_FMADD_ASSOC_EXT2(float %A, float %B, float %C,
|
|||
}
|
||||
|
||||
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-LABEL: test_FMADD_ASSOC_EXT3:
|
||||
; CHECK: # %bb.0:
|
||||
; CHECK-NEXT: fmadd 0, 1, 2, 5
|
||||
; CHECK-NEXT: fmadd 1, 3, 4, 0
|
||||
; CHECK-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
|
||||
; CHECK-VSX-LABEL: test_FMADD_ASSOC_EXT3:
|
||||
; CHECK-VSX: # %bb.0:
|
||||
; CHECK-VSX-NEXT: xsmaddmdp 1, 2, 5
|
||||
; CHECK-VSX-NEXT: xsmaddadp 1, 3, 4
|
||||
; CHECK-VSX-NEXT: blr
|
||||
double %D, double %E) {
|
||||
%F = fmul float %A, %B ; <float> [#uses=1]
|
||||
%G = fpext float %F to double ; <double> [#uses=1]
|
||||
|
|
@ -246,31 +158,18 @@ define double @test_FMADD_ASSOC_EXT3(float %A, float %B, double %C,
|
|||
}
|
||||
|
||||
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-LABEL: test_FMADD_ASSOC_EXT4:
|
||||
; CHECK: # %bb.0:
|
||||
; CHECK-NEXT: fmadd 0, 3, 4, 5
|
||||
; CHECK-NEXT: fmadd 1, 1, 2, 0
|
||||
; CHECK-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
|
||||
; CHECK-VSX-LABEL: test_FMADD_ASSOC_EXT4:
|
||||
; CHECK-VSX: # %bb.0:
|
||||
; CHECK-VSX-NEXT: xsmaddmdp 3, 4, 5
|
||||
; CHECK-VSX-NEXT: xsmaddadp 3, 1, 2
|
||||
; CHECK-VSX-NEXT: fmr 1, 3
|
||||
; CHECK-VSX-NEXT: blr
|
||||
float %D, double %E) {
|
||||
%F = fmul float %A, %B ; <float> [#uses=1]
|
||||
%G = fmul float %C, %D ; <float> [#uses=1]
|
||||
|
|
@ -281,29 +180,17 @@ define double @test_FMADD_ASSOC_EXT4(float %A, float %B, float %C,
|
|||
}
|
||||
|
||||
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-LABEL: test_FMSUB_ASSOC_EXT1:
|
||||
; CHECK: # %bb.0:
|
||||
; CHECK-NEXT: fmsub 0, 1, 2, 5
|
||||
; CHECK-NEXT: fmadd 1, 3, 4, 0
|
||||
; CHECK-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
|
||||
; CHECK-VSX-LABEL: test_FMSUB_ASSOC_EXT1:
|
||||
; CHECK-VSX: # %bb.0:
|
||||
; CHECK-VSX-NEXT: xsmsubmdp 1, 2, 5
|
||||
; CHECK-VSX-NEXT: xsmaddadp 1, 3, 4
|
||||
; CHECK-VSX-NEXT: blr
|
||||
double %D, double %E) {
|
||||
%F = fmul float %A, %B ; <float> [#uses=1]
|
||||
%G = fpext float %F to double ; <double> [#uses=1]
|
||||
|
|
@ -314,31 +201,18 @@ define double @test_FMSUB_ASSOC_EXT1(float %A, float %B, double %C,
|
|||
}
|
||||
|
||||
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-LABEL: test_FMSUB_ASSOC_EXT2:
|
||||
; CHECK: # %bb.0:
|
||||
; CHECK-NEXT: fmsub 0, 3, 4, 5
|
||||
; CHECK-NEXT: fmadd 1, 1, 2, 0
|
||||
; CHECK-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
|
||||
; CHECK-VSX-LABEL: test_FMSUB_ASSOC_EXT2:
|
||||
; CHECK-VSX: # %bb.0:
|
||||
; CHECK-VSX-NEXT: xsmsubmdp 3, 4, 5
|
||||
; CHECK-VSX-NEXT: xsmaddadp 3, 1, 2
|
||||
; CHECK-VSX-NEXT: fmr 1, 3
|
||||
; CHECK-VSX-NEXT: blr
|
||||
float %D, double %E) {
|
||||
%F = fmul float %A, %B ; <float> [#uses=1]
|
||||
%G = fmul float %C, %D ; <float> [#uses=1]
|
||||
|
|
@ -349,29 +223,17 @@ define double @test_FMSUB_ASSOC_EXT2(float %A, float %B, float %C,
|
|||
}
|
||||
|
||||
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-LABEL: test_FMSUB_ASSOC_EXT3:
|
||||
; CHECK: # %bb.0:
|
||||
; CHECK-NEXT: fnmsub 0, 1, 2, 5
|
||||
; CHECK-NEXT: fnmsub 1, 3, 4, 0
|
||||
; CHECK-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
|
||||
; CHECK-VSX-LABEL: test_FMSUB_ASSOC_EXT3:
|
||||
; CHECK-VSX: # %bb.0:
|
||||
; CHECK-VSX-NEXT: xsnmsubmdp 1, 2, 5
|
||||
; CHECK-VSX-NEXT: xsnmsubadp 1, 3, 4
|
||||
; CHECK-VSX-NEXT: blr
|
||||
double %D, double %E) {
|
||||
%F = fmul float %A, %B ; <float> [#uses=1]
|
||||
%G = fpext float %F to double ; <double> [#uses=1]
|
||||
|
|
@ -382,31 +244,18 @@ define double @test_FMSUB_ASSOC_EXT3(float %A, float %B, double %C,
|
|||
}
|
||||
|
||||
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-LABEL: test_FMSUB_ASSOC_EXT4:
|
||||
; CHECK: # %bb.0:
|
||||
; CHECK-NEXT: fnmsub 0, 3, 4, 5
|
||||
; CHECK-NEXT: fnmsub 1, 1, 2, 0
|
||||
; CHECK-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
|
||||
; CHECK-VSX-LABEL: test_FMSUB_ASSOC_EXT4:
|
||||
; CHECK-VSX: # %bb.0:
|
||||
; CHECK-VSX-NEXT: xsnmsubmdp 3, 4, 5
|
||||
; CHECK-VSX-NEXT: xsnmsubadp 3, 1, 2
|
||||
; CHECK-VSX-NEXT: fmr 1, 3
|
||||
; CHECK-VSX-NEXT: blr
|
||||
float %D, double %E) {
|
||||
%F = fmul float %A, %B ; <float> [#uses=1]
|
||||
%G = fmul float %C, %D ; <float> [#uses=1]
|
||||
|
|
@ -415,3 +264,280 @@ define double @test_FMSUB_ASSOC_EXT4(float %A, float %B, float %C,
|
|||
%J = fsub double %E, %I ; <double> [#uses=1]
|
||||
ret double %J
|
||||
}
|
||||
|
||||
define double @test_reassoc_FMADD_ASSOC1(double %A, double %B, double %C,
|
||||
; CHECK-LABEL: test_reassoc_FMADD_ASSOC1:
|
||||
; CHECK: # %bb.0:
|
||||
; CHECK-NEXT: fmadd 0, 3, 4, 5
|
||||
; CHECK-NEXT: fmadd 1, 1, 2, 0
|
||||
; CHECK-NEXT: blr
|
||||
;
|
||||
; CHECK-VSX-LABEL: test_reassoc_FMADD_ASSOC1:
|
||||
; CHECK-VSX: # %bb.0:
|
||||
; CHECK-VSX-NEXT: xsmaddmdp 3, 4, 5
|
||||
; CHECK-VSX-NEXT: xsmaddadp 3, 1, 2
|
||||
; CHECK-VSX-NEXT: fmr 1, 3
|
||||
; CHECK-VSX-NEXT: blr
|
||||
double %D, double %E) {
|
||||
%F = fmul reassoc double %A, %B ; <double> [#uses=1]
|
||||
%G = fmul reassoc double %C, %D ; <double> [#uses=1]
|
||||
%H = fadd reassoc double %F, %G ; <double> [#uses=1]
|
||||
%I = fadd reassoc double %H, %E ; <double> [#uses=1]
|
||||
ret double %I
|
||||
}
|
||||
|
||||
define double @test_reassoc_FMADD_ASSOC2(double %A, double %B, double %C,
|
||||
; CHECK-LABEL: test_reassoc_FMADD_ASSOC2:
|
||||
; CHECK: # %bb.0:
|
||||
; CHECK-NEXT: fmadd 0, 3, 4, 5
|
||||
; CHECK-NEXT: fmadd 1, 1, 2, 0
|
||||
; CHECK-NEXT: blr
|
||||
;
|
||||
; CHECK-VSX-LABEL: test_reassoc_FMADD_ASSOC2:
|
||||
; CHECK-VSX: # %bb.0:
|
||||
; CHECK-VSX-NEXT: xsmaddmdp 3, 4, 5
|
||||
; CHECK-VSX-NEXT: xsmaddadp 3, 1, 2
|
||||
; CHECK-VSX-NEXT: fmr 1, 3
|
||||
; CHECK-VSX-NEXT: blr
|
||||
double %D, double %E) {
|
||||
%F = fmul reassoc double %A, %B ; <double> [#uses=1]
|
||||
%G = fmul reassoc double %C, %D ; <double> [#uses=1]
|
||||
%H = fadd reassoc double %F, %G ; <double> [#uses=1]
|
||||
%I = fadd reassoc double %E, %H ; <double> [#uses=1]
|
||||
ret double %I
|
||||
}
|
||||
|
||||
define double @test_reassoc_FMSUB_ASSOC1(double %A, double %B, double %C,
|
||||
; CHECK-LABEL: test_reassoc_FMSUB_ASSOC1:
|
||||
; CHECK: # %bb.0:
|
||||
; CHECK-NEXT: fmsub 0, 3, 4, 5
|
||||
; CHECK-NEXT: fmadd 1, 1, 2, 0
|
||||
; CHECK-NEXT: blr
|
||||
;
|
||||
; CHECK-VSX-LABEL: test_reassoc_FMSUB_ASSOC1:
|
||||
; CHECK-VSX: # %bb.0:
|
||||
; CHECK-VSX-NEXT: xsmsubmdp 3, 4, 5
|
||||
; CHECK-VSX-NEXT: xsmaddadp 3, 1, 2
|
||||
; CHECK-VSX-NEXT: fmr 1, 3
|
||||
; CHECK-VSX-NEXT: blr
|
||||
double %D, double %E) {
|
||||
%F = fmul reassoc double %A, %B ; <double> [#uses=1]
|
||||
%G = fmul reassoc double %C, %D ; <double> [#uses=1]
|
||||
%H = fadd reassoc double %F, %G ; <double> [#uses=1]
|
||||
%I = fsub reassoc double %H, %E ; <double> [#uses=1]
|
||||
ret double %I
|
||||
}
|
||||
|
||||
define double @test_reassoc_FMSUB_ASSOC2(double %A, double %B, double %C,
|
||||
; CHECK-LABEL: test_reassoc_FMSUB_ASSOC2:
|
||||
; CHECK: # %bb.0:
|
||||
; CHECK-NEXT: fnmsub 0, 3, 4, 5
|
||||
; CHECK-NEXT: fnmsub 1, 1, 2, 0
|
||||
; CHECK-NEXT: blr
|
||||
;
|
||||
; CHECK-VSX-LABEL: test_reassoc_FMSUB_ASSOC2:
|
||||
; CHECK-VSX: # %bb.0:
|
||||
; CHECK-VSX-NEXT: xsnmsubmdp 3, 4, 5
|
||||
; CHECK-VSX-NEXT: xsnmsubadp 3, 1, 2
|
||||
; CHECK-VSX-NEXT: fmr 1, 3
|
||||
; CHECK-VSX-NEXT: blr
|
||||
double %D, double %E) {
|
||||
%F = fmul reassoc double %A, %B ; <double> [#uses=1]
|
||||
%G = fmul reassoc double %C, %D ; <double> [#uses=1]
|
||||
%H = fadd reassoc double %F, %G ; <double> [#uses=1]
|
||||
%I = fsub reassoc double %E, %H ; <double> [#uses=1]
|
||||
ret double %I
|
||||
}
|
||||
|
||||
define double @test_fast_FMSUB_ASSOC2(double %A, double %B, double %C,
|
||||
; CHECK-LABEL: test_fast_FMSUB_ASSOC2:
|
||||
; CHECK: # %bb.0:
|
||||
; CHECK-NEXT: fnmsub 0, 3, 4, 5
|
||||
; CHECK-NEXT: fnmsub 1, 1, 2, 0
|
||||
; CHECK-NEXT: blr
|
||||
;
|
||||
; CHECK-VSX-LABEL: test_fast_FMSUB_ASSOC2:
|
||||
; CHECK-VSX: # %bb.0:
|
||||
; CHECK-VSX-NEXT: xsnmsubmdp 3, 4, 5
|
||||
; CHECK-VSX-NEXT: xsnmsubadp 3, 1, 2
|
||||
; CHECK-VSX-NEXT: fmr 1, 3
|
||||
; CHECK-VSX-NEXT: blr
|
||||
double %D, double %E) {
|
||||
%F = fmul fast double %A, %B ; <double> [#uses=1]
|
||||
%G = fmul fast double %C, %D ; <double> [#uses=1]
|
||||
%H = fadd fast double %F, %G ; <double> [#uses=1]
|
||||
%I = fsub fast double %E, %H ; <double> [#uses=1]
|
||||
ret double %I
|
||||
}
|
||||
|
||||
define double @test_reassoc_FMADD_ASSOC_EXT1(float %A, float %B, double %C,
|
||||
; CHECK-LABEL: test_reassoc_FMADD_ASSOC_EXT1:
|
||||
; CHECK: # %bb.0:
|
||||
; CHECK-NEXT: fmadd 0, 1, 2, 5
|
||||
; CHECK-NEXT: fmadd 1, 3, 4, 0
|
||||
; CHECK-NEXT: blr
|
||||
;
|
||||
; CHECK-VSX-LABEL: test_reassoc_FMADD_ASSOC_EXT1:
|
||||
; CHECK-VSX: # %bb.0:
|
||||
; CHECK-VSX-NEXT: xsmaddmdp 1, 2, 5
|
||||
; CHECK-VSX-NEXT: xsmaddadp 1, 3, 4
|
||||
; CHECK-VSX-NEXT: blr
|
||||
double %D, double %E) {
|
||||
%F = fmul reassoc float %A, %B ; <float> [#uses=1]
|
||||
%G = fpext float %F to double ; <double> [#uses=1]
|
||||
%H = fmul reassoc double %C, %D ; <double> [#uses=1]
|
||||
%I = fadd reassoc double %H, %G ; <double> [#uses=1]
|
||||
%J = fadd reassoc double %I, %E ; <double> [#uses=1]
|
||||
ret double %J
|
||||
}
|
||||
|
||||
define double @test_reassoc_FMADD_ASSOC_EXT2(float %A, float %B, float %C,
|
||||
; CHECK-LABEL: test_reassoc_FMADD_ASSOC_EXT2:
|
||||
; CHECK: # %bb.0:
|
||||
; CHECK-NEXT: fmadd 0, 3, 4, 5
|
||||
; CHECK-NEXT: fmadd 1, 1, 2, 0
|
||||
; CHECK-NEXT: blr
|
||||
;
|
||||
; CHECK-VSX-LABEL: test_reassoc_FMADD_ASSOC_EXT2:
|
||||
; CHECK-VSX: # %bb.0:
|
||||
; CHECK-VSX-NEXT: xsmaddmdp 3, 4, 5
|
||||
; CHECK-VSX-NEXT: xsmaddadp 3, 1, 2
|
||||
; CHECK-VSX-NEXT: fmr 1, 3
|
||||
; CHECK-VSX-NEXT: blr
|
||||
float %D, double %E) {
|
||||
%F = fmul reassoc float %A, %B ; <float> [#uses=1]
|
||||
%G = fmul reassoc float %C, %D ; <float> [#uses=1]
|
||||
%H = fadd reassoc float %F, %G ; <float> [#uses=1]
|
||||
%I = fpext float %H to double ; <double> [#uses=1]
|
||||
%J = fadd reassoc double %I, %E ; <double> [#uses=1]
|
||||
ret double %J
|
||||
}
|
||||
|
||||
define double @test_reassoc_FMADD_ASSOC_EXT3(float %A, float %B, double %C,
|
||||
; CHECK-LABEL: test_reassoc_FMADD_ASSOC_EXT3:
|
||||
; CHECK: # %bb.0:
|
||||
; CHECK-NEXT: fmadd 0, 1, 2, 5
|
||||
; CHECK-NEXT: fmadd 1, 3, 4, 0
|
||||
; CHECK-NEXT: blr
|
||||
;
|
||||
; CHECK-VSX-LABEL: test_reassoc_FMADD_ASSOC_EXT3:
|
||||
; CHECK-VSX: # %bb.0:
|
||||
; CHECK-VSX-NEXT: xsmaddmdp 1, 2, 5
|
||||
; CHECK-VSX-NEXT: xsmaddadp 1, 3, 4
|
||||
; CHECK-VSX-NEXT: blr
|
||||
double %D, double %E) {
|
||||
%F = fmul reassoc float %A, %B ; <float> [#uses=1]
|
||||
%G = fpext float %F to double ; <double> [#uses=1]
|
||||
%H = fmul reassoc double %C, %D ; <double> [#uses=1]
|
||||
%I = fadd reassoc double %H, %G ; <double> [#uses=1]
|
||||
%J = fadd reassoc double %E, %I ; <double> [#uses=1]
|
||||
ret double %J
|
||||
}
|
||||
|
||||
define double @test_reassoc_FMADD_ASSOC_EXT4(float %A, float %B, float %C,
|
||||
; CHECK-LABEL: test_reassoc_FMADD_ASSOC_EXT4:
|
||||
; CHECK: # %bb.0:
|
||||
; CHECK-NEXT: fmadd 0, 3, 4, 5
|
||||
; CHECK-NEXT: fmadd 1, 1, 2, 0
|
||||
; CHECK-NEXT: blr
|
||||
;
|
||||
; CHECK-VSX-LABEL: test_reassoc_FMADD_ASSOC_EXT4:
|
||||
; CHECK-VSX: # %bb.0:
|
||||
; CHECK-VSX-NEXT: xsmaddmdp 3, 4, 5
|
||||
; CHECK-VSX-NEXT: xsmaddadp 3, 1, 2
|
||||
; CHECK-VSX-NEXT: fmr 1, 3
|
||||
; CHECK-VSX-NEXT: blr
|
||||
float %D, double %E) {
|
||||
%F = fmul reassoc float %A, %B ; <float> [#uses=1]
|
||||
%G = fmul reassoc float %C, %D ; <float> [#uses=1]
|
||||
%H = fadd reassoc float %F, %G ; <float> [#uses=1]
|
||||
%I = fpext float %H to double ; <double> [#uses=1]
|
||||
%J = fadd reassoc double %E, %I ; <double> [#uses=1]
|
||||
ret double %J
|
||||
}
|
||||
|
||||
define double @test_reassoc_FMSUB_ASSOC_EXT1(float %A, float %B, double %C,
|
||||
; CHECK-LABEL: test_reassoc_FMSUB_ASSOC_EXT1:
|
||||
; CHECK: # %bb.0:
|
||||
; CHECK-NEXT: fmsub 0, 1, 2, 5
|
||||
; CHECK-NEXT: fmadd 1, 3, 4, 0
|
||||
; CHECK-NEXT: blr
|
||||
;
|
||||
; CHECK-VSX-LABEL: test_reassoc_FMSUB_ASSOC_EXT1:
|
||||
; CHECK-VSX: # %bb.0:
|
||||
; CHECK-VSX-NEXT: xsmsubmdp 1, 2, 5
|
||||
; CHECK-VSX-NEXT: xsmaddadp 1, 3, 4
|
||||
; CHECK-VSX-NEXT: blr
|
||||
double %D, double %E) {
|
||||
%F = fmul reassoc float %A, %B ; <float> [#uses=1]
|
||||
%G = fpext float %F to double ; <double> [#uses=1]
|
||||
%H = fmul reassoc double %C, %D ; <double> [#uses=1]
|
||||
%I = fadd reassoc double %H, %G ; <double> [#uses=1]
|
||||
%J = fsub reassoc double %I, %E ; <double> [#uses=1]
|
||||
ret double %J
|
||||
}
|
||||
|
||||
define double @test_reassoc_FMSUB_ASSOC_EXT2(float %A, float %B, float %C,
|
||||
; CHECK-LABEL: test_reassoc_FMSUB_ASSOC_EXT2:
|
||||
; CHECK: # %bb.0:
|
||||
; CHECK-NEXT: fmsub 0, 3, 4, 5
|
||||
; CHECK-NEXT: fmadd 1, 1, 2, 0
|
||||
; CHECK-NEXT: blr
|
||||
;
|
||||
; CHECK-VSX-LABEL: test_reassoc_FMSUB_ASSOC_EXT2:
|
||||
; CHECK-VSX: # %bb.0:
|
||||
; CHECK-VSX-NEXT: xsmsubmdp 3, 4, 5
|
||||
; CHECK-VSX-NEXT: xsmaddadp 3, 1, 2
|
||||
; CHECK-VSX-NEXT: fmr 1, 3
|
||||
; CHECK-VSX-NEXT: blr
|
||||
float %D, double %E) {
|
||||
%F = fmul reassoc float %A, %B ; <float> [#uses=1]
|
||||
%G = fmul reassoc float %C, %D ; <float> [#uses=1]
|
||||
%H = fadd reassoc float %F, %G ; <float> [#uses=1]
|
||||
%I = fpext float %H to double ; <double> [#uses=1]
|
||||
%J = fsub reassoc double %I, %E ; <double> [#uses=1]
|
||||
ret double %J
|
||||
}
|
||||
|
||||
define double @test_reassoc_FMSUB_ASSOC_EXT3(float %A, float %B, double %C,
|
||||
; CHECK-LABEL: test_reassoc_FMSUB_ASSOC_EXT3:
|
||||
; CHECK: # %bb.0:
|
||||
; CHECK-NEXT: fnmsub 0, 1, 2, 5
|
||||
; CHECK-NEXT: fnmsub 1, 3, 4, 0
|
||||
; CHECK-NEXT: blr
|
||||
;
|
||||
; CHECK-VSX-LABEL: test_reassoc_FMSUB_ASSOC_EXT3:
|
||||
; CHECK-VSX: # %bb.0:
|
||||
; CHECK-VSX-NEXT: xsnmsubmdp 1, 2, 5
|
||||
; CHECK-VSX-NEXT: xsnmsubadp 1, 3, 4
|
||||
; CHECK-VSX-NEXT: blr
|
||||
double %D, double %E) {
|
||||
%F = fmul reassoc float %A, %B ; <float> [#uses=1]
|
||||
%G = fpext float %F to double ; <double> [#uses=1]
|
||||
%H = fmul reassoc double %C, %D ; <double> [#uses=1]
|
||||
%I = fadd reassoc double %H, %G ; <double> [#uses=1]
|
||||
%J = fsub reassoc double %E, %I ; <double> [#uses=1]
|
||||
ret double %J
|
||||
}
|
||||
|
||||
define double @test_reassoc_FMSUB_ASSOC_EXT4(float %A, float %B, float %C,
|
||||
; CHECK-LABEL: test_reassoc_FMSUB_ASSOC_EXT4:
|
||||
; CHECK: # %bb.0:
|
||||
; CHECK-NEXT: fnmsub 0, 3, 4, 5
|
||||
; CHECK-NEXT: fnmsub 1, 1, 2, 0
|
||||
; CHECK-NEXT: blr
|
||||
;
|
||||
; CHECK-VSX-LABEL: test_reassoc_FMSUB_ASSOC_EXT4:
|
||||
; CHECK-VSX: # %bb.0:
|
||||
; CHECK-VSX-NEXT: xsnmsubmdp 3, 4, 5
|
||||
; CHECK-VSX-NEXT: xsnmsubadp 3, 1, 2
|
||||
; CHECK-VSX-NEXT: fmr 1, 3
|
||||
; CHECK-VSX-NEXT: blr
|
||||
float %D, double %E) {
|
||||
%F = fmul reassoc float %A, %B ; <float> [#uses=1]
|
||||
%G = fmul reassoc float %C, %D ; <float> [#uses=1]
|
||||
%H = fadd reassoc float %F, %G ; <float> [#uses=1]
|
||||
%I = fpext float %H to double ; <double> [#uses=1]
|
||||
%J = fsub reassoc double %E, %I ; <double> [#uses=1]
|
||||
ret double %J
|
||||
}
|
||||
|
|
|
|||
Loading…
Reference in New Issue