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

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

add special testcases for long stream addition. works for now.

File size: 5.8 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);
30
31{% for fw in [128]%}
32void uadd_with_overflow_i{{ fw }}(bitblock{{fw}}_t a, bitblock{{fw}}_t b, bitblock{{fw}}_t *sum, unsigned short *obit);
33{% endfor %}
34}
35
36void fill_random(SIMD_type &a, SIMD_type &b)
37{
38  a = mvmd<8>::fill((int)rand() % (1 << 8));
39  b = mvmd<8>::fill((int)rand() % (1 << 8));
40}
41
42string to_string(const SIMD_type &a) {
43  return Store2String(a,1);
44}
45
46int test_long_stream_addition(const SIMD_type &a, const SIMD_type &b)
47{
48    SIMD_type c, d, e, f;
49    short x, y;
50    SIMD_type sum0, obit0, sum1, sum2, obit2;
51    unsigned short obit1;
52
53    //test uadd.with.overflow.i128
54    c = mvmd<32>::fill(0);
55    adc(a, b, c, obit0, sum0);
56    uadd_with_overflow_i128(a, b, &sum1, &obit1);
57    x = 0;
58    if (Store2String(sum0,1) != Store2String(sum1,1)) {
59      cout << "uadd_with_overflow_i128, sum error" << endl;
60      x = 1;
61    }
62    if (Store2String(mvmd<128>::fill(obit1),1) != Store2String(obit0,1)) {
63      cout << "uadd_with_overflow_i128 failed, obit error" << endl;
64      x = 1;
65    }
66    if (x) {
67      cout << "a =      " << Store2String(a, 1) << endl;
68      cout << "b =      " << Store2String(b, 1) << endl;
69      cout << "sum0 =   " << Store2String(sum0, 1) << endl;
70      cout << "sum1 =   " << Store2String(sum1, 1) << endl;
71      cout << "obit0 =  " << Store2String(obit0, 1) << endl;
72      cout << "obit1 =  " << obit1 << endl;
73      return 1;
74    }
75
76    //test a + not(a)
77    uadd_with_overflow_i128(a, simd_not(a), &sum1, &obit1);
78    if (to_string(sum1) != to_string(simd_not(simd<32>::constant<0>())) ||
79        obit1 != 0)
80    {
81      cout << "a + not(a) error: " << endl;
82      cout << "sum1 =   " << Store2String(sum1, 1) << endl;
83      cout << "obit1 =  " << obit1 << endl;
84      return 1;
85    }
86
87    //test all ones + 1
88    sum1 = simd_not(simd<32>::constant<0>());
89    uadd_with_overflow_i128(sum1, mvmd<128>::fill(1), &sum1, &obit1);
90    if (to_string(sum1) != to_string(simd<32>::constant<0>()) ||
91        obit1 != 1) {
92      cout << "all ones + 1 error: " << endl;
93      cout << "sum1 =   " << to_string(sum1) << endl;
94      cout << "obit1 =  " << obit1 << endl;
95      return 1;
96    }
97
98    //test add_with_carry in pure IR
99    y = rand() % 2;
100    c = mvmd<128>::fill(y);
101    adc(a, b, c, obit0, sum0);
102    add_with_carry_ir(a, b, c, &obit2, &sum2);
103    if (Store2String(sum0,1) != Store2String(sum2,1) ||
104        Store2String(obit0,1) != Store2String(obit2,1)) {
105      cout << "add_with_carry_ir failed." << endl;
106      cout << "a =      " << Store2String(a, 1) << endl;
107      cout << "b =      " << Store2String(b, 1) << endl;
108      cout << "sum0 =   " << Store2String(sum0, 1) << endl;
109      cout << "sum2 =   " << Store2String(sum2, 1) << endl;
110      cout << "obit0 =  " << Store2String(obit0, 1) << endl;
111      cout << "obit2 =  " << Store2String(obit2, 1) << endl;
112      return 1;
113    }
114
115    return 0;
116}
117
118int main() {
119  SIMD_type a, b, c, d, e, f;
120  short x, y;
121  srand(time(0));
122
123  for (unsigned i = 0; i < 500; ++i) {
124    fill_random(a, b);
125
126    //All the binary ops
127    {% for name in Names %}
128    {% if name.flag == "" %}
129      c = {{ name.c }}(a, b);
130      d = {{ name.cxx }}(a, b);
131      if (Store2String(c,1) != Store2String(d,1)) {
132        cout << "{{ name.c }} faild." << endl;
133        cout << "A = " << Store2String(a, 1) << endl;
134        cout << "B = " << Store2String(b, 1) << endl;
135        cout << "c = " << Store2String(c, 1) << endl;
136        cout << "cxx=" << Store2String(d, 1) << endl;
137
138        return 1;
139      }
140
141    {% endif %}
142    {% endfor %}
143
144    //Shifting tests need special treatment
145    {% for name in Names %}
146    {% if name.flag == "shifting" %}
147    {% for x in range(0, name.fw) %}
148      c = {{ name.cxx }}<{{ x }}>(a);
149      f = mvmd<{{ name.fw }}>::fill({{ x }});
150      d = {{ name.c }}(a, f);
151      if (Store2String(c,1) != Store2String(d,1)) {
152        cout << "{{ name.c }} faild." << endl;
153        return 1;
154      }
155
156    {% endfor %}
157    {% endif %}
158    {% endfor %}
159
160    //insert_vector_elt and extract_
161    {% for fw in INS_EXT_VEC_ELT_FWs %}
162    {% for idx in range(0, 128 // fw) %}
163      x = extractelement_{{ fw }}(a, {{ idx }});
164      y = mvmd<{{ fw }}>::extract<{{ idx }}>(a);
165      if (x != y) {
166        cout << "extractelement_{{fw}} failed." << endl;
167        return 1;
168      }
169
170      x = rand() % 100;
171      c = insertelement_{{ fw }}(a, x, {{ idx }});
172      d = mvmd<{{ fw }}>::insert<{{ idx }}>(a, x);
173      if (Store2String(c,1) != Store2String(d,1)) {
174        cout << "insertelement_{{fw}} failed." << endl;
175        return 1;
176      }
177    {% endfor %}
178    {% endfor %}
179
180    //try i128 add and shift
181    c = simd<128>::add(a, b);
182    d = add_128(a, b);
183    if (Store2String(c,1) != Store2String(d,1)) {
184      cout << "add_128 failed." << endl;
185      return 1;
186    }
187
188    {% set imm = range(0,128) | random %}
189    c = simd<128>::slli<{{ imm }}>(a);
190    f = mvmd<128>::fill({{ imm }});
191    d = sll_128(a, f);
192    if (Store2String(c,1) != Store2String(d,1)) {
193      cout << "sll_128 failed." << endl;
194      return 1;
195    }
196
197    if (test_long_stream_addition(a, b))
198      return 1;
199  }
200
201  return 0;
202}
203
Note: See TracBrowser for help on using the repository browser.