1 /* K=15 r=1/6 Viterbi decoder for x86 SSE2 2 * Copyright Mar 2004, Phil Karn, KA9Q 3 * May be used under the terms of the GNU Lesser General Public License (LGPL) 4 */ 5 #include <emmintrin.h> 6 #include <stdio.h> 7 #include <stdlib.h> 8 #include <memory.h> 9 #include <limits.h> 10 #include "fec.h" 11 12 typedef union { unsigned long w[512]; unsigned short s[1024];} decision_t; 13 typedef union { signed short s[16384]; __m128i v[2048];} metric_t; 14 15 static union branchtab615 { unsigned short s[8192]; __m128i v[1024];} Branchtab615[6]; 16 static int Init = 0; 17 18 /* State info for instance of Viterbi decoder */ 19 struct v615 { 20 metric_t metrics1; /* path metric buffer 1 */ 21 metric_t metrics2; /* path metric buffer 2 */ 22 void *dp; /* Pointer to current decision */ 23 metric_t *old_metrics,*new_metrics; /* Pointers to path metrics, swapped on every bit */ 24 void *decisions; /* Beginning of decisions for block */ 25 }; 26 27 /* Initialize Viterbi decoder for start of new frame */ 28 int init_viterbi615_sse2(void *p,int starting_state){ 29 struct v615 *vp = p; 30 int i; 31 32 if(p == NULL) 33 return -1; 34 for(i=0;i<16384;i++) 35 vp->metrics1.s[i] = (SHRT_MIN+5000); 36 37 vp->old_metrics = &vp->metrics1; 38 vp->new_metrics = &vp->metrics2; 39 vp->dp = vp->decisions; 40 vp->old_metrics->s[starting_state & 16383] = SHRT_MIN; /* Bias known start state */ 41 return 0; 42 } 43 44 /* Create a new instance of a Viterbi decoder */ 45 void *create_viterbi615_sse2(int len){ 46 void *p; 47 struct v615 *vp; 48 49 if(!Init){ 50 int polys[6] = { V615POLYA,V615POLYB,V615POLYC,V615POLYD,V615POLYE,V615POLYF }; 51 set_viterbi615_polynomial_sse2(polys); 52 } 53 54 /* Ordinary malloc() only returns 8-byte alignment, we need 16 */ 55 if(posix_memalign(&p, sizeof(__m128i),sizeof(struct v615))) 56 return NULL; 57 58 vp = (struct v615 *)p; 59 if((p = malloc((len+14)*sizeof(decision_t))) == NULL){ 60 free(vp); 61 return NULL; 62 } 63 vp->decisions = (decision_t *)p; 64 init_viterbi615_sse2(vp,0); 65 return vp; 66 } 67 68 void set_viterbi615_polynomial_sse2(int polys[6]){ 69 int state; 70 int i; 71 72 for(state=0;state < 8192;state++){ 73 for(i=0;i<6;i++) 74 Branchtab615[i].s[state] = (polys[i] < 0) ^ parity((2*state) & abs(polys[i])) ? 255 : 0; 75 } 76 Init++; 77 } 78 79 /* Viterbi chainback */ 80 int chainback_viterbi615_sse2( 81 void *p, 82 unsigned char *data, /* Decoded output data */ 83 unsigned int nbits, /* Number of data bits */ 84 unsigned int endstate){ /* Terminal encoder state */ 85 struct v615 *vp = p; 86 decision_t *d = (decision_t *)vp->decisions; 87 88 endstate %= 16384; 89 90 /* The store into data[] only needs to be done every 8 bits. 91 * But this avoids a conditional branch, and the writes will 92 * combine in the cache anyway 93 */ 94 d += 14; /* Look past tail */ 95 while(nbits-- != 0){ 96 int k; 97 98 k = (d[nbits].w[endstate/32] >> (endstate%32)) & 1; 99 endstate = (k << 13) | (endstate >> 1); 100 data[nbits>>3] = endstate >> 6; 101 } 102 return 0; 103 } 104 105 /* Delete instance of a Viterbi decoder */ 106 void delete_viterbi615_sse2(void *p){ 107 struct v615 *vp = p; 108 109 if(vp != NULL){ 110 free(vp->decisions); 111 free(vp); 112 } 113 } 114 115 116 int update_viterbi615_blk_sse2(void *p,unsigned char *syms,int nbits){ 117 struct v615 *vp = p; 118 decision_t *d = (decision_t *)vp->dp; 119 120 while(nbits--){ 121 __m128i sym0v,sym1v,sym2v,sym3v,sym4v,sym5v; 122 void *tmp; 123 int i; 124 125 /* Splat the 0th symbol across sym0v, the 1st symbol across sym1v, etc */ 126 sym0v = _mm_set1_epi16(syms[0]); 127 sym1v = _mm_set1_epi16(syms[1]); 128 sym2v = _mm_set1_epi16(syms[2]); 129 sym3v = _mm_set1_epi16(syms[3]); 130 sym4v = _mm_set1_epi16(syms[4]); 131 sym5v = _mm_set1_epi16(syms[5]); 132 syms += 6; 133 134 /* SSE2 doesn't support saturated adds on unsigned shorts, so we have to use signed shorts */ 135 for(i=0;i<1024;i++){ 136 __m128i decision0,decision1,metric,m_metric,m0,m1,m2,m3,survivor0,survivor1; 137 138 /* Form branch metrics 139 * Because Branchtab takes on values 0 and 255, and the values of sym?v are offset binary in the range 0-255, 140 * the XOR operations constitute conditional negation. 141 * metric and m_metric (-metric) are in the range 0-1530 142 */ 143 m0 = _mm_add_epi16(_mm_xor_si128(Branchtab615[0].v[i],sym0v),_mm_xor_si128(Branchtab615[1].v[i],sym1v)); 144 m1 = _mm_add_epi16(_mm_xor_si128(Branchtab615[2].v[i],sym2v),_mm_xor_si128(Branchtab615[3].v[i],sym3v)); 145 m2 = _mm_add_epi16(_mm_xor_si128(Branchtab615[4].v[i],sym4v),_mm_xor_si128(Branchtab615[5].v[i],sym5v)); 146 metric = _mm_add_epi16(m0,_mm_add_epi16(m1,m2)); 147 m_metric = _mm_sub_epi16(_mm_set1_epi16(1530),metric); 148 149 /* Add branch metrics to path metrics */ 150 m0 = _mm_adds_epi16(vp->old_metrics->v[i],metric); 151 m3 = _mm_adds_epi16(vp->old_metrics->v[1024+i],metric); 152 m1 = _mm_adds_epi16(vp->old_metrics->v[1024+i],m_metric); 153 m2 = _mm_adds_epi16(vp->old_metrics->v[i],m_metric); 154 155 /* Compare and select */ 156 survivor0 = _mm_min_epi16(m0,m1); 157 survivor1 = _mm_min_epi16(m2,m3); 158 decision0 = _mm_cmpeq_epi16(survivor0,m1); 159 decision1 = _mm_cmpeq_epi16(survivor1,m3); 160 161 /* Pack each set of decisions into 8 8-bit bytes, then interleave them and compress into 16 bits */ 162 d->s[i] = _mm_movemask_epi8(_mm_unpacklo_epi8(_mm_packs_epi16(decision0,_mm_setzero_si128()),_mm_packs_epi16(decision1,_mm_setzero_si128()))); 163 164 /* Store surviving metrics */ 165 vp->new_metrics->v[2*i] = _mm_unpacklo_epi16(survivor0,survivor1); 166 vp->new_metrics->v[2*i+1] = _mm_unpackhi_epi16(survivor0,survivor1); 167 } 168 /* See if we need to renormalize 169 * Max metric spread for this code with 0-90 branch metrics is 405 170 */ 171 if(vp->new_metrics->s[0] >= SHRT_MAX-12750){ 172 int i,adjust; 173 __m128i adjustv; 174 union { __m128i v; signed short w[8]; } t; 175 176 /* Find smallest metric and set adjustv to bring it down to SHRT_MIN */ 177 adjustv = vp->new_metrics->v[0]; 178 for(i=1;i<2048;i++) 179 adjustv = _mm_min_epi16(adjustv,vp->new_metrics->v[i]); 180 181 adjustv = _mm_min_epi16(adjustv,_mm_srli_si128(adjustv,8)); 182 adjustv = _mm_min_epi16(adjustv,_mm_srli_si128(adjustv,4)); 183 adjustv = _mm_min_epi16(adjustv,_mm_srli_si128(adjustv,2)); 184 t.v = adjustv; 185 adjust = t.w[0] - SHRT_MIN; 186 adjustv = _mm_set1_epi16(adjust); 187 188 /* We cannot use a saturated subtract, because we often have to adjust by more than SHRT_MAX 189 * This is okay since it can't overflow anyway 190 */ 191 for(i=0;i<2048;i++) 192 vp->new_metrics->v[i] = _mm_sub_epi16(vp->new_metrics->v[i],adjustv); 193 } 194 d++; 195 /* Swap pointers to old and new metrics */ 196 tmp = vp->old_metrics; 197 vp->old_metrics = vp->new_metrics; 198 vp->new_metrics = tmp; 199 } 200 vp->dp = d; 201 return 0; 202 } 203 204 205