contrib/bmake/unit-tests/cond-cmp-numeric-eq.mk

   1 # $NetBSD: cond-cmp-numeric-eq.mk,v 1.5 2020/11/08 21:47:59 rillig Exp $
   2 #
   3 # Tests for numeric comparisons with the == operator in .if conditions.
   4
   5 # This comparison yields the same result, whether numeric or character-based.
   6 .if 1 == 1
   7 .else
   8 .  error
   9 .endif
  10
  11 # This comparison yields the same result, whether numeric or character-based.
  12 .if 1 == 2
  13 .  error
  14 .endif
  15
  16 .if 2 == 1
  17 .  error
  18 .endif
  19
  20 # Scientific notation is supported, as per strtod.
  21 .if 2e7 == 2000e4
  22 .else
  23 .  error
  24 .endif
  25
  26 .if 2000e4 == 2e7
  27 .else
  28 .  error
  29 .endif
  30
  31 # Trailing zeroes after the decimal point are irrelevant for the numeric
  32 # value.
  33 .if 3.30000 == 3.3
  34 .else
  35 .  error
  36 .endif
  37
  38 .if 3.3 == 3.30000
  39 .else
  40 .  error
  41 .endif
  42
  43 # As of 2020-08-23, numeric comparison is implemented as parsing both sides
  44 # as double, and then performing a normal comparison.  The range of double is
  45 # typically 16 or 17 significant digits, therefore these two numbers seem to
  46 # be equal.
  47 .if 1.000000000000000001 == 1.000000000000000002
  48 .else
  49 .  error
  50 .endif
  51
  52 # Because an IEEE 754 double can only hold integers with a mantissa of 53
  53 # bits, these two numbers are considered the same.  The 993 is rounded down
  54 # to the 992.
  55 .if 9007199254740993 == 9007199254740992
  56 .else
  57 . error
  58 .endif
  59 # The 995 is rounded up, the 997 is rounded down.
  60 .if 9007199254740995 == 9007199254740997
  61 .else
  62 . error Probably a misconfiguration in the floating point environment, \
  63         or maybe a machine without IEEE 754 floating point support.
  64 .endif
  65
  66 # There is no = operator for numbers.
  67 .if !(12345 = 12345)
  68 .  error
  69 .else
  70 .  error
  71 .endif
  72
  73 # There is no === operator for numbers either.
  74 .if !(12345 === 12345)
  75 .  error
  76 .else
  77 .  error
  78 .endif
  79
  80 all:
  81         @:;