Gitiles
Code Review Sign In
review.jami.net / jami-client-android / fe2155aa2c2d80eb4e33666a86ea9409f4229c5c / . / jni / libgsm / sources / add-test / add_test.dta
blob: fe7402d39f866c5a33cebca3a75ffc2e2572c917 [file] [log] [blame]
Alexandre Lisiond204ea52013-10-15 10:16:25 -0400[diff] [blame]1;
2; Copyright 1992 by Jutta Degener and Carsten Bormann, Technische
3; Universitaet Berlin. See the accompanying file "COPYRIGHT" for
4; details. THERE IS ABSOLUTELY NO WARRANTY FOR THIS SOFTWARE.
5;
6;
7; Lines starting with ' (in the first col) are echoed.
8; Lines starting with " (in the first col) are echoed to stderr.
9; Lines starting with ; or empty lines are ignored.
10;
11; The part after (including) a trailing '=' is what you expect;
12; there will be output if the result is different.
13;
14; - and + by itself mean MIN_WORD and MAX_WORD, respectively;
15; -- and ++ mean MIN_LONGWORD and MAX_LONGWORD.
16;
17
18'test the basic arithmetic operations used for the rpe-ltd filtering.
19'
20'add ================
21' basic
22
23 add 0 0 = 0
24 add 7 4 = 11
25 add 4 6 = 10
26 add 1 1 = 2
27
28' negative operands
29
30 add -7 4 = -3
31 add 4 -6 = -2
32 add -1 -3 = -4
33 add 7 -4 = 3
34 add -4 6 = 2
35
36' positive overflow
37; (max-word = 32767)
38 add + 1 = +
39 add + + = +
40 add -1 + = 32766
41 add 32766 2 = +
42 add 1 32766 = +
43
44' underflow
45; (min-word = 32768)
46
47 add - -1 = -
48 add - - = -
49 add 1 - = -32767
50 add -32767 -2 = -
51 add -1 -32766 = -32767
52 add -32767 -1 = -
53 add - + = -1
54 add + - = -1
55 add 0 - = -
56 add 0 + = +
57'
58
59'L_add ================
60' basic
61
62 L_add 0 0 = 0
63 L_add 7 4 = 11
64 L_add 4 6 = 10
65 L_add 1 1 = 2
66
67' negative operands
68
69 L_add -7 4 = -3
70 L_add 4 -6 = -2
71 L_add -1 -3 = -4
72 L_add 7 -4 = 3
73 L_add -4 6 = 2
74 L_add 0 -1 = -1
75
76' positive overflow
77; (max-longword = 2147483647)
78 L_add ++ 1 = ++
79 L_add ++ ++ = ++
80 L_add -1 ++ = 2147483646
81 L_add 2147483646 2 = ++
82 L_add 1 2147483645 = 2147483646
83
84' underflow
85; (min-longword = -2147483648)
86
87 L_add -- -1 = --
88 L_add -- -- = --
89 L_add 1 -- = -2147483647
90 L_add -2147483647 -2 = --
91 L_add -1 -2147483646 = -2147483647
92 L_add -2147483647 -1 = --
93 L_add -- ++ = -1
94 L_add ++ -- = -1
95 L_add 0 -- = --
96 L_add 0 ++ = ++
97'
98
99'sub ================
100' basic
101
102 sub 0 0 = 0
103 sub 7 4 = 3
104 sub 4 6 = -2
105 sub 1 0 = 1
106
107' negative operands
108
109 sub -7 4 = -11
110 sub 4 -6 = 10
111 sub -1 -3 = 2
112 sub 7 -4 = 11
113 sub -4 6 = -10
114
115' positive overflow
116; (max-word = 32767)
117 sub 1 - = +
118 sub + + = 0
119 sub + 0 = +
120 sub + -1 = +
121 sub + 1 = 32766
122 sub 1 + = -32766
123 sub 0 + = -32767
124
125' underflow
126; (min-word = 32768)
127
128 sub - -1 = -32767
129 sub - 1 = -
130 sub - - = 0
131 sub - + = -
132 sub + - = +
133 sub 1 - = +
134 sub -1 - = +
135 sub -32767 2 = -
136 sub 0 - = +
137'
138
139'L_sub ================
140' basic
141
142 L_sub 0 0 = 0
143 L_sub 7 4 = 3
144 L_sub 4 6 = -2
145 L_sub 1 0 = 1
146
147' negative operands
148
149 L_sub -7 4 = -11
150 L_sub 4 -6 = 10
151 L_sub -1 -3 = 2
152 L_sub 7 -4 = 11
153 L_sub -4 6 = -10
154
155' positive overflow
156 L_sub 1 -- = ++
157 L_sub ++ ++ = 0
158 L_sub ++ 0 = ++
159 L_sub ++ -1 = ++
160 L_sub ++ 1 = 2147483646
161 L_sub 1 ++ = -2147483646
162 L_sub 0 ++ = -2147483647
163
164' underflow
165
166 L_sub -- -1 = -2147483647
167 L_sub -- 1 = --
168 L_sub -- -- = 0
169 L_sub -- ++ = --
170 L_sub + -- = ++
171 L_sub 1 -- = ++
172 L_sub -1 -- = ++
173 L_sub -2147483647 2 = --
174 L_sub 0 -- = ++
175
176'
177'abs ================
178' basic
179
180 abs 0 = 0
181 abs 2 = 2
182 abs -459 = 459
183
184' overflow
185
186 abs + = +
187 abs - = +
188 abs -32767 = +
189 abs 32766 = 32766
190 abs -32766 = 32766
191
192'
193'mult ================
194; actually, a * b >> 15
195
196' basic
197 mult 0 0 = 0
198 mult 0x100 0x100 = 2
199 mult 4711 0x4000 = 2355
200
201' negative operands
202 mult -1 0 = 0
203
204 mult -0x100 0x100 = -2
205 mult 0x100 -0x100 = -2
206 mult -0x100 -0x100 = 2
207
208 mult -4711 0x4000 = -2356
209 mult 4711 -0x4000 = -2356
210 mult -4711 -0x4000 = 2355
211
212' overflow
213 mult + + = 32766
214 mult + 0x4000 = 0x3fff
215 mult 0x4000 + = 0x3fff
216 mult + 1 = 0
217 mult + 2 = 1
218 mult + 3 = 2
219
220' underflow
221 mult - - = +
222 mult - + = -32767
223 mult + - = -32767
224 mult - 1 = -1
225 mult - 2 = -2
226 mult - 3 = -3
227
228'
229'mult_r ================
230; actually, (a * b + 16384) >> 15
231
232' basic
233 mult_r 0 0 = 0
234 mult_r 0x100 0x100 = 2
235 mult_r 4711 0x4000 = 2356
236
237' negative operands
238 mult_r -1 0 = 0
239
240 mult_r -0x100 0x100 = -2
241 mult_r 0x100 -0x100 = -2
242 mult_r -0x100 -0x100 = 2
243
244 mult_r -4711 0x4000 = -2355
245 mult_r 4711 -0x4000 = -2355
246 mult_r -4711 -0x4000 = 2356
247
248' overflow
249 mult_r + + = 32766
250 mult_r + 32766 = 32765
251 mult_r 32766 + = 32765
252 mult_r + 0x4000 = 0x4000
253 mult_r 0x4000 + = 0x4000
254 mult_r + 0x4001 = 0x4000
255 mult_r 0x4001 + = 0x4000
256 mult_r + 2 = 2
257 mult_r + 1 = 1
258 mult_r 1 + = 1
259 mult_r + 0 = 0
260 mult_r 0 + = 0
261
262' underflow
263 mult_r - - = +
264 mult_r - + = -32767
265 mult_r + - = -32767
266 mult_r - 1 = -1
267 mult_r - 2 = -2
268 mult_r - 3 = -3
269
270'
271'L_mult ================
272; actually, (a * b) << 1
273; assert (a != MIN_WORD && b != MIN_WORD)
274
275' basic
276 L_mult 0 0 = 0
277 L_mult 2 3 = 12
278 L_mult 4711 5 = 47110
279
280' negative operands
281
282 L_mult -2 3 = -12
283 L_mult 2 -3 = -12
284 L_mult -2 -3 = 12
285 L_mult -4711 5 = -47110
286 L_mult 4711 -5 = -47110
287 L_mult -4711 -5 = 47110
288
289' overflow
290 L_mult + + = 2147352578
291 L_mult + -32767 = -2147352578
292 L_mult -32767 + = -2147352578
293 L_mult + 2 = 131068
294 L_mult + 1 = 65534
295 L_mult 1 + = 65534
296 L_mult + 0 = 0
297 L_mult 0 + = 0
298
299'
300'div ================
301; actually, (32767 * a) / b
302; assert (a > 0 && b >= a)
303
304' basic
305 div 1 1 = +
306 div 4711 4711 = +
307 div 5 10 = 0x4000
308 div 5 20 = 0x2000
309 div 5 40 = 0x1000
310
311' overflow
312 div + + = +
313 div 0x4000 + = 0x4000
314 div 1 + = 1
315 div 1 2 = 0x4000
316'
317'norm ================
318
319' positive
320 norm 1 = 30
321 norm 2 = 29
322 norm 3 = 29
323 norm 4 = 28
324 norm 5 = 28
325; etc, etc...
326 norm 0x08000000 = 3
327 norm 0x10000000 = 2
328 norm 0x20000000 = 1
329 norm 0x20000001 = 1
330 norm 0x3fffffff = 1
331 norm 0x40000000 = 0
332 norm 0x40000001 = 0
333 norm 0x4ffffffe = 0
334 norm ++ = 0
335
336' negative
337 norm -1 = 31
338 norm -2 = 30
339 norm -3 = 29
340 norm -4 = 29
341 norm -5 = 28
342; etc, etc...
343 norm 0x4fffffff = 0
344 norm -- = 0
345'
346'>> ================
347
348' basic
349 >> 1 1 = 0
350 >> 4 2 = 1
351 >> 0x1100 5 = 0x88
352
353' negative operand
354
355 >> 1 -1 = 2
356 >> 1 -2 = 4
357 >> 0x88 -5 = 0x1100
358
359' overflow
360 >> -1 4711 = -1
361 >> 1 4711 = 0
362 >> -4711 4711 = -1
363 >> 4711 4711 = 0
364 >> + 1 = 16383
365 >> - 1 = -16384
366'
367'L_>> ================
368
369' basic
370 L_>> 1 1 = 0
371 L_>> 4 2 = 1
372 L_>> 0x1100 5 = 0x88
373
374' negative operand
375
376 L_>> 1 -1 = 2
377 L_>> 1 -2 = 4
378 L_>> 0x88 -5 = 0x1100
379
380' overflow
381 L_>> -1 4711 = -1
382 L_>> 1 4711 = 0
383 L_>> -4711 4711 = -1
384 L_>> 4711 4711 = 0
385 L_>> ++ 1 = 1073741823
386 L_>> -- 1 = -1073741824
387
388'
389'<< ================
390
391' basic
392 << 1 1 = 2
393 << 4 2 = 16
394 << 0x0088 5 = 0x1100
395
396' negative operand
397
398 << 1 -1 = 0
399 << 4 -2 = 1
400 << 0x1100 -5 = 0x0088
401
402' overflow
403 << -1 4711 = 0
404 << 1 4711 = 0
405 << -4711 4711 = 0
406 << 4711 4711 = 0
407 << 4711 -4711 = 0
408 << -4711 -4711 = -1
409 << + 1 = 0xfffe
410 << -1 1 = 0xfffe
411 << - 1 = 0
412'
413'L_<< ================
414
415' basic
416 L_<< 1 1 = 2
417 L_<< 4 2 = 16
418 L_<< 0x0088 5 = 0x1100
419
420' negative operand
421
422 L_<< 1 -1 = 0
423 L_<< 4 -2 = 1
424 L_<< 0x1100 -5 = 0x0088
425
426' overflow
427 L_<< -1 4711 = 0
428 L_<< 1 4711 = 0
429 L_<< -4711 4711 = 0
430 L_<< 4711 4711 = 0
431 L_<< 4711 -4711 = 0
432 L_<< -4711 -4711 = -1
433 L_<< ++ 1 = -2
434 L_<< -1 1 = -2
435 L_<< -- 1 = 0
436
437'macros
438'
439'add ================
440' basic
441
442 M_add 0 0 = 0
443 M_add 7 4 = 11
444 M_add 4 6 = 10
445 M_add 1 1 = 2
446
447' negative operands
448
449 M_add -7 4 = -3
450 M_add 4 -6 = -2
451 M_add -1 -3 = -4
452 M_add 7 -4 = 3
453 M_add -4 6 = 2
454
455' positive overflow
456; (max-word = 32767)
457 M_add + 1 = +
458 M_add + + = +
459 M_add -1 + = 32766
460 M_add 32766 2 = +
461 M_add 1 32766 = +
462
463' underflow
464; (min-word = 32768)
465
466 M_add - -1 = -
467 M_add - - = -
468 M_add 1 - = -32767
469 M_add -32767 -2 = -
470 M_add -1 -32766 = -32767
471 M_add -32767 -1 = -
472 M_add - + = -1
473 M_add + - = -1
474 M_add 0 - = -
475 M_add 0 + = +
476'
477
478'L_add ================
479' basic
480
481 M_L_add 0 0 = 0
482 M_L_add 7 4 = 11
483 M_L_add 4 6 = 10
484 M_L_add 1 1 = 2
485
486' negative operands
487
488 M_L_add -7 4 = -3
489 M_L_add 4 -6 = -2
490 M_L_add -1 -3 = -4
491 M_L_add 7 -4 = 3
492 M_L_add -4 6 = 2
493 M_L_add 0 -1 = -1
494
495' positive overflow
496; (max-longword = 2147483647)
497 M_L_add ++ 1 = ++
498 M_L_add ++ ++ = ++
499 M_L_add -1 ++ = 2147483646
500 M_L_add 2147483646 2 = ++
501 M_L_add 1 2147483645 = 2147483646
502
503' underflow
504; (min-longword = -2147483648)
505
506 M_L_add -- -1 = --
507 M_L_add -- -- = --
508 M_L_add 1 -- = -2147483647
509 M_L_add -2147483647 -2 = --
510 M_L_add -1 -2147483646 = -2147483647
511 M_L_add -2147483647 -1 = --
512 M_L_add -- ++ = -1
513 M_L_add ++ -- = -1
514 M_L_add 0 -- = --
515 M_L_add 0 ++ = ++
516'
517
518'sub ================
519' basic
520
521 M_sub 0 0 = 0
522 M_sub 7 4 = 3
523 M_sub 4 6 = -2
524 M_sub 1 0 = 1
525
526' negative operands
527
528 M_sub -7 4 = -11
529 M_sub 4 -6 = 10
530 M_sub -1 -3 = 2
531 M_sub 7 -4 = 11
532 M_sub -4 6 = -10
533
534' positive overflow
535; (max-word = 32767)
536 M_sub 1 - = +
537 M_sub + + = 0
538 M_sub + 0 = +
539 M_sub + -1 = +
540 M_sub + 1 = 32766
541 M_sub 1 + = -32766
542 M_sub 0 + = -32767
543
544' underflow
545; (min-word = 32768)
546
547 M_sub - -1 = -32767
548 M_sub - 1 = -
549 M_sub - - = 0
550 M_sub - + = -
551 M_sub + - = +
552 M_sub 1 - = +
553 M_sub -1 - = +
554 M_sub -32767 2 = -
555 M_sub 0 - = +
556'
557'
558'abs ================
559' basic
560
561 M_abs 0 = 0
562 M_abs 2 = 2
563 M_abs -459 = 459
564
565' overflow
566
567 M_abs + = +
568 M_abs - = +
569 M_abs -32767 = +
570 M_abs 32766 = 32766
571 M_abs -32766 = 32766
572
573'
574'mult ================
575; actually, a * b >> 15
576
577' basic
578 M_mult 0 0 = 0
579 M_mult 0x100 0x100 = 2
580 M_mult 4711 0x4000 = 2355
581
582' negative operands
583 M_mult -1 0 = 0
584
585 M_mult -0x100 0x100 = -2
586 M_mult 0x100 -0x100 = -2
587 M_mult -0x100 -0x100 = 2
588
589 M_mult -4711 0x4000 = -2356
590 M_mult 4711 -0x4000 = -2356
591 M_mult -4711 -0x4000 = 2355
592
593' overflow
594 M_mult + + = 32766
595 M_mult + 0x4000 = 0x3fff
596 M_mult 0x4000 + = 0x3fff
597 M_mult + 1 = 0
598 M_mult + 2 = 1
599 M_mult + 3 = 2
600
601' underflow
602; M_mult - - = + assert !(a == b && b == MIN_WORD)
603 M_mult - -32767 = +
604 M_mult -32767 - = +
605 M_mult - + = -32767
606 M_mult + - = -32767
607 M_mult - 1 = -1
608 M_mult - 2 = -2
609 M_mult - 3 = -3
610
611'
612'mult_r ================
613; actually, (a * b + 16384) >> 15
614
615' basic
616 M_mult_r 0 0 = 0
617 M_mult_r 0x100 0x100 = 2
618 M_mult_r 4711 0x4000 = 2356
619
620' negative operands
621 M_mult_r -1 0 = 0
622
623 M_mult_r -0x100 0x100 = -2
624 M_mult_r 0x100 -0x100 = -2
625 M_mult_r -0x100 -0x100 = 2
626
627 M_mult_r -4711 0x4000 = -2355
628 M_mult_r 4711 -0x4000 = -2355
629 M_mult_r -4711 -0x4000 = 2356
630
631' overflow
632 M_mult_r + + = 32766
633 M_mult_r + 32766 = 32765
634 M_mult_r 32766 + = 32765
635 M_mult_r + 0x4000 = 0x4000
636 M_mult_r 0x4000 + = 0x4000
637 M_mult_r + 0x4001 = 0x4000
638 M_mult_r 0x4001 + = 0x4000
639 M_mult_r + 2 = 2
640 M_mult_r + 1 = 1
641 M_mult_r 1 + = 1
642 M_mult_r + 0 = 0
643 M_mult_r 0 + = 0
644
645' underflow
646; M_mult_r - - = + assert !(a == b && b == MIN_WORD)
647 M_mult_r - -32767 = +
648 M_mult_r -32767 - = +
649 M_mult_r - + = -32767
650 M_mult_r + - = -32767
651 M_mult_r - 1 = -1
652 M_mult_r - 2 = -2
653 M_mult_r - 3 = -3
654
655'
656'L_mult ================
657; actually, (a * b) << 1
658; assert (a != MIN_WORD && b != MIN_WORD)
659
660' basic
661 M_L_mult 0 0 = 0
662 M_L_mult 2 3 = 12
663 M_L_mult 4711 5 = 47110
664
665' negative operands
666
667 M_L_mult -2 3 = -12
668 M_L_mult 2 -3 = -12
669 M_L_mult -2 -3 = 12
670 M_L_mult -4711 5 = -47110
671 M_L_mult 4711 -5 = -47110
672 M_L_mult -4711 -5 = 47110
673
674' overflow
675 M_L_mult + + = 2147352578
676 M_L_mult + -32767 = -2147352578
677 M_L_mult -32767 + = -2147352578
678 M_L_mult + 2 = 131068
679 M_L_mult + 1 = 65534
680 M_L_mult 1 + = 65534
681 M_L_mult + 0 = 0
682 M_L_mult 0 + = 0
683