diff --git a/nix/kernel-tests.nix b/nix/kernel-tests.nix
index fcc7951889bc170676198dd17fac91bbec1fc617..6c2d9d51d616f558ddc727885393edc2698829e1 100644
--- a/nix/kernel-tests.nix
+++ b/nix/kernel-tests.nix
@@ -14,7 +14,6 @@ mk_tests {
@tests/saveload/ptests \
@tests/spec/ptests \
@tests/syntax/ptests \
- @tests/test/ptests \
@src/kernel_internals/parsing/tests/ptests
dune runtest -j1 --display short \
src/plugins/server/tests/batch \
diff --git a/tests/bugs/check_specs.h b/tests/bugs/check_specs.h
deleted file mode 100644
index 1a61d6c2a1a8fba4d375fa63c2a15ac962e735da..0000000000000000000000000000000000000000
--- a/tests/bugs/check_specs.h
+++ /dev/null
@@ -1,35 +0,0 @@
-// for SSIZE_MAX
-//#include <limits.h>
-#undef putchar
-/* assigns \nothing;
- */
-int putchar(int c);
-
-
-#ifdef NO_FRAMA_C
-/*@ assigns \nothing;
- */
-void perror(const char *s);
-#else
-#define perror(s)
-#endif
-
-/* To avoid issue with errno with is defined as "int *__errno_location (void);"
- in system includes, we define our own errno.
- */
-#undef errno
-#define errno global_error_number
-int global_error_number;
-
-/*@ requires \valid(s);
- assigns \nothing;
- */
-int puts(const char *s);
-
-#ifdef NO_FRAMA_C
-/*@ assigns \nothing;
- */
-int fputs(const char *s, FILE *stream);
-#else
-#define fputs(...)
-#endif
diff --git a/tests/bugs/enum.c b/tests/bugs/enum.c
deleted file mode 100644
index 1fae795bdb5c36a91b5a2137c3a4f8c3881498e3..0000000000000000000000000000000000000000
--- a/tests/bugs/enum.c
+++ /dev/null
@@ -1,11 +0,0 @@
-enum fixed_addresses {
- A,
- B = -1UL,
- BASE,
- END = BASE,
-};
-
-
-enum e f(void) {
- return A;
-}
diff --git a/tests/ptests_config b/tests/ptests_config
index cac61a035729f47fde2b0f896f1859e497b5dcad..e90ab31e9aab150bbaa723f07124ff088ee5e6ed 100644
--- a/tests/ptests_config
+++ b/tests/ptests_config
@@ -5,7 +5,7 @@
### Tests of kernel
DEFAULT_SUITES= cil compliance dynamic jcdb libc misc
-DEFAULT_SUITES= pretty_printing saveload spec syntax test
+DEFAULT_SUITES= pretty_printing saveload spec syntax
### Tests of small plugins
diff --git a/tests/slicing/README b/tests/slicing/README
index 47ee0df1fc9a8b784d4128621a8dbe315b1bd21d..8832f29fcd4e781fad47ae2e6ab256d810891679 100644
--- a/tests/slicing/README
+++ b/tests/slicing/README
@@ -34,7 +34,7 @@ For the Program Dependence Graph tests, see ppc/tests/pdg.
Check if we have the same result than her with her System Dependence Graph.
** tests/slicing/adpcm.c & tests/slicing/adpcm.ml
- source code from tests/test/adpcm.c. To have a bigger example...
+ source code from adpcm.c. To have a bigger example...
** tests/slicing/ptr_fct.c
Example given by Patrick for the specification/documentation
diff --git a/tests/slicing/adpcm.c b/tests/slicing/adpcm.c
index 1d10e25ac4f391f3c4eb6f884236509dac3f9622..13eec798779efd4a161be41d25830310698278fb 100644
--- a/tests/slicing/adpcm.c
+++ b/tests/slicing/adpcm.c
@@ -1,5 +1,610 @@
/* run.config
+ STDOPT:
LIBS: libSelect
MODULE: @PTEST_NAME@
- STDOPT: +"-ulevel -1 -deps -slicing-level 2" #"%{dep:@PTEST_SUITE_DIR@/../test/adpcm.c}"
+ STDOPT: +"-ulevel -1 -deps -slicing-level 2"
*/
+/*************************************************************************/
+/* */
+/* SNU-RT Benchmark Suite for Worst Case Timing Analysis */
+/* ===================================================== */
+/* Collected and Modified by S.-S. Lim */
+/* sslim@archi.snu.ac.kr */
+/* Real-Time Research Group */
+/* Seoul National University */
+/* */
+/* < Features > - restrictions for our experimental environment */
+/* */
+/* 1. Completely structured. */
+/* - There are no unconditional jumps. */
+/* - There are no exit from loop bodies. */
+/* (There are no 'break' or 'return' in loop bodies) */
+/* 2. No 'switch' statements. */
+/* 3. No 'do..while' statements. */
+/* 4. Expressions are restricted. */
+/* - There are no multiple expressions joined by 'or', */
+/* 'and' operations. */
+/* 5. No library calls. */
+/* - All the functions needed are implemented in the */
+/* source file. */
+/* */
+/*************************************************************************/
+/* */
+/* FILE: adpcm.c */
+/* SOURCE : C Algorithms for Real-Time DSP by P. M. Embree */
+/* */
+/* DESCRIPTION : */
+/* */
+/* CCITT G.722 ADPCM (Adaptive Differential Pulse Code Modulation) */
+/* algorithm. */
+/* 16khz sample rate data is stored in the array test_data[SIZE]. */
+/* Results are stored in the array compressed[SIZE] and result[SIZE].*/
+/* Execution time is determined by the constant SIZE (default value */
+/* is 2000). */
+/* */
+/* REMARK : */
+/* */
+/* EXECUTION TIME : */
+/* */
+/*************************************************************************/
+
+/* common sampling rate for sound cards on IBM/PC */
+/* PATHCRAWLER ##define SAMPLE_RATE 11025 */
+/* PATHCRAWLER #define PI 3.14159265358979323846 */
+
+/* COMPLEX STRUCTURE */
+
+/* PATHCRAWLER typedef struct {
+ float real, imag;
+ } COMPLEX; */
+
+/* function prototypes for fft and filter functions */
+/* PATHCRAWLER void fft(COMPLEX *,int);
+float fir_filter(float input,float *coef,int n,float *history);
+float iir_filter(float input,float *coef,int n,float *history);
+float gaussian(void);
+
+void setup_codec(int),key_down(),int_enable(),int_disable();
+int flags(int);
+
+float getinput(void);
+void sendout(float),flush(); */
+
+int encode(int,int);
+int filtez(int *bpl,int *dlt);
+void upzero(int dlt,int *dlti,int *bli);
+int filtep(int rlt1,int al1,int rlt2,int al2);
+int quantl(int el,int detl);
+int invqxl(int il,int detl,int *code_table,int mode);
+int logscl(int il,int nbl);
+int scalel(int nbl,int shift_constant);
+int uppol2(int al1,int al2,int plt,int plt1,int plt2);
+int uppol1(int al1,int apl2,int plt,int plt1);
+int invqah(int ih,int deth);
+int logsch(int ih,int nbh);
+
+/* G722 C code */
+
+/* variables for transimit quadrature mirror filter here */
+int tqmf[24];
+
+/* QMF filter coefficients:
+scaled by a factor of 4 compared to G722 CCITT recomendation */
+int h[24] = {
+ 12, -44, -44, 212, 48, -624, 128, 1448,
+ -840, -3220, 3804, 15504, 15504, 3804, -3220, -840,
+ 1448, 128, -624, 48, 212, -44, -44, 12
+};
+
+int xl,xh;
+
+/* variables for receive quadrature mirror filter here */
+int accumc[11],accumd[11];
+
+/* outputs of decode() */
+int xout1,xout2;
+
+int xs,xd;
+
+/* variables for encoder (hi and lo) here */
+
+int il,szl,spl,sl,el;
+
+int qq4_code4_table[16] = {
+ 0, -20456, -12896, -8968, -6288, -4240, -2584, -1200,
+ 20456, 12896, 8968, 6288, 4240, 2584, 1200, 0
+};
+
+int qq5_code5_table[32] = {
+ -280, -280, -23352, -17560, -14120, -11664, -9752, -8184,
+ -6864, -5712, -4696, -3784, -2960, -2208, -1520, -880,
+ 23352, 17560, 14120, 11664, 9752, 8184, 6864, 5712,
+ 4696, 3784, 2960, 2208, 1520, 880, 280, -280
+};
+
+int qq6_code6_table[64] = {
+ -136, -136, -136, -136, -24808, -21904, -19008, -16704,
+-14984, -13512, -12280, -11192, -10232, -9360, -8576, -7856,
+ -7192, -6576, -6000, -5456, -4944, -4464, -4008, -3576,
+ -3168, -2776, -2400, -2032, -1688, -1360, -1040, -728,
+ 24808, 21904, 19008, 16704, 14984, 13512, 12280, 11192,
+ 10232, 9360, 8576, 7856, 7192, 6576, 6000, 5456,
+ 4944, 4464, 4008, 3576, 3168, 2776, 2400, 2032,
+ 1688, 1360, 1040, 728, 432, 136, -432, -136
+};
+
+int delay_bpl[6];
+
+int delay_dltx[6];
+
+int wl_code_table[16] = {
+ -60, 3042, 1198, 538, 334, 172, 58, -30,
+ 3042, 1198, 538, 334, 172, 58, -30, -60
+};
+
+int wl_table[8] = {
+ -60, -30, 58, 172, 334, 538, 1198, 3042
+};
+
+int ilb_table[32] = {
+ 2048, 2093, 2139, 2186, 2233, 2282, 2332, 2383,
+ 2435, 2489, 2543, 2599, 2656, 2714, 2774, 2834,
+ 2896, 2960, 3025, 3091, 3158, 3228, 3298, 3371,
+ 3444, 3520, 3597, 3676, 3756, 3838, 3922, 4008
+};
+
+int nbl; /* delay line */
+int al1,al2;
+int plt,plt1,plt2;
+int rs;
+int dlt;
+int rlt,rlt1,rlt2;
+
+/* decision levels - pre-multiplied by 8, 0 to indicate end */
+int decis_levl[30] = {
+ 280, 576, 880, 1200, 1520, 1864, 2208, 2584,
+ 2960, 3376, 3784, 4240, 4696, 5200, 5712, 6288,
+ 6864, 7520, 8184, 8968, 9752, 10712, 11664, 12896,
+ 14120, 15840, 17560, 20456, 23352, 32767
+};
+
+int detl;
+
+/* quantization table 31 long to make quantl look-up easier,
+last entry is for mil=30 case when wd is max */
+int quant26bt_pos[31] = {
+ 61, 60, 59, 58, 57, 56, 55, 54,
+ 53, 52, 51, 50, 49, 48, 47, 46,
+ 45, 44, 43, 42, 41, 40, 39, 38,
+ 37, 36, 35, 34, 33, 32, 32
+};
+
+/* quantization table 31 long to make quantl look-up easier,
+last entry is for mil=30 case when wd is max */
+int quant26bt_neg[31] = {
+ 63, 62, 31, 30, 29, 28, 27, 26,
+ 25, 24, 23, 22, 21, 20, 19, 18,
+ 17, 16, 15, 14, 13, 12, 11, 10,
+ 9, 8, 7, 6, 5, 4, 4
+};
+
+
+int deth;
+int sh; /* this comes from adaptive predictor */
+int eh;
+
+int qq2_code2_table[4] = {
+ -7408, -1616, 7408, 1616
+};
+
+int wh_code_table[4] = {
+ 798, -214, 798, -214
+};
+
+
+int dh,ih;
+int nbh,szh;
+int sph,ph,yh,rh;
+
+int delay_dhx[6];
+
+int delay_bph[6];
+
+int ah1,ah2;
+int ph1,ph2;
+int rh1,rh2;
+
+/* variables for decoder here */
+int ilr,yl,rl;
+int dec_deth,dec_detl,dec_dlt;
+
+int dec_del_bpl[6];
+
+int dec_del_dltx[6];
+
+int dec_plt,dec_plt1,dec_plt2;
+int dec_szl,dec_spl,dec_sl;
+int dec_rlt1,dec_rlt2,dec_rlt;
+int dec_al1,dec_al2;
+int dl;
+int dec_nbl,dec_yh,dec_dh,dec_nbh;
+
+/* variables used in filtez */
+int dec_del_bph[6];
+
+int dec_del_dhx[6];
+
+int dec_szh;
+/* variables used in filtep */
+int dec_rh1,dec_rh2;
+int dec_ah1,dec_ah2;
+int dec_ph,dec_sph;
+
+int dec_sh,dec_rh;
+
+int dec_ph1,dec_ph2;
+
+/* G722 encode function two ints in, one 8 bit output */
+
+/* put input samples in xin1 = first value, xin2 = second value */
+/* returns il and ih stored together */
+int abs(int x )
+{ int m ;
+
+ if (x >= 0) {
+ m = x;
+ } else {
+ m = - x;
+ }
+ return (m);
+}
+
+/*@ ensures sh == 0 || sh == -2; */
+int encode(int xin1,int xin2)
+{
+ int i;
+ int *h_ptr,*tqmf_ptr,*tqmf_ptr1;
+ long int xa,xb;
+ int decis;
+
+/* transmit quadrature mirror filters implemented here */
+ h_ptr = h;
+ tqmf_ptr = tqmf;
+ xa = (long)(*tqmf_ptr++) * (*h_ptr++);
+ xb = (long)(*tqmf_ptr++) * (*h_ptr++);
+/*@ loop unfold 11; */
+/* main multiply accumulate loop for samples and coefficients */
+ for(i = 0 ; i < 10 ; i++) {
+ xa += (long)(*tqmf_ptr++) * (*h_ptr++);
+ xb += (long)(*tqmf_ptr++) * (*h_ptr++);
+ }
+/* final mult/accumulate */
+ xa += (long)(*tqmf_ptr++) * (*h_ptr++);
+ xb += (long)(*tqmf_ptr) * (*h_ptr++);
+
+/* update delay line tqmf */
+ tqmf_ptr1 = tqmf_ptr - 2;
+/*@ loop unfold 23; */
+ for(i = 0 ; i < 22 ; i++) *tqmf_ptr-- = *tqmf_ptr1--;
+ *tqmf_ptr-- = xin1;
+ *tqmf_ptr = xin2;
+
+/* scale outputs */
+ xl = (xa + xb) >> 15;
+ xh = (xa - xb) >> 15;
+
+/* end of quadrature mirror filter code */
+
+/* starting with lower sub band encoder */
+
+/* filtez - compute predictor output section - zero section */
+ szl = filtez(delay_bpl,delay_dltx);
+
+/* filtep - compute predictor output signal (pole section) */
+ spl = filtep(rlt1,al1,rlt2,al2);
+
+/* compute the predictor output value in the lower sub_band encoder */
+ sl = szl + spl;
+ el = xl - sl;
+
+/* quantl: quantize the difference signal */
+ il = quantl(el,detl); /* CONDITIONS: 30 x 4 possibilities */
+
+/* invqxl: computes quantized difference signal */
+/* for invqbl, truncate by 2 lsbs, so mode = 3 */
+ dlt = ((long)detl*qq4_code4_table[il >> 2]) >> 15;
+
+/* logscl: updates logarithmic quant. scale factor in low sub band */
+ nbl = logscl(il,nbl); /* CONDITIONS: 2 possibs */
+
+/* scalel: compute the quantizer scale factor in the lower sub band */
+/* calling parameters nbl and 8 (constant such that scalel can be scaleh) */
+ detl = scalel(nbl,8);
+
+/* parrec - simple addition to compute recontructed signal for adaptive pred */
+ plt = dlt + szl;
+
+/* upzero: update zero section predictor coefficients (sixth order)*/
+/* calling parameters: dlt, dlt1, dlt2, ..., dlt6 from dlt */
+/* bpli (linear_buffer in which all six values are delayed */
+/* return params: updated bpli, delayed dltx */
+ upzero(dlt,delay_dltx,delay_bpl); /* CONDITIONS: 2exp6 possibs */
+
+/* uppol2- update second predictor coefficient apl2 and delay it as al2 */
+/* calling parameters: al1, al2, plt, plt1, plt2 */
+ al2 = uppol2(al1,al2,plt,plt1,plt2); /* CONDITION: 2 possibs */
+
+/* uppol1 :update first predictor coefficient apl1 and delay it as al1 */
+/* calling parameters: al1, apl2, plt, plt1 */
+ al1 = uppol1(al1,al2,plt,plt1); /* CONDITIONS: 8 possibs */
+
+/* recons : compute recontructed signal for adaptive predictor */
+ rlt = sl + dlt;
+
+/* done with lower sub_band encoder; now implement delays for next time*/
+ rlt2 = rlt1;
+ rlt1 = rlt;
+ plt2 = plt1;
+ plt1 = plt;
+
+/* high band encode */
+
+ szh = filtez(delay_bph,delay_dhx);
+
+ sph = filtep(rh1,ah1,rh2,ah2);
+
+/* predic: sh = sph + szh */
+ sh = sph + szh;
+/* subtra: eh = xh - sh */
+ eh = xh - sh;
+
+/* quanth - quantization of difference signal for higher sub-band */
+/* quanth: in-place for speed params: eh, deth (has init. value) */
+ if(eh >= 0) { /* CONDITION */
+ ih = 3; /* 2,3 are pos codes */
+ }
+ else {
+ ih = 1; /* 0,1 are neg codes */
+ }
+ decis = (564L*(long)deth) >> 12L;
+ if(abs(eh) > decis) ih--; /* mih = 2 case */ /* CONDITIONS: 2 possibs */
+
+/* invqah: compute the quantized difference signal, higher sub-band*/
+ dh = ((long)deth*qq2_code2_table[ih]) >> 15L ;
+
+/* logsch: update logarithmic quantizer scale factor in hi sub-band*/
+ nbh = logsch(ih,nbh);
+
+/* note : scalel and scaleh use same code, different parameters */
+ deth = scalel(nbh,10);
+
+/* parrec - add pole predictor output to quantized diff. signal */
+ ph = dh + szh;
+
+/* upzero: update zero section predictor coefficients (sixth order) */
+/* calling parameters: dh, dhi, bphi */
+/* return params: updated bphi, delayed dhx */
+ upzero(dh,delay_dhx,delay_bph); /* CONDITIONS: 2exp6 possibs */
+
+/* uppol2: update second predictor coef aph2 and delay as ah2 */
+/* calling params: ah1, ah2, ph, ph1, ph2 */
+ ah2 = uppol2(ah1,ah2,ph,ph1,ph2); /* CONDITION: 2 possibs */
+
+/* uppol1: update first predictor coef. aph2 and delay it as ah1 */
+ ah1 = uppol1(ah1,ah2,ph,ph1); /* CONDITIONS: 8 possibs */
+
+/* recons for higher sub-band */
+ yh = sh + dh;
+
+/* done with higher sub-band encoder, now Delay for next time */
+ rh2 = rh1;
+ rh1 = yh;
+ ph2 = ph1;
+ ph1 = ph;
+
+/* multiplex ih and il to get signals together */
+ return(il | (ih << 6));
+}
+
+/* filtez - compute predictor output signal (zero section) */
+/* input: bpl1-6 and dlt1-6, output: szl */
+
+int filtez(int *bpl,int *dlt)
+{
+ int i;
+ long int zl;
+ zl = (long)(*bpl++) * (*dlt++);
+/*@ loop unfold 7; */
+ for(i = 1 ; i < 6 ; i++)
+ zl += (long)(*bpl++) * (*dlt++);
+
+ return((int)(zl >> 14)); /* x2 here */
+}
+
+/* filtep - compute predictor output signal (pole section) */
+/* input rlt1-2 and al1-2, output spl */
+
+int filtep(int rlt1,int al1,int rlt2,int al2)
+{
+ long int pl,pl2;
+ pl = 2*rlt1;
+ pl = (long)al1*pl;
+ pl2 = 2*rlt2;
+ pl += (long)al2*pl2;
+ return((int)(pl >> 15));
+}
+
+/* quantl - quantize the difference signal in the lower sub-band */
+int quantl(int el,int detl)
+{
+ int ril,mil;
+ long int wd,decis;
+
+/* abs of difference signal */
+ wd = abs(el);
+/* determine mil based on decision levels and detl gain */
+/* for(mil = 0 ; mil < 30 ; mil++) {
+ decis = (decis_levl[mil]*(long)detl) >> 15L;
+ if(wd <= decis) break;
+ }*/
+ mil = 0;
+ decis = (decis_levl[mil]*(long)detl) >> 15L;
+/*@ loop unfold 30; */
+ while(wd <= decis && mil < 29) { /* FOR/BREAK 662 : 30 possibilities */
+ mil++;
+ decis = (decis_levl[mil]*(long)detl) >> 15L;
+ }
+/* if mil=30 then wd is less than all decision levels */
+ if(el >= 0) ril = quant26bt_pos[mil]; /* CONDITION 665 */
+ else ril = quant26bt_neg[mil];
+ return(ril);
+}
+
+/* invqxl is either invqbl or invqal depending on parameters passed */
+/* returns dlt, code table is pre-multiplied by 8 */
+
+int invqxl(int il,int detl,int *code_table,int mode)
+{
+ long int dlt;
+ dlt = (long)detl*code_table[il >> (mode-1)];
+ return((int)(dlt >> 15));
+}
+
+/* logscl - update log quantizer scale factor in lower sub-band */
+/* note that nbl is passed and returned */
+
+int logscl(int il,int nbl)
+{
+ long int wd;
+ wd = ((long)nbl * 127L) >> 7L; /* leak factor 127/128 */
+ nbl = (int)wd + wl_code_table[il >> 2];
+ if(nbl < 0) nbl = 0; /* CONDITION */
+ if(nbl > 18432) nbl = 18432; /* CONDITION */
+ return(nbl);
+}
+
+/* scalel: compute quantizer scale factor in lower or upper sub-band*/
+
+int scalel(int nbl,int shift_constant)
+{
+ int wd1,wd2,wd3;
+ wd1 = (nbl >> 6) & 31;
+ wd2 = nbl >> 11;
+ wd3 = ilb_table[wd1] >> (shift_constant + 1 - wd2);
+ return(wd3 << 3);
+}
+
+/* upzero - inputs: dlt, dlti[0-5], bli[0-5], outputs: updated bli[0-5] */
+/* also implements delay of bli and update of dlti from dlt */
+
+void upzero(int dlt,int *dlti,int *bli)
+{
+ int i,wd2,wd3;
+/*if dlt is zero, then no sum into bli */
+ if(dlt == 0) { /* CONDITION 711 */
+/*@ loop unfold 7; */
+ for(i = 0 ; i < 6 ; i++) {
+ bli[i] = (int)((255L*bli[i]) >> 8L); /* leak factor of 255/256 */
+ }
+ }
+ else {
+/*@ loop unfold 7; */
+ for(i = 0 ; i < 6 ; i++) {
+ if((long)dlt*dlti[i] >= 0) wd2 = 128; else wd2 = -128; /* CONDITION 718 : 2exp6 possibs */
+ wd3 = (int)((255L*bli[i]) >> 8L); /* leak factor of 255/256 */
+ bli[i] = wd2 + wd3;
+ }
+ }
+/* implement delay line for dlt */
+ dlti[5] = dlti[4];
+ dlti[4] = dlti[3];
+ dlti[3] = dlti[2];
+ dlti[1] = dlti[0];
+ dlti[0] = dlt;
+}
+
+/* uppol2 - update second predictor coefficient (pole section) */
+/* inputs: al1, al2, plt, plt1, plt2. outputs: apl2 */
+
+int uppol2(int al1,int al2,int plt,int plt1,int plt2)
+{
+ long int wd2,wd4;
+ int apl2;
+ wd2 = 4L*(long)al1;
+ if((long)plt*plt1 >= 0L) wd2 = -wd2; /* check same sign */ /* CONDITION */
+ wd2 = wd2 >> 7; /* gain of 1/128 */
+ if((long)plt*plt2 >= 0L) { /* CONDITION */
+ wd4 = wd2 + 128; /* same sign case */
+ }
+ else {
+ wd4 = wd2 - 128;
+ }
+ apl2 = wd4 + (127L*(long)al2 >> 7L); /* leak factor of 127/128 */
+
+/* apl2 is limited to +-.75 */
+ if(apl2 > 12288) apl2 = 12288; /* CONDITION */
+ if(apl2 < -12288) apl2 = -12288; /* CONDITION */
+ return(apl2);
+}
+
+/* uppol1 - update first predictor coefficient (pole section) */
+/* inputs: al1, apl2, plt, plt1. outputs: apl1 */
+
+int uppol1(int al1,int apl2,int plt,int plt1)
+{
+ long int wd2;
+ int wd3,apl1;
+ wd2 = ((long)al1*255L) >> 8L; /* leak factor of 255/256 */
+ if((long)plt*plt1 >= 0L) { /* CONDITION */
+ apl1 = (int)wd2 + 192; /* same sign case */
+ }
+ else {
+ apl1 = (int)wd2 - 192;
+ }
+/* note: wd3= .9375-.75 is always positive */
+ wd3 = 15360 - apl2; /* limit value */
+ if(apl1 > wd3) apl1 = wd3; /* CONDITION */
+ if(apl1 < -wd3) apl1 = -wd3; /* CONDITION */
+ return(apl1);
+}
+
+/* INVQAH: inverse adaptive quantizer for the higher sub-band */
+/* returns dh, code table is pre-multiplied by 8 */
+
+int invqah(int ih,int deth)
+{
+ long int rdh;
+ rdh = ((long)deth*qq2_code2_table[ih]) >> 15L ;
+ return((int)(rdh ));
+}
+
+/* logsch - update log quantizer scale factor in higher sub-band */
+/* note that nbh is passed and returned */
+
+int logsch(int ih,int nbh)
+{
+ int wd;
+ wd = ((long)nbh * 127L) >> 7L; /* leak factor 127/128 */
+ nbh = wd + wh_code_table[ih];
+ if(nbh < 0) nbh = 0; /* CONDITION */
+ if(nbh > 22528) nbh = 22528; /* CONDITION */
+ return(nbh);
+}
+
+
+/* PATHCRAWLER #define SIZE 2000
+ #define IN_END 2000 */
+
+/* PATHCRAWLER #define PI 3.14159265358979323846 */
+
+/* PATHCRAWLER void main() */
+int test_data[10]={1,0,1,0,1,1,1,1,1,1};
+int compressed[10]={0};
+void main () //(int test_data[10], int compressed[10])
+{
+ int i;
+ /*@ loop unfold 11; loop \eva::widen_hints "all", 32767; */ /* Better bounds: loop invariant detl <= 32064; loop invariant nbh <= 22528; loop invariant nbl <= 18432; */
+ for(i = 0 ; i < 10 ; i += 2)
+ compressed[i/2] = encode(test_data[i],test_data[i+1]);
+
+}
diff --git a/tests/slicing/oracle/adpcm.0.res.oracle b/tests/slicing/oracle/adpcm.0.res.oracle
new file mode 100644
index 0000000000000000000000000000000000000000..65702c73e481aae2fa90f6db62e8219076291595
--- /dev/null
+++ b/tests/slicing/oracle/adpcm.0.res.oracle
@@ -0,0 +1 @@
+[kernel] Parsing adpcm.c (with preprocessing)
diff --git a/tests/slicing/oracle/adpcm.res.oracle b/tests/slicing/oracle/adpcm.1.res.oracle
similarity index 88%
rename from tests/slicing/oracle/adpcm.res.oracle
rename to tests/slicing/oracle/adpcm.1.res.oracle
index 496702e3225a91eec1fefa182c52b11213beb6cf..3898e3397e1c9c7d7bfff289aa0a83b15dcbc291 100644
--- a/tests/slicing/oracle/adpcm.res.oracle
+++ b/tests/slicing/oracle/adpcm.1.res.oracle
@@ -1,5 +1,4 @@
[kernel] Parsing adpcm.c (with preprocessing)
-[kernel] Parsing tests/test/adpcm.c (with preprocessing)
[eva] Analyzing a complete application starting at main
[eva] Computing initial state
[eva] Initial state computed
@@ -378,598 +377,596 @@
[4..9] ∈ {1}
compressed[0..9] ∈ {0}
[eva] computing for function encode <- main.
- Called from tests/test/adpcm.c:608.
-[eva] tests/test/adpcm.c:277: starting to merge loop iterations
-[eva:alarm] tests/test/adpcm.c:278: Warning:
+ Called from adpcm.c:608.
+[eva] adpcm.c:277: starting to merge loop iterations
+[eva:alarm] adpcm.c:278: Warning:
out of bounds read. assert \valid_read(tmp_3);
(tmp_3 from tqmf_ptr++)
-[eva:alarm] tests/test/adpcm.c:278: Warning:
+[eva:alarm] adpcm.c:278: Warning:
out of bounds read. assert \valid_read(tmp_4);
(tmp_4 from h_ptr++)
-[eva:alarm] tests/test/adpcm.c:279: Warning:
+[eva:alarm] adpcm.c:279: Warning:
out of bounds read. assert \valid_read(tmp_5);
(tmp_5 from tqmf_ptr++)
-[eva:alarm] tests/test/adpcm.c:279: Warning:
+[eva:alarm] adpcm.c:279: Warning:
out of bounds read. assert \valid_read(tmp_6);
(tmp_6 from h_ptr++)
-[eva:alarm] tests/test/adpcm.c:282: Warning:
+[eva:alarm] adpcm.c:282: Warning:
out of bounds read. assert \valid_read(tmp_7);
(tmp_7 from tqmf_ptr++)
-[eva:alarm] tests/test/adpcm.c:282: Warning:
+[eva:alarm] adpcm.c:282: Warning:
out of bounds read. assert \valid_read(tmp_8);
(tmp_8 from h_ptr++)
-[eva:alarm] tests/test/adpcm.c:283: Warning:
+[eva:alarm] adpcm.c:283: Warning:
out of bounds read. assert \valid_read(tqmf_ptr);
-[eva:alarm] tests/test/adpcm.c:283: Warning:
+[eva:alarm] adpcm.c:283: Warning:
out of bounds read. assert \valid_read(tmp_9);
(tmp_9 from h_ptr++)
-[eva] tests/test/adpcm.c:288: starting to merge loop iterations
-[eva:alarm] tests/test/adpcm.c:288: Warning:
+[eva] adpcm.c:288: starting to merge loop iterations
+[eva:alarm] adpcm.c:288: Warning:
out of bounds read. assert \valid_read(tmp_11);
(tmp_11 from tqmf_ptr1--)
-[eva:alarm] tests/test/adpcm.c:288: Warning:
+[eva:alarm] adpcm.c:288: Warning:
out of bounds write. assert \valid(tmp_10);
(tmp_10 from tqmf_ptr--)
-[eva:alarm] tests/test/adpcm.c:289: Warning:
+[eva:alarm] adpcm.c:289: Warning:
out of bounds write. assert \valid(tmp_12);
(tmp_12 from tqmf_ptr--)
-[eva:alarm] tests/test/adpcm.c:290: Warning:
- out of bounds write. assert \valid(tqmf_ptr);
+[eva:alarm] adpcm.c:290: Warning: out of bounds write. assert \valid(tqmf_ptr);
[eva] computing for function filtez <- encode <- main.
- Called from tests/test/adpcm.c:301.
-[eva] tests/test/adpcm.c:418: starting to merge loop iterations
-[eva:alarm] tests/test/adpcm.c:419: Warning:
+ Called from adpcm.c:301.
+[eva] adpcm.c:418: starting to merge loop iterations
+[eva:alarm] adpcm.c:419: Warning:
out of bounds read. assert \valid_read(tmp_1);
(tmp_1 from bpl++)
-[eva:alarm] tests/test/adpcm.c:419: Warning:
+[eva:alarm] adpcm.c:419: Warning:
out of bounds read. assert \valid_read(tmp_2);
(tmp_2 from dlt_0++)
[eva] Recording results for filtez
[eva] Done for function filtez
[eva] computing for function filtep <- encode <- main.
- Called from tests/test/adpcm.c:304.
+ Called from adpcm.c:304.
[eva] Recording results for filtep
[eva] Done for function filtep
[eva] computing for function quantl <- encode <- main.
- Called from tests/test/adpcm.c:311.
+ Called from adpcm.c:311.
[eva] computing for function abs <- quantl <- encode <- main.
- Called from tests/test/adpcm.c:444.
+ Called from adpcm.c:444.
[eva] Recording results for abs
[eva] Done for function abs
-[eva] tests/test/adpcm.c:453: starting to merge loop iterations
+[eva] adpcm.c:453: starting to merge loop iterations
[eva] Recording results for quantl
[eva] Done for function quantl
[eva] computing for function logscl <- encode <- main.
- Called from tests/test/adpcm.c:318.
+ Called from adpcm.c:318.
[eva] Recording results for logscl
[eva] Done for function logscl
[eva] computing for function scalel <- encode <- main.
- Called from tests/test/adpcm.c:322.
+ Called from adpcm.c:322.
[eva] Recording results for scalel
[eva] Done for function scalel
[eva] computing for function upzero <- encode <- main.
- Called from tests/test/adpcm.c:331.
-[eva] tests/test/adpcm.c:506: starting to merge loop iterations
+ Called from adpcm.c:331.
+[eva] adpcm.c:506: starting to merge loop iterations
[eva] Recording results for upzero
[eva] Done for function upzero
[eva] computing for function uppol2 <- encode <- main.
- Called from tests/test/adpcm.c:335.
+ Called from adpcm.c:335.
[eva] Recording results for uppol2
[eva] Done for function uppol2
[eva] computing for function uppol1 <- encode <- main.
- Called from tests/test/adpcm.c:339.
+ Called from adpcm.c:339.
[eva] Recording results for uppol1
[eva] Done for function uppol1
[eva] computing for function filtez <- encode <- main.
- Called from tests/test/adpcm.c:352.
+ Called from adpcm.c:352.
[eva] Recording results for filtez
[eva] Done for function filtez
-[eva] tests/test/adpcm.c:354: Reusing old results for call to filtep
-[eva] tests/test/adpcm.c:370: Reusing old results for call to abs
+[eva] adpcm.c:354: Reusing old results for call to filtep
+[eva] adpcm.c:370: Reusing old results for call to abs
[eva] computing for function logsch <- encode <- main.
- Called from tests/test/adpcm.c:376.
+ Called from adpcm.c:376.
[eva] Recording results for logsch
[eva] Done for function logsch
[eva] computing for function scalel <- encode <- main.
- Called from tests/test/adpcm.c:379.
+ Called from adpcm.c:379.
[eva] Recording results for scalel
[eva] Done for function scalel
[eva] computing for function upzero <- encode <- main.
- Called from tests/test/adpcm.c:387.
+ Called from adpcm.c:387.
[eva] Recording results for upzero
[eva] Done for function upzero
-[eva] tests/test/adpcm.c:391: Reusing old results for call to uppol2
-[eva] tests/test/adpcm.c:394: Reusing old results for call to uppol1
-[eva] tests/test/adpcm.c:262: function encode: postcondition got status valid.
+[eva] adpcm.c:391: Reusing old results for call to uppol2
+[eva] adpcm.c:394: Reusing old results for call to uppol1
+[eva] adpcm.c:262: function encode: postcondition got status valid.
[eva] Recording results for encode
[eva] Done for function encode
-[eva] tests/test/adpcm.c:607: starting to merge loop iterations
+[eva] adpcm.c:607: starting to merge loop iterations
[eva] computing for function encode <- main.
- Called from tests/test/adpcm.c:608.
-[eva:alarm] tests/test/adpcm.c:278: Warning:
+ Called from adpcm.c:608.
+[eva:alarm] adpcm.c:278: Warning:
signed overflow.
assert -2147483648 ≤ xa + (long)((long)*tmp_3 * (long)*tmp_4);
(tmp_3 from tqmf_ptr++, tmp_4 from h_ptr++)
-[eva:alarm] tests/test/adpcm.c:278: Warning:
+[eva:alarm] adpcm.c:278: Warning:
signed overflow.
assert xa + (long)((long)*tmp_3 * (long)*tmp_4) ≤ 2147483647;
(tmp_3 from tqmf_ptr++, tmp_4 from h_ptr++)
-[eva:alarm] tests/test/adpcm.c:279: Warning:
+[eva:alarm] adpcm.c:279: Warning:
signed overflow.
assert -2147483648 ≤ xb + (long)((long)*tmp_5 * (long)*tmp_6);
(tmp_5 from tqmf_ptr++, tmp_6 from h_ptr++)
-[eva:alarm] tests/test/adpcm.c:279: Warning:
+[eva:alarm] adpcm.c:279: Warning:
signed overflow.
assert xb + (long)((long)*tmp_5 * (long)*tmp_6) ≤ 2147483647;
(tmp_5 from tqmf_ptr++, tmp_6 from h_ptr++)
-[eva:alarm] tests/test/adpcm.c:282: Warning:
+[eva:alarm] adpcm.c:282: Warning:
signed overflow.
assert -2147483648 ≤ xa + (long)((long)*tmp_7 * (long)*tmp_8);
(tmp_7 from tqmf_ptr++, tmp_8 from h_ptr++)
-[eva:alarm] tests/test/adpcm.c:282: Warning:
+[eva:alarm] adpcm.c:282: Warning:
signed overflow.
assert xa + (long)((long)*tmp_7 * (long)*tmp_8) ≤ 2147483647;
(tmp_7 from tqmf_ptr++, tmp_8 from h_ptr++)
-[eva:alarm] tests/test/adpcm.c:283: Warning:
+[eva:alarm] adpcm.c:283: Warning:
signed overflow.
assert -2147483648 ≤ xb + (long)((long)*tqmf_ptr * (long)*tmp_9);
(tmp_9 from h_ptr++)
-[eva:alarm] tests/test/adpcm.c:283: Warning:
+[eva:alarm] adpcm.c:283: Warning:
signed overflow.
assert xb + (long)((long)*tqmf_ptr * (long)*tmp_9) ≤ 2147483647;
(tmp_9 from h_ptr++)
-[eva:alarm] tests/test/adpcm.c:293: Warning:
+[eva:alarm] adpcm.c:293: Warning:
signed overflow. assert -2147483648 ≤ xa + xb;
-[eva:alarm] tests/test/adpcm.c:293: Warning:
+[eva:alarm] adpcm.c:293: Warning:
signed overflow. assert xa + xb ≤ 2147483647;
-[eva:alarm] tests/test/adpcm.c:294: Warning:
+[eva:alarm] adpcm.c:294: Warning:
signed overflow. assert -2147483648 ≤ xa - xb;
-[eva:alarm] tests/test/adpcm.c:294: Warning:
+[eva:alarm] adpcm.c:294: Warning:
signed overflow. assert xa - xb ≤ 2147483647;
-[eva] tests/test/adpcm.c:301: Reusing old results for call to filtez
+[eva] adpcm.c:301: Reusing old results for call to filtez
[eva] computing for function filtep <- encode <- main.
- Called from tests/test/adpcm.c:304.
+ Called from adpcm.c:304.
[eva] Recording results for filtep
[eva] Done for function filtep
[eva] computing for function quantl <- encode <- main.
- Called from tests/test/adpcm.c:311.
+ Called from adpcm.c:311.
[eva] computing for function abs <- quantl <- encode <- main.
- Called from tests/test/adpcm.c:444.
+ Called from adpcm.c:444.
[eva] Recording results for abs
[eva] Done for function abs
[eva] Recording results for quantl
[eva] Done for function quantl
[eva] computing for function logscl <- encode <- main.
- Called from tests/test/adpcm.c:318.
+ Called from adpcm.c:318.
[eva] Recording results for logscl
[eva] Done for function logscl
[eva] computing for function scalel <- encode <- main.
- Called from tests/test/adpcm.c:322.
+ Called from adpcm.c:322.
[eva] Recording results for scalel
[eva] Done for function scalel
[eva] computing for function upzero <- encode <- main.
- Called from tests/test/adpcm.c:331.
-[eva] tests/test/adpcm.c:512: starting to merge loop iterations
-[eva:alarm] tests/test/adpcm.c:514: Warning:
+ Called from adpcm.c:331.
+[eva] adpcm.c:512: starting to merge loop iterations
+[eva:alarm] adpcm.c:514: Warning:
signed overflow. assert 255L * (long)*(bli + i) ≤ 2147483647;
[eva] Recording results for upzero
[eva] Done for function upzero
[eva] computing for function uppol2 <- encode <- main.
- Called from tests/test/adpcm.c:335.
+ Called from adpcm.c:335.
[eva] Recording results for uppol2
[eva] Done for function uppol2
[eva] computing for function uppol1 <- encode <- main.
- Called from tests/test/adpcm.c:339.
+ Called from adpcm.c:339.
[eva] Recording results for uppol1
[eva] Done for function uppol1
-[eva] tests/test/adpcm.c:352: Reusing old results for call to filtez
-[eva] tests/test/adpcm.c:354: Reusing old results for call to filtep
-[eva] tests/test/adpcm.c:370: Reusing old results for call to abs
+[eva] adpcm.c:352: Reusing old results for call to filtez
+[eva] adpcm.c:354: Reusing old results for call to filtep
+[eva] adpcm.c:370: Reusing old results for call to abs
[eva] computing for function logsch <- encode <- main.
- Called from tests/test/adpcm.c:376.
+ Called from adpcm.c:376.
[eva] Recording results for logsch
[eva] Done for function logsch
[eva] computing for function scalel <- encode <- main.
- Called from tests/test/adpcm.c:379.
+ Called from adpcm.c:379.
[eva] Recording results for scalel
[eva] Done for function scalel
[eva] computing for function upzero <- encode <- main.
- Called from tests/test/adpcm.c:387.
+ Called from adpcm.c:387.
[eva] Recording results for upzero
[eva] Done for function upzero
[eva] computing for function uppol2 <- encode <- main.
- Called from tests/test/adpcm.c:391.
+ Called from adpcm.c:391.
[eva] Recording results for uppol2
[eva] Done for function uppol2
[eva] computing for function uppol1 <- encode <- main.
- Called from tests/test/adpcm.c:394.
+ Called from adpcm.c:394.
[eva] Recording results for uppol1
[eva] Done for function uppol1
[eva] Recording results for encode
[eva] Done for function encode
[eva] computing for function encode <- main.
- Called from tests/test/adpcm.c:608.
+ Called from adpcm.c:608.
[eva] computing for function filtez <- encode <- main.
- Called from tests/test/adpcm.c:301.
-[eva:alarm] tests/test/adpcm.c:416: Warning:
+ Called from adpcm.c:301.
+[eva:alarm] adpcm.c:416: Warning:
signed overflow.
assert -2147483648 ≤ (long)*tmp * (long)*tmp_0;
(tmp from bpl++, tmp_0 from dlt_0++)
-[eva:alarm] tests/test/adpcm.c:416: Warning:
+[eva:alarm] adpcm.c:416: Warning:
signed overflow.
assert (long)*tmp * (long)*tmp_0 ≤ 2147483647;
(tmp from bpl++, tmp_0 from dlt_0++)
[eva] Recording results for filtez
[eva] Done for function filtez
[eva] computing for function filtep <- encode <- main.
- Called from tests/test/adpcm.c:304.
+ Called from adpcm.c:304.
[eva] Recording results for filtep
[eva] Done for function filtep
[eva] computing for function quantl <- encode <- main.
- Called from tests/test/adpcm.c:311.
+ Called from adpcm.c:311.
[eva] computing for function abs <- quantl <- encode <- main.
- Called from tests/test/adpcm.c:444.
+ Called from adpcm.c:444.
[eva] Recording results for abs
[eva] Done for function abs
[eva] Recording results for quantl
[eva] Done for function quantl
[eva] computing for function logscl <- encode <- main.
- Called from tests/test/adpcm.c:318.
+ Called from adpcm.c:318.
[eva] Recording results for logscl
[eva] Done for function logscl
[eva] computing for function scalel <- encode <- main.
- Called from tests/test/adpcm.c:322.
+ Called from adpcm.c:322.
[eva] Recording results for scalel
[eva] Done for function scalel
[eva] computing for function upzero <- encode <- main.
- Called from tests/test/adpcm.c:331.
-[eva:alarm] tests/test/adpcm.c:507: Warning:
+ Called from adpcm.c:331.
+[eva:alarm] adpcm.c:507: Warning:
signed overflow. assert 255L * (long)*(bli + i) ≤ 2147483647;
-[eva:alarm] tests/test/adpcm.c:514: Warning:
+[eva:alarm] adpcm.c:514: Warning:
signed overflow. assert -2147483648 ≤ 255L * (long)*(bli + i);
[eva] Recording results for upzero
[eva] Done for function upzero
[eva] computing for function uppol2 <- encode <- main.
- Called from tests/test/adpcm.c:335.
+ Called from adpcm.c:335.
[eva] Recording results for uppol2
[eva] Done for function uppol2
[eva] computing for function uppol1 <- encode <- main.
- Called from tests/test/adpcm.c:339.
+ Called from adpcm.c:339.
[eva] Recording results for uppol1
[eva] Done for function uppol1
[eva] computing for function filtez <- encode <- main.
- Called from tests/test/adpcm.c:352.
+ Called from adpcm.c:352.
[eva] Recording results for filtez
[eva] Done for function filtez
[eva] computing for function filtep <- encode <- main.
- Called from tests/test/adpcm.c:354.
+ Called from adpcm.c:354.
[eva] Recording results for filtep
[eva] Done for function filtep
[eva] computing for function abs <- encode <- main.
- Called from tests/test/adpcm.c:370.
+ Called from adpcm.c:370.
[eva] Recording results for abs
[eva] Done for function abs
[eva] computing for function logsch <- encode <- main.
- Called from tests/test/adpcm.c:376.
+ Called from adpcm.c:376.
[eva] Recording results for logsch
[eva] Done for function logsch
[eva] computing for function scalel <- encode <- main.
- Called from tests/test/adpcm.c:379.
+ Called from adpcm.c:379.
[eva] Recording results for scalel
[eva] Done for function scalel
[eva] computing for function upzero <- encode <- main.
- Called from tests/test/adpcm.c:387.
+ Called from adpcm.c:387.
[eva] Recording results for upzero
[eva] Done for function upzero
[eva] computing for function uppol2 <- encode <- main.
- Called from tests/test/adpcm.c:391.
+ Called from adpcm.c:391.
[eva] Recording results for uppol2
[eva] Done for function uppol2
[eva] computing for function uppol1 <- encode <- main.
- Called from tests/test/adpcm.c:394.
+ Called from adpcm.c:394.
[eva] Recording results for uppol1
[eva] Done for function uppol1
-[eva:alarm] tests/test/adpcm.c:262: Warning:
+[eva:alarm] adpcm.c:262: Warning:
function encode: postcondition got status unknown.
[eva] Recording results for encode
[eva] Done for function encode
[eva] computing for function encode <- main.
- Called from tests/test/adpcm.c:608.
+ Called from adpcm.c:608.
[eva] computing for function filtez <- encode <- main.
- Called from tests/test/adpcm.c:301.
-[eva:alarm] tests/test/adpcm.c:419: Warning:
+ Called from adpcm.c:301.
+[eva:alarm] adpcm.c:419: Warning:
signed overflow.
assert -2147483648 ≤ (long)*tmp_1 * (long)*tmp_2;
(tmp_1 from bpl++, tmp_2 from dlt_0++)
-[eva:alarm] tests/test/adpcm.c:419: Warning:
+[eva:alarm] adpcm.c:419: Warning:
signed overflow.
assert (long)*tmp_1 * (long)*tmp_2 ≤ 2147483647;
(tmp_1 from bpl++, tmp_2 from dlt_0++)
-[eva:alarm] tests/test/adpcm.c:419: Warning:
+[eva:alarm] adpcm.c:419: Warning:
signed overflow.
assert -2147483648 ≤ zl + (long)((long)*tmp_1 * (long)*tmp_2);
(tmp_1 from bpl++, tmp_2 from dlt_0++)
-[eva:alarm] tests/test/adpcm.c:419: Warning:
+[eva:alarm] adpcm.c:419: Warning:
signed overflow.
assert zl + (long)((long)*tmp_1 * (long)*tmp_2) ≤ 2147483647;
(tmp_1 from bpl++, tmp_2 from dlt_0++)
[eva] Recording results for filtez
[eva] Done for function filtez
[eva] computing for function filtep <- encode <- main.
- Called from tests/test/adpcm.c:304.
+ Called from adpcm.c:304.
[eva] Recording results for filtep
[eva] Done for function filtep
[eva] computing for function quantl <- encode <- main.
- Called from tests/test/adpcm.c:311.
+ Called from adpcm.c:311.
[eva] computing for function abs <- quantl <- encode <- main.
- Called from tests/test/adpcm.c:444.
+ Called from adpcm.c:444.
[eva] Recording results for abs
[eva] Done for function abs
[eva] Recording results for quantl
[eva] Done for function quantl
[eva] computing for function logscl <- encode <- main.
- Called from tests/test/adpcm.c:318.
+ Called from adpcm.c:318.
[eva] Recording results for logscl
[eva] Done for function logscl
[eva] computing for function scalel <- encode <- main.
- Called from tests/test/adpcm.c:322.
+ Called from adpcm.c:322.
[eva] Recording results for scalel
[eva] Done for function scalel
[eva] computing for function upzero <- encode <- main.
- Called from tests/test/adpcm.c:331.
-[eva:alarm] tests/test/adpcm.c:507: Warning:
+ Called from adpcm.c:331.
+[eva:alarm] adpcm.c:507: Warning:
signed overflow. assert -2147483648 ≤ 255L * (long)*(bli + i);
[eva] Recording results for upzero
[eva] Done for function upzero
[eva] computing for function uppol2 <- encode <- main.
- Called from tests/test/adpcm.c:335.
-[eva:alarm] tests/test/adpcm.c:534: Warning:
+ Called from adpcm.c:335.
+[eva:alarm] adpcm.c:534: Warning:
signed overflow. assert -2147483648 ≤ (long)plt_0 * (long)plt1_0;
-[eva:alarm] tests/test/adpcm.c:534: Warning:
+[eva:alarm] adpcm.c:534: Warning:
signed overflow. assert (long)plt_0 * (long)plt1_0 ≤ 2147483647;
[eva] Recording results for uppol2
[eva] Done for function uppol2
[eva] computing for function uppol1 <- encode <- main.
- Called from tests/test/adpcm.c:339.
-[eva:alarm] tests/test/adpcm.c:558: Warning:
+ Called from adpcm.c:339.
+[eva:alarm] adpcm.c:558: Warning:
signed overflow. assert -2147483648 ≤ (long)plt_0 * (long)plt1_0;
-[eva:alarm] tests/test/adpcm.c:558: Warning:
+[eva:alarm] adpcm.c:558: Warning:
signed overflow. assert (long)plt_0 * (long)plt1_0 ≤ 2147483647;
[eva] Recording results for uppol1
[eva] Done for function uppol1
[eva] computing for function filtez <- encode <- main.
- Called from tests/test/adpcm.c:352.
+ Called from adpcm.c:352.
[eva] Recording results for filtez
[eva] Done for function filtez
[eva] computing for function filtep <- encode <- main.
- Called from tests/test/adpcm.c:354.
+ Called from adpcm.c:354.
[eva] Recording results for filtep
[eva] Done for function filtep
[eva] computing for function abs <- encode <- main.
- Called from tests/test/adpcm.c:370.
+ Called from adpcm.c:370.
[eva] Recording results for abs
[eva] Done for function abs
[eva] computing for function logsch <- encode <- main.
- Called from tests/test/adpcm.c:376.
+ Called from adpcm.c:376.
[eva] Recording results for logsch
[eva] Done for function logsch
[eva] computing for function scalel <- encode <- main.
- Called from tests/test/adpcm.c:379.
+ Called from adpcm.c:379.
[eva] Recording results for scalel
[eva] Done for function scalel
[eva] computing for function upzero <- encode <- main.
- Called from tests/test/adpcm.c:387.
+ Called from adpcm.c:387.
[eva] Recording results for upzero
[eva] Done for function upzero
[eva] computing for function uppol2 <- encode <- main.
- Called from tests/test/adpcm.c:391.
+ Called from adpcm.c:391.
[eva] Recording results for uppol2
[eva] Done for function uppol2
[eva] computing for function uppol1 <- encode <- main.
- Called from tests/test/adpcm.c:394.
+ Called from adpcm.c:394.
[eva] Recording results for uppol1
[eva] Done for function uppol1
[eva] Recording results for encode
[eva] Done for function encode
[eva] computing for function encode <- main.
- Called from tests/test/adpcm.c:608.
+ Called from adpcm.c:608.
[eva] computing for function filtez <- encode <- main.
- Called from tests/test/adpcm.c:301.
+ Called from adpcm.c:301.
[eva] Recording results for filtez
[eva] Done for function filtez
[eva] computing for function filtep <- encode <- main.
- Called from tests/test/adpcm.c:304.
+ Called from adpcm.c:304.
[eva] Recording results for filtep
[eva] Done for function filtep
[eva] computing for function quantl <- encode <- main.
- Called from tests/test/adpcm.c:311.
+ Called from adpcm.c:311.
[eva] computing for function abs <- quantl <- encode <- main.
- Called from tests/test/adpcm.c:444.
+ Called from adpcm.c:444.
[eva] Recording results for abs
[eva] Done for function abs
[eva] Recording results for quantl
[eva] Done for function quantl
[eva] computing for function logscl <- encode <- main.
- Called from tests/test/adpcm.c:318.
+ Called from adpcm.c:318.
[eva] Recording results for logscl
[eva] Done for function logscl
[eva] computing for function scalel <- encode <- main.
- Called from tests/test/adpcm.c:322.
+ Called from adpcm.c:322.
[eva] Recording results for scalel
[eva] Done for function scalel
[eva] computing for function upzero <- encode <- main.
- Called from tests/test/adpcm.c:331.
+ Called from adpcm.c:331.
[eva] Recording results for upzero
[eva] Done for function upzero
[eva] computing for function uppol2 <- encode <- main.
- Called from tests/test/adpcm.c:335.
-[eva:alarm] tests/test/adpcm.c:536: Warning:
+ Called from adpcm.c:335.
+[eva:alarm] adpcm.c:536: Warning:
signed overflow. assert -2147483648 ≤ (long)plt_0 * (long)plt2_0;
-[eva:alarm] tests/test/adpcm.c:536: Warning:
+[eva:alarm] adpcm.c:536: Warning:
signed overflow. assert (long)plt_0 * (long)plt2_0 ≤ 2147483647;
[eva] Recording results for uppol2
[eva] Done for function uppol2
[eva] computing for function uppol1 <- encode <- main.
- Called from tests/test/adpcm.c:339.
+ Called from adpcm.c:339.
[eva] Recording results for uppol1
[eva] Done for function uppol1
-[eva] tests/test/adpcm.c:352: Reusing old results for call to filtez
+[eva] adpcm.c:352: Reusing old results for call to filtez
[eva] computing for function filtep <- encode <- main.
- Called from tests/test/adpcm.c:354.
+ Called from adpcm.c:354.
[eva] Recording results for filtep
[eva] Done for function filtep
[eva] computing for function abs <- encode <- main.
- Called from tests/test/adpcm.c:370.
+ Called from adpcm.c:370.
[eva] Recording results for abs
[eva] Done for function abs
[eva] computing for function logsch <- encode <- main.
- Called from tests/test/adpcm.c:376.
+ Called from adpcm.c:376.
[eva] Recording results for logsch
[eva] Done for function logsch
[eva] computing for function scalel <- encode <- main.
- Called from tests/test/adpcm.c:379.
+ Called from adpcm.c:379.
[eva] Recording results for scalel
[eva] Done for function scalel
[eva] computing for function upzero <- encode <- main.
- Called from tests/test/adpcm.c:387.
+ Called from adpcm.c:387.
[eva] Recording results for upzero
[eva] Done for function upzero
[eva] computing for function uppol2 <- encode <- main.
- Called from tests/test/adpcm.c:391.
+ Called from adpcm.c:391.
[eva] Recording results for uppol2
[eva] Done for function uppol2
[eva] computing for function uppol1 <- encode <- main.
- Called from tests/test/adpcm.c:394.
+ Called from adpcm.c:394.
[eva] Recording results for uppol1
[eva] Done for function uppol1
[eva] Recording results for encode
[eva] Done for function encode
[eva] computing for function encode <- main.
- Called from tests/test/adpcm.c:608.
+ Called from adpcm.c:608.
[eva] computing for function filtez <- encode <- main.
- Called from tests/test/adpcm.c:301.
+ Called from adpcm.c:301.
[eva] Recording results for filtez
[eva] Done for function filtez
[eva] computing for function filtep <- encode <- main.
- Called from tests/test/adpcm.c:304.
-[eva:alarm] tests/test/adpcm.c:430: Warning:
+ Called from adpcm.c:304.
+[eva:alarm] adpcm.c:430: Warning:
signed overflow. assert -2147483648 ≤ 2 * rlt1_0;
-[eva:alarm] tests/test/adpcm.c:430: Warning:
+[eva:alarm] adpcm.c:430: Warning:
signed overflow. assert 2 * rlt1_0 ≤ 2147483647;
-[eva:alarm] tests/test/adpcm.c:431: Warning:
+[eva:alarm] adpcm.c:431: Warning:
signed overflow. assert -2147483648 ≤ (long)al1_0 * pl;
-[eva:alarm] tests/test/adpcm.c:431: Warning:
+[eva:alarm] adpcm.c:431: Warning:
signed overflow. assert (long)al1_0 * pl ≤ 2147483647;
-[eva:alarm] tests/test/adpcm.c:432: Warning:
+[eva:alarm] adpcm.c:432: Warning:
signed overflow. assert -2147483648 ≤ 2 * rlt2_0;
-[eva:alarm] tests/test/adpcm.c:432: Warning:
+[eva:alarm] adpcm.c:432: Warning:
signed overflow. assert 2 * rlt2_0 ≤ 2147483647;
-[eva:alarm] tests/test/adpcm.c:433: Warning:
+[eva:alarm] adpcm.c:433: Warning:
signed overflow. assert -2147483648 ≤ (long)al2_0 * pl2;
-[eva:alarm] tests/test/adpcm.c:433: Warning:
+[eva:alarm] adpcm.c:433: Warning:
signed overflow. assert (long)al2_0 * pl2 ≤ 2147483647;
-[eva:alarm] tests/test/adpcm.c:433: Warning:
+[eva:alarm] adpcm.c:433: Warning:
signed overflow. assert -2147483648 ≤ pl + (long)((long)al2_0 * pl2);
-[eva:alarm] tests/test/adpcm.c:433: Warning:
+[eva:alarm] adpcm.c:433: Warning:
signed overflow. assert pl + (long)((long)al2_0 * pl2) ≤ 2147483647;
[eva] Recording results for filtep
[eva] Done for function filtep
[eva] computing for function quantl <- encode <- main.
- Called from tests/test/adpcm.c:311.
+ Called from adpcm.c:311.
[eva] computing for function abs <- quantl <- encode <- main.
- Called from tests/test/adpcm.c:444.
+ Called from adpcm.c:444.
[eva] Recording results for abs
[eva] Done for function abs
[eva] Recording results for quantl
[eva] Done for function quantl
[eva] computing for function logscl <- encode <- main.
- Called from tests/test/adpcm.c:318.
+ Called from adpcm.c:318.
[eva] Recording results for logscl
[eva] Done for function logscl
[eva] computing for function scalel <- encode <- main.
- Called from tests/test/adpcm.c:322.
+ Called from adpcm.c:322.
[eva] Recording results for scalel
[eva] Done for function scalel
[eva] computing for function upzero <- encode <- main.
- Called from tests/test/adpcm.c:331.
-[eva:alarm] tests/test/adpcm.c:513: Warning:
+ Called from adpcm.c:331.
+[eva:alarm] adpcm.c:513: Warning:
signed overflow. assert -2147483648 ≤ (long)dlt_0 * (long)*(dlti + i);
-[eva:alarm] tests/test/adpcm.c:513: Warning:
+[eva:alarm] adpcm.c:513: Warning:
signed overflow. assert (long)dlt_0 * (long)*(dlti + i) ≤ 2147483647;
[eva] Recording results for upzero
[eva] Done for function upzero
[eva] computing for function uppol2 <- encode <- main.
- Called from tests/test/adpcm.c:335.
-[eva:alarm] tests/test/adpcm.c:533: Warning:
+ Called from adpcm.c:335.
+[eva:alarm] adpcm.c:533: Warning:
signed overflow. assert -2147483648 ≤ 4L * (long)al1_0;
-[eva:alarm] tests/test/adpcm.c:534: Warning:
- signed overflow. assert -wd2 ≤ 2147483647;
-[eva:alarm] tests/test/adpcm.c:542: Warning:
+[eva:alarm] adpcm.c:534: Warning: signed overflow. assert -wd2 ≤ 2147483647;
+[eva:alarm] adpcm.c:542: Warning:
signed overflow. assert -2147483648 ≤ 127L * (long)al2_0;
[eva] Recording results for uppol2
[eva] Done for function uppol2
[eva] computing for function uppol1 <- encode <- main.
- Called from tests/test/adpcm.c:339.
-[eva:alarm] tests/test/adpcm.c:557: Warning:
+ Called from adpcm.c:339.
+[eva:alarm] adpcm.c:557: Warning:
signed overflow. assert -2147483648 ≤ (long)al1_0 * 255L;
[eva] Recording results for uppol1
[eva] Done for function uppol1
[eva] computing for function filtez <- encode <- main.
- Called from tests/test/adpcm.c:352.
+ Called from adpcm.c:352.
[eva] Recording results for filtez
[eva] Done for function filtez
-[eva] tests/test/adpcm.c:354: Reusing old results for call to filtep
-[eva] tests/test/adpcm.c:370: Reusing old results for call to abs
+[eva] adpcm.c:354: Reusing old results for call to filtep
+[eva] adpcm.c:370: Reusing old results for call to abs
[eva] computing for function logsch <- encode <- main.
- Called from tests/test/adpcm.c:376.
+ Called from adpcm.c:376.
[eva] Recording results for logsch
[eva] Done for function logsch
[eva] computing for function scalel <- encode <- main.
- Called from tests/test/adpcm.c:379.
+ Called from adpcm.c:379.
[eva] Recording results for scalel
[eva] Done for function scalel
[eva] computing for function upzero <- encode <- main.
- Called from tests/test/adpcm.c:387.
+ Called from adpcm.c:387.
[eva] Recording results for upzero
[eva] Done for function upzero
[eva] computing for function uppol2 <- encode <- main.
- Called from tests/test/adpcm.c:391.
+ Called from adpcm.c:391.
[eva] Recording results for uppol2
[eva] Done for function uppol2
[eva] computing for function uppol1 <- encode <- main.
- Called from tests/test/adpcm.c:394.
+ Called from adpcm.c:394.
[eva] Recording results for uppol1
[eva] Done for function uppol1
[eva] Recording results for encode
[eva] Done for function encode
[eva] computing for function encode <- main.
- Called from tests/test/adpcm.c:608.
-[eva] tests/test/adpcm.c:301: Reusing old results for call to filtez
-[eva] tests/test/adpcm.c:304: Reusing old results for call to filtep
-[eva] tests/test/adpcm.c:311: Reusing old results for call to quantl
-[eva] tests/test/adpcm.c:318: Reusing old results for call to logscl
-[eva] tests/test/adpcm.c:322: Reusing old results for call to scalel
-[eva] tests/test/adpcm.c:331: Reusing old results for call to upzero
-[eva] tests/test/adpcm.c:335: Reusing old results for call to uppol2
-[eva] tests/test/adpcm.c:339: Reusing old results for call to uppol1
+ Called from adpcm.c:608.
+[eva] adpcm.c:301: Reusing old results for call to filtez
+[eva] adpcm.c:304: Reusing old results for call to filtep
+[eva] adpcm.c:311: Reusing old results for call to quantl
+[eva] adpcm.c:318: Reusing old results for call to logscl
+[eva] adpcm.c:322: Reusing old results for call to scalel
+[eva] adpcm.c:331: Reusing old results for call to upzero
+[eva] adpcm.c:335: Reusing old results for call to uppol2
+[eva] adpcm.c:339: Reusing old results for call to uppol1
[eva] computing for function filtez <- encode <- main.
- Called from tests/test/adpcm.c:352.
+ Called from adpcm.c:352.
[eva] Recording results for filtez
[eva] Done for function filtez
-[eva] tests/test/adpcm.c:354: Reusing old results for call to filtep
-[eva] tests/test/adpcm.c:370: Reusing old results for call to abs
-[eva] tests/test/adpcm.c:376: Reusing old results for call to logsch
-[eva] tests/test/adpcm.c:379: Reusing old results for call to scalel
+[eva] adpcm.c:354: Reusing old results for call to filtep
+[eva] adpcm.c:370: Reusing old results for call to abs
+[eva] adpcm.c:376: Reusing old results for call to logsch
+[eva] adpcm.c:379: Reusing old results for call to scalel
[eva] computing for function upzero <- encode <- main.
- Called from tests/test/adpcm.c:387.
+ Called from adpcm.c:387.
[eva] Recording results for upzero
[eva] Done for function upzero
[eva] computing for function uppol2 <- encode <- main.
- Called from tests/test/adpcm.c:391.
+ Called from adpcm.c:391.
[eva] Recording results for uppol2
[eva] Done for function uppol2
[eva] computing for function uppol1 <- encode <- main.
- Called from tests/test/adpcm.c:394.
+ Called from adpcm.c:394.
[eva] Recording results for uppol1
[eva] Done for function uppol1
[eva] Recording results for encode
diff --git a/tests/test/adpcm.c b/tests/test/adpcm.c
deleted file mode 100644
index 0cbd5960dd71649650af4ec3c55b3c6992f35a40..0000000000000000000000000000000000000000
--- a/tests/test/adpcm.c
+++ /dev/null
@@ -1,610 +0,0 @@
-/*************************************************************************/
-/* */
-/* SNU-RT Benchmark Suite for Worst Case Timing Analysis */
-/* ===================================================== */
-/* Collected and Modified by S.-S. Lim */
-/* sslim@archi.snu.ac.kr */
-/* Real-Time Research Group */
-/* Seoul National University */
-/* */
-/* */
-/* < Features > - restrictions for our experimental environment */
-/* */
-/* 1. Completely structured. */
-/* - There are no unconditional jumps. */
-/* - There are no exit from loop bodies. */
-/* (There are no 'break' or 'return' in loop bodies) */
-/* 2. No 'switch' statements. */
-/* 3. No 'do..while' statements. */
-/* 4. Expressions are restricted. */
-/* - There are no multiple expressions joined by 'or', */
-/* 'and' operations. */
-/* 5. No library calls. */
-/* - All the functions needed are implemented in the */
-/* source file. */
-/* */
-/* */
-/*************************************************************************/
-/* */
-/* FILE: adpcm.c */
-/* SOURCE : C Algorithms for Real-Time DSP by P. M. Embree */
-/* */
-/* DESCRIPTION : */
-/* */
-/* CCITT G.722 ADPCM (Adaptive Differential Pulse Code Modulation) */
-/* algorithm. */
-/* 16khz sample rate data is stored in the array test_data[SIZE]. */
-/* Results are stored in the array compressed[SIZE] and result[SIZE].*/
-/* Execution time is determined by the constant SIZE (default value */
-/* is 2000). */
-/* */
-/* REMARK : */
-/* */
-/* EXECUTION TIME : */
-/* */
-/* */
-/*************************************************************************/
-
-
-
-/* common sampling rate for sound cards on IBM/PC */
-/* PATHCRAWLER ##define SAMPLE_RATE 11025 */
-
-/* PATHCRAWLER #define PI 3.14159265358979323846 */
-
-/* COMPLEX STRUCTURE */
-
-/* PATHCRAWLER typedef struct {
- float real, imag;
- } COMPLEX; */
-
-/* function prototypes for fft and filter functions */
-/* PATHCRAWLER void fft(COMPLEX *,int);
-float fir_filter(float input,float *coef,int n,float *history);
-float iir_filter(float input,float *coef,int n,float *history);
-float gaussian(void);
-
-void setup_codec(int),key_down(),int_enable(),int_disable();
-int flags(int);
-
-float getinput(void);
-void sendout(float),flush(); */
-
-int encode(int,int);
-int filtez(int *bpl,int *dlt);
-void upzero(int dlt,int *dlti,int *bli);
-int filtep(int rlt1,int al1,int rlt2,int al2);
-int quantl(int el,int detl);
-int invqxl(int il,int detl,int *code_table,int mode);
-int logscl(int il,int nbl);
-int scalel(int nbl,int shift_constant);
-int uppol2(int al1,int al2,int plt,int plt1,int plt2);
-int uppol1(int al1,int apl2,int plt,int plt1);
-int invqah(int ih,int deth);
-int logsch(int ih,int nbh);
-
-/* G722 C code */
-
-/* variables for transimit quadrature mirror filter here */
-int tqmf[24];
-
-/* QMF filter coefficients:
-scaled by a factor of 4 compared to G722 CCITT recomendation */
-int h[24] = {
- 12, -44, -44, 212, 48, -624, 128, 1448,
- -840, -3220, 3804, 15504, 15504, 3804, -3220, -840,
- 1448, 128, -624, 48, 212, -44, -44, 12
-};
-
-int xl,xh;
-
-/* variables for receive quadrature mirror filter here */
-int accumc[11],accumd[11];
-
-/* outputs of decode() */
-int xout1,xout2;
-
-int xs,xd;
-
-/* variables for encoder (hi and lo) here */
-
-int il,szl,spl,sl,el;
-
-int qq4_code4_table[16] = {
- 0, -20456, -12896, -8968, -6288, -4240, -2584, -1200,
- 20456, 12896, 8968, 6288, 4240, 2584, 1200, 0
-};
-
-int qq5_code5_table[32] = {
- -280, -280, -23352, -17560, -14120, -11664, -9752, -8184,
- -6864, -5712, -4696, -3784, -2960, -2208, -1520, -880,
- 23352, 17560, 14120, 11664, 9752, 8184, 6864, 5712,
- 4696, 3784, 2960, 2208, 1520, 880, 280, -280
-};
-
-int qq6_code6_table[64] = {
- -136, -136, -136, -136, -24808, -21904, -19008, -16704,
--14984, -13512, -12280, -11192, -10232, -9360, -8576, -7856,
- -7192, -6576, -6000, -5456, -4944, -4464, -4008, -3576,
- -3168, -2776, -2400, -2032, -1688, -1360, -1040, -728,
- 24808, 21904, 19008, 16704, 14984, 13512, 12280, 11192,
- 10232, 9360, 8576, 7856, 7192, 6576, 6000, 5456,
- 4944, 4464, 4008, 3576, 3168, 2776, 2400, 2032,
- 1688, 1360, 1040, 728, 432, 136, -432, -136
-};
-
-int delay_bpl[6];
-
-int delay_dltx[6];
-
-int wl_code_table[16] = {
- -60, 3042, 1198, 538, 334, 172, 58, -30,
- 3042, 1198, 538, 334, 172, 58, -30, -60
-};
-
-int wl_table[8] = {
- -60, -30, 58, 172, 334, 538, 1198, 3042
-};
-
-int ilb_table[32] = {
- 2048, 2093, 2139, 2186, 2233, 2282, 2332, 2383,
- 2435, 2489, 2543, 2599, 2656, 2714, 2774, 2834,
- 2896, 2960, 3025, 3091, 3158, 3228, 3298, 3371,
- 3444, 3520, 3597, 3676, 3756, 3838, 3922, 4008
-};
-
-int nbl; /* delay line */
-int al1,al2;
-int plt,plt1,plt2;
-int rs;
-int dlt;
-int rlt,rlt1,rlt2;
-
-/* decision levels - pre-multiplied by 8, 0 to indicate end */
-int decis_levl[30] = {
- 280, 576, 880, 1200, 1520, 1864, 2208, 2584,
- 2960, 3376, 3784, 4240, 4696, 5200, 5712, 6288,
- 6864, 7520, 8184, 8968, 9752, 10712, 11664, 12896,
- 14120, 15840, 17560, 20456, 23352, 32767
-};
-
-int detl;
-
-/* quantization table 31 long to make quantl look-up easier,
-last entry is for mil=30 case when wd is max */
-int quant26bt_pos[31] = {
- 61, 60, 59, 58, 57, 56, 55, 54,
- 53, 52, 51, 50, 49, 48, 47, 46,
- 45, 44, 43, 42, 41, 40, 39, 38,
- 37, 36, 35, 34, 33, 32, 32
-};
-
-/* quantization table 31 long to make quantl look-up easier,
-last entry is for mil=30 case when wd is max */
-int quant26bt_neg[31] = {
- 63, 62, 31, 30, 29, 28, 27, 26,
- 25, 24, 23, 22, 21, 20, 19, 18,
- 17, 16, 15, 14, 13, 12, 11, 10,
- 9, 8, 7, 6, 5, 4, 4
-};
-
-
-int deth;
-int sh; /* this comes from adaptive predictor */
-int eh;
-
-int qq2_code2_table[4] = {
- -7408, -1616, 7408, 1616
-};
-
-int wh_code_table[4] = {
- 798, -214, 798, -214
-};
-
-
-int dh,ih;
-int nbh,szh;
-int sph,ph,yh,rh;
-
-int delay_dhx[6];
-
-int delay_bph[6];
-
-int ah1,ah2;
-int ph1,ph2;
-int rh1,rh2;
-
-/* variables for decoder here */
-int ilr,yl,rl;
-int dec_deth,dec_detl,dec_dlt;
-
-int dec_del_bpl[6];
-
-int dec_del_dltx[6];
-
-int dec_plt,dec_plt1,dec_plt2;
-int dec_szl,dec_spl,dec_sl;
-int dec_rlt1,dec_rlt2,dec_rlt;
-int dec_al1,dec_al2;
-int dl;
-int dec_nbl,dec_yh,dec_dh,dec_nbh;
-
-/* variables used in filtez */
-int dec_del_bph[6];
-
-int dec_del_dhx[6];
-
-int dec_szh;
-/* variables used in filtep */
-int dec_rh1,dec_rh2;
-int dec_ah1,dec_ah2;
-int dec_ph,dec_sph;
-
-int dec_sh,dec_rh;
-
-int dec_ph1,dec_ph2;
-
-/* G722 encode function two ints in, one 8 bit output */
-
-/* put input samples in xin1 = first value, xin2 = second value */
-/* returns il and ih stored together */
-int abs(int x )
-{ int m ;
-
- if (x >= 0) {
- m = x;
- } else {
- m = - x;
- }
- return (m);
-}
-
-/*@ ensures sh == 0 || sh == -2; */
-int encode(int xin1,int xin2)
-{
- int i;
- int *h_ptr,*tqmf_ptr,*tqmf_ptr1;
- long int xa,xb;
- int decis;
-
-/* transmit quadrature mirror filters implemented here */
- h_ptr = h;
- tqmf_ptr = tqmf;
- xa = (long)(*tqmf_ptr++) * (*h_ptr++);
- xb = (long)(*tqmf_ptr++) * (*h_ptr++);
-/*@ loop unfold 11; */
-/* main multiply accumulate loop for samples and coefficients */
- for(i = 0 ; i < 10 ; i++) {
- xa += (long)(*tqmf_ptr++) * (*h_ptr++);
- xb += (long)(*tqmf_ptr++) * (*h_ptr++);
- }
-/* final mult/accumulate */
- xa += (long)(*tqmf_ptr++) * (*h_ptr++);
- xb += (long)(*tqmf_ptr) * (*h_ptr++);
-
-/* update delay line tqmf */
- tqmf_ptr1 = tqmf_ptr - 2;
-/*@ loop unfold 23; */
- for(i = 0 ; i < 22 ; i++) *tqmf_ptr-- = *tqmf_ptr1--;
- *tqmf_ptr-- = xin1;
- *tqmf_ptr = xin2;
-
-/* scale outputs */
- xl = (xa + xb) >> 15;
- xh = (xa - xb) >> 15;
-
-/* end of quadrature mirror filter code */
-
-/* starting with lower sub band encoder */
-
-/* filtez - compute predictor output section - zero section */
- szl = filtez(delay_bpl,delay_dltx);
-
-/* filtep - compute predictor output signal (pole section) */
- spl = filtep(rlt1,al1,rlt2,al2);
-
-/* compute the predictor output value in the lower sub_band encoder */
- sl = szl + spl;
- el = xl - sl;
-
-/* quantl: quantize the difference signal */
- il = quantl(el,detl); /* CONDITIONS: 30 x 4 possibilities */
-
-/* invqxl: computes quantized difference signal */
-/* for invqbl, truncate by 2 lsbs, so mode = 3 */
- dlt = ((long)detl*qq4_code4_table[il >> 2]) >> 15;
-
-/* logscl: updates logarithmic quant. scale factor in low sub band */
- nbl = logscl(il,nbl); /* CONDITIONS: 2 possibs */
-
-/* scalel: compute the quantizer scale factor in the lower sub band */
-/* calling parameters nbl and 8 (constant such that scalel can be scaleh) */
- detl = scalel(nbl,8);
-
-/* parrec - simple addition to compute recontructed signal for adaptive pred */
- plt = dlt + szl;
-
-/* upzero: update zero section predictor coefficients (sixth order)*/
-/* calling parameters: dlt, dlt1, dlt2, ..., dlt6 from dlt */
-/* bpli (linear_buffer in which all six values are delayed */
-/* return params: updated bpli, delayed dltx */
- upzero(dlt,delay_dltx,delay_bpl); /* CONDITIONS: 2exp6 possibs */
-
-/* uppol2- update second predictor coefficient apl2 and delay it as al2 */
-/* calling parameters: al1, al2, plt, plt1, plt2 */
- al2 = uppol2(al1,al2,plt,plt1,plt2); /* CONDITION: 2 possibs */
-
-/* uppol1 :update first predictor coefficient apl1 and delay it as al1 */
-/* calling parameters: al1, apl2, plt, plt1 */
- al1 = uppol1(al1,al2,plt,plt1); /* CONDITIONS: 8 possibs */
-
-/* recons : compute recontructed signal for adaptive predictor */
- rlt = sl + dlt;
-
-/* done with lower sub_band encoder; now implement delays for next time*/
- rlt2 = rlt1;
- rlt1 = rlt;
- plt2 = plt1;
- plt1 = plt;
-
-/* high band encode */
-
- szh = filtez(delay_bph,delay_dhx);
-
- sph = filtep(rh1,ah1,rh2,ah2);
-
-/* predic: sh = sph + szh */
- sh = sph + szh;
-/* subtra: eh = xh - sh */
- eh = xh - sh;
-
-/* quanth - quantization of difference signal for higher sub-band */
-/* quanth: in-place for speed params: eh, deth (has init. value) */
- if(eh >= 0) { /* CONDITION */
- ih = 3; /* 2,3 are pos codes */
- }
- else {
- ih = 1; /* 0,1 are neg codes */
- }
- decis = (564L*(long)deth) >> 12L;
- if(abs(eh) > decis) ih--; /* mih = 2 case */ /* CONDITIONS: 2 possibs */
-
-/* invqah: compute the quantized difference signal, higher sub-band*/
- dh = ((long)deth*qq2_code2_table[ih]) >> 15L ;
-
-/* logsch: update logarithmic quantizer scale factor in hi sub-band*/
- nbh = logsch(ih,nbh);
-
-/* note : scalel and scaleh use same code, different parameters */
- deth = scalel(nbh,10);
-
-/* parrec - add pole predictor output to quantized diff. signal */
- ph = dh + szh;
-
-/* upzero: update zero section predictor coefficients (sixth order) */
-/* calling parameters: dh, dhi, bphi */
-/* return params: updated bphi, delayed dhx */
- upzero(dh,delay_dhx,delay_bph); /* CONDITIONS: 2exp6 possibs */
-
-/* uppol2: update second predictor coef aph2 and delay as ah2 */
-/* calling params: ah1, ah2, ph, ph1, ph2 */
- ah2 = uppol2(ah1,ah2,ph,ph1,ph2); /* CONDITION: 2 possibs */
-
-/* uppol1: update first predictor coef. aph2 and delay it as ah1 */
- ah1 = uppol1(ah1,ah2,ph,ph1); /* CONDITIONS: 8 possibs */
-
-/* recons for higher sub-band */
- yh = sh + dh;
-
-/* done with higher sub-band encoder, now Delay for next time */
- rh2 = rh1;
- rh1 = yh;
- ph2 = ph1;
- ph1 = ph;
-
-/* multiplex ih and il to get signals together */
- return(il | (ih << 6));
-}
-
-/* filtez - compute predictor output signal (zero section) */
-/* input: bpl1-6 and dlt1-6, output: szl */
-
-int filtez(int *bpl,int *dlt)
-{
- int i;
- long int zl;
- zl = (long)(*bpl++) * (*dlt++);
-/*@ loop unfold 7; */
- for(i = 1 ; i < 6 ; i++)
- zl += (long)(*bpl++) * (*dlt++);
-
- return((int)(zl >> 14)); /* x2 here */
-}
-
-/* filtep - compute predictor output signal (pole section) */
-/* input rlt1-2 and al1-2, output spl */
-
-int filtep(int rlt1,int al1,int rlt2,int al2)
-{
- long int pl,pl2;
- pl = 2*rlt1;
- pl = (long)al1*pl;
- pl2 = 2*rlt2;
- pl += (long)al2*pl2;
- return((int)(pl >> 15));
-}
-
-/* quantl - quantize the difference signal in the lower sub-band */
-int quantl(int el,int detl)
-{
- int ril,mil;
- long int wd,decis;
-
-/* abs of difference signal */
- wd = abs(el);
-/* determine mil based on decision levels and detl gain */
-/* for(mil = 0 ; mil < 30 ; mil++) {
- decis = (decis_levl[mil]*(long)detl) >> 15L;
- if(wd <= decis) break;
- }*/
- mil = 0;
- decis = (decis_levl[mil]*(long)detl) >> 15L;
-/*@ loop unfold 30; */
- while(wd <= decis && mil < 29) { /* FOR/BREAK 662 : 30 possibilities */
- mil++;
- decis = (decis_levl[mil]*(long)detl) >> 15L;
- }
-/* if mil=30 then wd is less than all decision levels */
- if(el >= 0) ril = quant26bt_pos[mil]; /* CONDITION 665 */
- else ril = quant26bt_neg[mil];
- return(ril);
-}
-
-/* invqxl is either invqbl or invqal depending on parameters passed */
-/* returns dlt, code table is pre-multiplied by 8 */
-
-int invqxl(int il,int detl,int *code_table,int mode)
-{
- long int dlt;
- dlt = (long)detl*code_table[il >> (mode-1)];
- return((int)(dlt >> 15));
-}
-
-/* logscl - update log quantizer scale factor in lower sub-band */
-/* note that nbl is passed and returned */
-
-int logscl(int il,int nbl)
-{
- long int wd;
- wd = ((long)nbl * 127L) >> 7L; /* leak factor 127/128 */
- nbl = (int)wd + wl_code_table[il >> 2];
- if(nbl < 0) nbl = 0; /* CONDITION */
- if(nbl > 18432) nbl = 18432; /* CONDITION */
- return(nbl);
-}
-
-/* scalel: compute quantizer scale factor in lower or upper sub-band*/
-
-int scalel(int nbl,int shift_constant)
-{
- int wd1,wd2,wd3;
- wd1 = (nbl >> 6) & 31;
- wd2 = nbl >> 11;
- wd3 = ilb_table[wd1] >> (shift_constant + 1 - wd2);
- return(wd3 << 3);
-}
-
-/* upzero - inputs: dlt, dlti[0-5], bli[0-5], outputs: updated bli[0-5] */
-/* also implements delay of bli and update of dlti from dlt */
-
-void upzero(int dlt,int *dlti,int *bli)
-{
- int i,wd2,wd3;
-/*if dlt is zero, then no sum into bli */
- if(dlt == 0) { /* CONDITION 711 */
-/*@ loop unfold 7; */
- for(i = 0 ; i < 6 ; i++) {
- bli[i] = (int)((255L*bli[i]) >> 8L); /* leak factor of 255/256 */
- }
- }
- else {
-/*@ loop unfold 7; */
- for(i = 0 ; i < 6 ; i++) {
- if((long)dlt*dlti[i] >= 0) wd2 = 128; else wd2 = -128; /* CONDITION 718 : 2exp6 possibs */
- wd3 = (int)((255L*bli[i]) >> 8L); /* leak factor of 255/256 */
- bli[i] = wd2 + wd3;
- }
- }
-/* implement delay line for dlt */
- dlti[5] = dlti[4];
- dlti[4] = dlti[3];
- dlti[3] = dlti[2];
- dlti[1] = dlti[0];
- dlti[0] = dlt;
-}
-
-/* uppol2 - update second predictor coefficient (pole section) */
-/* inputs: al1, al2, plt, plt1, plt2. outputs: apl2 */
-
-int uppol2(int al1,int al2,int plt,int plt1,int plt2)
-{
- long int wd2,wd4;
- int apl2;
- wd2 = 4L*(long)al1;
- if((long)plt*plt1 >= 0L) wd2 = -wd2; /* check same sign */ /* CONDITION */
- wd2 = wd2 >> 7; /* gain of 1/128 */
- if((long)plt*plt2 >= 0L) { /* CONDITION */
- wd4 = wd2 + 128; /* same sign case */
- }
- else {
- wd4 = wd2 - 128;
- }
- apl2 = wd4 + (127L*(long)al2 >> 7L); /* leak factor of 127/128 */
-
-/* apl2 is limited to +-.75 */
- if(apl2 > 12288) apl2 = 12288; /* CONDITION */
- if(apl2 < -12288) apl2 = -12288; /* CONDITION */
- return(apl2);
-}
-
-/* uppol1 - update first predictor coefficient (pole section) */
-/* inputs: al1, apl2, plt, plt1. outputs: apl1 */
-
-int uppol1(int al1,int apl2,int plt,int plt1)
-{
- long int wd2;
- int wd3,apl1;
- wd2 = ((long)al1*255L) >> 8L; /* leak factor of 255/256 */
- if((long)plt*plt1 >= 0L) { /* CONDITION */
- apl1 = (int)wd2 + 192; /* same sign case */
- }
- else {
- apl1 = (int)wd2 - 192;
- }
-/* note: wd3= .9375-.75 is always positive */
- wd3 = 15360 - apl2; /* limit value */
- if(apl1 > wd3) apl1 = wd3; /* CONDITION */
- if(apl1 < -wd3) apl1 = -wd3; /* CONDITION */
- return(apl1);
-}
-
-/* INVQAH: inverse adaptive quantizer for the higher sub-band */
-/* returns dh, code table is pre-multiplied by 8 */
-
-int invqah(int ih,int deth)
-{
- long int rdh;
- rdh = ((long)deth*qq2_code2_table[ih]) >> 15L ;
- return((int)(rdh ));
-}
-
-/* logsch - update log quantizer scale factor in higher sub-band */
-/* note that nbh is passed and returned */
-
-int logsch(int ih,int nbh)
-{
- int wd;
- wd = ((long)nbh * 127L) >> 7L; /* leak factor 127/128 */
- nbh = wd + wh_code_table[ih];
- if(nbh < 0) nbh = 0; /* CONDITION */
- if(nbh > 22528) nbh = 22528; /* CONDITION */
- return(nbh);
-}
-
-
-/* PATHCRAWLER #define SIZE 2000
- #define IN_END 2000 */
-
-/* PATHCRAWLER #define PI 3.14159265358979323846 */
-
-/* PATHCRAWLER void main() */
-int test_data[10]={1,0,1,0,1,1,1,1,1,1};
-int compressed[10]={0};
-void main () //(int test_data[10], int compressed[10])
-{
- int i;
- /*@ loop unfold 11; loop widen_hints "all", 32767; */ /* Better bounds: loop invariant detl <= 32064; loop invariant nbh <= 22528; loop invariant nbl <= 18432; */
- for(i = 0 ; i < 10 ; i += 2)
- compressed[i/2] = encode(test_data[i],test_data[i+1]);
-
-}
diff --git a/tests/test/oracle/adpcm.res.oracle b/tests/test/oracle/adpcm.res.oracle
deleted file mode 100644
index 7aff5b9c985a6cf322b88737f9b19592e2828b21..0000000000000000000000000000000000000000
--- a/tests/test/oracle/adpcm.res.oracle
+++ /dev/null
@@ -1,1770 +0,0 @@
-[kernel] Parsing adpcm.c (with preprocessing)
-[eva] Analyzing a complete application starting at main
-[eva] Computing initial state
-[eva] Initial state computed
-[eva:initial-state] Values of globals at initialization
- tqmf[0..23] ∈ {0}
- h[0] ∈ {12}
- [1..2] ∈ {-44}
- [3] ∈ {212}
- [4] ∈ {48}
- [5] ∈ {-624}
- [6] ∈ {128}
- [7] ∈ {1448}
- [8] ∈ {-840}
- [9] ∈ {-3220}
- [10] ∈ {3804}
- [11..12] ∈ {15504}
- [13] ∈ {3804}
- [14] ∈ {-3220}
- [15] ∈ {-840}
- [16] ∈ {1448}
- [17] ∈ {128}
- [18] ∈ {-624}
- [19] ∈ {48}
- [20] ∈ {212}
- [21..22] ∈ {-44}
- [23] ∈ {12}
- xl ∈ {0}
- xh ∈ {0}
- accumc[0..10] ∈ {0}
- accumd[0..10] ∈ {0}
- xout1 ∈ {0}
- xout2 ∈ {0}
- xs ∈ {0}
- xd ∈ {0}
- il ∈ {0}
- szl ∈ {0}
- spl ∈ {0}
- sl ∈ {0}
- el ∈ {0}
- qq4_code4_table[0] ∈ {0}
- [1] ∈ {-20456}
- [2] ∈ {-12896}
- [3] ∈ {-8968}
- [4] ∈ {-6288}
- [5] ∈ {-4240}
- [6] ∈ {-2584}
- [7] ∈ {-1200}
- [8] ∈ {20456}
- [9] ∈ {12896}
- [10] ∈ {8968}
- [11] ∈ {6288}
- [12] ∈ {4240}
- [13] ∈ {2584}
- [14] ∈ {1200}
- [15] ∈ {0}
- qq5_code5_table[0..1] ∈ {-280}
- [2] ∈ {-23352}
- [3] ∈ {-17560}
- [4] ∈ {-14120}
- [5] ∈ {-11664}
- [6] ∈ {-9752}
- [7] ∈ {-8184}
- [8] ∈ {-6864}
- [9] ∈ {-5712}
- [10] ∈ {-4696}
- [11] ∈ {-3784}
- [12] ∈ {-2960}
- [13] ∈ {-2208}
- [14] ∈ {-1520}
- [15] ∈ {-880}
- [16] ∈ {23352}
- [17] ∈ {17560}
- [18] ∈ {14120}
- [19] ∈ {11664}
- [20] ∈ {9752}
- [21] ∈ {8184}
- [22] ∈ {6864}
- [23] ∈ {5712}
- [24] ∈ {4696}
- [25] ∈ {3784}
- [26] ∈ {2960}
- [27] ∈ {2208}
- [28] ∈ {1520}
- [29] ∈ {880}
- [30] ∈ {280}
- [31] ∈ {-280}
- qq6_code6_table[0..3] ∈ {-136}
- [4] ∈ {-24808}
- [5] ∈ {-21904}
- [6] ∈ {-19008}
- [7] ∈ {-16704}
- [8] ∈ {-14984}
- [9] ∈ {-13512}
- [10] ∈ {-12280}
- [11] ∈ {-11192}
- [12] ∈ {-10232}
- [13] ∈ {-9360}
- [14] ∈ {-8576}
- [15] ∈ {-7856}
- [16] ∈ {-7192}
- [17] ∈ {-6576}
- [18] ∈ {-6000}
- [19] ∈ {-5456}
- [20] ∈ {-4944}
- [21] ∈ {-4464}
- [22] ∈ {-4008}
- [23] ∈ {-3576}
- [24] ∈ {-3168}
- [25] ∈ {-2776}
- [26] ∈ {-2400}
- [27] ∈ {-2032}
- [28] ∈ {-1688}
- [29] ∈ {-1360}
- [30] ∈ {-1040}
- [31] ∈ {-728}
- [32] ∈ {24808}
- [33] ∈ {21904}
- [34] ∈ {19008}
- [35] ∈ {16704}
- [36] ∈ {14984}
- [37] ∈ {13512}
- [38] ∈ {12280}
- [39] ∈ {11192}
- [40] ∈ {10232}
- [41] ∈ {9360}
- [42] ∈ {8576}
- [43] ∈ {7856}
- [44] ∈ {7192}
- [45] ∈ {6576}
- [46] ∈ {6000}
- [47] ∈ {5456}
- [48] ∈ {4944}
- [49] ∈ {4464}
- [50] ∈ {4008}
- [51] ∈ {3576}
- [52] ∈ {3168}
- [53] ∈ {2776}
- [54] ∈ {2400}
- [55] ∈ {2032}
- [56] ∈ {1688}
- [57] ∈ {1360}
- [58] ∈ {1040}
- [59] ∈ {728}
- [60] ∈ {432}
- [61] ∈ {136}
- [62] ∈ {-432}
- [63] ∈ {-136}
- delay_bpl[0..5] ∈ {0}
- delay_dltx[0..5] ∈ {0}
- wl_code_table[0] ∈ {-60}
- [1] ∈ {3042}
- [2] ∈ {1198}
- [3] ∈ {538}
- [4] ∈ {334}
- [5] ∈ {172}
- [6] ∈ {58}
- [7] ∈ {-30}
- [8] ∈ {3042}
- [9] ∈ {1198}
- [10] ∈ {538}
- [11] ∈ {334}
- [12] ∈ {172}
- [13] ∈ {58}
- [14] ∈ {-30}
- [15] ∈ {-60}
- wl_table[0] ∈ {-60}
- [1] ∈ {-30}
- [2] ∈ {58}
- [3] ∈ {172}
- [4] ∈ {334}
- [5] ∈ {538}
- [6] ∈ {1198}
- [7] ∈ {3042}
- ilb_table[0] ∈ {2048}
- [1] ∈ {2093}
- [2] ∈ {2139}
- [3] ∈ {2186}
- [4] ∈ {2233}
- [5] ∈ {2282}
- [6] ∈ {2332}
- [7] ∈ {2383}
- [8] ∈ {2435}
- [9] ∈ {2489}
- [10] ∈ {2543}
- [11] ∈ {2599}
- [12] ∈ {2656}
- [13] ∈ {2714}
- [14] ∈ {2774}
- [15] ∈ {2834}
- [16] ∈ {2896}
- [17] ∈ {2960}
- [18] ∈ {3025}
- [19] ∈ {3091}
- [20] ∈ {3158}
- [21] ∈ {3228}
- [22] ∈ {3298}
- [23] ∈ {3371}
- [24] ∈ {3444}
- [25] ∈ {3520}
- [26] ∈ {3597}
- [27] ∈ {3676}
- [28] ∈ {3756}
- [29] ∈ {3838}
- [30] ∈ {3922}
- [31] ∈ {4008}
- nbl ∈ {0}
- al1 ∈ {0}
- al2 ∈ {0}
- plt ∈ {0}
- plt1 ∈ {0}
- plt2 ∈ {0}
- rs ∈ {0}
- dlt ∈ {0}
- rlt ∈ {0}
- rlt1 ∈ {0}
- rlt2 ∈ {0}
- decis_levl[0] ∈ {280}
- [1] ∈ {576}
- [2] ∈ {880}
- [3] ∈ {1200}
- [4] ∈ {1520}
- [5] ∈ {1864}
- [6] ∈ {2208}
- [7] ∈ {2584}
- [8] ∈ {2960}
- [9] ∈ {3376}
- [10] ∈ {3784}
- [11] ∈ {4240}
- [12] ∈ {4696}
- [13] ∈ {5200}
- [14] ∈ {5712}
- [15] ∈ {6288}
- [16] ∈ {6864}
- [17] ∈ {7520}
- [18] ∈ {8184}
- [19] ∈ {8968}
- [20] ∈ {9752}
- [21] ∈ {10712}
- [22] ∈ {11664}
- [23] ∈ {12896}
- [24] ∈ {14120}
- [25] ∈ {15840}
- [26] ∈ {17560}
- [27] ∈ {20456}
- [28] ∈ {23352}
- [29] ∈ {32767}
- detl ∈ {0}
- quant26bt_pos[0] ∈ {61}
- [1] ∈ {60}
- [2] ∈ {59}
- [3] ∈ {58}
- [4] ∈ {57}
- [5] ∈ {56}
- [6] ∈ {55}
- [7] ∈ {54}
- [8] ∈ {53}
- [9] ∈ {52}
- [10] ∈ {51}
- [11] ∈ {50}
- [12] ∈ {49}
- [13] ∈ {48}
- [14] ∈ {47}
- [15] ∈ {46}
- [16] ∈ {45}
- [17] ∈ {44}
- [18] ∈ {43}
- [19] ∈ {42}
- [20] ∈ {41}
- [21] ∈ {40}
- [22] ∈ {39}
- [23] ∈ {38}
- [24] ∈ {37}
- [25] ∈ {36}
- [26] ∈ {35}
- [27] ∈ {34}
- [28] ∈ {33}
- [29..30] ∈ {32}
- quant26bt_neg[0] ∈ {63}
- [1] ∈ {62}
- [2] ∈ {31}
- [3] ∈ {30}
- [4] ∈ {29}
- [5] ∈ {28}
- [6] ∈ {27}
- [7] ∈ {26}
- [8] ∈ {25}
- [9] ∈ {24}
- [10] ∈ {23}
- [11] ∈ {22}
- [12] ∈ {21}
- [13] ∈ {20}
- [14] ∈ {19}
- [15] ∈ {18}
- [16] ∈ {17}
- [17] ∈ {16}
- [18] ∈ {15}
- [19] ∈ {14}
- [20] ∈ {13}
- [21] ∈ {12}
- [22] ∈ {11}
- [23] ∈ {10}
- [24] ∈ {9}
- [25] ∈ {8}
- [26] ∈ {7}
- [27] ∈ {6}
- [28] ∈ {5}
- [29..30] ∈ {4}
- deth ∈ {0}
- sh ∈ {0}
- eh ∈ {0}
- qq2_code2_table[0] ∈ {-7408}
- [1] ∈ {-1616}
- [2] ∈ {7408}
- [3] ∈ {1616}
- wh_code_table[0] ∈ {798}
- [1] ∈ {-214}
- [2] ∈ {798}
- [3] ∈ {-214}
- dh ∈ {0}
- ih ∈ {0}
- nbh ∈ {0}
- szh ∈ {0}
- sph ∈ {0}
- ph ∈ {0}
- yh ∈ {0}
- rh ∈ {0}
- delay_dhx[0..5] ∈ {0}
- delay_bph[0..5] ∈ {0}
- ah1 ∈ {0}
- ah2 ∈ {0}
- ph1 ∈ {0}
- ph2 ∈ {0}
- rh1 ∈ {0}
- rh2 ∈ {0}
- ilr ∈ {0}
- yl ∈ {0}
- rl ∈ {0}
- dec_deth ∈ {0}
- dec_detl ∈ {0}
- dec_dlt ∈ {0}
- dec_del_bpl[0..5] ∈ {0}
- dec_del_dltx[0..5] ∈ {0}
- dec_plt ∈ {0}
- dec_plt1 ∈ {0}
- dec_plt2 ∈ {0}
- dec_szl ∈ {0}
- dec_spl ∈ {0}
- dec_sl ∈ {0}
- dec_rlt1 ∈ {0}
- dec_rlt2 ∈ {0}
- dec_rlt ∈ {0}
- dec_al1 ∈ {0}
- dec_al2 ∈ {0}
- dl ∈ {0}
- dec_nbl ∈ {0}
- dec_yh ∈ {0}
- dec_dh ∈ {0}
- dec_nbh ∈ {0}
- dec_del_bph[0..5] ∈ {0}
- dec_del_dhx[0..5] ∈ {0}
- dec_szh ∈ {0}
- dec_rh1 ∈ {0}
- dec_rh2 ∈ {0}
- dec_ah1 ∈ {0}
- dec_ah2 ∈ {0}
- dec_ph ∈ {0}
- dec_sph ∈ {0}
- dec_sh ∈ {0}
- dec_rh ∈ {0}
- dec_ph1 ∈ {0}
- dec_ph2 ∈ {0}
- test_data[0] ∈ {1}
- [1] ∈ {0}
- [2] ∈ {1}
- [3] ∈ {0}
- [4..9] ∈ {1}
- compressed[0..9] ∈ {0}
-[eva] computing for function encode <- main.
- Called from adpcm.c:608.
-[eva] computing for function filtez <- encode <- main.
- Called from adpcm.c:301.
-[eva] Recording results for filtez
-[eva] Done for function filtez
-[eva] computing for function filtep <- encode <- main.
- Called from adpcm.c:304.
-[eva] Recording results for filtep
-[eva] Done for function filtep
-[eva] computing for function quantl <- encode <- main.
- Called from adpcm.c:311.
-[eva] computing for function abs <- quantl <- encode <- main.
- Called from adpcm.c:444.
-[eva] Recording results for abs
-[eva] Done for function abs
-[eva] Recording results for quantl
-[eva] Done for function quantl
-[eva] computing for function logscl <- encode <- main.
- Called from adpcm.c:318.
-[eva] Recording results for logscl
-[eva] Done for function logscl
-[eva] computing for function scalel <- encode <- main.
- Called from adpcm.c:322.
-[eva] Recording results for scalel
-[eva] Done for function scalel
-[eva] computing for function upzero <- encode <- main.
- Called from adpcm.c:331.
-[eva] Recording results for upzero
-[eva] Done for function upzero
-[eva] computing for function uppol2 <- encode <- main.
- Called from adpcm.c:335.
-[eva] Recording results for uppol2
-[eva] Done for function uppol2
-[eva] computing for function uppol1 <- encode <- main.
- Called from adpcm.c:339.
-[eva] Recording results for uppol1
-[eva] Done for function uppol1
-[eva] computing for function filtez <- encode <- main.
- Called from adpcm.c:352.
-[eva] Recording results for filtez
-[eva] Done for function filtez
-[eva] adpcm.c:354: Reusing old results for call to filtep
-[eva] adpcm.c:370: Reusing old results for call to abs
-[eva] computing for function logsch <- encode <- main.
- Called from adpcm.c:376.
-[eva] Recording results for logsch
-[eva] Done for function logsch
-[eva] computing for function scalel <- encode <- main.
- Called from adpcm.c:379.
-[eva] Recording results for scalel
-[eva] Done for function scalel
-[eva] computing for function upzero <- encode <- main.
- Called from adpcm.c:387.
-[eva] Recording results for upzero
-[eva] Done for function upzero
-[eva] adpcm.c:391: Reusing old results for call to uppol2
-[eva] adpcm.c:394: Reusing old results for call to uppol1
-[eva] adpcm.c:262: function encode: postcondition got status valid.
-[eva] Recording results for encode
-[eva] Done for function encode
-[eva] computing for function encode <- main.
- Called from adpcm.c:608.
-[eva] adpcm.c:301: Reusing old results for call to filtez
-[eva] computing for function filtep <- encode <- main.
- Called from adpcm.c:304.
-[eva] Recording results for filtep
-[eva] Done for function filtep
-[eva] computing for function quantl <- encode <- main.
- Called from adpcm.c:311.
-[eva] computing for function abs <- quantl <- encode <- main.
- Called from adpcm.c:444.
-[eva] Recording results for abs
-[eva] Done for function abs
-[eva] Recording results for quantl
-[eva] Done for function quantl
-[eva] computing for function logscl <- encode <- main.
- Called from adpcm.c:318.
-[eva] Recording results for logscl
-[eva] Done for function logscl
-[eva] computing for function scalel <- encode <- main.
- Called from adpcm.c:322.
-[eva] Recording results for scalel
-[eva] Done for function scalel
-[eva] adpcm.c:331: Reusing old results for call to upzero
-[eva] computing for function uppol2 <- encode <- main.
- Called from adpcm.c:335.
-[eva] Recording results for uppol2
-[eva] Done for function uppol2
-[eva] computing for function uppol1 <- encode <- main.
- Called from adpcm.c:339.
-[eva] Recording results for uppol1
-[eva] Done for function uppol1
-[eva] adpcm.c:352: Reusing old results for call to filtez
-[eva] adpcm.c:354: Reusing old results for call to filtep
-[eva] adpcm.c:370: Reusing old results for call to abs
-[eva] adpcm.c:376: Reusing old results for call to logsch
-[eva] adpcm.c:379: Reusing old results for call to scalel
-[eva] adpcm.c:387: Reusing old results for call to upzero
-[eva] adpcm.c:391: Reusing old results for call to uppol2
-[eva] adpcm.c:394: Reusing old results for call to uppol1
-[eva] Recording results for encode
-[eva] Done for function encode
-[eva] computing for function encode <- main.
- Called from adpcm.c:608.
-[eva] adpcm.c:301: Reusing old results for call to filtez
-[eva] computing for function filtep <- encode <- main.
- Called from adpcm.c:304.
-[eva] Recording results for filtep
-[eva] Done for function filtep
-[eva] computing for function quantl <- encode <- main.
- Called from adpcm.c:311.
-[eva] adpcm.c:444: Reusing old results for call to abs
-[eva] Recording results for quantl
-[eva] Done for function quantl
-[eva] computing for function logscl <- encode <- main.
- Called from adpcm.c:318.
-[eva] Recording results for logscl
-[eva] Done for function logscl
-[eva] computing for function scalel <- encode <- main.
- Called from adpcm.c:322.
-[eva] Recording results for scalel
-[eva] Done for function scalel
-[eva] computing for function upzero <- encode <- main.
- Called from adpcm.c:331.
-[eva] Recording results for upzero
-[eva] Done for function upzero
-[eva] computing for function uppol2 <- encode <- main.
- Called from adpcm.c:335.
-[eva] Recording results for uppol2
-[eva] Done for function uppol2
-[eva] computing for function uppol1 <- encode <- main.
- Called from adpcm.c:339.
-[eva] Recording results for uppol1
-[eva] Done for function uppol1
-[eva] adpcm.c:352: Reusing old results for call to filtez
-[eva] adpcm.c:354: Reusing old results for call to filtep
-[eva] adpcm.c:370: Reusing old results for call to abs
-[eva] computing for function logsch <- encode <- main.
- Called from adpcm.c:376.
-[eva] Recording results for logsch
-[eva] Done for function logsch
-[eva] adpcm.c:379: Reusing old results for call to scalel
-[eva] computing for function upzero <- encode <- main.
- Called from adpcm.c:387.
-[eva] Recording results for upzero
-[eva] Done for function upzero
-[eva] computing for function uppol2 <- encode <- main.
- Called from adpcm.c:391.
-[eva] Recording results for uppol2
-[eva] Done for function uppol2
-[eva] computing for function uppol1 <- encode <- main.
- Called from adpcm.c:394.
-[eva] Recording results for uppol1
-[eva] Done for function uppol1
-[eva] Recording results for encode
-[eva] Done for function encode
-[eva] computing for function encode <- main.
- Called from adpcm.c:608.
-[eva] computing for function filtez <- encode <- main.
- Called from adpcm.c:301.
-[eva] Recording results for filtez
-[eva] Done for function filtez
-[eva] computing for function filtep <- encode <- main.
- Called from adpcm.c:304.
-[eva] Recording results for filtep
-[eva] Done for function filtep
-[eva] computing for function quantl <- encode <- main.
- Called from adpcm.c:311.
-[eva] computing for function abs <- quantl <- encode <- main.
- Called from adpcm.c:444.
-[eva] Recording results for abs
-[eva] Done for function abs
-[eva] Recording results for quantl
-[eva] Done for function quantl
-[eva] computing for function logscl <- encode <- main.
- Called from adpcm.c:318.
-[eva] Recording results for logscl
-[eva] Done for function logscl
-[eva] computing for function scalel <- encode <- main.
- Called from adpcm.c:322.
-[eva] Recording results for scalel
-[eva] Done for function scalel
-[eva] computing for function upzero <- encode <- main.
- Called from adpcm.c:331.
-[eva] Recording results for upzero
-[eva] Done for function upzero
-[eva] computing for function uppol2 <- encode <- main.
- Called from adpcm.c:335.
-[eva] Recording results for uppol2
-[eva] Done for function uppol2
-[eva] computing for function uppol1 <- encode <- main.
- Called from adpcm.c:339.
-[eva] Recording results for uppol1
-[eva] Done for function uppol1
-[eva] computing for function filtez <- encode <- main.
- Called from adpcm.c:352.
-[eva] Recording results for filtez
-[eva] Done for function filtez
-[eva] computing for function filtep <- encode <- main.
- Called from adpcm.c:354.
-[eva] Recording results for filtep
-[eva] Done for function filtep
-[eva] computing for function abs <- encode <- main.
- Called from adpcm.c:370.
-[eva] Recording results for abs
-[eva] Done for function abs
-[eva] computing for function logsch <- encode <- main.
- Called from adpcm.c:376.
-[eva] Recording results for logsch
-[eva] Done for function logsch
-[eva] computing for function scalel <- encode <- main.
- Called from adpcm.c:379.
-[eva] Recording results for scalel
-[eva] Done for function scalel
-[eva] computing for function upzero <- encode <- main.
- Called from adpcm.c:387.
-[eva] Recording results for upzero
-[eva] Done for function upzero
-[eva] computing for function uppol2 <- encode <- main.
- Called from adpcm.c:391.
-[eva] Recording results for uppol2
-[eva] Done for function uppol2
-[eva] computing for function uppol1 <- encode <- main.
- Called from adpcm.c:394.
-[eva] Recording results for uppol1
-[eva] Done for function uppol1
-[eva] Recording results for encode
-[eva] Done for function encode
-[eva] computing for function encode <- main.
- Called from adpcm.c:608.
-[eva] computing for function filtez <- encode <- main.
- Called from adpcm.c:301.
-[eva] Recording results for filtez
-[eva] Done for function filtez
-[eva] computing for function filtep <- encode <- main.
- Called from adpcm.c:304.
-[eva] Recording results for filtep
-[eva] Done for function filtep
-[eva] computing for function quantl <- encode <- main.
- Called from adpcm.c:311.
-[eva] adpcm.c:444: Reusing old results for call to abs
-[eva] Recording results for quantl
-[eva] Done for function quantl
-[eva] computing for function logscl <- encode <- main.
- Called from adpcm.c:318.
-[eva] Recording results for logscl
-[eva] Done for function logscl
-[eva] computing for function scalel <- encode <- main.
- Called from adpcm.c:322.
-[eva] Recording results for scalel
-[eva] Done for function scalel
-[eva] computing for function upzero <- encode <- main.
- Called from adpcm.c:331.
-[eva] Recording results for upzero
-[eva] Done for function upzero
-[eva] computing for function uppol2 <- encode <- main.
- Called from adpcm.c:335.
-[eva] Recording results for uppol2
-[eva] Done for function uppol2
-[eva] computing for function uppol1 <- encode <- main.
- Called from adpcm.c:339.
-[eva] Recording results for uppol1
-[eva] Done for function uppol1
-[eva] computing for function filtez <- encode <- main.
- Called from adpcm.c:352.
-[eva] Recording results for filtez
-[eva] Done for function filtez
-[eva] computing for function filtep <- encode <- main.
- Called from adpcm.c:354.
-[eva] Recording results for filtep
-[eva] Done for function filtep
-[eva] computing for function abs <- encode <- main.
- Called from adpcm.c:370.
-[eva] Recording results for abs
-[eva] Done for function abs
-[eva] computing for function logsch <- encode <- main.
- Called from adpcm.c:376.
-[eva] Recording results for logsch
-[eva] Done for function logsch
-[eva] computing for function scalel <- encode <- main.
- Called from adpcm.c:379.
-[eva] Recording results for scalel
-[eva] Done for function scalel
-[eva] computing for function upzero <- encode <- main.
- Called from adpcm.c:387.
-[eva] Recording results for upzero
-[eva] Done for function upzero
-[eva] computing for function uppol2 <- encode <- main.
- Called from adpcm.c:391.
-[eva] Recording results for uppol2
-[eva] Done for function uppol2
-[eva] computing for function uppol1 <- encode <- main.
- Called from adpcm.c:394.
-[eva] Recording results for uppol1
-[eva] Done for function uppol1
-[eva] Recording results for encode
-[eva] Done for function encode
-[eva] Recording results for main
-[eva] Done for function main
-[eva] ====== VALUES COMPUTED ======
-[eva:final-states] Values at end of function abs:
- m ∈ {0; 1; 2}
-[eva:final-states] Values at end of function filtep:
- pl ∈ {-2464; -1146; 0; 47584; 56154}
- pl2 ∈ {-2; 0; 98}
- __retres ∈ {-1; 0; 1}
-[eva:final-states] Values at end of function filtez:
- bpl ∈ {{ &delay_bpl[6] ; &delay_bph[6] }}
- dlt_0 ∈ {{ &delay_dltx[6] ; &delay_dhx[6] }}
- i ∈ {6}
- zl ∈ {-256; -128; 0; 6223; 6272}
- __retres ∈ {-1; 0}
-[eva:final-states] Values at end of function logsch:
- nbh_0 ∈ {0; 577; 798}
- wd ∈ {0; 791}
-[eva:final-states] Values at end of function logscl:
- nbl_0 ∈ {2958; 3042; 5869; 5976; 8865}
- wd ∈ {0; 2934; 3018; 5823; 5929}
-[eva:final-states] Values at end of function quantl:
- ril ∈ {4; 32; 63}
- mil ∈ {0; 29}
- wd ∈ {0; 1; 2}
- decis ∈ {0; 1; 79; 223}
-[eva:final-states] Values at end of function scalel:
- wd1 ∈ {0; 9; 10; 12; 14; 15; 27; 29}
- wd2 ∈ {0; 1; 2; 4}
- wd3 ∈ {1; 10; 11; 28; 29; 79}
- __retres ∈ {8; 80; 88; 224; 232; 632}
-[eva:final-states] Values at end of function uppol1:
- wd2 ∈ {0; 191; 381; 570; 759}
- wd3 ∈ {14790; 14890; 14997; 15046; 15111; 15232}
- apl1 ∈ {192; 383; 573; 762; 951}
-[eva:final-states] Values at end of function uppol2:
- wd2 ∈ {-24; -18; -12; -6; 0}
- wd4 ∈ {-152; 104; 110; 116; 122; 128}
- apl2 ∈ {128; 249; 314; 363; 470; 570}
-[eva:final-states] Values at end of function upzero:
- delay_bpl[0] ∈ {0; 127; 128; 254}
- [1] ∈ {-2; 0; 127; 128}
- [2..5] ∈ {0; 127; 128; 254}
- delay_dltx[0] ∈ {-140; 0; 49}
- [1] ∈ {0; 49}
- [2..5] ∈ {0}
- delay_dhx[0..1] ∈ {-1; 0; 1}
- [2..5] ∈ {0}
- delay_bph[0] ∈ {-1; 0; 128}
- [1..5] ∈ {0; 128; 254; 255}
- i ∈ {6}
- wd2 ∈ {128} or UNINITIALIZED
- wd3 ∈ {0; 126; 127} or UNINITIALIZED
-[eva:final-states] Values at end of function encode:
- tqmf[0] ∈ {0; 1}
- [1] ∈ {1}
- [2..5] ∈ {0; 1}
- [6] ∈ {0}
- [7] ∈ {0; 1}
- [8] ∈ {0}
- [9] ∈ {0; 1}
- [10..23] ∈ {0}
- xl ∈ {-1; 0}
- xh ∈ {-1; 0}
- il ∈ {4; 32; 63}
- szl ∈ {0}
- spl ∈ {0; 1}
- sl ∈ {0; 1}
- el ∈ {-2; -1; 0}
- delay_bpl[0] ∈ {0; 127; 128; 254}
- [1] ∈ {-2; 0; 127; 128}
- [2..5] ∈ {0; 127; 128; 254}
- delay_dltx[0] ∈ {-140; 0; 49}
- [1] ∈ {0; 49}
- [2..5] ∈ {0}
- nbl ∈ {2958; 3042; 5869; 5976; 8865}
- al1 ∈ {192; 383; 573; 762; 951}
- al2 ∈ {128; 249; 314; 363; 470}
- plt ∈ {-140; 0; 49}
- plt1 ∈ {-140; 0; 49}
- plt2 ∈ {0; 49}
- dlt ∈ {-140; 0; 49}
- rlt ∈ {-139; 0; 1; 49}
- rlt1 ∈ {-139; 0; 1; 49}
- rlt2 ∈ {0; 1; 49}
- detl ∈ {80; 88; 224; 232; 632}
- deth ∈ {8}
- sh ∈ {-2; 0}
- eh ∈ {-1; 0; 1; 2}
- dh ∈ {-1; 0; 1}
- ih ∈ {1; 2; 3}
- nbh ∈ {0; 577; 798}
- szh ∈ {-1; 0}
- sph ∈ {-1; 0}
- ph ∈ {-1; 0}
- yh ∈ {-2; -1; 0}
- delay_dhx[0..1] ∈ {-1; 0; 1}
- [2..5] ∈ {0}
- delay_bph[0] ∈ {-1; 0; 128}
- [1..5] ∈ {0; 128; 254; 255}
- ah1 ∈ {192; 383; 573; 762; 951}
- ah2 ∈ {128; 249; 363; 470; 570}
- ph1 ∈ {-1; 0}
- ph2 ∈ {-1; 0}
- rh1 ∈ {-2; -1; 0}
- rh2 ∈ {-1; 0}
- i ∈ {22}
- h_ptr ∈ {{ &h[24] }}
- tqmf_ptr ∈ {{ &tqmf[0] }}
- tqmf_ptr1 ∈ {{ &tqmf[-1] }}
- xa ∈ {-32; 0; 12}
- xb ∈ {-456; -44; 0; 168; 992}
- decis ∈ {0; 1}
- __retres ∈ {96; 191; 196; 224; 255}
-[eva:final-states] Values at end of function main:
- tqmf[0..5] ∈ {1}
- [6] ∈ {0}
- [7] ∈ {1}
- [8] ∈ {0}
- [9] ∈ {1}
- [10..23] ∈ {0}
- xl ∈ {0}
- xh ∈ {-1}
- il ∈ {4}
- szl ∈ {0}
- spl ∈ {1}
- sl ∈ {1}
- el ∈ {-1}
- delay_bpl[0] ∈ {254}
- [1] ∈ {-2}
- [2..5] ∈ {254}
- delay_dltx[0] ∈ {-140}
- [1..5] ∈ {0}
- nbl ∈ {8865}
- al1 ∈ {951}
- al2 ∈ {314}
- plt ∈ {-140}
- plt1 ∈ {-140}
- plt2 ∈ {0}
- dlt ∈ {-140}
- rlt ∈ {-139}
- rlt1 ∈ {-139}
- rlt2 ∈ {1}
- detl ∈ {632}
- deth ∈ {8}
- sh ∈ {-2}
- eh ∈ {1}
- dh ∈ {0}
- ih ∈ {3}
- nbh ∈ {577}
- szh ∈ {-1}
- sph ∈ {-1}
- ph ∈ {-1}
- yh ∈ {-2}
- delay_dhx[0] ∈ {0}
- [1] ∈ {1}
- [2..5] ∈ {0}
- delay_bph[0] ∈ {-1}
- [1..5] ∈ {254}
- ah1 ∈ {951}
- ah2 ∈ {570}
- ph1 ∈ {-1}
- ph2 ∈ {0}
- rh1 ∈ {-2}
- rh2 ∈ {-1}
- compressed[0] ∈ {224}
- [1] ∈ {255}
- [2] ∈ {96}
- [3] ∈ {191}
- [4] ∈ {196}
- [5..9] ∈ {0}
- i ∈ {10}
-[from] Computing for function abs
-[from] Done for function abs
-[from] Computing for function filtep
-[from] Done for function filtep
-[from] Computing for function filtez
-[from] Done for function filtez
-[from] Computing for function logsch
-[from] Done for function logsch
-[from] Computing for function logscl
-[from] Done for function logscl
-[from] Computing for function quantl
-[from] Done for function quantl
-[from] Computing for function scalel
-[from] Done for function scalel
-[from] Computing for function uppol1
-[from] Done for function uppol1
-[from] Computing for function uppol2
-[from] Done for function uppol2
-[from] Computing for function upzero
-[from] Done for function upzero
-[from] Computing for function encode
-[from] Done for function encode
-[from] Computing for function main
-[from] Done for function main
-[from] ====== DEPENDENCIES COMPUTED ======
- These dependencies hold at termination for the executions that terminate:
-[from] Function abs:
- \result FROM x
-[from] Function filtep:
- \result FROM rlt1_0; al1_0; rlt2_0; al2_0
-[from] Function filtez:
- \result FROM delay_bpl[0..5]; delay_dltx[0..5]; delay_dhx[0..5];
- delay_bph[0..5]; bpl; dlt_0
-[from] Function logsch:
- \result FROM wh_code_table[1..3]; ih_0; nbh_0
-[from] Function logscl:
- \result FROM wl_code_table{[1]; [8]; [15]}; il_0; nbl_0
-[from] Function quantl:
- \result FROM decis_levl[0..28]; quant26bt_pos[29];
- quant26bt_neg{[0]; [29]}; el_0; detl_0
-[from] Function scalel:
- \result FROM ilb_table{[0]; [9..10]; [12]; [14..15]; [27]; [29]}; nbl_0;
- shift_constant
-[from] Function uppol1:
- \result FROM al1_0; plt_0; plt1_0
-[from] Function uppol2:
- \result FROM al1_0; al2_0; plt_0; plt1_0; plt2_0
-[from] Function upzero:
- delay_bpl[0]
- FROM delay_bpl[0]; delay_dltx[0]; delay_dhx[0]; delay_bph[0];
- dlt_0; dlti; bli (and SELF)
- [1]
- FROM delay_bpl[1]; delay_dltx[1]; delay_dhx[1]; delay_bph[1];
- dlt_0; dlti; bli (and SELF)
- [2]
- FROM delay_bpl[2]; delay_dltx[2]; delay_dhx[2]; delay_bph[2];
- dlt_0; dlti; bli (and SELF)
- [3]
- FROM delay_bpl[3]; delay_dltx[3]; delay_dhx[3]; delay_bph[3];
- dlt_0; dlti; bli (and SELF)
- [4]
- FROM delay_bpl[4]; delay_dltx[4]; delay_dhx[4]; delay_bph[4];
- dlt_0; dlti; bli (and SELF)
- [5]
- FROM delay_bpl[5]; delay_dltx[5]; delay_dhx[5]; delay_bph[5];
- dlt_0; dlti; bli (and SELF)
- delay_dltx[0] FROM dlt_0; dlti (and SELF)
- [1] FROM delay_dltx[0]; delay_dhx[0]; dlti (and SELF)
- [3] FROM delay_dltx[2]; delay_dhx[2]; dlti (and SELF)
- [4] FROM delay_dltx[3]; delay_dhx[3]; dlti (and SELF)
- [5] FROM delay_dltx[4]; delay_dhx[4]; dlti (and SELF)
- delay_dhx[0] FROM dlt_0; dlti (and SELF)
- [1] FROM delay_dltx[0]; delay_dhx[0]; dlti (and SELF)
- [3] FROM delay_dltx[2]; delay_dhx[2]; dlti (and SELF)
- [4] FROM delay_dltx[3]; delay_dhx[3]; dlti (and SELF)
- [5] FROM delay_dltx[4]; delay_dhx[4]; dlti (and SELF)
- delay_bph[0]
- FROM delay_bpl[0]; delay_dltx[0]; delay_dhx[0]; delay_bph[0];
- dlt_0; dlti; bli (and SELF)
- [1]
- FROM delay_bpl[1]; delay_dltx[1]; delay_dhx[1]; delay_bph[1];
- dlt_0; dlti; bli (and SELF)
- [2]
- FROM delay_bpl[2]; delay_dltx[2]; delay_dhx[2]; delay_bph[2];
- dlt_0; dlti; bli (and SELF)
- [3]
- FROM delay_bpl[3]; delay_dltx[3]; delay_dhx[3]; delay_bph[3];
- dlt_0; dlti; bli (and SELF)
- [4]
- FROM delay_bpl[4]; delay_dltx[4]; delay_dhx[4]; delay_bph[4];
- dlt_0; dlti; bli (and SELF)
- [5]
- FROM delay_bpl[5]; delay_dltx[5]; delay_dhx[5]; delay_bph[5];
- dlt_0; dlti; bli (and SELF)
-[from] Function encode:
- tqmf[0] FROM xin2
- [1] FROM xin1
- [2] FROM tqmf[0]
- [3] FROM tqmf[1]
- [4] FROM tqmf[2]
- [5] FROM tqmf[3]
- [6] FROM tqmf[4]
- [7] FROM tqmf[5]
- [8] FROM tqmf[6]
- [9] FROM tqmf[7]
- [10] FROM tqmf[8]
- [11] FROM tqmf[9]
- [12] FROM tqmf[10]
- [13] FROM tqmf[11]
- [14] FROM tqmf[12]
- [15] FROM tqmf[13]
- [16] FROM tqmf[14]
- [17] FROM tqmf[15]
- [18] FROM tqmf[16]
- [19] FROM tqmf[17]
- [20] FROM tqmf[18]
- [21] FROM tqmf[19]
- [22] FROM tqmf[20]
- [23] FROM tqmf[21]
- xl FROM tqmf[0..23]; h[0..23]
- xh FROM tqmf[0..23]; h[0..23]
- il FROM tqmf[0..23]; h[0..23]; delay_bpl[0..5]; delay_dltx[0..5]; al1;
- al2; rlt1; rlt2; decis_levl[0..28]; detl; quant26bt_pos[29];
- quant26bt_neg{[0]; [29]}; delay_dhx[0..5]; delay_bph[0..5]
- szl FROM delay_bpl[0..5]; delay_dltx[0..5]; delay_dhx[0..5];
- delay_bph[0..5]
- spl FROM al1; al2; rlt1; rlt2
- sl FROM delay_bpl[0..5]; delay_dltx[0..5]; al1; al2; rlt1; rlt2;
- delay_dhx[0..5]; delay_bph[0..5]
- el FROM tqmf[0..23]; h[0..23]; delay_bpl[0..5]; delay_dltx[0..5]; al1;
- al2; rlt1; rlt2; delay_dhx[0..5]; delay_bph[0..5]
- delay_bpl[0]
- FROM tqmf[0..23]; h[0..23]; qq4_code4_table{[1]; [8]; [15]};
- delay_bpl[0..5]; delay_dltx[0..5]; al1; al2; rlt1; rlt2;
- decis_levl[0..28]; detl; quant26bt_pos[29];
- quant26bt_neg{[0]; [29]}; deth; qq2_code2_table[1..3];
- delay_dhx[0..5]; delay_bph[0..5]; ah1; ah2; rh1;
- rh2 (and SELF)
- [1]
- FROM tqmf[0..23]; h[0..23]; qq4_code4_table{[1]; [8]; [15]};
- delay_bpl[0..5]; delay_dltx[0..5]; al1; al2; rlt1; rlt2;
- decis_levl[0..28]; detl; quant26bt_pos[29];
- quant26bt_neg{[0]; [29]}; deth; qq2_code2_table[1..3];
- delay_dhx[0..5]; delay_bph[0..5]; ah1; ah2; rh1;
- rh2 (and SELF)
- [2]
- FROM tqmf[0..23]; h[0..23]; qq4_code4_table{[1]; [8]; [15]};
- delay_bpl[0..5]; delay_dltx[0..5]; al1; al2; rlt1; rlt2;
- decis_levl[0..28]; detl; quant26bt_pos[29];
- quant26bt_neg{[0]; [29]}; deth; qq2_code2_table[1..3];
- delay_dhx[0..5]; delay_bph[0..5]; ah1; ah2; rh1;
- rh2 (and SELF)
- [3]
- FROM tqmf[0..23]; h[0..23]; qq4_code4_table{[1]; [8]; [15]};
- delay_bpl[0..5]; delay_dltx[0..5]; al1; al2; rlt1; rlt2;
- decis_levl[0..28]; detl; quant26bt_pos[29];
- quant26bt_neg{[0]; [29]}; deth; qq2_code2_table[1..3];
- delay_dhx[0..5]; delay_bph[0..5]; ah1; ah2; rh1;
- rh2 (and SELF)
- [4]
- FROM tqmf[0..23]; h[0..23]; qq4_code4_table{[1]; [8]; [15]};
- delay_bpl[0..5]; delay_dltx[0..5]; al1; al2; rlt1; rlt2;
- decis_levl[0..28]; detl; quant26bt_pos[29];
- quant26bt_neg{[0]; [29]}; deth; qq2_code2_table[1..3];
- delay_dhx[0..5]; delay_bph[0..5]; ah1; ah2; rh1;
- rh2 (and SELF)
- [5]
- FROM tqmf[0..23]; h[0..23]; qq4_code4_table{[1]; [8]; [15]};
- delay_bpl[0..5]; delay_dltx[0..5]; al1; al2; rlt1; rlt2;
- decis_levl[0..28]; detl; quant26bt_pos[29];
- quant26bt_neg{[0]; [29]}; deth; qq2_code2_table[1..3];
- delay_dhx[0..5]; delay_bph[0..5]; ah1; ah2; rh1;
- rh2 (and SELF)
- delay_dltx[0]
- FROM tqmf[0..23]; h[0..23]; qq4_code4_table{[1]; [8]; [15]};
- delay_bpl[0..5]; delay_dltx[0..5]; al1; al2; rlt1; rlt2;
- decis_levl[0..28]; detl; quant26bt_pos[29];
- quant26bt_neg{[0]; [29]}; deth; qq2_code2_table[1..3];
- delay_dhx[0..5]; delay_bph[0..5]; ah1; ah2; rh1;
- rh2 (and SELF)
- [1]
- FROM tqmf[0..23]; h[0..23]; qq4_code4_table{[1]; [8]; [15]};
- delay_bpl[0..5]; delay_dltx[0..5]; al1; al2; rlt1; rlt2;
- decis_levl[0..28]; detl; quant26bt_pos[29];
- quant26bt_neg{[0]; [29]}; delay_dhx[0..5];
- delay_bph[0..5] (and SELF)
- [3] FROM delay_dltx[2]; delay_dhx[2] (and SELF)
- [4] FROM delay_dltx[2..3]; delay_dhx[2..3] (and SELF)
- [5] FROM delay_dltx[3..4]; delay_dhx[3..4] (and SELF)
- nbl FROM tqmf[0..23]; h[0..23]; delay_bpl[0..5]; delay_dltx[0..5];
- wl_code_table{[1]; [8]; [15]}; nbl; al1; al2; rlt1; rlt2;
- decis_levl[0..28]; detl; quant26bt_pos[29];
- quant26bt_neg{[0]; [29]}; delay_dhx[0..5]; delay_bph[0..5]
- al1 FROM tqmf[0..23]; h[0..23]; qq4_code4_table{[1]; [8]; [15]};
- delay_bpl[0..5]; delay_dltx[0..5]; al1; al2; plt1; rlt1; rlt2;
- decis_levl[0..28]; detl; quant26bt_pos[29];
- quant26bt_neg{[0]; [29]}; delay_dhx[0..5]; delay_bph[0..5]
- al2 FROM tqmf[0..23]; h[0..23]; qq4_code4_table{[1]; [8]; [15]};
- delay_bpl[0..5]; delay_dltx[0..5]; al1; al2; plt1; plt2; rlt1;
- rlt2; decis_levl[0..28]; detl; quant26bt_pos[29];
- quant26bt_neg{[0]; [29]}; delay_dhx[0..5]; delay_bph[0..5]
- plt FROM tqmf[0..23]; h[0..23]; qq4_code4_table{[1]; [8]; [15]};
- delay_bpl[0..5]; delay_dltx[0..5]; al1; al2; rlt1; rlt2;
- decis_levl[0..28]; detl; quant26bt_pos[29];
- quant26bt_neg{[0]; [29]}; delay_dhx[0..5]; delay_bph[0..5]
- plt1 FROM tqmf[0..23]; h[0..23]; qq4_code4_table{[1]; [8]; [15]};
- delay_bpl[0..5]; delay_dltx[0..5]; al1; al2; rlt1; rlt2;
- decis_levl[0..28]; detl; quant26bt_pos[29];
- quant26bt_neg{[0]; [29]}; delay_dhx[0..5]; delay_bph[0..5]
- plt2 FROM plt1
- dlt FROM tqmf[0..23]; h[0..23]; qq4_code4_table{[1]; [8]; [15]};
- delay_bpl[0..5]; delay_dltx[0..5]; al1; al2; rlt1; rlt2;
- decis_levl[0..28]; detl; quant26bt_pos[29];
- quant26bt_neg{[0]; [29]}; delay_dhx[0..5]; delay_bph[0..5]
- rlt FROM tqmf[0..23]; h[0..23]; qq4_code4_table{[1]; [8]; [15]};
- delay_bpl[0..5]; delay_dltx[0..5]; al1; al2; rlt1; rlt2;
- decis_levl[0..28]; detl; quant26bt_pos[29];
- quant26bt_neg{[0]; [29]}; delay_dhx[0..5]; delay_bph[0..5]
- rlt1 FROM tqmf[0..23]; h[0..23]; qq4_code4_table{[1]; [8]; [15]};
- delay_bpl[0..5]; delay_dltx[0..5]; al1; al2; rlt1; rlt2;
- decis_levl[0..28]; detl; quant26bt_pos[29];
- quant26bt_neg{[0]; [29]}; delay_dhx[0..5]; delay_bph[0..5]
- rlt2 FROM rlt1
- detl FROM tqmf[0..23]; h[0..23]; delay_bpl[0..5]; delay_dltx[0..5];
- wl_code_table{[1]; [8]; [15]};
- ilb_table{[0]; [9..10]; [12]; [14..15]; [27]; [29]}; nbl;
- al1; al2; rlt1; rlt2; decis_levl[0..28]; detl; quant26bt_pos[29];
- quant26bt_neg{[0]; [29]}; delay_dhx[0..5]; delay_bph[0..5]
- deth FROM tqmf[0..23]; h[0..23]; qq4_code4_table{[1]; [8]; [15]};
- delay_bpl[0..5]; delay_dltx[0..5];
- ilb_table{[0]; [9..10]; [12]; [14..15]; [27]; [29]}; al1;
- al2; rlt1; rlt2; decis_levl[0..28]; detl; quant26bt_pos[29];
- quant26bt_neg{[0]; [29]}; deth; wh_code_table[1..3]; nbh;
- delay_dhx[0..5]; delay_bph[0..5]; ah1; ah2; rh1; rh2
- sh FROM tqmf[0..23]; h[0..23]; qq4_code4_table{[1]; [8]; [15]};
- delay_bpl[0..5]; delay_dltx[0..5]; al1; al2; rlt1; rlt2;
- decis_levl[0..28]; detl; quant26bt_pos[29];
- quant26bt_neg{[0]; [29]}; delay_dhx[0..5]; delay_bph[0..5];
- ah1; ah2; rh1; rh2
- eh FROM tqmf[0..23]; h[0..23]; qq4_code4_table{[1]; [8]; [15]};
- delay_bpl[0..5]; delay_dltx[0..5]; al1; al2; rlt1; rlt2;
- decis_levl[0..28]; detl; quant26bt_pos[29];
- quant26bt_neg{[0]; [29]}; delay_dhx[0..5]; delay_bph[0..5];
- ah1; ah2; rh1; rh2
- dh FROM tqmf[0..23]; h[0..23]; qq4_code4_table{[1]; [8]; [15]};
- delay_bpl[0..5]; delay_dltx[0..5]; al1; al2; rlt1; rlt2;
- decis_levl[0..28]; detl; quant26bt_pos[29];
- quant26bt_neg{[0]; [29]}; deth; qq2_code2_table[1..3];
- delay_dhx[0..5]; delay_bph[0..5]; ah1; ah2; rh1; rh2
- ih FROM tqmf[0..23]; h[0..23]; qq4_code4_table{[1]; [8]; [15]};
- delay_bpl[0..5]; delay_dltx[0..5]; al1; al2; rlt1; rlt2;
- decis_levl[0..28]; detl; quant26bt_pos[29];
- quant26bt_neg{[0]; [29]}; deth; delay_dhx[0..5]; delay_bph[0..5];
- ah1; ah2; rh1; rh2
- nbh FROM tqmf[0..23]; h[0..23]; qq4_code4_table{[1]; [8]; [15]};
- delay_bpl[0..5]; delay_dltx[0..5]; al1; al2; rlt1; rlt2;
- decis_levl[0..28]; detl; quant26bt_pos[29];
- quant26bt_neg{[0]; [29]}; deth; wh_code_table[1..3]; nbh;
- delay_dhx[0..5]; delay_bph[0..5]; ah1; ah2; rh1; rh2
- szh FROM tqmf[0..23]; h[0..23]; qq4_code4_table{[1]; [8]; [15]};
- delay_bpl[0..5]; delay_dltx[0..5]; al1; al2; rlt1; rlt2;
- decis_levl[0..28]; detl; quant26bt_pos[29];
- quant26bt_neg{[0]; [29]}; delay_dhx[0..5]; delay_bph[0..5]
- sph FROM ah1; ah2; rh1; rh2
- ph FROM tqmf[0..23]; h[0..23]; qq4_code4_table{[1]; [8]; [15]};
- delay_bpl[0..5]; delay_dltx[0..5]; al1; al2; rlt1; rlt2;
- decis_levl[0..28]; detl; quant26bt_pos[29];
- quant26bt_neg{[0]; [29]}; deth; qq2_code2_table[1..3];
- delay_dhx[0..5]; delay_bph[0..5]; ah1; ah2; rh1; rh2
- yh FROM tqmf[0..23]; h[0..23]; qq4_code4_table{[1]; [8]; [15]};
- delay_bpl[0..5]; delay_dltx[0..5]; al1; al2; rlt1; rlt2;
- decis_levl[0..28]; detl; quant26bt_pos[29];
- quant26bt_neg{[0]; [29]}; deth; qq2_code2_table[1..3];
- delay_dhx[0..5]; delay_bph[0..5]; ah1; ah2; rh1; rh2
- delay_dhx[0]
- FROM tqmf[0..23]; h[0..23]; qq4_code4_table{[1]; [8]; [15]};
- delay_bpl[0..5]; delay_dltx[0..5]; al1; al2; rlt1; rlt2;
- decis_levl[0..28]; detl; quant26bt_pos[29];
- quant26bt_neg{[0]; [29]}; deth; qq2_code2_table[1..3];
- delay_dhx[0..5]; delay_bph[0..5]; ah1; ah2; rh1;
- rh2 (and SELF)
- [1]
- FROM tqmf[0..23]; h[0..23]; qq4_code4_table{[1]; [8]; [15]};
- delay_bpl[0..5]; delay_dltx[0..5]; al1; al2; rlt1; rlt2;
- decis_levl[0..28]; detl; quant26bt_pos[29];
- quant26bt_neg{[0]; [29]}; delay_dhx[0..5];
- delay_bph[0..5] (and SELF)
- [3] FROM delay_dltx[2]; delay_dhx[2] (and SELF)
- [4] FROM delay_dltx[2..3]; delay_dhx[2..3] (and SELF)
- [5] FROM delay_dltx[3..4]; delay_dhx[3..4] (and SELF)
- delay_bph[0]
- FROM tqmf[0..23]; h[0..23]; qq4_code4_table{[1]; [8]; [15]};
- delay_bpl[0..5]; delay_dltx[0..5]; al1; al2; rlt1; rlt2;
- decis_levl[0..28]; detl; quant26bt_pos[29];
- quant26bt_neg{[0]; [29]}; deth; qq2_code2_table[1..3];
- delay_dhx[0..5]; delay_bph[0..5]; ah1; ah2; rh1;
- rh2 (and SELF)
- [1]
- FROM tqmf[0..23]; h[0..23]; qq4_code4_table{[1]; [8]; [15]};
- delay_bpl[0..5]; delay_dltx[0..5]; al1; al2; rlt1; rlt2;
- decis_levl[0..28]; detl; quant26bt_pos[29];
- quant26bt_neg{[0]; [29]}; deth; qq2_code2_table[1..3];
- delay_dhx[0..5]; delay_bph[0..5]; ah1; ah2; rh1;
- rh2 (and SELF)
- [2]
- FROM tqmf[0..23]; h[0..23]; qq4_code4_table{[1]; [8]; [15]};
- delay_bpl[0..5]; delay_dltx[0..5]; al1; al2; rlt1; rlt2;
- decis_levl[0..28]; detl; quant26bt_pos[29];
- quant26bt_neg{[0]; [29]}; deth; qq2_code2_table[1..3];
- delay_dhx[0..5]; delay_bph[0..5]; ah1; ah2; rh1;
- rh2 (and SELF)
- [3]
- FROM tqmf[0..23]; h[0..23]; qq4_code4_table{[1]; [8]; [15]};
- delay_bpl[0..5]; delay_dltx[0..5]; al1; al2; rlt1; rlt2;
- decis_levl[0..28]; detl; quant26bt_pos[29];
- quant26bt_neg{[0]; [29]}; deth; qq2_code2_table[1..3];
- delay_dhx[0..5]; delay_bph[0..5]; ah1; ah2; rh1;
- rh2 (and SELF)
- [4]
- FROM tqmf[0..23]; h[0..23]; qq4_code4_table{[1]; [8]; [15]};
- delay_bpl[0..5]; delay_dltx[0..5]; al1; al2; rlt1; rlt2;
- decis_levl[0..28]; detl; quant26bt_pos[29];
- quant26bt_neg{[0]; [29]}; deth; qq2_code2_table[1..3];
- delay_dhx[0..5]; delay_bph[0..5]; ah1; ah2; rh1;
- rh2 (and SELF)
- [5]
- FROM tqmf[0..23]; h[0..23]; qq4_code4_table{[1]; [8]; [15]};
- delay_bpl[0..5]; delay_dltx[0..5]; al1; al2; rlt1; rlt2;
- decis_levl[0..28]; detl; quant26bt_pos[29];
- quant26bt_neg{[0]; [29]}; deth; qq2_code2_table[1..3];
- delay_dhx[0..5]; delay_bph[0..5]; ah1; ah2; rh1;
- rh2 (and SELF)
- ah1 FROM tqmf[0..23]; h[0..23]; qq4_code4_table{[1]; [8]; [15]};
- delay_bpl[0..5]; delay_dltx[0..5]; al1; al2; rlt1; rlt2;
- decis_levl[0..28]; detl; quant26bt_pos[29];
- quant26bt_neg{[0]; [29]}; deth; qq2_code2_table[1..3];
- delay_dhx[0..5]; delay_bph[0..5]; ah1; ah2; ph1; rh1; rh2
- ah2 FROM tqmf[0..23]; h[0..23]; qq4_code4_table{[1]; [8]; [15]};
- delay_bpl[0..5]; delay_dltx[0..5]; al1; al2; rlt1; rlt2;
- decis_levl[0..28]; detl; quant26bt_pos[29];
- quant26bt_neg{[0]; [29]}; deth; qq2_code2_table[1..3];
- delay_dhx[0..5]; delay_bph[0..5]; ah1; ah2; ph1; ph2; rh1;
- rh2
- ph1 FROM tqmf[0..23]; h[0..23]; qq4_code4_table{[1]; [8]; [15]};
- delay_bpl[0..5]; delay_dltx[0..5]; al1; al2; rlt1; rlt2;
- decis_levl[0..28]; detl; quant26bt_pos[29];
- quant26bt_neg{[0]; [29]}; deth; qq2_code2_table[1..3];
- delay_dhx[0..5]; delay_bph[0..5]; ah1; ah2; rh1; rh2
- ph2 FROM ph1
- rh1 FROM tqmf[0..23]; h[0..23]; qq4_code4_table{[1]; [8]; [15]};
- delay_bpl[0..5]; delay_dltx[0..5]; al1; al2; rlt1; rlt2;
- decis_levl[0..28]; detl; quant26bt_pos[29];
- quant26bt_neg{[0]; [29]}; deth; qq2_code2_table[1..3];
- delay_dhx[0..5]; delay_bph[0..5]; ah1; ah2; rh1; rh2
- rh2 FROM rh1
- \result FROM tqmf[0..23]; h[0..23]; qq4_code4_table{[1]; [8]; [15]};
- delay_bpl[0..5]; delay_dltx[0..5]; al1; al2; rlt1; rlt2;
- decis_levl[0..28]; detl; quant26bt_pos[29];
- quant26bt_neg{[0]; [29]}; deth; delay_dhx[0..5];
- delay_bph[0..5]; ah1; ah2; rh1; rh2
-[from] Function main:
- tqmf[0] FROM test_data[9]
- [1] FROM test_data[8]
- [2] FROM test_data[7]
- [3] FROM test_data[6]
- [4] FROM test_data[5]
- [5] FROM test_data[4]
- [6] FROM test_data[3]
- [7] FROM test_data[2]
- [8] FROM test_data[1]
- [9] FROM test_data[0]
- [10] FROM tqmf[0]
- [11] FROM tqmf[1]
- [12] FROM tqmf[2]
- [13] FROM tqmf[3]
- [14] FROM tqmf[4]
- [15] FROM tqmf[5]
- [16] FROM tqmf[6]
- [17] FROM tqmf[7]
- [18] FROM tqmf[8]
- [19] FROM tqmf[9]
- [20] FROM tqmf[10]
- [21] FROM tqmf[11]
- [22] FROM tqmf[12]
- [23] FROM tqmf[13]
- xl FROM tqmf[0..15]; h[0..23]; test_data[0..7]
- xh FROM tqmf[0..15]; h[0..23]; test_data[0..7]
- il FROM tqmf[0..23]; h[0..23]; qq4_code4_table{[1]; [8]; [15]};
- delay_bpl[0..5]; delay_dltx[0..5]; wl_code_table{[1]; [8]; [15]};
- ilb_table{[0]; [9..10]; [12]; [14..15]; [27]; [29]}; nbl; al1;
- al2; plt1; plt2; rlt1; rlt2; decis_levl[0..28]; detl;
- quant26bt_pos[29]; quant26bt_neg{[0]; [29]}; deth;
- qq2_code2_table[1..3]; wh_code_table[1..3]; nbh; delay_dhx[0..5];
- delay_bph[0..5]; ah1; ah2; ph1; ph2; rh1; rh2; test_data[0..7]
- szl FROM tqmf[0..23]; h[0..23]; qq4_code4_table{[1]; [8]; [15]};
- delay_bpl[0..5]; delay_dltx[0..5]; wl_code_table{[1]; [8]; [15]};
- ilb_table{[0]; [9..10]; [12]; [14..15]; [27]; [29]}; nbl;
- al1; al2; plt1; plt2; rlt1; rlt2; decis_levl[0..28]; detl;
- quant26bt_pos[29]; quant26bt_neg{[0]; [29]}; deth;
- qq2_code2_table[1..3]; wh_code_table[1..3]; nbh; delay_dhx[0..5];
- delay_bph[0..5]; ah1; ah2; ph1; ph2; rh1; rh2; test_data[0..5]
- spl FROM tqmf[0..23]; h[0..23]; qq4_code4_table{[1]; [8]; [15]};
- delay_bpl[0..5]; delay_dltx[0..5]; wl_code_table{[1]; [8]; [15]};
- ilb_table{[0]; [9..10]; [12]; [14..15]; [27]; [29]}; nbl;
- al1; al2; plt1; plt2; rlt1; rlt2; decis_levl[0..28]; detl;
- quant26bt_pos[29]; quant26bt_neg{[0]; [29]}; deth;
- qq2_code2_table[1..3]; wh_code_table[1..3]; nbh; delay_dhx[0..5];
- delay_bph[0..5]; ah1; ah2; ph1; ph2; rh1; rh2; test_data[0..5]
- sl FROM tqmf[0..23]; h[0..23]; qq4_code4_table{[1]; [8]; [15]};
- delay_bpl[0..5]; delay_dltx[0..5]; wl_code_table{[1]; [8]; [15]};
- ilb_table{[0]; [9..10]; [12]; [14..15]; [27]; [29]}; nbl; al1;
- al2; plt1; plt2; rlt1; rlt2; decis_levl[0..28]; detl;
- quant26bt_pos[29]; quant26bt_neg{[0]; [29]}; deth;
- qq2_code2_table[1..3]; wh_code_table[1..3]; nbh; delay_dhx[0..5];
- delay_bph[0..5]; ah1; ah2; ph1; ph2; rh1; rh2; test_data[0..5]
- el FROM tqmf[0..23]; h[0..23]; qq4_code4_table{[1]; [8]; [15]};
- delay_bpl[0..5]; delay_dltx[0..5]; wl_code_table{[1]; [8]; [15]};
- ilb_table{[0]; [9..10]; [12]; [14..15]; [27]; [29]}; nbl; al1;
- al2; plt1; plt2; rlt1; rlt2; decis_levl[0..28]; detl;
- quant26bt_pos[29]; quant26bt_neg{[0]; [29]}; deth;
- qq2_code2_table[1..3]; wh_code_table[1..3]; nbh; delay_dhx[0..5];
- delay_bph[0..5]; ah1; ah2; ph1; ph2; rh1; rh2; test_data[0..7]
- delay_bpl[0]
- FROM tqmf[0..23]; h[0..23]; qq4_code4_table{[1]; [8]; [15]};
- delay_bpl[0..5]; delay_dltx[0..5];
- wl_code_table{[1]; [8]; [15]};
- ilb_table{[0]; [9..10]; [12]; [14..15]; [27]; [29]};
- nbl; al1; al2; plt1; plt2; rlt1; rlt2; decis_levl[0..28];
- detl; quant26bt_pos[29]; quant26bt_neg{[0]; [29]}; deth;
- qq2_code2_table[1..3]; wh_code_table[1..3]; nbh;
- delay_dhx[0..5]; delay_bph[0..5]; ah1; ah2; ph1; ph2;
- rh1; rh2; test_data[0..7] (and SELF)
- [1]
- FROM tqmf[0..23]; h[0..23]; qq4_code4_table{[1]; [8]; [15]};
- delay_bpl[0..5]; delay_dltx[0..5];
- wl_code_table{[1]; [8]; [15]};
- ilb_table{[0]; [9..10]; [12]; [14..15]; [27]; [29]};
- nbl; al1; al2; plt1; plt2; rlt1; rlt2; decis_levl[0..28];
- detl; quant26bt_pos[29]; quant26bt_neg{[0]; [29]}; deth;
- qq2_code2_table[1..3]; wh_code_table[1..3]; nbh;
- delay_dhx[0..5]; delay_bph[0..5]; ah1; ah2; ph1; ph2;
- rh1; rh2; test_data[0..7] (and SELF)
- [2]
- FROM tqmf[0..23]; h[0..23]; qq4_code4_table{[1]; [8]; [15]};
- delay_bpl[0..5]; delay_dltx[0..5];
- wl_code_table{[1]; [8]; [15]};
- ilb_table{[0]; [9..10]; [12]; [14..15]; [27]; [29]};
- nbl; al1; al2; plt1; plt2; rlt1; rlt2; decis_levl[0..28];
- detl; quant26bt_pos[29]; quant26bt_neg{[0]; [29]}; deth;
- qq2_code2_table[1..3]; wh_code_table[1..3]; nbh;
- delay_dhx[0..5]; delay_bph[0..5]; ah1; ah2; ph1; ph2;
- rh1; rh2; test_data[0..7] (and SELF)
- [3]
- FROM tqmf[0..23]; h[0..23]; qq4_code4_table{[1]; [8]; [15]};
- delay_bpl[0..5]; delay_dltx[0..5];
- wl_code_table{[1]; [8]; [15]};
- ilb_table{[0]; [9..10]; [12]; [14..15]; [27]; [29]};
- nbl; al1; al2; plt1; plt2; rlt1; rlt2; decis_levl[0..28];
- detl; quant26bt_pos[29]; quant26bt_neg{[0]; [29]}; deth;
- qq2_code2_table[1..3]; wh_code_table[1..3]; nbh;
- delay_dhx[0..5]; delay_bph[0..5]; ah1; ah2; ph1; ph2;
- rh1; rh2; test_data[0..7] (and SELF)
- [4]
- FROM tqmf[0..23]; h[0..23]; qq4_code4_table{[1]; [8]; [15]};
- delay_bpl[0..5]; delay_dltx[0..5];
- wl_code_table{[1]; [8]; [15]};
- ilb_table{[0]; [9..10]; [12]; [14..15]; [27]; [29]};
- nbl; al1; al2; plt1; plt2; rlt1; rlt2; decis_levl[0..28];
- detl; quant26bt_pos[29]; quant26bt_neg{[0]; [29]}; deth;
- qq2_code2_table[1..3]; wh_code_table[1..3]; nbh;
- delay_dhx[0..5]; delay_bph[0..5]; ah1; ah2; ph1; ph2;
- rh1; rh2; test_data[0..7] (and SELF)
- [5]
- FROM tqmf[0..23]; h[0..23]; qq4_code4_table{[1]; [8]; [15]};
- delay_bpl[0..5]; delay_dltx[0..5];
- wl_code_table{[1]; [8]; [15]};
- ilb_table{[0]; [9..10]; [12]; [14..15]; [27]; [29]};
- nbl; al1; al2; plt1; plt2; rlt1; rlt2; decis_levl[0..28];
- detl; quant26bt_pos[29]; quant26bt_neg{[0]; [29]}; deth;
- qq2_code2_table[1..3]; wh_code_table[1..3]; nbh;
- delay_dhx[0..5]; delay_bph[0..5]; ah1; ah2; ph1; ph2;
- rh1; rh2; test_data[0..7] (and SELF)
- delay_dltx[0]
- FROM tqmf[0..23]; h[0..23]; qq4_code4_table{[1]; [8]; [15]};
- delay_bpl[0..5]; delay_dltx[0..5];
- wl_code_table{[1]; [8]; [15]};
- ilb_table{[0]; [9..10]; [12]; [14..15]; [27]; [29]};
- nbl; al1; al2; plt1; plt2; rlt1; rlt2; decis_levl[0..28];
- detl; quant26bt_pos[29]; quant26bt_neg{[0]; [29]}; deth;
- qq2_code2_table[1..3]; wh_code_table[1..3]; nbh;
- delay_dhx[0..5]; delay_bph[0..5]; ah1; ah2; ph1; ph2;
- rh1; rh2; test_data[0..7] (and SELF)
- [1]
- FROM tqmf[0..23]; h[0..23]; qq4_code4_table{[1]; [8]; [15]};
- delay_bpl[0..5]; delay_dltx[0..5];
- wl_code_table{[1]; [8]; [15]};
- ilb_table{[0]; [9..10]; [12]; [14..15]; [27]; [29]};
- nbl; al1; al2; plt1; plt2; rlt1; rlt2; decis_levl[0..28];
- detl; quant26bt_pos[29]; quant26bt_neg{[0]; [29]}; deth;
- qq2_code2_table[1..3]; wh_code_table[1..3]; nbh;
- delay_dhx[0..5]; delay_bph[0..5]; ah1; ah2; ph1; ph2;
- rh1; rh2; test_data[0..7] (and SELF)
- [3] FROM delay_dltx[2]; delay_dhx[2] (and SELF)
- [4] FROM delay_dltx[2..3]; delay_dhx[2..3] (and SELF)
- [5] FROM delay_dltx[2..4]; delay_dhx[2..4] (and SELF)
- nbl FROM tqmf[0..23]; h[0..23]; qq4_code4_table{[1]; [8]; [15]};
- delay_bpl[0..5]; delay_dltx[0..5]; wl_code_table{[1]; [8]; [15]};
- ilb_table{[0]; [9..10]; [12]; [14..15]; [27]; [29]}; nbl;
- al1; al2; plt1; plt2; rlt1; rlt2; decis_levl[0..28]; detl;
- quant26bt_pos[29]; quant26bt_neg{[0]; [29]}; deth;
- qq2_code2_table[1..3]; wh_code_table[1..3]; nbh; delay_dhx[0..5];
- delay_bph[0..5]; ah1; ah2; ph1; ph2; rh1; rh2; test_data[0..7]
- al1 FROM tqmf[0..23]; h[0..23]; qq4_code4_table{[1]; [8]; [15]};
- delay_bpl[0..5]; delay_dltx[0..5]; wl_code_table{[1]; [8]; [15]};
- ilb_table{[0]; [9..10]; [12]; [14..15]; [27]; [29]}; nbl;
- al1; al2; plt1; plt2; rlt1; rlt2; decis_levl[0..28]; detl;
- quant26bt_pos[29]; quant26bt_neg{[0]; [29]}; deth;
- qq2_code2_table[1..3]; wh_code_table[1..3]; nbh; delay_dhx[0..5];
- delay_bph[0..5]; ah1; ah2; ph1; ph2; rh1; rh2; test_data[0..7]
- al2 FROM tqmf[0..23]; h[0..23]; qq4_code4_table{[1]; [8]; [15]};
- delay_bpl[0..5]; delay_dltx[0..5]; wl_code_table{[1]; [8]; [15]};
- ilb_table{[0]; [9..10]; [12]; [14..15]; [27]; [29]}; nbl;
- al1; al2; plt1; plt2; rlt1; rlt2; decis_levl[0..28]; detl;
- quant26bt_pos[29]; quant26bt_neg{[0]; [29]}; deth;
- qq2_code2_table[1..3]; wh_code_table[1..3]; nbh; delay_dhx[0..5];
- delay_bph[0..5]; ah1; ah2; ph1; ph2; rh1; rh2; test_data[0..7]
- plt FROM tqmf[0..23]; h[0..23]; qq4_code4_table{[1]; [8]; [15]};
- delay_bpl[0..5]; delay_dltx[0..5]; wl_code_table{[1]; [8]; [15]};
- ilb_table{[0]; [9..10]; [12]; [14..15]; [27]; [29]}; nbl;
- al1; al2; plt1; plt2; rlt1; rlt2; decis_levl[0..28]; detl;
- quant26bt_pos[29]; quant26bt_neg{[0]; [29]}; deth;
- qq2_code2_table[1..3]; wh_code_table[1..3]; nbh; delay_dhx[0..5];
- delay_bph[0..5]; ah1; ah2; ph1; ph2; rh1; rh2; test_data[0..7]
- plt1 FROM tqmf[0..23]; h[0..23]; qq4_code4_table{[1]; [8]; [15]};
- delay_bpl[0..5]; delay_dltx[0..5]; wl_code_table{[1]; [8]; [15]};
- ilb_table{[0]; [9..10]; [12]; [14..15]; [27]; [29]}; nbl;
- al1; al2; plt1; plt2; rlt1; rlt2; decis_levl[0..28]; detl;
- quant26bt_pos[29]; quant26bt_neg{[0]; [29]}; deth;
- qq2_code2_table[1..3]; wh_code_table[1..3]; nbh; delay_dhx[0..5];
- delay_bph[0..5]; ah1; ah2; ph1; ph2; rh1; rh2; test_data[0..7]
- plt2 FROM tqmf[0..23]; h[0..23]; qq4_code4_table{[1]; [8]; [15]};
- delay_bpl[0..5]; delay_dltx[0..5]; wl_code_table{[1]; [8]; [15]};
- ilb_table{[0]; [9..10]; [12]; [14..15]; [27]; [29]}; nbl;
- al1; al2; plt1; plt2; rlt1; rlt2; decis_levl[0..28]; detl;
- quant26bt_pos[29]; quant26bt_neg{[0]; [29]}; deth;
- qq2_code2_table[1..3]; wh_code_table[1..3]; nbh; delay_dhx[0..5];
- delay_bph[0..5]; ah1; ah2; ph1; ph2; rh1; rh2; test_data[0..5]
- dlt FROM tqmf[0..23]; h[0..23]; qq4_code4_table{[1]; [8]; [15]};
- delay_bpl[0..5]; delay_dltx[0..5]; wl_code_table{[1]; [8]; [15]};
- ilb_table{[0]; [9..10]; [12]; [14..15]; [27]; [29]}; nbl;
- al1; al2; plt1; plt2; rlt1; rlt2; decis_levl[0..28]; detl;
- quant26bt_pos[29]; quant26bt_neg{[0]; [29]}; deth;
- qq2_code2_table[1..3]; wh_code_table[1..3]; nbh; delay_dhx[0..5];
- delay_bph[0..5]; ah1; ah2; ph1; ph2; rh1; rh2; test_data[0..7]
- rlt FROM tqmf[0..23]; h[0..23]; qq4_code4_table{[1]; [8]; [15]};
- delay_bpl[0..5]; delay_dltx[0..5]; wl_code_table{[1]; [8]; [15]};
- ilb_table{[0]; [9..10]; [12]; [14..15]; [27]; [29]}; nbl;
- al1; al2; plt1; plt2; rlt1; rlt2; decis_levl[0..28]; detl;
- quant26bt_pos[29]; quant26bt_neg{[0]; [29]}; deth;
- qq2_code2_table[1..3]; wh_code_table[1..3]; nbh; delay_dhx[0..5];
- delay_bph[0..5]; ah1; ah2; ph1; ph2; rh1; rh2; test_data[0..7]
- rlt1 FROM tqmf[0..23]; h[0..23]; qq4_code4_table{[1]; [8]; [15]};
- delay_bpl[0..5]; delay_dltx[0..5]; wl_code_table{[1]; [8]; [15]};
- ilb_table{[0]; [9..10]; [12]; [14..15]; [27]; [29]}; nbl;
- al1; al2; plt1; plt2; rlt1; rlt2; decis_levl[0..28]; detl;
- quant26bt_pos[29]; quant26bt_neg{[0]; [29]}; deth;
- qq2_code2_table[1..3]; wh_code_table[1..3]; nbh; delay_dhx[0..5];
- delay_bph[0..5]; ah1; ah2; ph1; ph2; rh1; rh2; test_data[0..7]
- rlt2 FROM tqmf[0..23]; h[0..23]; qq4_code4_table{[1]; [8]; [15]};
- delay_bpl[0..5]; delay_dltx[0..5]; wl_code_table{[1]; [8]; [15]};
- ilb_table{[0]; [9..10]; [12]; [14..15]; [27]; [29]}; nbl;
- al1; al2; plt1; plt2; rlt1; rlt2; decis_levl[0..28]; detl;
- quant26bt_pos[29]; quant26bt_neg{[0]; [29]}; deth;
- qq2_code2_table[1..3]; wh_code_table[1..3]; nbh; delay_dhx[0..5];
- delay_bph[0..5]; ah1; ah2; ph1; ph2; rh1; rh2; test_data[0..5]
- detl FROM tqmf[0..23]; h[0..23]; qq4_code4_table{[1]; [8]; [15]};
- delay_bpl[0..5]; delay_dltx[0..5]; wl_code_table{[1]; [8]; [15]};
- ilb_table{[0]; [9..10]; [12]; [14..15]; [27]; [29]}; nbl;
- al1; al2; plt1; plt2; rlt1; rlt2; decis_levl[0..28]; detl;
- quant26bt_pos[29]; quant26bt_neg{[0]; [29]}; deth;
- qq2_code2_table[1..3]; wh_code_table[1..3]; nbh; delay_dhx[0..5];
- delay_bph[0..5]; ah1; ah2; ph1; ph2; rh1; rh2; test_data[0..7]
- deth FROM tqmf[0..23]; h[0..23]; qq4_code4_table{[1]; [8]; [15]};
- delay_bpl[0..5]; delay_dltx[0..5]; wl_code_table{[1]; [8]; [15]};
- ilb_table{[0]; [9..10]; [12]; [14..15]; [27]; [29]}; nbl;
- al1; al2; plt1; plt2; rlt1; rlt2; decis_levl[0..28]; detl;
- quant26bt_pos[29]; quant26bt_neg{[0]; [29]}; deth;
- qq2_code2_table[1..3]; wh_code_table[1..3]; nbh; delay_dhx[0..5];
- delay_bph[0..5]; ah1; ah2; ph1; ph2; rh1; rh2; test_data[0..7]
- sh FROM tqmf[0..23]; h[0..23]; qq4_code4_table{[1]; [8]; [15]};
- delay_bpl[0..5]; delay_dltx[0..5]; wl_code_table{[1]; [8]; [15]};
- ilb_table{[0]; [9..10]; [12]; [14..15]; [27]; [29]}; nbl; al1;
- al2; plt1; plt2; rlt1; rlt2; decis_levl[0..28]; detl;
- quant26bt_pos[29]; quant26bt_neg{[0]; [29]}; deth;
- qq2_code2_table[1..3]; wh_code_table[1..3]; nbh; delay_dhx[0..5];
- delay_bph[0..5]; ah1; ah2; ph1; ph2; rh1; rh2; test_data[0..7]
- eh FROM tqmf[0..23]; h[0..23]; qq4_code4_table{[1]; [8]; [15]};
- delay_bpl[0..5]; delay_dltx[0..5]; wl_code_table{[1]; [8]; [15]};
- ilb_table{[0]; [9..10]; [12]; [14..15]; [27]; [29]}; nbl; al1;
- al2; plt1; plt2; rlt1; rlt2; decis_levl[0..28]; detl;
- quant26bt_pos[29]; quant26bt_neg{[0]; [29]}; deth;
- qq2_code2_table[1..3]; wh_code_table[1..3]; nbh; delay_dhx[0..5];
- delay_bph[0..5]; ah1; ah2; ph1; ph2; rh1; rh2; test_data[0..7]
- dh FROM tqmf[0..23]; h[0..23]; qq4_code4_table{[1]; [8]; [15]};
- delay_bpl[0..5]; delay_dltx[0..5]; wl_code_table{[1]; [8]; [15]};
- ilb_table{[0]; [9..10]; [12]; [14..15]; [27]; [29]}; nbl; al1;
- al2; plt1; plt2; rlt1; rlt2; decis_levl[0..28]; detl;
- quant26bt_pos[29]; quant26bt_neg{[0]; [29]}; deth;
- qq2_code2_table[1..3]; wh_code_table[1..3]; nbh; delay_dhx[0..5];
- delay_bph[0..5]; ah1; ah2; ph1; ph2; rh1; rh2; test_data[0..7]
- ih FROM tqmf[0..23]; h[0..23]; qq4_code4_table{[1]; [8]; [15]};
- delay_bpl[0..5]; delay_dltx[0..5]; wl_code_table{[1]; [8]; [15]};
- ilb_table{[0]; [9..10]; [12]; [14..15]; [27]; [29]}; nbl; al1;
- al2; plt1; plt2; rlt1; rlt2; decis_levl[0..28]; detl;
- quant26bt_pos[29]; quant26bt_neg{[0]; [29]}; deth;
- qq2_code2_table[1..3]; wh_code_table[1..3]; nbh; delay_dhx[0..5];
- delay_bph[0..5]; ah1; ah2; ph1; ph2; rh1; rh2; test_data[0..7]
- nbh FROM tqmf[0..23]; h[0..23]; qq4_code4_table{[1]; [8]; [15]};
- delay_bpl[0..5]; delay_dltx[0..5]; wl_code_table{[1]; [8]; [15]};
- ilb_table{[0]; [9..10]; [12]; [14..15]; [27]; [29]}; nbl;
- al1; al2; plt1; plt2; rlt1; rlt2; decis_levl[0..28]; detl;
- quant26bt_pos[29]; quant26bt_neg{[0]; [29]}; deth;
- qq2_code2_table[1..3]; wh_code_table[1..3]; nbh; delay_dhx[0..5];
- delay_bph[0..5]; ah1; ah2; ph1; ph2; rh1; rh2; test_data[0..7]
- szh FROM tqmf[0..23]; h[0..23]; qq4_code4_table{[1]; [8]; [15]};
- delay_bpl[0..5]; delay_dltx[0..5]; wl_code_table{[1]; [8]; [15]};
- ilb_table{[0]; [9..10]; [12]; [14..15]; [27]; [29]}; nbl;
- al1; al2; plt1; plt2; rlt1; rlt2; decis_levl[0..28]; detl;
- quant26bt_pos[29]; quant26bt_neg{[0]; [29]}; deth;
- qq2_code2_table[1..3]; wh_code_table[1..3]; nbh; delay_dhx[0..5];
- delay_bph[0..5]; ah1; ah2; ph1; ph2; rh1; rh2; test_data[0..7]
- sph FROM tqmf[0..23]; h[0..23]; qq4_code4_table{[1]; [8]; [15]};
- delay_bpl[0..5]; delay_dltx[0..5]; wl_code_table{[1]; [8]; [15]};
- ilb_table{[0]; [9..10]; [12]; [14..15]; [27]; [29]}; nbl;
- al1; al2; plt1; plt2; rlt1; rlt2; decis_levl[0..28]; detl;
- quant26bt_pos[29]; quant26bt_neg{[0]; [29]}; deth;
- qq2_code2_table[1..3]; wh_code_table[1..3]; nbh; delay_dhx[0..5];
- delay_bph[0..5]; ah1; ah2; ph1; ph2; rh1; rh2; test_data[0..5]
- ph FROM tqmf[0..23]; h[0..23]; qq4_code4_table{[1]; [8]; [15]};
- delay_bpl[0..5]; delay_dltx[0..5]; wl_code_table{[1]; [8]; [15]};
- ilb_table{[0]; [9..10]; [12]; [14..15]; [27]; [29]}; nbl; al1;
- al2; plt1; plt2; rlt1; rlt2; decis_levl[0..28]; detl;
- quant26bt_pos[29]; quant26bt_neg{[0]; [29]}; deth;
- qq2_code2_table[1..3]; wh_code_table[1..3]; nbh; delay_dhx[0..5];
- delay_bph[0..5]; ah1; ah2; ph1; ph2; rh1; rh2; test_data[0..7]
- yh FROM tqmf[0..23]; h[0..23]; qq4_code4_table{[1]; [8]; [15]};
- delay_bpl[0..5]; delay_dltx[0..5]; wl_code_table{[1]; [8]; [15]};
- ilb_table{[0]; [9..10]; [12]; [14..15]; [27]; [29]}; nbl; al1;
- al2; plt1; plt2; rlt1; rlt2; decis_levl[0..28]; detl;
- quant26bt_pos[29]; quant26bt_neg{[0]; [29]}; deth;
- qq2_code2_table[1..3]; wh_code_table[1..3]; nbh; delay_dhx[0..5];
- delay_bph[0..5]; ah1; ah2; ph1; ph2; rh1; rh2; test_data[0..7]
- delay_dhx[0]
- FROM tqmf[0..23]; h[0..23]; qq4_code4_table{[1]; [8]; [15]};
- delay_bpl[0..5]; delay_dltx[0..5];
- wl_code_table{[1]; [8]; [15]};
- ilb_table{[0]; [9..10]; [12]; [14..15]; [27]; [29]};
- nbl; al1; al2; plt1; plt2; rlt1; rlt2; decis_levl[0..28];
- detl; quant26bt_pos[29]; quant26bt_neg{[0]; [29]}; deth;
- qq2_code2_table[1..3]; wh_code_table[1..3]; nbh;
- delay_dhx[0..5]; delay_bph[0..5]; ah1; ah2; ph1; ph2;
- rh1; rh2; test_data[0..7] (and SELF)
- [1]
- FROM tqmf[0..23]; h[0..23]; qq4_code4_table{[1]; [8]; [15]};
- delay_bpl[0..5]; delay_dltx[0..5];
- wl_code_table{[1]; [8]; [15]};
- ilb_table{[0]; [9..10]; [12]; [14..15]; [27]; [29]};
- nbl; al1; al2; plt1; plt2; rlt1; rlt2; decis_levl[0..28];
- detl; quant26bt_pos[29]; quant26bt_neg{[0]; [29]}; deth;
- qq2_code2_table[1..3]; wh_code_table[1..3]; nbh;
- delay_dhx[0..5]; delay_bph[0..5]; ah1; ah2; ph1; ph2;
- rh1; rh2; test_data[0..7] (and SELF)
- [3] FROM delay_dltx[2]; delay_dhx[2] (and SELF)
- [4] FROM delay_dltx[2..3]; delay_dhx[2..3] (and SELF)
- [5] FROM delay_dltx[2..4]; delay_dhx[2..4] (and SELF)
- delay_bph[0]
- FROM tqmf[0..23]; h[0..23]; qq4_code4_table{[1]; [8]; [15]};
- delay_bpl[0..5]; delay_dltx[0..5];
- wl_code_table{[1]; [8]; [15]};
- ilb_table{[0]; [9..10]; [12]; [14..15]; [27]; [29]};
- nbl; al1; al2; plt1; plt2; rlt1; rlt2; decis_levl[0..28];
- detl; quant26bt_pos[29]; quant26bt_neg{[0]; [29]}; deth;
- qq2_code2_table[1..3]; wh_code_table[1..3]; nbh;
- delay_dhx[0..5]; delay_bph[0..5]; ah1; ah2; ph1; ph2;
- rh1; rh2; test_data[0..7] (and SELF)
- [1]
- FROM tqmf[0..23]; h[0..23]; qq4_code4_table{[1]; [8]; [15]};
- delay_bpl[0..5]; delay_dltx[0..5];
- wl_code_table{[1]; [8]; [15]};
- ilb_table{[0]; [9..10]; [12]; [14..15]; [27]; [29]};
- nbl; al1; al2; plt1; plt2; rlt1; rlt2; decis_levl[0..28];
- detl; quant26bt_pos[29]; quant26bt_neg{[0]; [29]}; deth;
- qq2_code2_table[1..3]; wh_code_table[1..3]; nbh;
- delay_dhx[0..5]; delay_bph[0..5]; ah1; ah2; ph1; ph2;
- rh1; rh2; test_data[0..7] (and SELF)
- [2]
- FROM tqmf[0..23]; h[0..23]; qq4_code4_table{[1]; [8]; [15]};
- delay_bpl[0..5]; delay_dltx[0..5];
- wl_code_table{[1]; [8]; [15]};
- ilb_table{[0]; [9..10]; [12]; [14..15]; [27]; [29]};
- nbl; al1; al2; plt1; plt2; rlt1; rlt2; decis_levl[0..28];
- detl; quant26bt_pos[29]; quant26bt_neg{[0]; [29]}; deth;
- qq2_code2_table[1..3]; wh_code_table[1..3]; nbh;
- delay_dhx[0..5]; delay_bph[0..5]; ah1; ah2; ph1; ph2;
- rh1; rh2; test_data[0..7] (and SELF)
- [3]
- FROM tqmf[0..23]; h[0..23]; qq4_code4_table{[1]; [8]; [15]};
- delay_bpl[0..5]; delay_dltx[0..5];
- wl_code_table{[1]; [8]; [15]};
- ilb_table{[0]; [9..10]; [12]; [14..15]; [27]; [29]};
- nbl; al1; al2; plt1; plt2; rlt1; rlt2; decis_levl[0..28];
- detl; quant26bt_pos[29]; quant26bt_neg{[0]; [29]}; deth;
- qq2_code2_table[1..3]; wh_code_table[1..3]; nbh;
- delay_dhx[0..5]; delay_bph[0..5]; ah1; ah2; ph1; ph2;
- rh1; rh2; test_data[0..7] (and SELF)
- [4]
- FROM tqmf[0..23]; h[0..23]; qq4_code4_table{[1]; [8]; [15]};
- delay_bpl[0..5]; delay_dltx[0..5];
- wl_code_table{[1]; [8]; [15]};
- ilb_table{[0]; [9..10]; [12]; [14..15]; [27]; [29]};
- nbl; al1; al2; plt1; plt2; rlt1; rlt2; decis_levl[0..28];
- detl; quant26bt_pos[29]; quant26bt_neg{[0]; [29]}; deth;
- qq2_code2_table[1..3]; wh_code_table[1..3]; nbh;
- delay_dhx[0..5]; delay_bph[0..5]; ah1; ah2; ph1; ph2;
- rh1; rh2; test_data[0..7] (and SELF)
- [5]
- FROM tqmf[0..23]; h[0..23]; qq4_code4_table{[1]; [8]; [15]};
- delay_bpl[0..5]; delay_dltx[0..5];
- wl_code_table{[1]; [8]; [15]};
- ilb_table{[0]; [9..10]; [12]; [14..15]; [27]; [29]};
- nbl; al1; al2; plt1; plt2; rlt1; rlt2; decis_levl[0..28];
- detl; quant26bt_pos[29]; quant26bt_neg{[0]; [29]}; deth;
- qq2_code2_table[1..3]; wh_code_table[1..3]; nbh;
- delay_dhx[0..5]; delay_bph[0..5]; ah1; ah2; ph1; ph2;
- rh1; rh2; test_data[0..7] (and SELF)
- ah1 FROM tqmf[0..23]; h[0..23]; qq4_code4_table{[1]; [8]; [15]};
- delay_bpl[0..5]; delay_dltx[0..5]; wl_code_table{[1]; [8]; [15]};
- ilb_table{[0]; [9..10]; [12]; [14..15]; [27]; [29]}; nbl;
- al1; al2; plt1; plt2; rlt1; rlt2; decis_levl[0..28]; detl;
- quant26bt_pos[29]; quant26bt_neg{[0]; [29]}; deth;
- qq2_code2_table[1..3]; wh_code_table[1..3]; nbh; delay_dhx[0..5];
- delay_bph[0..5]; ah1; ah2; ph1; ph2; rh1; rh2; test_data[0..7]
- ah2 FROM tqmf[0..23]; h[0..23]; qq4_code4_table{[1]; [8]; [15]};
- delay_bpl[0..5]; delay_dltx[0..5]; wl_code_table{[1]; [8]; [15]};
- ilb_table{[0]; [9..10]; [12]; [14..15]; [27]; [29]}; nbl;
- al1; al2; plt1; plt2; rlt1; rlt2; decis_levl[0..28]; detl;
- quant26bt_pos[29]; quant26bt_neg{[0]; [29]}; deth;
- qq2_code2_table[1..3]; wh_code_table[1..3]; nbh; delay_dhx[0..5];
- delay_bph[0..5]; ah1; ah2; ph1; ph2; rh1; rh2; test_data[0..7]
- ph1 FROM tqmf[0..23]; h[0..23]; qq4_code4_table{[1]; [8]; [15]};
- delay_bpl[0..5]; delay_dltx[0..5]; wl_code_table{[1]; [8]; [15]};
- ilb_table{[0]; [9..10]; [12]; [14..15]; [27]; [29]}; nbl;
- al1; al2; plt1; plt2; rlt1; rlt2; decis_levl[0..28]; detl;
- quant26bt_pos[29]; quant26bt_neg{[0]; [29]}; deth;
- qq2_code2_table[1..3]; wh_code_table[1..3]; nbh; delay_dhx[0..5];
- delay_bph[0..5]; ah1; ah2; ph1; ph2; rh1; rh2; test_data[0..7]
- ph2 FROM tqmf[0..23]; h[0..23]; qq4_code4_table{[1]; [8]; [15]};
- delay_bpl[0..5]; delay_dltx[0..5]; wl_code_table{[1]; [8]; [15]};
- ilb_table{[0]; [9..10]; [12]; [14..15]; [27]; [29]}; nbl;
- al1; al2; plt1; plt2; rlt1; rlt2; decis_levl[0..28]; detl;
- quant26bt_pos[29]; quant26bt_neg{[0]; [29]}; deth;
- qq2_code2_table[1..3]; wh_code_table[1..3]; nbh; delay_dhx[0..5];
- delay_bph[0..5]; ah1; ah2; ph1; ph2; rh1; rh2; test_data[0..5]
- rh1 FROM tqmf[0..23]; h[0..23]; qq4_code4_table{[1]; [8]; [15]};
- delay_bpl[0..5]; delay_dltx[0..5]; wl_code_table{[1]; [8]; [15]};
- ilb_table{[0]; [9..10]; [12]; [14..15]; [27]; [29]}; nbl;
- al1; al2; plt1; plt2; rlt1; rlt2; decis_levl[0..28]; detl;
- quant26bt_pos[29]; quant26bt_neg{[0]; [29]}; deth;
- qq2_code2_table[1..3]; wh_code_table[1..3]; nbh; delay_dhx[0..5];
- delay_bph[0..5]; ah1; ah2; ph1; ph2; rh1; rh2; test_data[0..7]
- rh2 FROM tqmf[0..23]; h[0..23]; qq4_code4_table{[1]; [8]; [15]};
- delay_bpl[0..5]; delay_dltx[0..5]; wl_code_table{[1]; [8]; [15]};
- ilb_table{[0]; [9..10]; [12]; [14..15]; [27]; [29]}; nbl;
- al1; al2; plt1; plt2; rlt1; rlt2; decis_levl[0..28]; detl;
- quant26bt_pos[29]; quant26bt_neg{[0]; [29]}; deth;
- qq2_code2_table[1..3]; wh_code_table[1..3]; nbh; delay_dhx[0..5];
- delay_bph[0..5]; ah1; ah2; ph1; ph2; rh1; rh2; test_data[0..5]
- compressed[0]
- FROM tqmf[0..23]; h[0..23]; qq4_code4_table{[1]; [8]; [15]};
- delay_bpl[0..5]; delay_dltx[0..5]; al1; al2; rlt1; rlt2;
- decis_levl[0..28]; detl; quant26bt_pos[29];
- quant26bt_neg{[0]; [29]}; deth; delay_dhx[0..5];
- delay_bph[0..5]; ah1; ah2; rh1; rh2
- [1]
- FROM tqmf[0..23]; h[0..23]; qq4_code4_table{[1]; [8]; [15]};
- delay_bpl[0..5]; delay_dltx[0..5];
- wl_code_table{[1]; [8]; [15]};
- ilb_table{[0]; [9..10]; [12]; [14..15]; [27]; [29]};
- nbl; al1; al2; plt1; plt2; rlt1; rlt2; decis_levl[0..28];
- detl; quant26bt_pos[29]; quant26bt_neg{[0]; [29]}; deth;
- qq2_code2_table[1..3]; wh_code_table[1..3]; nbh;
- delay_dhx[0..5]; delay_bph[0..5]; ah1; ah2; ph1; ph2;
- rh1; rh2; test_data[0..1]
- [2]
- FROM tqmf[0..23]; h[0..23]; qq4_code4_table{[1]; [8]; [15]};
- delay_bpl[0..5]; delay_dltx[0..5];
- wl_code_table{[1]; [8]; [15]};
- ilb_table{[0]; [9..10]; [12]; [14..15]; [27]; [29]};
- nbl; al1; al2; plt1; plt2; rlt1; rlt2; decis_levl[0..28];
- detl; quant26bt_pos[29]; quant26bt_neg{[0]; [29]}; deth;
- qq2_code2_table[1..3]; wh_code_table[1..3]; nbh;
- delay_dhx[0..5]; delay_bph[0..5]; ah1; ah2; ph1; ph2;
- rh1; rh2; test_data[0..3]
- [3]
- FROM tqmf[0..23]; h[0..23]; qq4_code4_table{[1]; [8]; [15]};
- delay_bpl[0..5]; delay_dltx[0..5];
- wl_code_table{[1]; [8]; [15]};
- ilb_table{[0]; [9..10]; [12]; [14..15]; [27]; [29]};
- nbl; al1; al2; plt1; plt2; rlt1; rlt2; decis_levl[0..28];
- detl; quant26bt_pos[29]; quant26bt_neg{[0]; [29]}; deth;
- qq2_code2_table[1..3]; wh_code_table[1..3]; nbh;
- delay_dhx[0..5]; delay_bph[0..5]; ah1; ah2; ph1; ph2;
- rh1; rh2; test_data[0..5]
- [4]
- FROM tqmf[0..23]; h[0..23]; qq4_code4_table{[1]; [8]; [15]};
- delay_bpl[0..5]; delay_dltx[0..5];
- wl_code_table{[1]; [8]; [15]};
- ilb_table{[0]; [9..10]; [12]; [14..15]; [27]; [29]};
- nbl; al1; al2; plt1; plt2; rlt1; rlt2; decis_levl[0..28];
- detl; quant26bt_pos[29]; quant26bt_neg{[0]; [29]}; deth;
- qq2_code2_table[1..3]; wh_code_table[1..3]; nbh;
- delay_dhx[0..5]; delay_bph[0..5]; ah1; ah2; ph1; ph2;
- rh1; rh2; test_data[0..7]
-[from] ====== END OF DEPENDENCIES ======
-[inout] Out (internal) for function abs:
- m
-[inout] Inputs for function abs:
- \nothing
-[inout] Out (internal) for function filtep:
- pl; pl2; __retres
-[inout] Inputs for function filtep:
- \nothing
-[inout] Out (internal) for function filtez:
- bpl; dlt_0; i; zl; tmp; tmp_0; __retres; tmp_1_unfold_123;
- tmp_2_unfold_123; tmp_1_unfold_126; tmp_2_unfold_126; tmp_1_unfold_129;
- tmp_2_unfold_129; tmp_1_unfold_132; tmp_2_unfold_132; tmp_1_unfold_135;
- tmp_2_unfold_135
-[inout] Inputs for function filtez:
- delay_bpl[0..5]; delay_dltx[0..5]; delay_dhx[0..5]; delay_bph[0..5]
-[inout] Out (internal) for function logsch:
- nbh_0; wd
-[inout] Inputs for function logsch:
- wh_code_table[1..3]
-[inout] Out (internal) for function logscl:
- nbl_0; wd
-[inout] Inputs for function logscl:
- wl_code_table{[1]; [8]; [15]}
-[inout] Out (internal) for function quantl:
- ril; mil; wd; decis
-[inout] Inputs for function quantl:
- decis_levl[0..29]; quant26bt_pos[29]; quant26bt_neg{[0]; [29]}
-[inout] Out (internal) for function scalel:
- wd1; wd2; wd3; __retres
-[inout] Inputs for function scalel:
- ilb_table{[0]; [9..10]; [12]; [14..15]; [27]; [29]}
-[inout] Out (internal) for function uppol1:
- wd2; wd3; apl1
-[inout] Inputs for function uppol1:
- \nothing
-[inout] Out (internal) for function uppol2:
- wd2; wd4; apl2
-[inout] Inputs for function uppol2:
- \nothing
-[inout] Out (internal) for function upzero:
- delay_bpl[0..5]; delay_dltx{[0..1]; [3..5]}; delay_dhx{[0..1]; [3..5]};
- delay_bph[0..5]; i; wd2; wd3
-[inout] Inputs for function upzero:
- delay_bpl[0..5]; delay_dltx[0..5]; delay_dhx[0..5]; delay_bph[0..5]
-[inout] Out (internal) for function encode:
- tqmf[0..23]; xl; xh; il; szl; spl; sl; el; delay_bpl[0..5];
- delay_dltx{[0..1]; [3..5]}; nbl; al1; al2; plt; plt1; plt2; dlt; rlt;
- rlt1; rlt2; detl; deth; sh; eh; dh; ih; nbh; szh; sph; ph; yh;
- delay_dhx{[0..1]; [3..5]}; delay_bph[0..5]; ah1; ah2; ph1; ph2; rh1;
- rh2; i; h_ptr; tqmf_ptr; tqmf_ptr1; xa; xb; decis; tmp; tmp_0; tmp_1;
- tmp_2; tmp_7; tmp_8; tmp_9; tmp_12; tmp_13; __retres; tmp_3_unfold_8;
- tmp_4_unfold_8; tmp_5_unfold_8; tmp_6_unfold_8; tmp_3_unfold_12;
- tmp_4_unfold_12; tmp_5_unfold_12; tmp_6_unfold_12; tmp_3_unfold_16;
- tmp_4_unfold_16; tmp_5_unfold_16; tmp_6_unfold_16; tmp_3_unfold_20;
- tmp_4_unfold_20; tmp_5_unfold_20; tmp_6_unfold_20; tmp_3_unfold_24;
- tmp_4_unfold_24; tmp_5_unfold_24; tmp_6_unfold_24; tmp_3_unfold_28;
- tmp_4_unfold_28; tmp_5_unfold_28; tmp_6_unfold_28; tmp_3_unfold_32;
- tmp_4_unfold_32; tmp_5_unfold_32; tmp_6_unfold_32; tmp_3_unfold_36;
- tmp_4_unfold_36; tmp_5_unfold_36; tmp_6_unfold_36; tmp_3_unfold_40;
- tmp_4_unfold_40; tmp_5_unfold_40; tmp_6_unfold_40; tmp_3_unfold_44;
- tmp_4_unfold_44; tmp_5_unfold_44; tmp_6_unfold_44; tmp_10_unfold_51;
- tmp_11_unfold_51; tmp_10_unfold_54; tmp_11_unfold_54; tmp_10_unfold_57;
- tmp_11_unfold_57; tmp_10_unfold_60; tmp_11_unfold_60; tmp_10_unfold_63;
- tmp_11_unfold_63; tmp_10_unfold_66; tmp_11_unfold_66; tmp_10_unfold_69;
- tmp_11_unfold_69; tmp_10_unfold_72; tmp_11_unfold_72; tmp_10_unfold_75;
- tmp_11_unfold_75; tmp_10_unfold_78; tmp_11_unfold_78; tmp_10_unfold_81;
- tmp_11_unfold_81; tmp_10_unfold_84; tmp_11_unfold_84; tmp_10_unfold_87;
- tmp_11_unfold_87; tmp_10_unfold_90; tmp_11_unfold_90; tmp_10_unfold_93;
- tmp_11_unfold_93; tmp_10_unfold_96; tmp_11_unfold_96; tmp_10_unfold_99;
- tmp_11_unfold_99; tmp_10_unfold_102; tmp_11_unfold_102; tmp_10_unfold_105;
- tmp_11_unfold_105; tmp_10_unfold_108; tmp_11_unfold_108; tmp_10_unfold_111;
- tmp_11_unfold_111; tmp_10_unfold_114; tmp_11_unfold_114
-[inout] Inputs for function encode:
- tqmf[0..23]; h[0..23]; xl; xh; il; szl; spl; sl; el;
- qq4_code4_table{[1]; [8]; [15]}; delay_bpl[0..5]; delay_dltx[0..5];
- wl_code_table{[1]; [8]; [15]};
- ilb_table{[0]; [9..10]; [12]; [14..15]; [27]; [29]}; nbl; al1; al2;
- plt; plt1; plt2; dlt; rlt; rlt1; rlt2; decis_levl[0..29]; detl;
- quant26bt_pos[29]; quant26bt_neg{[0]; [29]}; deth; sh; eh;
- qq2_code2_table[1..3]; wh_code_table[1..3]; dh; ih; nbh; szh; sph;
- ph; yh; delay_dhx[0..5]; delay_bph[0..5]; ah1; ah2; ph1; ph2; rh1;
- rh2
-[inout] Out (internal) for function main:
- tqmf[0..23]; xl; xh; il; szl; spl; sl; el; delay_bpl[0..5];
- delay_dltx{[0..1]; [3..5]}; nbl; al1; al2; plt; plt1; plt2; dlt; rlt;
- rlt1; rlt2; detl; deth; sh; eh; dh; ih; nbh; szh; sph; ph; yh;
- delay_dhx{[0..1]; [3..5]}; delay_bph[0..5]; ah1; ah2; ph1; ph2; rh1;
- rh2; compressed[0..4]; i
-[inout] Inputs for function main:
- tqmf[0..23]; h[0..23]; xl; xh; il; szl; spl; sl; el;
- qq4_code4_table{[1]; [8]; [15]}; delay_bpl[0..5]; delay_dltx[0..5];
- wl_code_table{[1]; [8]; [15]};
- ilb_table{[0]; [9..10]; [12]; [14..15]; [27]; [29]}; nbl; al1; al2;
- plt; plt1; plt2; dlt; rlt; rlt1; rlt2; decis_levl[0..29]; detl;
- quant26bt_pos[29]; quant26bt_neg{[0]; [29]}; deth; sh; eh;
- qq2_code2_table[1..3]; wh_code_table[1..3]; dh; ih; nbh; szh; sph;
- ph; yh; delay_dhx[0..5]; delay_bph[0..5]; ah1; ah2; ph1; ph2; rh1;
- rh2; test_data[0..9]