source: trunk/lib_ir/gen/test_llc.pytemplate.cpp @ 4278

Last change on this file since 4278 was 4278, checked in by linmengl, 5 years ago

add tests for i128 shift left

File size: 7.2 KB
Line 
1/******************
2 * Python template to auto gen llc test file.
3 * sudo easy_install Jinja2 to install the Jinja2 template system
4 * {{HeaderComment}}
5 */
6
7#include "utility.h"
8#include <ctime>
9#include <iostream>
10#include <cstdlib>
11using namespace std;
12{% set Names = FunctionNamesI1 + FunctionNamesI2 + FunctionNamesI4 + FunctionNamesI8 %}
13{% set INS_EXT_VEC_ELT_FWs = [2, 4] %}
14
15extern "C" {
16{% for name in Names %}
17  SIMD_type {{ name.c }}(SIMD_type a, SIMD_type b);
18{% endfor %}
19
20{% for fw in INS_EXT_VEC_ELT_FWs %}
21  SIMD_type insertelement_{{ fw }}(SIMD_type a, short elt, int idx);
22  short extractelement_{{ fw }}(SIMD_type a, int idx);
23{% endfor %}
24
25//long add/shift
26SIMD_type add_128(SIMD_type a, SIMD_type b);
27SIMD_type sll_128(SIMD_type a, SIMD_type b);
28
29SIMD_type add_with_carry_ir(SIMD_type a, SIMD_type b, SIMD_type carry_in, SIMD_type *carry_out, SIMD_type *sum);
30SIMD_type add_with_carry_ir_better(SIMD_type a, SIMD_type b, SIMD_type carry_in, SIMD_type *carry_out, SIMD_type *sum);
31
32{% for fw in [128]%}
33void uadd_with_overflow_i{{ fw }}(bitblock{{fw}}_t a, bitblock{{fw}}_t b, bitblock{{fw}}_t *sum, unsigned short *obit);
34{% endfor %}
35
36{% for sh in LongShiftAmount128 %}
37SIMD_type long_shift_left_{{sh}}(SIMD_type a);
38{% endfor %}
39}
40
41void fill_random(SIMD_type &a, SIMD_type &b)
42{
43  a = mvmd<8>::fill((int)rand() % (1 << 8));
44  b = mvmd<8>::fill((int)rand() % (1 << 8));
45}
46
47string to_string(const SIMD_type &a) {
48  return Store2String(a,1);
49}
50
51int test_long_stream_addition(const SIMD_type &a, const SIMD_type &b)
52{
53    SIMD_type c, d, e, f;
54    short x, y;
55    SIMD_type sum0, obit0, sum1, sum2, obit2;
56    unsigned short obit1;
57
58    //test uadd.with.overflow.i128
59    c = mvmd<32>::fill(0);
60    adc(a, b, c, obit0, sum0);
61    uadd_with_overflow_i128(a, b, &sum1, &obit1);
62    x = 0;
63    if (Store2String(sum0,1) != Store2String(sum1,1)) {
64      cout << "uadd_with_overflow_i128, sum error" << endl;
65      x = 1;
66    }
67    if (Store2String(mvmd<128>::fill(obit1 % 2),1) != Store2String(obit0,1)) {
68      cout << "uadd_with_overflow_i128 failed, obit error" << endl;
69      x = 1;
70    }
71    if (x) {
72      cout << "a =      " << Store2String(a, 1) << endl;
73      cout << "b =      " << Store2String(b, 1) << endl;
74      cout << "sum0 =   " << Store2String(sum0, 1) << endl;
75      cout << "sum1 =   " << Store2String(sum1, 1) << endl;
76      cout << "obit0 =  " << Store2String(obit0, 1) << endl;
77      cout << "obit1 =  " << obit1 << endl;
78      return 1;
79    }
80
81    //test a + not(a)
82    uadd_with_overflow_i128(a, simd_not(a), &sum1, &obit1);
83    if (to_string(sum1) != to_string(simd_not(simd<32>::constant<0>())) ||
84        obit1 % 2 != 0)
85    {
86      cout << "a + not(a) error: " << endl;
87      cout << "sum1 =   " << Store2String(sum1, 1) << endl;
88      cout << "obit1 =  " << obit1 << endl;
89      return 1;
90    }
91
92    //test all ones + 1
93    sum1 = simd_not(simd<32>::constant<0>());
94    uadd_with_overflow_i128(sum1, mvmd<128>::fill(1), &sum1, &obit1);
95    if (to_string(sum1) != to_string(simd<32>::constant<0>()) ||
96        obit1 % 2 != 1) {
97      cout << "all ones + 1 error: " << endl;
98      cout << "sum1 =   " << to_string(sum1) << endl;
99      cout << "obit1 =  " << obit1 << endl;
100      return 1;
101    }
102
103    //test add_with_carry in pure IR
104    y = rand() % 2;
105    c = mvmd<128>::fill(y);
106    adc(a, b, c, obit0, sum0);
107    add_with_carry_ir(a, b, c, &obit2, &sum2);
108    if (Store2String(sum0,1) != Store2String(sum2,1) ||
109        Store2String(obit0,1) != Store2String(obit2,1)) {
110      cout << "add_with_carry_ir failed." << endl;
111      cout << "a =      " << Store2String(a, 1) << endl;
112      cout << "b =      " << Store2String(b, 1) << endl;
113      cout << "sum0 =   " << Store2String(sum0, 1) << endl;
114      cout << "sum2 =   " << Store2String(sum2, 1) << endl;
115      cout << "obit0 =  " << Store2String(obit0, 1) << endl;
116      cout << "obit2 =  " << Store2String(obit2, 1) << endl;
117      return 1;
118    }
119
120    //test add_with_carry_better in pure IR
121    //add_with_carry_better is implemented with the new intrinsics.
122    y = rand() % 2;
123    c = mvmd<128>::fill(y);
124    adc(a, b, c, obit0, sum0);
125    add_with_carry_ir_better(a, b, c, &obit2, &sum2);
126    if (Store2String(sum0,1) != Store2String(sum2,1) ||
127        Store2String(obit0,1) != Store2String(obit2,1)) {
128      cout << "add_with_carry_ir_better failed." << endl;
129      cout << "a =      " << Store2String(a, 1) << endl;
130      cout << "b =      " << Store2String(b, 1) << endl;
131      cout << "sum0 =   " << Store2String(sum0, 1) << endl;
132      cout << "sum2 =   " << Store2String(sum2, 1) << endl;
133      cout << "obit0 =  " << Store2String(obit0, 1) << endl;
134      cout << "obit2 =  " << Store2String(obit2, 1) << endl;
135      return 1;
136    }
137
138    return 0;
139}
140
141int test_long_shift(const SIMD_type &a)
142{
143  SIMD_type b, c, d;
144  {% for sh in LongShiftAmount128 %}
145  b = simd<128>::slli<{{sh}}>(a);
146  c = long_shift_left_{{sh}}(a);
147  if (to_string(b) != to_string(c)) {
148    cout << "long_shift_left with sh = {{sh}} failed." << endl;
149    return 1;
150  }
151
152  {% endfor %}
153
154  return 0;
155}
156
157int main() {
158  SIMD_type a, b, c, d, e, f;
159  short x, y;
160  srand(time(0));
161
162  for (unsigned i = 0; i < 500; ++i) {
163    fill_random(a, b);
164
165    //All the binary ops
166    {% for name in Names %}
167    {% if name.flag == "" %}
168      c = {{ name.c }}(a, b);
169      d = {{ name.cxx }}(a, b);
170      if (Store2String(c,1) != Store2String(d,1)) {
171        cout << "{{ name.c }} faild." << endl;
172        cout << "A = " << Store2String(a, 1) << endl;
173        cout << "B = " << Store2String(b, 1) << endl;
174        cout << "c = " << Store2String(c, 1) << endl;
175        cout << "cxx=" << Store2String(d, 1) << endl;
176
177        return 1;
178      }
179
180    {% endif %}
181    {% endfor %}
182
183    //Shifting tests need special treatment
184    {% for name in Names %}
185    {% if name.flag == "shifting" %}
186    {% for x in range(0, name.fw) %}
187      c = {{ name.cxx }}<{{ x }}>(a);
188      f = mvmd<{{ name.fw }}>::fill({{ x }});
189      d = {{ name.c }}(a, f);
190      if (Store2String(c,1) != Store2String(d,1)) {
191        cout << "{{ name.c }} faild." << endl;
192        return 1;
193      }
194
195    {% endfor %}
196    {% endif %}
197    {% endfor %}
198
199    //insert_vector_elt and extract_
200    {% for fw in INS_EXT_VEC_ELT_FWs %}
201    {% for idx in range(0, 128 // fw) %}
202      x = extractelement_{{ fw }}(a, {{ idx }});
203      y = mvmd<{{ fw }}>::extract<{{ idx }}>(a);
204      if (x != y) {
205        cout << "extractelement_{{fw}} failed." << endl;
206        return 1;
207      }
208
209      x = rand() % 100;
210      c = insertelement_{{ fw }}(a, x, {{ idx }});
211      d = mvmd<{{ fw }}>::insert<{{ idx }}>(a, x);
212      if (Store2String(c,1) != Store2String(d,1)) {
213        cout << "insertelement_{{fw}} failed." << endl;
214        return 1;
215      }
216    {% endfor %}
217    {% endfor %}
218
219    //try i128 add and shift
220    c = simd<128>::add(a, b);
221    d = add_128(a, b);
222    if (Store2String(c,1) != Store2String(d,1)) {
223      cout << "add_128 failed." << endl;
224      return 1;
225    }
226
227    {% set imm = range(0,128) | random %}
228    c = simd<128>::slli<{{ imm }}>(a);
229    f = mvmd<128>::fill({{ imm }});
230    d = sll_128(a, f);
231    if (Store2String(c,1) != Store2String(d,1)) {
232      cout << "sll_128 failed." << endl;
233      return 1;
234    }
235
236    if (test_long_stream_addition(a, b))
237      return 1;
238
239    if (test_long_shift(a))
240      return 1;
241  }
242
243  return 0;
244}
245
Note: See TracBrowser for help on using the repository browser.