[InstCombine] Signed saturation patterns
[llvm-complete.git] / test / CodeGen / SystemZ / vec-round-02.ll
blobbcd66ea803d1be8cae74d73576e82ea69eac8d03
1 ; Test v4f32 rounding on z14.
3 ; RUN: llc < %s -mtriple=s390x-linux-gnu -mcpu=z14 | FileCheck %s
5 declare float @llvm.rint.f32(float)
6 declare float @llvm.nearbyint.f32(float)
7 declare float @llvm.floor.f32(float)
8 declare float @llvm.ceil.f32(float)
9 declare float @llvm.trunc.f32(float)
10 declare float @llvm.round.f32(float)
11 declare <4 x float> @llvm.rint.v4f32(<4 x float>)
12 declare <4 x float> @llvm.nearbyint.v4f32(<4 x float>)
13 declare <4 x float> @llvm.floor.v4f32(<4 x float>)
14 declare <4 x float> @llvm.ceil.v4f32(<4 x float>)
15 declare <4 x float> @llvm.trunc.v4f32(<4 x float>)
16 declare <4 x float> @llvm.round.v4f32(<4 x float>)
18 define <4 x float> @f1(<4 x float> %val) {
19 ; CHECK-LABEL: f1:
20 ; CHECK: vfisb %v24, %v24, 0, 0
21 ; CHECK: br %r14
22   %res = call <4 x float> @llvm.rint.v4f32(<4 x float> %val)
23   ret <4 x float> %res
26 define <4 x float> @f2(<4 x float> %val) {
27 ; CHECK-LABEL: f2:
28 ; CHECK: vfisb %v24, %v24, 4, 0
29 ; CHECK: br %r14
30   %res = call <4 x float> @llvm.nearbyint.v4f32(<4 x float> %val)
31   ret <4 x float> %res
34 define <4 x float> @f3(<4 x float> %val) {
35 ; CHECK-LABEL: f3:
36 ; CHECK: vfisb %v24, %v24, 4, 7
37 ; CHECK: br %r14
38   %res = call <4 x float> @llvm.floor.v4f32(<4 x float> %val)
39   ret <4 x float> %res
42 define <4 x float> @f4(<4 x float> %val) {
43 ; CHECK-LABEL: f4:
44 ; CHECK: vfisb %v24, %v24, 4, 6
45 ; CHECK: br %r14
46   %res = call <4 x float> @llvm.ceil.v4f32(<4 x float> %val)
47   ret <4 x float> %res
50 define <4 x float> @f5(<4 x float> %val) {
51 ; CHECK-LABEL: f5:
52 ; CHECK: vfisb %v24, %v24, 4, 5
53 ; CHECK: br %r14
54   %res = call <4 x float> @llvm.trunc.v4f32(<4 x float> %val)
55   ret <4 x float> %res
58 define <4 x float> @f6(<4 x float> %val) {
59 ; CHECK-LABEL: f6:
60 ; CHECK: vfisb %v24, %v24, 4, 1
61 ; CHECK: br %r14
62   %res = call <4 x float> @llvm.round.v4f32(<4 x float> %val)
63   ret <4 x float> %res
66 define float @f7(<4 x float> %val) {
67 ; CHECK-LABEL: f7:
68 ; CHECK: wfisb %f0, %v24, 0, 0
69 ; CHECK: br %r14
70   %scalar = extractelement <4 x float> %val, i32 0
71   %res = call float @llvm.rint.f32(float %scalar)
72   ret float %res
75 define float @f8(<4 x float> %val) {
76 ; CHECK-LABEL: f8:
77 ; CHECK: wfisb %f0, %v24, 4, 0
78 ; CHECK: br %r14
79   %scalar = extractelement <4 x float> %val, i32 0
80   %res = call float @llvm.nearbyint.f32(float %scalar)
81   ret float %res
84 define float @f9(<4 x float> %val) {
85 ; CHECK-LABEL: f9:
86 ; CHECK: wfisb %f0, %v24, 4, 7
87 ; CHECK: br %r14
88   %scalar = extractelement <4 x float> %val, i32 0
89   %res = call float @llvm.floor.f32(float %scalar)
90   ret float %res
93 define float @f10(<4 x float> %val) {
94 ; CHECK-LABEL: f10:
95 ; CHECK: wfisb %f0, %v24, 4, 6
96 ; CHECK: br %r14
97   %scalar = extractelement <4 x float> %val, i32 0
98   %res = call float @llvm.ceil.f32(float %scalar)
99   ret float %res
102 define float @f11(<4 x float> %val) {
103 ; CHECK-LABEL: f11:
104 ; CHECK: wfisb %f0, %v24, 4, 5
105 ; CHECK: br %r14
106   %scalar = extractelement <4 x float> %val, i32 0
107   %res = call float @llvm.trunc.f32(float %scalar)
108   ret float %res
111 define float @f12(<4 x float> %val) {
112 ; CHECK-LABEL: f12:
113 ; CHECK: wfisb %f0, %v24, 4, 1
114 ; CHECK: br %r14
115   %scalar = extractelement <4 x float> %val, i32 0
116   %res = call float @llvm.round.f32(float %scalar)
117   ret float %res