source: trunk/lib/carrySet.hpp @ 3304

Last change on this file since 3304 was 3304, checked in by ksherdy, 6 years ago

Added explicit carrySet.hpp runtime for PabloJ.

File size: 7.3 KB
Line 
1#ifndef CARRYQ_HPP_
2#define CARRYQ_HPP_
3
4/*=============================================================================
5  carrySet.hpp - PabloJ 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  June 2012
12=============================================================================*/
13
14#include <string.h>
15#include <stdint.h>
16#include <iostream>
17
18#include "bitblock.hpp"
19#include "stdio.h"
20
21///////////////////////////////////////////////////////////////////////////////
22//
23// 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#define interpose32(x,y,pos) interpose32_<pos>(x,y)     
35template<uint32_t n>
36IDISA_ALWAYS_INLINE BitBlock interpose32_(BitBlock s, BitBlock s32) {
37        return simd_or(simd<32>::slli<n>(s), simd<32>::srli<32-n>(s32));
38}
39
40template<uint32_t n>
41IDISA_ALWAYS_INLINE BitBlock interpose64_(BitBlock s, BitBlock s64) {
42        return simd_or(simd<64>::slli<n>(s), simd<64>::srli<64-n>(s64));
43}
44
45template <uint16_t CarryCount, uint16_t AdvanceNCount> class CarrySet;
46
47#define LocalCarryCombine(carrySet, localCarry, carryNo, carryCount)\
48        carrySet.carryCombine(localCarry.cq, carryNo, carryCount); 
49
50#define CarryDeclare(name, carry1_count, carryN_count)\
51CarrySet<carry1_count, carryN_count> name;
52
53// Array of BitBlock implementation.
54template <uint16_t CarryCount, uint16_t AdvanceNCount>
55class CarrySet {
56
57public:
58
59    #define Carry0 simd<BLOCK_SIZE>::constant<0>()
60    #define Carry1 simd<BLOCK_SIZE>::constant<1>()
61 
62        BitBlock cq[CarryCount + AdvanceNCount];
63        //BitBlock pending64[AdvanceNCount];
64        CarrySet()
65        {
66            memset (cq, 0, sizeof(BitBlock) * (CarryCount + AdvanceNCount));
67            //memset(pending64, 0, sizeof(BitBlock) * AdvanceNCount);
68        }
69        ~CarrySet() {}
70
71        // Deprecated (use pabloSupport.hpp)
72        IDISA_ALWAYS_INLINE BitBlock BitBlock_advance_ci_co(BitBlock strm, BitBlock carryin, uint16_t carryno)
73        {
74                BitBlock rslt;
75                advance_with_carry(strm, carryin, cq[carryno], rslt);
76                return rslt;
77        }
78
79        // Deprecated (use pabloSupport.hpp)
80        IDISA_ALWAYS_INLINE BitBlock BitBlock_add_ci_co(BitBlock strm1, BitBlock strm2, BitBlock carryin, const uint16_t carryno)
81        {
82                BitBlock sum;
83                adc(strm1, strm2, carryin, cq[carryno], sum);
84                return sum;
85        }
86
87        // Deprecated (use pabloSupport.hpp)
88        IDISA_ALWAYS_INLINE BitBlock BitBlock_sub_ci_co(BitBlock strm1, BitBlock strm2, BitBlock carryin, uint16_t carryno)
89        {
90                BitBlock diff;
91                sbb(strm1, strm2, carryin, cq[carryno], diff);
92                return diff;
93        }
94
95        // Deprecated (use pabloSupport.hpp)
96        IDISA_ALWAYS_INLINE BitBlock BitBlock_scantofirst(BitBlock charclass, BitBlock carryin, uint16_t carryno)
97        {
98                BitBlock marker;
99//              BitBlock c = carry_flip(carryin);
100                adc(simd<BLOCK_SIZE>::constant<0>(), simd_not(charclass), carryin, cq[carryno], marker);
101//              cq[carryno] = carry_flip(cq[carryno]);
102                return simd_and(marker, charclass);
103        }
104
105        // Deprecated (use pabloSupport.hpp)
106        IDISA_ALWAYS_INLINE BitBlock BitBlock_scanthru_ci_co(BitBlock markers0, BitBlock charclass, BitBlock carryin, uint16_t carryno)
107        {
108                BitBlock markers1;
109                adc(markers0, charclass, carryin, cq[carryno], markers1);
110                return simd_andc(markers1, charclass);
111        }
112
113        // Deprecated (use pabloSupport.hpp)
114        IDISA_ALWAYS_INLINE BitBlock BitBlock_advance_then_scanthru(BitBlock markers0, BitBlock charclass, BitBlock carryin, uint16_t carryno)
115        {
116                BitBlock markers1;
117                //assert(!bitblock::any(simd_and(markers0, charclass)));
118                adc(markers0, simd_or(charclass, markers0), carryin, cq[carryno], markers1);
119                return simd_andc(markers1, charclass);
120        }
121
122        // Deprecated (use pabloSupport.hpp)
123        IDISA_ALWAYS_INLINE BitBlock BitBlock_span_upto(BitBlock starts, BitBlock follows, BitBlock carryin, uint16_t carryno)
124        {
125                BitBlock span;
126                sbb(follows, starts, carryin, cq[carryno], span);
127                return span;
128        }
129
130        // Deprecated (use pabloSupport.hpp)
131        IDISA_ALWAYS_INLINE BitBlock BitBlock_inclusive_span(BitBlock starts, BitBlock ends, BitBlock carryin, uint16_t carryno)
132        {
133                BitBlock span;
134                sbb(ends, starts, carryin, cq[carryno], span);
135                return simd_or(span, ends);
136        }
137
138        // Deprecated (use pabloSupport.hpp)
139        IDISA_ALWAYS_INLINE BitBlock BitBlock_exclusive_span(BitBlock starts, BitBlock ends, BitBlock carryin, uint16_t carryno)
140        {
141                BitBlock span;
142                sbb(ends, starts, carryin, cq[carryno], span);
143                return simd_andc(span, starts);
144        }
145
146        // Deprecated (use pabloSupport.hpp) ?
147        IDISA_ALWAYS_INLINE BitBlock BitBlock_advance32_ci_co(BitBlock strm, uint32_t pending_in, uint32_t & pending_out)
148        {
149                pending_out = (uint32_t) mvmd<32>::extract< (sizeof(BitBlock)/sizeof(pending_out))-1 >(strm);
150                return simd_or(simd<BLOCK_SIZE>::slli<32>(strm), mvmd<BLOCK_SIZE>::fill((uint64_t)pending_in));
151        }
152
153        // Deprecated (use pabloSupport.hpp) ?
154        template <int n> IDISA_ALWAYS_INLINE BitBlock BitBlock_advance_n_(BitBlock strm, BitBlock pending_in, uint16_t pendingno)
155        {
156                BitBlock half_block_shifted = esimd<BLOCK_SIZE/2>::mergel(strm, pending_in);
157                cq[CarryCount + pendingno] = bitblock::srli<BLOCK_SIZE/2>(strm);
158                //pending64[pendingno] = bitblock::srli<BLOCK_SIZE/2>(strm);
159                BitBlock result = simd_or(simd<BLOCK_SIZE/2>::srli<(BLOCK_SIZE/2)-n>(half_block_shifted),
160                               simd<BLOCK_SIZE/2>::slli<n>(strm));
161                return result;
162        }
163
164        IDISA_ALWAYS_INLINE bool carryTest(uint16_t carryno, uint16_t carry_count)
165        {
166                  BitBlock c1 = cq[carryno];
167                  int ubound = carryno + carry_count;
168                  for (int i = carryno + 1; i < ubound ; i++) {
169                        c1 = carryOr(c1, cq[i]);
170                  }
171                  return testCarry(c1);
172        }
173
174        IDISA_ALWAYS_INLINE BitBlock carryRange(uint16_t carryno, uint16_t carry_count)
175        {
176                  BitBlock c1 = cq[carryno];
177                  int ubound = carryno + carry_count;
178                  for (int i = carryno + 1; i < ubound ; i++) {
179                        c1 = carryOr(c1, cq[i]);
180                  }
181                  return c1;
182        }
183
184        IDISA_ALWAYS_INLINE void carryDequeueEnqueue(uint16_t carryno, uint16_t carry_count)
185        {
186                return;
187        }
188
189        IDISA_ALWAYS_INLINE void carryAdjust(uint16_t carry_count)
190        {
191                return;
192        }
193
194        IDISA_ALWAYS_INLINE void carryCombine(BitBlock local_cq[], uint16_t carryno, uint16_t carry_count)
195        {
196                  for (int i = 0; i < carry_count; i++) {
197                    cq[carryno+i] = carryOr(cq[carryno+i], local_cq[i]);
198                  }
199        }
200
201        IDISA_ALWAYS_INLINE BitBlock & getCarry(uint16_t carryno) 
202        {
203                return cq[carryno]; // carry2bitblock(cq[carryno]);
204        }
205
206        IDISA_ALWAYS_INLINE BitBlock getPending64(uint16_t advance_n_blkno) const 
207        {
208                return cq[CarryCount + advance_n_blkno];
209        }
210
211        IDISA_ALWAYS_INLINE void setCarry(BitBlock carryVal, uint16_t carryno)
212        {
213                cq[carryno] = carryVal;
214        }
215
216        IDISA_ALWAYS_INLINE BitBlock carryFlip(BitBlock carry) const
217        {
218                return simd_xor(carry, Carry1);
219        }
220
221        IDISA_ALWAYS_INLINE bool testCarry(BitBlock carry) const
222        {
223                return bitblock::any(carry);
224        }
225
226        IDISA_ALWAYS_INLINE BitBlock carryOr(BitBlock carry1, BitBlock carry2) const
227        {
228                return simd_or(carry1, carry2);
229        }
230
231       
232#undef Carry0
233#undef Carry1
234
235};
236
237#endif // CARRYQ_HPP_
Note: See TracBrowser for help on using the repository browser.