[ARM] More MVE compare vector splat combines for ANDs
[llvm-complete.git] / test / CodeGen / SystemZ / fp-strict-conv-01.ll
blobb20ab71808b7184da2643ebf34fecb4d68cf9c9f
1 ; Test strict 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 declare float @llvm.experimental.constrained.fptrunc.f32.f64(double, metadata, metadata)
9 declare float @llvm.experimental.constrained.fptrunc.f32.f128(fp128, metadata, metadata)
10 declare double @llvm.experimental.constrained.fptrunc.f64.f128(fp128, metadata, metadata)
12 declare float @llvm.experimental.constrained.fadd.f32(float, float, metadata, metadata)
13 declare double @llvm.experimental.constrained.fadd.f64(double, double, metadata, metadata)
15 ; Test f64->f32.
16 define float @f1(double %d1, double %d2) {
17 ; CHECK-LABEL: f1:
18 ; CHECK-SCALAR: ledbr %f0, %f2
19 ; CHECK-VECTOR: ledbra %f0, 0, %f2, 0
20 ; CHECK: br %r14
21   %res = call float @llvm.experimental.constrained.fptrunc.f32.f64(
22                                                double %d2,
23                                                metadata !"round.dynamic",
24                                                metadata !"fpexcept.strict")
25   ret float %res
28 ; Test f128->f32.
29 define float @f2(fp128 *%ptr) {
30 ; CHECK-LABEL: f2:
31 ; CHECK: lexbr %f0, %f0
32 ; CHECK: br %r14
33   %val = load fp128, fp128 *%ptr
34   %res = call float @llvm.experimental.constrained.fptrunc.f32.f128(
35                                                fp128 %val,
36                                                metadata !"round.dynamic",
37                                                metadata !"fpexcept.strict")
38   ret float %res
41 ; Make sure that we don't use %f0 as the destination of LEXBR when %f2
42 ; is still live.
43 define void @f3(float *%dst, fp128 *%ptr, float %d1, float %d2) {
44 ; CHECK-LABEL: f3:
45 ; CHECK: lexbr %f1, %f1
46 ; CHECK: aebr %f1, %f2
47 ; CHECK: ste %f1, 0(%r2)
48 ; CHECK: br %r14
49   %val = load fp128, fp128 *%ptr
50   %conv = call float @llvm.experimental.constrained.fptrunc.f32.f128(
51                                                fp128 %val,
52                                                metadata !"round.dynamic",
53                                                metadata !"fpexcept.strict")
54   %res = call float @llvm.experimental.constrained.fadd.f32(
55                         float %conv, float %d2,
56                         metadata !"round.dynamic",
57                         metadata !"fpexcept.strict")
58   store float %res, float *%dst
59   ret void
62 ; Test f128->f64.
63 define double @f4(fp128 *%ptr) {
64 ; CHECK-LABEL: f4:
65 ; CHECK: ldxbr %f0, %f0
66 ; CHECK: br %r14
67   %val = load fp128, fp128 *%ptr
68   %res = call double @llvm.experimental.constrained.fptrunc.f64.f128(
69                                                fp128 %val,
70                                                metadata !"round.dynamic",
71                                                metadata !"fpexcept.strict")
72   ret double %res
75 ; Like f3, but for f128->f64.
76 define void @f5(double *%dst, fp128 *%ptr, double %d1, double %d2) {
77 ; CHECK-LABEL: f5:
78 ; CHECK: ldxbr %f1, %f1
79 ; CHECK-SCALAR: adbr %f1, %f2
80 ; CHECK-SCALAR: std %f1, 0(%r2)
81 ; CHECK-VECTOR: wfadb [[REG:%f[0-9]+]], %f1, %f2
82 ; CHECK-VECTOR: std [[REG]], 0(%r2)
83 ; CHECK: br %r14
84   %val = load fp128, fp128 *%ptr
85   %conv = call double @llvm.experimental.constrained.fptrunc.f64.f128(
86                                                fp128 %val,
87                                                metadata !"round.dynamic",
88                                                metadata !"fpexcept.strict")
89   %res = call double @llvm.experimental.constrained.fadd.f64(
90                         double %conv, double %d2,
91                         metadata !"round.dynamic",
92                         metadata !"fpexcept.strict")
93   store double %res, double *%dst
94   ret void