Mercurial > hg > CbC > CbC_llvm
comparison test/CodeGen/SystemZ/fp-sub-01.ll @ 0:95c75e76d11b LLVM3.4
LLVM 3.4
author | Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> |
---|---|
date | Thu, 12 Dec 2013 13:56:28 +0900 |
parents | |
children | afa8332a0e37 |
comparison
equal
deleted
inserted
replaced
-1:000000000000 | 0:95c75e76d11b |
---|---|
1 ; Test 32-bit floating-point subtraction. | |
2 ; | |
3 ; RUN: llc < %s -mtriple=s390x-linux-gnu | FileCheck %s | |
4 | |
5 declare float @foo() | |
6 | |
7 ; Check register subtraction. | |
8 define float @f1(float %f1, float %f2) { | |
9 ; CHECK-LABEL: f1: | |
10 ; CHECK: sebr %f0, %f2 | |
11 ; CHECK: br %r14 | |
12 %res = fsub float %f1, %f2 | |
13 ret float %res | |
14 } | |
15 | |
16 ; Check the low end of the SEB range. | |
17 define float @f2(float %f1, float *%ptr) { | |
18 ; CHECK-LABEL: f2: | |
19 ; CHECK: seb %f0, 0(%r2) | |
20 ; CHECK: br %r14 | |
21 %f2 = load float *%ptr | |
22 %res = fsub float %f1, %f2 | |
23 ret float %res | |
24 } | |
25 | |
26 ; Check the high end of the aligned SEB range. | |
27 define float @f3(float %f1, float *%base) { | |
28 ; CHECK-LABEL: f3: | |
29 ; CHECK: seb %f0, 4092(%r2) | |
30 ; CHECK: br %r14 | |
31 %ptr = getelementptr float *%base, i64 1023 | |
32 %f2 = load float *%ptr | |
33 %res = fsub float %f1, %f2 | |
34 ret float %res | |
35 } | |
36 | |
37 ; Check the next word up, which needs separate address logic. | |
38 ; Other sequences besides this one would be OK. | |
39 define float @f4(float %f1, float *%base) { | |
40 ; CHECK-LABEL: f4: | |
41 ; CHECK: aghi %r2, 4096 | |
42 ; CHECK: seb %f0, 0(%r2) | |
43 ; CHECK: br %r14 | |
44 %ptr = getelementptr float *%base, i64 1024 | |
45 %f2 = load float *%ptr | |
46 %res = fsub float %f1, %f2 | |
47 ret float %res | |
48 } | |
49 | |
50 ; Check negative displacements, which also need separate address logic. | |
51 define float @f5(float %f1, float *%base) { | |
52 ; CHECK-LABEL: f5: | |
53 ; CHECK: aghi %r2, -4 | |
54 ; CHECK: seb %f0, 0(%r2) | |
55 ; CHECK: br %r14 | |
56 %ptr = getelementptr float *%base, i64 -1 | |
57 %f2 = load float *%ptr | |
58 %res = fsub float %f1, %f2 | |
59 ret float %res | |
60 } | |
61 | |
62 ; Check that SEB allows indices. | |
63 define float @f6(float %f1, float *%base, i64 %index) { | |
64 ; CHECK-LABEL: f6: | |
65 ; CHECK: sllg %r1, %r3, 2 | |
66 ; CHECK: seb %f0, 400(%r1,%r2) | |
67 ; CHECK: br %r14 | |
68 %ptr1 = getelementptr float *%base, i64 %index | |
69 %ptr2 = getelementptr float *%ptr1, i64 100 | |
70 %f2 = load float *%ptr2 | |
71 %res = fsub float %f1, %f2 | |
72 ret float %res | |
73 } | |
74 | |
75 ; Check that subtractions of spilled values can use SEB rather than SEBR. | |
76 define float @f7(float *%ptr0) { | |
77 ; CHECK-LABEL: f7: | |
78 ; CHECK: brasl %r14, foo@PLT | |
79 ; CHECK: seb %f0, 16{{[04]}}(%r15) | |
80 ; CHECK: br %r14 | |
81 %ptr1 = getelementptr float *%ptr0, i64 2 | |
82 %ptr2 = getelementptr float *%ptr0, i64 4 | |
83 %ptr3 = getelementptr float *%ptr0, i64 6 | |
84 %ptr4 = getelementptr float *%ptr0, i64 8 | |
85 %ptr5 = getelementptr float *%ptr0, i64 10 | |
86 %ptr6 = getelementptr float *%ptr0, i64 12 | |
87 %ptr7 = getelementptr float *%ptr0, i64 14 | |
88 %ptr8 = getelementptr float *%ptr0, i64 16 | |
89 %ptr9 = getelementptr float *%ptr0, i64 18 | |
90 %ptr10 = getelementptr float *%ptr0, i64 20 | |
91 | |
92 %val0 = load float *%ptr0 | |
93 %val1 = load float *%ptr1 | |
94 %val2 = load float *%ptr2 | |
95 %val3 = load float *%ptr3 | |
96 %val4 = load float *%ptr4 | |
97 %val5 = load float *%ptr5 | |
98 %val6 = load float *%ptr6 | |
99 %val7 = load float *%ptr7 | |
100 %val8 = load float *%ptr8 | |
101 %val9 = load float *%ptr9 | |
102 %val10 = load float *%ptr10 | |
103 | |
104 %ret = call float @foo() | |
105 | |
106 %sub0 = fsub float %ret, %val0 | |
107 %sub1 = fsub float %sub0, %val1 | |
108 %sub2 = fsub float %sub1, %val2 | |
109 %sub3 = fsub float %sub2, %val3 | |
110 %sub4 = fsub float %sub3, %val4 | |
111 %sub5 = fsub float %sub4, %val5 | |
112 %sub6 = fsub float %sub5, %val6 | |
113 %sub7 = fsub float %sub6, %val7 | |
114 %sub8 = fsub float %sub7, %val8 | |
115 %sub9 = fsub float %sub8, %val9 | |
116 %sub10 = fsub float %sub9, %val10 | |
117 | |
118 ret float %sub10 | |
119 } |