regression/real-sign.ok

   1 Testing Real32
   2 sign(negNan) = raise Domain
   3 signBit(negNan) = true
   4 sign(abs(negNan)) = raise Domain
   5 signBit(abs(negNan)) = false
   6 sign(negInf) = ~1
   7 signBit(negInf) = true
   8 sign(abs(negInf)) = 1
   9 signBit(abs(negInf)) = false
  10 sign(negOne) = ~1
  11 signBit(negOne) = true
  12 sign(abs(negOne)) = 1
  13 signBit(abs(negOne)) = false
  14 sign(negZero) = 0
  15 signBit(negZero) = true
  16 sign(abs(negZero)) = 0
  17 signBit(abs(negZero)) = false
  18 sign(posZero) = 0
  19 signBit(posZero) = false
  20 sign(abs(posZero)) = 0
  21 signBit(abs(posZero)) = false
  22 sign(posOne) = 1
  23 signBit(posOne) = false
  24 sign(abs(posOne)) = 1
  25 signBit(abs(posOne)) = false
  26 sign(posInf) = 1
  27 signBit(posInf) = false
  28 sign(abs(posInf)) = 1
  29 signBit(abs(posInf)) = false
  30 sign(posNan) = raise Domain
  31 signBit(posNan) = false
  32 sign(abs(posNan)) = raise Domain
  33 signBit(abs(posNan)) = false
  34
  35 Testing Real64
  36 sign(negNan) = raise Domain
  37 signBit(negNan) = true
  38 sign(abs(negNan)) = raise Domain
  39 signBit(abs(negNan)) = false
  40 sign(negInf) = ~1
  41 signBit(negInf) = true
  42 sign(abs(negInf)) = 1
  43 signBit(abs(negInf)) = false
  44 sign(negOne) = ~1
  45 signBit(negOne) = true
  46 sign(abs(negOne)) = 1
  47 signBit(abs(negOne)) = false
  48 sign(negZero) = 0
  49 signBit(negZero) = true
  50 sign(abs(negZero)) = 0
  51 signBit(abs(negZero)) = false
  52 sign(posZero) = 0
  53 signBit(posZero) = false
  54 sign(abs(posZero)) = 0
  55 signBit(abs(posZero)) = false
  56 sign(posOne) = 1
  57 signBit(posOne) = false
  58 sign(abs(posOne)) = 1
  59 signBit(abs(posOne)) = false
  60 sign(posInf) = 1
  61 signBit(posInf) = false
  62 sign(abs(posInf)) = 1
  63 signBit(abs(posInf)) = false
  64 sign(posNan) = raise Domain
  65 signBit(posNan) = false
  66 sign(abs(posNan)) = raise Domain
  67 signBit(abs(posNan)) = false