mirror of
https://github.com/RPCS3/llvm-mirror.git
synced 2024-11-23 19:23:23 +01:00
73b770d782
The z13 vector facility includes some instructions that operate only on the high f64 in a v2f64, effectively extending the FP register set from 16 to 32 registers. It's still better to use the old instructions if the operands happen to fit though, since the older instructions have a shorter encoding. Based on a patch by Richard Sandiford. llvm-svn: 236524
68 lines
1.7 KiB
LLVM
68 lines
1.7 KiB
LLVM
; Test floating-point truncations.
|
|
;
|
|
; RUN: llc < %s -mtriple=s390x-linux-gnu -mcpu=z10 \
|
|
; RUN: | FileCheck -check-prefix=CHECK -check-prefix=CHECK-SCALAR %s
|
|
; RUN: llc < %s -mtriple=s390x-linux-gnu -mcpu=z13 \
|
|
; RUN: | FileCheck -check-prefix=CHECK -check-prefix=CHECK-VECTOR %s
|
|
|
|
; Test f64->f32.
|
|
define float @f1(double %d1, double %d2) {
|
|
; CHECK-LABEL: f1:
|
|
; CHECK-SCALAR: ledbr %f0, %f2
|
|
; CHECK-VECTOR: ledbra %f0, 0, %f2, 0
|
|
; CHECK: br %r14
|
|
%res = fptrunc double %d2 to float
|
|
ret float %res
|
|
}
|
|
|
|
; Test f128->f32.
|
|
define float @f2(fp128 *%ptr) {
|
|
; CHECK-LABEL: f2:
|
|
; CHECK: lexbr %f0, %f0
|
|
; CHECK: br %r14
|
|
%val = load fp128 , fp128 *%ptr
|
|
%res = fptrunc fp128 %val to float
|
|
ret float %res
|
|
}
|
|
|
|
; Make sure that we don't use %f0 as the destination of LEXBR when %f2
|
|
; is still live.
|
|
define void @f3(float *%dst, fp128 *%ptr, float %d1, float %d2) {
|
|
; CHECK-LABEL: f3:
|
|
; CHECK: lexbr %f1, %f1
|
|
; CHECK: aebr %f1, %f2
|
|
; CHECK: ste %f1, 0(%r2)
|
|
; CHECK: br %r14
|
|
%val = load fp128 , fp128 *%ptr
|
|
%conv = fptrunc fp128 %val to float
|
|
%res = fadd float %conv, %d2
|
|
store float %res, float *%dst
|
|
ret void
|
|
}
|
|
|
|
; Test f128->f64.
|
|
define double @f4(fp128 *%ptr) {
|
|
; CHECK-LABEL: f4:
|
|
; CHECK: ldxbr %f0, %f0
|
|
; CHECK: br %r14
|
|
%val = load fp128 , fp128 *%ptr
|
|
%res = fptrunc fp128 %val to double
|
|
ret double %res
|
|
}
|
|
|
|
; Like f3, but for f128->f64.
|
|
define void @f5(double *%dst, fp128 *%ptr, double %d1, double %d2) {
|
|
; CHECK-LABEL: f5:
|
|
; CHECK: ldxbr %f1, %f1
|
|
; CHECK-SCALAR: adbr %f1, %f2
|
|
; CHECK-SCALAR: std %f1, 0(%r2)
|
|
; CHECK-VECTOR: wfadb [[REG:%f[0-9]+]], %f1, %f2
|
|
; CHECK-VECTOR: std [[REG]], 0(%r2)
|
|
; CHECK: br %r14
|
|
%val = load fp128 , fp128 *%ptr
|
|
%conv = fptrunc fp128 %val to double
|
|
%res = fadd double %conv, %d2
|
|
store double %res, double *%dst
|
|
ret void
|
|
}
|