mirror of
https://github.com/RPCS3/llvm-mirror.git
synced 2025-02-01 05:01:59 +01:00
2ee13eebfa
Summary: This is follow up patch of https://reviews.llvm.org/D67595. Adjust naming and the Commutable operands for additional patterns to make it easier to read. The testcase update also show that we can save some unecessary fmr as well. Reviewers: #powerpc, steven.zhang, hfinkel, nemanjai Reviewed By: #powerpc, nemanjai Subscribers: wuzish, hiraditya, kbarton, MaskRay, shchenz, llvm-commits Tags: #llvm Differential Revision: https://reviews.llvm.org/D68112 llvm-svn: 373652
93 lines
3.0 KiB
LLVM
93 lines
3.0 KiB
LLVM
; RUN: llc -verify-machineinstrs < %s -mtriple=ppc32-- -fp-contract=fast -mattr=-vsx -disable-ppc-vsx-fma-mutation=false | FileCheck %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 %s
|
|
|
|
define double @test_FMADD_EXT1(float %A, float %B, double %C) {
|
|
%D = fmul float %A, %B ; <float> [#uses=1]
|
|
%E = fpext float %D to double ; <double> [#uses=1]
|
|
%F = fadd double %E, %C ; <double> [#uses=1]
|
|
ret double %F
|
|
; CHECK-LABEL: test_FMADD_EXT1:
|
|
; CHECK: fmadd
|
|
; CHECK-NEXT: blr
|
|
|
|
; CHECK-VSX-LABEL: test_FMADD_EXT1:
|
|
; CHECK-VSX: xsmaddmdp
|
|
; CHECK-VSX-NEXT: blr
|
|
}
|
|
|
|
define double @test_FMADD_EXT2(float %A, float %B, double %C) {
|
|
%D = fmul float %A, %B ; <float> [#uses=1]
|
|
%E = fpext float %D to double ; <double> [#uses=1]
|
|
%F = fadd double %C, %E ; <double> [#uses=1]
|
|
ret double %F
|
|
; CHECK-LABEL: test_FMADD_EXT2:
|
|
; CHECK: fmadd
|
|
; CHECK-NEXT: blr
|
|
|
|
; CHECK-VSX-LABEL: test_FMADD_EXT2:
|
|
; CHECK-VSX: xsmaddmdp
|
|
; CHECK-VSX-NEXT: blr
|
|
}
|
|
|
|
define double @test_FMSUB_EXT1(float %A, float %B, double %C) {
|
|
%D = fmul float %A, %B ; <float> [#uses=1]
|
|
%E = fpext float %D to double ; <double> [#uses=1]
|
|
%F = fsub double %E, %C ; <double> [#uses=1]
|
|
ret double %F
|
|
; CHECK-LABEL: test_FMSUB_EXT1:
|
|
; CHECK: fmsub
|
|
; CHECK-NEXT: blr
|
|
|
|
; CHECK-VSX-LABEL: test_FMSUB_EXT1:
|
|
; CHECK-VSX: xsmsubmdp
|
|
; CHECK-VSX-NEXT: blr
|
|
}
|
|
|
|
define double @test_FMSUB_EXT2(float %A, float %B, double %C) {
|
|
%D = fmul float %A, %B ; <float> [#uses=1]
|
|
%E = fpext float %D to double ; <double> [#uses=1]
|
|
%F = fsub double %C, %E ; <double> [#uses=1]
|
|
ret double %F
|
|
; CHECK-LABEL: test_FMSUB_EXT2:
|
|
; CHECK: fnmsub
|
|
; CHECK-NEXT: blr
|
|
|
|
; CHECK-VSX-LABEL: test_FMSUB_EXT2:
|
|
; CHECK-VSX: xsnmsubmdp
|
|
; CHECK-VSX-NEXT: blr
|
|
}
|
|
|
|
define double @test_FMSUB_EXT3(float %A, float %B, double %C) {
|
|
%D = fmul float %A, %B ; <float> [#uses=1]
|
|
%E = fsub float -0.000000e+00, %D ; <float> [#uses=1]
|
|
%F = fpext float %E to double ; <double> [#uses=1]
|
|
%G = fsub double %F, %C ; <double> [#uses=1]
|
|
ret double %G
|
|
; CHECK-LABEL: test_FMSUB_EXT3:
|
|
; CHECK: fnmadd
|
|
|
|
; CHECK-NEXT: blr
|
|
|
|
; CHECK-VSX-LABEL: test_FMSUB_EXT3:
|
|
; CHECK-VSX: xsnmaddmdp
|
|
|
|
; CHECK-VSX-NEXT: blr
|
|
}
|
|
|
|
define double @test_FMSUB_EXT4(float %A, float %B, double %C) {
|
|
%D = fmul float %A, %B ; <float> [#uses=1]
|
|
%E = fpext float %D to double ; <double> [#uses=1]
|
|
%F = fsub double -0.000000e+00, %E ; <double> [#uses=1]
|
|
%G = fsub double %F, %C ; <double> [#uses=1]
|
|
ret double %G
|
|
; CHECK-LABEL: test_FMSUB_EXT4:
|
|
; CHECK: fnmadd
|
|
|
|
; CHECK-NEXT: blr
|
|
|
|
; CHECK-VSX-LABEL: test_FMSUB_EXT4:
|
|
; CHECK-VSX: xsnmaddmdp
|
|
|
|
; CHECK-VSX-NEXT: blr
|
|
}
|