[llvm] c1bc56b - [NFC] [PowerPC] Update FMA association test
Qiu Chaofan via llvm-commits
llvm-commits at lists.llvm.org
Sun Mar 22 05:57:34 PDT 2020
Author: Qiu Chaofan
Date: 2020-03-22T20:55:32+08:00
New Revision: c1bc56bf4f2bed66314c3c044af520d29b4683c5
URL: https://github.com/llvm/llvm-project/commit/c1bc56bf4f2bed66314c3c044af520d29b4683c5
DIFF: https://github.com/llvm/llvm-project/commit/c1bc56bf4f2bed66314c3c044af520d29b4683c5.diff
LOG: [NFC] [PowerPC] Update FMA association test
Added:
Modified:
llvm/test/CodeGen/PowerPC/fma-assoc.ll
Removed:
################################################################################
diff --git a/llvm/test/CodeGen/PowerPC/fma-assoc.ll b/llvm/test/CodeGen/PowerPC/fma-assoc.ll
index 9bca280015d5..0bc63d6ef765 100644
--- a/llvm/test/CodeGen/PowerPC/fma-assoc.ll
+++ b/llvm/test/CodeGen/PowerPC/fma-assoc.ll
@@ -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
}
More information about the llvm-commits
mailing list