121
|
1 ; Test f128 floating-point truncations/extensions on z14.
|
|
2 ;
|
|
3 ; RUN: llc < %s -mtriple=s390x-linux-gnu -mcpu=z14 | FileCheck %s
|
|
4
|
|
5 ; Test f128->f64.
|
|
6 define double @f1(fp128 *%ptr) {
|
|
7 ; CHECK-LABEL: f1:
|
|
8 ; CHECK: vl [[REG:%v[0-9]+]], 0(%r2)
|
|
9 ; CHECK: wflrx %f0, [[REG]], 0, 0
|
|
10 ; CHECK: br %r14
|
|
11 %val = load fp128, fp128 *%ptr
|
|
12 %res = fptrunc fp128 %val to double
|
|
13 ret double %res
|
|
14 }
|
|
15
|
|
16 ; Test f128->f32.
|
|
17 define float @f2(fp128 *%ptr) {
|
|
18 ; CHECK-LABEL: f2:
|
|
19 ; CHECK: vl [[REG:%v[0-9]+]], 0(%r2)
|
|
20 ; CHECK: wflrx %f0, [[REG]], 0, 3
|
|
21 ; CHECK: ledbra %f0, 0, %f0, 0
|
|
22 ; CHECK: br %r14
|
|
23 %val = load fp128, fp128 *%ptr
|
|
24 %res = fptrunc fp128 %val to float
|
|
25 ret float %res
|
|
26 }
|
|
27
|
|
28 ; Test f64->f128.
|
|
29 define void @f3(fp128 *%dst, double %val) {
|
|
30 ; CHECK-LABEL: f3:
|
|
31 ; CHECK: wflld [[RES:%v[0-9]+]], %f0
|
|
32 ; CHECK: vst [[RES]], 0(%r2)
|
|
33 ; CHECK: br %r14
|
|
34 %res = fpext double %val to fp128
|
|
35 store fp128 %res, fp128 *%dst
|
|
36 ret void
|
|
37 }
|
|
38
|
|
39 ; Test f32->f128.
|
|
40 define void @f4(fp128 *%dst, float %val) {
|
|
41 ; CHECK-LABEL: f4:
|
|
42 ; CHECK: ldebr %f0, %f0
|
|
43 ; CHECK: wflld [[RES:%v[0-9]+]], %f0
|
|
44 ; CHECK: vst [[RES]], 0(%r2)
|
|
45 ; CHECK: br %r14
|
|
46 %res = fpext float %val to fp128
|
|
47 store fp128 %res, fp128 *%dst
|
|
48 ret void
|
|
49 }
|
|
50
|