source: trunk/lib_c/cpp2c/expected_output/carryQ.hpp @ 3393

Last change on this file since 3393 was 3393, checked in by linmengl, 6 years ago

add cpp2c.rb script offically, add testing framework

File size: 8.2 KB
Line 
1#ifndef CARRYQ_H_
2#define CARRYQ_H_
3
4/*=============================================================================
5  carryQ.hpp - Pablo compiler support for carry introduction.
6  Ken Herdy, Robert D. Cameron
7  Copyright (C) 2012, Robert D. Cameron, Kenneth S. Herdy.
8    Licensed to the public under the Open Software License 3.0.
9    Licensed to International Characters Inc.
10       under the Academic Free License version 3.0.
11  April 2012
12=============================================================================*/
13
14#include <string.h>
15#include <stdint.h>
16#include <iostream>
17
18#include "bitblock.h"
19#include "stdio.h"
20
21///////////////////////////////////////////////////////////////////////////////
22//
23// Carry method variants.
24//
25// BitBlock_op_ci_co()  - standard block non while loop statement and in final block if ignore the carry out
26// BitBlock_op_co()     - standard block while loop and in final block while loop if ignore carry out
27// BitBlock_op_ci()             - final block non while loop statement
28// BitBlock_op()                - final while loop statement
29//
30// BitBlock_op_ci(), BitBlock_op() methods not implemented to reduce the total number of
31// methods and Pablo compiler complexity.
32//
33///////////////////////////////////////////////////////////////////////////////
34
35#define interpose32(x,y,pos) interpose32_<pos>(x,y)     
36template<uint32_t n>
37IDISA_ALWAYS_INLINE BitBlock interpose32_(BitBlock s, BitBlock s32) {
38        return simd_or(simd_slli_32(n, s), simd_srli_32(32-n, s32));
39}
40
41template<uint32_t n>
42IDISA_ALWAYS_INLINE BitBlock interpose64_(BitBlock s, BitBlock s64) {
43        return simd_or(simd_slli_64(n, s), simd_srli_64(64-n, s64));
44}
45
46template <uint16_t CarryCount, uint16_t AdvanceNCount> class CarryArray;
47
48#define LocalCarryCombine(carrySet, localCarry, carryNo, carryCount)\
49        carrySet.CarryCombine(localCarry.cq, carryNo, carryCount); 
50
51#define CarryDeclare(name, carry1_count, carryN_count)\
52CarryArray<carry1_count, carryN_count> name;
53
54// Array of BitBlock implementation.
55template <uint16_t CarryCount, uint16_t AdvanceNCount>
56class CarryArray {
57
58public:
59
60#if (BLOCK_SIZE == 128)
61    #define Carry0 simd_constant_128(0)
62    #define Carry1 simd_constant_128(1)
63#else
64    #define Carry0 simd_constant_256(0)
65    #define Carry1 simd_constant_256(1)
66#endif
67 
68        BitBlock cq[CarryCount + AdvanceNCount];
69        //BitBlock pending64[AdvanceNCount];
70        CarryArray()
71        {
72            memset (cq, 0, sizeof(BitBlock) * (CarryCount + AdvanceNCount));
73            //memset(pending64, 0, sizeof(BitBlock) * AdvanceNCount);
74        }
75        ~CarryArray() {}
76
77        IDISA_ALWAYS_INLINE BitBlock BitBlock_advance_ci_co(BitBlock strm, BitBlock carryin, uint16_t carryno)
78        {
79                BitBlock rslt;
80                advance_with_carry(strm, carryin, cq[carryno], rslt);
81                return rslt;
82        }
83
84        IDISA_ALWAYS_INLINE BitBlock BitBlock_add_ci_co(BitBlock strm1, BitBlock strm2, BitBlock carryin, const uint16_t carryno)
85        {
86                BitBlock sum;
87                adc(strm1, strm2, carryin, cq[carryno], sum);
88                return sum;
89        }
90
91        IDISA_ALWAYS_INLINE BitBlock BitBlock_sub_ci_co(BitBlock strm1, BitBlock strm2, BitBlock carryin, uint16_t carryno)
92        {
93                BitBlock diff;
94                sbb(strm1, strm2, carryin, cq[carryno], diff);
95                return diff;
96        }
97
98        IDISA_ALWAYS_INLINE BitBlock BitBlock_scantofirst(BitBlock charclass, BitBlock carryin, uint16_t carryno)
99        {
100                BitBlock marker;
101//              BitBlock c = carry_flip(carryin);
102#if (BLOCK_SIZE == 128)
103                adc(simd_constant_128(0), simd_not(charclass), carryin, cq[carryno], marker);
104#else
105                adc(simd_constant_256(0), simd_not(charclass), carryin, cq[carryno], marker);
106#endif
107//              cq[carryno] = carry_flip(cq[carryno]);
108                return simd_and(marker, charclass);
109        }
110
111        IDISA_ALWAYS_INLINE BitBlock BitBlock_scanthru_ci_co(BitBlock markers0, BitBlock charclass, BitBlock carryin, uint16_t carryno)
112        {
113                BitBlock markers1;
114                adc(markers0, charclass, carryin, cq[carryno], markers1);
115                return simd_andc(markers1, charclass);
116        }
117
118        IDISA_ALWAYS_INLINE BitBlock BitBlock_advance_then_scanthru(BitBlock markers0, BitBlock charclass, BitBlock carryin, uint16_t carryno)
119        {
120                BitBlock markers1;
121                //assert(!bitblock_any(simd_and(markers0, charclass)));
122                adc(markers0, simd_or(charclass, markers0), carryin, cq[carryno], markers1);
123                return simd_andc(markers1, charclass);
124        }
125
126        IDISA_ALWAYS_INLINE BitBlock BitBlock_span_upto(BitBlock starts, BitBlock follows, BitBlock carryin, uint16_t carryno)
127        {
128                BitBlock span;
129                sbb(follows, starts, carryin, cq[carryno], span);
130                return span;
131        }
132
133        IDISA_ALWAYS_INLINE BitBlock BitBlock_inclusive_span(BitBlock starts, BitBlock ends, BitBlock carryin, uint16_t carryno)
134        {
135                BitBlock span;
136                sbb(ends, starts, carryin, cq[carryno], span);
137                return simd_or(span, ends);
138        }
139
140        IDISA_ALWAYS_INLINE BitBlock BitBlock_exclusive_span(BitBlock starts, BitBlock ends, BitBlock carryin, uint16_t carryno)
141        {
142                BitBlock span;
143                sbb(ends, starts, carryin, cq[carryno], span);
144                return simd_andc(span, starts);
145        }
146
147
148        IDISA_ALWAYS_INLINE BitBlock BitBlock_advance32_ci_co(BitBlock strm, uint32_t pending_in, uint32_t & pending_out)
149        {
150                pending_out = (uint32_t) mvmd_extract_32( (sizeof(BitBlock)/sizeof(pending_out))-1 , strm);
151#if (BLOCK_SIZE == 128)
152                return simd_or(simd_slli_128(32, strm), mvmd_fill_128((uint64_t)pending_in));
153#else
154                return simd_or(simd_slli_256(32, strm), mvmd_fill_256((uint64_t)pending_in));
155#endif
156        }
157
158        template <int n> IDISA_ALWAYS_INLINE BitBlock BitBlock_advance_n_(BitBlock strm, BitBlock pending_in, uint16_t pendingno)
159        {
160#if (BLOCK_SIZE == 128)
161                BitBlock half_block_shifted = esimd_mergel_64(strm, pending_in);
162#else
163                BitBlock half_block_shifted = esimd_mergel_128(strm, pending_in);
164#endif
165                cq[CarryCount + pendingno] = bitblock_srli(BLOCK_SIZE/2, strm);
166                //pending64[pendingno] = bitblock_srli(BLOCK_SIZE/2, strm);
167#if (BLOCK_SIZE == 128)
168                BitBlock result = simd_or(simd_srli_64((BLOCK_SIZE/2)-n, half_block_shifted),
169                               simd_slli_64(n, strm));
170#else
171                BitBlock result = simd_or(simd_srli_128((BLOCK_SIZE/2)-n, half_block_shifted),
172                               simd_slli_128(n, strm));
173#endif
174                return result;
175        }
176
177        IDISA_ALWAYS_INLINE bool CarryTest(uint16_t carryno, uint16_t carry_count)
178        {
179                  BitBlock c1 = cq[carryno];
180                  int ubound = carryno + carry_count;
181                  for (int i = carryno + 1; i < ubound ; i++) {
182                        c1 = carry_or(c1, cq[i]);
183                  }
184                  return test_carry(c1);
185        }
186
187        IDISA_ALWAYS_INLINE BitBlock CarryRange(uint16_t carryno, uint16_t carry_count)
188        {
189                  BitBlock c1 = cq[carryno];
190                  int ubound = carryno + carry_count;
191                  for (int i = carryno + 1; i < ubound ; i++) {
192                        c1 = carry_or(c1, cq[i]);
193                  }
194                  return c1;
195        }
196
197        IDISA_ALWAYS_INLINE void CarryDequeueEnqueue(uint16_t carryno, uint16_t carry_count)
198        {
199                return;
200        }
201
202        // Deprecated (renamed)
203        IDISA_ALWAYS_INLINE void CarryQ_Adjust(uint16_t carry_count)
204        {
205                return;
206        }
207
208        IDISA_ALWAYS_INLINE void CarryAdjust(uint16_t carry_count)
209        {
210                return;
211        }
212
213        IDISA_ALWAYS_INLINE void CarryCombine(BitBlock local_cq[], uint16_t carryno, uint16_t carry_count)
214        {
215                  for (int i = 0; i < carry_count; i++) {
216                    cq[carryno+i] = carry_or(cq[carryno+i], local_cq[i]);
217                  }
218        }
219
220        IDISA_ALWAYS_INLINE void CarryCombine1(uint16_t carryno, uint16_t carry2)
221        {
222                  cq[carryno] = carry_or(cq[carryno], cq[carry2]);
223                  cq[carry2] = Carry0;
224        }
225
226        IDISA_ALWAYS_INLINE BitBlock get_carry_in(uint16_t carryno) const 
227        {
228                return carry2bitblock(cq[carryno]);
229        }
230
231        // Deprecated (renamed)
232        IDISA_ALWAYS_INLINE BitBlock GetCarry(uint16_t carryno) const
233        {
234                return carry2bitblock(cq[carryno]);
235        }
236
237        IDISA_ALWAYS_INLINE void SetCarry(BitBlock carryVal, uint16_t carryno)
238        {
239                cq[carryno] = carryVal;
240        }
241
242
243        // Deprecated in PabloJ, retained for legacy compiler.
244        IDISA_ALWAYS_INLINE BitBlock get_pending64(uint16_t advance_n_blkno) const 
245        {
246                return cq[CarryCount + advance_n_blkno];
247        }
248
249        IDISA_ALWAYS_INLINE BitBlock Pending64(uint16_t advance_n_blkno) const 
250        {
251                return cq[CarryCount + advance_n_blkno];
252        }
253
254//private:
255        // helpers
256
257        // Deprecated (renamed)
258        IDISA_ALWAYS_INLINE BitBlock carry_flip(BitBlock carry) const
259        {
260                return simd_xor(carry, Carry1);
261        }
262
263        IDISA_ALWAYS_INLINE BitBlock CarryFlip(BitBlock carry) const
264        {
265                return simd_xor(carry, Carry1);
266        }
267
268        IDISA_ALWAYS_INLINE bool test_carry(BitBlock carry) const
269        {
270                return bitblock_any(carry);
271        }
272
273        IDISA_ALWAYS_INLINE BitBlock carry_or(BitBlock carry1, BitBlock carry2) const
274        {
275                return simd_or(carry1, carry2);
276        }
277       
278#undef Carry0
279#undef Carry1
280
281};
282
283#endif // CARRYQ_H_
284
Note: See TracBrowser for help on using the repository browser.