RPCS3/llvm-mirror
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2024-11-25 04:02:41 +01:00
Code Issues Projects Releases Wiki Activity

[x86] add more FP with FMF simplification tests; NFC

Browse Source 
llvm-svn: 332780
This commit is contained in:
Sanjay Patel 2018-05-18 22:31:43 +00:00
parent 9d8921d5b4
commit fbf4e2ed4f
1 changed files with 64 additions and 13 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

77
test/CodeGen/X86/fp-fold.ll
View File

@ -2,52 +2,103 @@
; RUN: llc < %s -mtriple=x86_64-unknown-unknown | FileCheck %s --check-prefixes=ANY,STRICT
; RUN: llc < %s -mtriple=x86_64-unknown-unknown -enable-unsafe-fp-math | FileCheck %s --check-prefixes=ANY,UNSAFE
; This is duplicated from tests for InstSimplify. If you're
; adding something here, you should probably add it there too.
define float @fadd_zero(float %x) {
; STRICT-LABEL: fadd_zero:
; STRICT: # %bb.0:
; STRICT-NEXT: xorps %xmm1, %xmm1
; STRICT-NEXT: addss %xmm1, %xmm0
; STRICT-NEXT: retq
;
; UNSAFE-LABEL: fadd_zero:
; UNSAFE: # %bb.0:
; UNSAFE-NEXT: retq
%r = fadd float %x, 0.0
ret float %r
}
define float @fadd_zero_1(float %x) {
; ANY-LABEL: fadd_zero_1:
define float @fadd_negzero(float %x) {
; STRICT-LABEL: fadd_negzero:
; STRICT: # %bb.0:
; STRICT-NEXT: addss {{.*}}(%rip), %xmm0
; STRICT-NEXT: retq
;
; UNSAFE-LABEL: fadd_negzero:
; UNSAFE: # %bb.0:
; UNSAFE-NEXT: retq
%r = fadd float %x, -0.0
ret float %r
}
define float @fadd_zero_nsz(float %x) {
; ANY-LABEL: fadd_zero_nsz:
; ANY: # %bb.0:
; ANY-NEXT: retq
%r = fadd nsz float %x, 0.0
ret float %r
}
define float @fadd_zero_2(float %x) {
; ANY-LABEL: fadd_zero_2:
define float @fadd_negzero_nsz(float %x) {
; ANY-LABEL: fadd_negzero_nsz:
; ANY: # %bb.0:
; ANY-NEXT: retq
%r = fadd nsz float %x, -0.0
ret float %r
}
define float @fsub_zero_1(float %x) {
; UNSAFE-LABEL: fsub_zero_1:
define float @fsub_zero(float %x) {
; STRICT-LABEL: fsub_zero:
; STRICT: # %bb.0:
; STRICT-NEXT: addss {{.*}}(%rip), %xmm0
; STRICT-NEXT: retq
;
; UNSAFE-LABEL: fsub_zero:
; UNSAFE: # %bb.0:
; UNSAFE-NEXT: retq
%r = fsub float %x, 0.0
ret float %r
}
define float @fsub_zero_2(float %x) {
; UNSAFE-LABEL: fsub_zero_2:
define float @fsub_negzero(float %x) {
; STRICT-LABEL: fsub_negzero:
; STRICT: # %bb.0:
; STRICT-NEXT: xorps %xmm1, %xmm1
; STRICT-NEXT: addss %xmm1, %xmm0
; STRICT-NEXT: retq
;
; UNSAFE-LABEL: fsub_negzero:
; UNSAFE: # %bb.0:
; UNSAFE-NEXT: retq
%r = fsub float %x, -0.0
ret float %r
}
define float @fsub_zero_nsz(float %x) {
; ANY-LABEL: fsub_zero_nsz:
; ANY: # %bb.0:
; ANY-NEXT: retq
%r = fsub nsz float %x, 0.0
ret float %r
}
define float @fsub_negzero_nsz(float %x) {
; ANY-LABEL: fsub_negzero_nsz:
; ANY: # %bb.0:
; ANY-NEXT: retq
%r = fsub nsz float %x, -0.0
ret float %r
}
; TODO: handle x*0 for fast flags the same as unsafe
define float @fmul_zero(float %x) {
; STRICT-LABEL: fmul_zero:
; STRICT: # %bb.0:
; STRICT: xorps %xmm1, %xmm1
; STRICT: mulss %xmm1, %xmm0
; STRICT-NEXT: xorps %xmm1, %xmm1
; STRICT-NEXT: mulss %xmm1, %xmm0
; STRICT-NEXT: retq
;
; UNSAFE-LABEL: fmul_zero:
; UNSAFE: # %bb.0:
; UNSAFE: xorps %xmm0, %xmm0
; UNSAFE-NEXT: xorps %xmm0, %xmm0
; UNSAFE-NEXT: retq
%r = fmul nnan nsz float %x, 0.0
ret float %r