[ARM] More MVE compare vector splat combines for ANDs
[llvm-complete.git] / test / CodeGen / SystemZ / fp-conv-01.ll
blob9be48ce1e4d3ab02d996508658f4e48d569c0a6d
1 ; Test floating-point truncations.
3 ; RUN: llc < %s -mtriple=s390x-linux-gnu -mcpu=z10 \
4 ; RUN:   | FileCheck -check-prefix=CHECK -check-prefix=CHECK-SCALAR %s
5 ; RUN: llc < %s -mtriple=s390x-linux-gnu -mcpu=z13 \
6 ; RUN:   | FileCheck -check-prefix=CHECK -check-prefix=CHECK-VECTOR %s
8 ; Test f64->f32.
9 define float @f1(double %d1, double %d2) {
10 ; CHECK-LABEL: f1:
11 ; CHECK-SCALAR: ledbr %f0, %f2
12 ; CHECK-VECTOR: ledbra %f0, 0, %f2, 0
13 ; CHECK: br %r14
14   %res = fptrunc double %d2 to float
15   ret float %res
18 ; Test f128->f32.
19 define float @f2(fp128 *%ptr) {
20 ; CHECK-LABEL: f2:
21 ; CHECK: lexbr %f0, %f0
22 ; CHECK: br %r14
23   %val = load fp128, fp128 *%ptr
24   %res = fptrunc fp128 %val to float
25   ret float %res
28 ; Make sure that we don't use %f0 as the destination of LEXBR when %f2
29 ; is still live.
30 define void @f3(float *%dst, fp128 *%ptr, float %d1, float %d2) {
31 ; CHECK-LABEL: f3:
32 ; CHECK: lexbr %f1, %f1
33 ; CHECK: aebr %f1, %f2
34 ; CHECK: ste %f1, 0(%r2)
35 ; CHECK: br %r14
36   %val = load fp128, fp128 *%ptr
37   %conv = fptrunc fp128 %val to float
38   %res = fadd float %conv, %d2
39   store float %res, float *%dst
40   ret void
43 ; Test f128->f64.
44 define double @f4(fp128 *%ptr) {
45 ; CHECK-LABEL: f4:
46 ; CHECK: ldxbr %f0, %f0
47 ; CHECK: br %r14
48   %val = load fp128, fp128 *%ptr
49   %res = fptrunc fp128 %val to double
50   ret double %res
53 ; Like f3, but for f128->f64.
54 define void @f5(double *%dst, fp128 *%ptr, double %d1, double %d2) {
55 ; CHECK-LABEL: f5:
56 ; CHECK: ldxbr %f1, %f1
57 ; CHECK-SCALAR: adbr %f1, %f2
58 ; CHECK-SCALAR: std %f1, 0(%r2)
59 ; CHECK-VECTOR: wfadb [[REG:%f[0-9]+]], %f1, %f2
60 ; CHECK-VECTOR: std [[REG]], 0(%r2)
61 ; CHECK: br %r14
62   %val = load fp128, fp128 *%ptr
63   %conv = fptrunc fp128 %val to double
64   %res = fadd double %conv, %d2
65   store double %res, double *%dst
66   ret void