1# $NetBSD: cond-cmp-numeric-eq.mk,v 1.6 2023/06/01 20:56:35 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# expect+1: Malformed conditional (!(12345 = 12345)) 68.if !(12345 = 12345) 69. error 70.else 71. error 72.endif 73 74# There is no === operator for numbers either. 75# expect+1: Malformed conditional (!(12345 === 12345)) 76.if !(12345 === 12345) 77. error 78.else 79. error 80.endif 81 82all: 83 @:; 84