libgsmfr/add-test/add_test.dta

   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