sim/testsuite/sim/v850/satadd.cgs

   1 # v850 satadd
   2 # mach: all
   3
   4         .include "testutils.inc"
   5
   6 # If the result of the add is "negative", that means we went too
   7 # positive.  The result should be the most positive number.
   8
   9         noflags
  10         seti    0x70000000, r1
  11         seti    0x70000000, r2
  12         satadd  r1, r2
  13
  14         flags   sat + nc + v + ns + nz
  15         reg     r2, 0x7fffffff
  16
  17         noflags
  18         seti    0x7ffffffe, r1
  19         satadd  10, r1
  20
  21         flags   sat + nc + v + ns + nz
  22         reg     r1, 0x7fffffff
  23
  24 # Similarly, if the result of the add is "positive", that means we
  25 # went too negative.  The result should be the most negative number.
  26
  27         noflags
  28         seti    0x90000000, r1
  29         seti    0x90000000, r2
  30         satadd  r1, r2
  31
  32         flags   sat + c + v + s + nz
  33         reg     r2, 0x80000000
  34
  35         noflags
  36         seti    0x80000001, r1
  37         satadd  -10, r1
  38
  39         flags   sat + c + v + s + nz
  40         reg     r1, 0x80000000
  41
  42 # Check that the SAT flag remains set until reset
  43
  44         seti    1, r1
  45         seti    2, r2
  46         satadd  r1,r2
  47
  48         flags   sat + nc + nv + ns + nz
  49         reg     r2, 3
  50
  51         noflags
  52         seti    1, r1
  53         seti    2, r2
  54         satadd  r1,r2
  55
  56         flags   nsat + nc + nv + ns + nz
  57         reg     r2, 3
  58
  59 # Check that results exactly equal to min/max don't saturate
  60
  61         noflags
  62         seti    0x70000000, r1
  63         seti    0x0fffffff, r2
  64         satadd  r1,r2
  65
  66         flags   nsat + nc + nv + ns + nz
  67         reg     r2, 0x7fffffff
  68
  69
  70         noflags
  71         seti    0x90000000, r1
  72         seti    0xf0000000, r2
  73         satadd  r1,r2
  74
  75         flags   nsat + c + nv + s + nz
  76         reg     r2, 0x80000000
  77
  78
  79         pass