9front - general discussion about 9front
 help / color / mirror / Atom feed
* apes and disgusting integers.
@ 2020-05-01 18:33 ori
  2020-05-01 20:32 ` [9front] " ori
  0 siblings, 1 reply; 2+ messages in thread
From: ori @ 2020-05-01 18:33 UTC (permalink / raw)
  To: 9front

Turns out that C99 requires us to implement the
int_{fast,least}NN_t types if we implement the
intNN_t types. This implements them and makes
them all the same.

Ran into this when compiling zic, the zoneinfo
compiler, though I believe duktape also had this
problem in the code-gen'ed files. (IIRC, it got
hacked around there).

diff -r 8006152d13d2 sys/include/ape/stdint.h
--- a/sys/include/ape/stdint.h	Tue Apr 28 20:51:19 2020 -0700
+++ b/sys/include/ape/stdint.h	Thu Apr 30 17:31:24 2020 -0700
@@ -21,6 +21,26 @@
 typedef unsigned long long uint64_t;
 typedef unsigned long long uintmax_t;
 
+typedef int8_t	int_fast8_t;
+typedef int16_t	int_fast16_t;
+typedef int32_t	int_fast32_t;
+typedef int64_t	int_fast64_t;
+;
+typedef int8_t	int_least8_t;
+typedef int16_t	int_least16_t;
+typedef int32_t	int_least32_t;
+typedef int64_t	int_least64_t;
+
+typedef uint8_t		uint_fast8_t;
+typedef uint16_t	uint_fast16_t;
+typedef uint32_t	uint_fast32_t;
+typedef uint64_t	uint_fast64_t;
+
+typedef uint8_t		uint_least8_t;
+typedef uint16_t	uint_least16_t;
+typedef uint32_t	uint_least32_t;
+typedef uint64_t	uint_least64_t;
+
 typedef _intptr_t intptr_t;
 typedef _uintptr_t uintptr_t;
 
@@ -28,16 +48,38 @@
 #define INT16_MIN	0x8000
 #define INT32_MIN	0x80000000
 #define INT64_MIN	0x8000000000000000LL
+#define INTMAX_MIN	INT64_MIN
 
 #define UINT8_MIN	0
 #define UINT16_MIN	0 
 #define UINT32_MIN	0 
 #define UINT64_MIN	0
+#define UINTMAX_MIN	UINT64_MIN
+
+#define INT_FAST8_MIN	INT8_MIN
+#define INT_FAST16_MIN	INT16_MIN
+#define INT_FAST32_MIN	INT32_MIN
+#define INT_FAST64_MIN	INT64_MIN
+
+#define UINT_FAST8_MIN	UINT8_MIN
+#define UINT_FAST16_MIN	UINT16_MIN
+#define UINT_FAST32_MIN	UINT32_MIN
+#define UINT_FAST64_MIN	UINT64_MIN
+
+#define INT_LEAST8_MIN	INT8_MIN
+#define INT_LEAST16_MIN	INT16_MIN
+#define INT_LEAST32_MIN	INT32_MIN
+#define INT_LEAST64_MIN	INT64_MIN
+
+#define UINT_LEAST8_MIN		UINT8_MIN
+#define UINT_LEAST16_MIN	UINT16_MIN
+#define UINT_LEAST32_MIN	UINT32_MIN
+#define UINT_LEAST64_MIN	UINT64_MIN
 
 #define INT8_MAX	0x7f
 #define INT16_MAX	0x7fff
 #define INT32_MAX	0x7fffffff
-#define INT64_MAX	0x7fffffffffffffffULL
+#define INT64_MAX	0x7fffffffffffffffLL
 #define INTMAX_MAX	INT64_MAX
 
 #define UINT8_MAX	0xff
@@ -46,6 +88,26 @@
 #define UINT64_MAX	0xffffffffffffffffULL
 #define UINTMAX_MAX	UINT64_MAX
 
+#define INT_FAST8_MAX	INT8_MAX
+#define INT_FAST16_MAX	INT16_MAX
+#define INT_FAST32_MAX	INT32_MAX
+#define INT_FAST64_MAX	INT64_MAX
+
+#define UINT_FAST8_MAX	UINT8_MAX
+#define UINT_FAST16_MAX	UINT16_MAX
+#define UINT_FAST32_MAX	UINT32_MAX
+#define UINT_FAST64_MAX	UINT64_MAX
+
+#define INT_LEAST8_MAX	INT8_MAX
+#define INT_LEAST16_MAX	INT16_MAX
+#define INT_LEAST32_MAX	INT32_MAX
+#define INT_LEAST64_MAX	INT64_MAX
+
+#define UINT_LEAST8_MAX		UINT8_MAX
+#define UINT_LEAST16_MAX	UINT16_MAX
+#define UINT_LEAST32_MAX	UINT32_MAX
+#define UINT_LEAST64_MAX	UINT64_MAX
+
 /* 
  * Right now, all of our size_t types are 32 bit, even on
  * 64 bit architectures.
diff -r 8006152d13d2 sys/include/ape/stdlib.h
--- a/sys/include/ape/stdlib.h	Tue Apr 28 20:51:19 2020 -0700
+++ b/sys/include/ape/stdlib.h	Thu Apr 30 17:31:24 2020 -0700
@@ -24,6 +24,7 @@
 extern long int strtol(const char *, char **, int);
 extern unsigned long int strtoul(const char *, char **, int);
 extern long long int strtoll(const char *, char **, int);
+extern long long int strtoimax(const char *, char **, int);
 extern unsigned long long int strtoull(const char *, char **, int);
 extern int rand(void);
 extern void srand(unsigned int seed);
diff -r 8006152d13d2 sys/include/ape/unistd.h
--- a/sys/include/ape/unistd.h	Tue Apr 28 20:51:19 2020 -0700
+++ b/sys/include/ape/unistd.h	Thu Apr 30 17:31:24 2020 -0700
@@ -1,7 +1,7 @@
 #ifndef	__UNISTD_H
 #define	__UNISTD_H
 #ifndef _POSIX_SOURCE
-   This header file is not defined in pure ANSI
+#error  This header file is not defined in pure ANSI
 #endif
 #pragma lib "/$M/lib/ape/libap.a"
 
diff -r 8006152d13d2 sys/src/ape/lib/ap/gen/strtoll.c
--- a/sys/src/ape/lib/ap/gen/strtoll.c	Tue Apr 28 20:51:19 2020 -0700
+++ b/sys/src/ape/lib/ap/gen/strtoll.c	Thu Apr 30 17:31:24 2020 -0700
@@ -101,3 +101,9 @@
 		return -n;
 	return n;
 }
+
+long long
+strtoimax(char *nptr, char **endptr, int base)
+{
+	return strtoll(nptr, endptr, base);
+}



^ permalink raw reply	[flat|nested] 2+ messages in thread

* Re: [9front] apes and disgusting integers.
  2020-05-01 18:33 apes and disgusting integers ori
@ 2020-05-01 20:32 ` ori
  0 siblings, 0 replies; 2+ messages in thread
From: ori @ 2020-05-01 20:32 UTC (permalink / raw)
  To: ori, 9front

> Ran into this when compiling zic, the zoneinfo
> compiler, though I believe duktape also had this
> problem in the code-gen'ed files. (IIRC, it got
> hacked around there).

New revision. Our INTFOO_MIN constants would overflow
a signed value, and as a result would get promoted to
unsigned. This causes problems with some overflow
checks, where you do:

	val < INT64_MIN - size

We'd interpret a big negative value as unsigned, and
of course the value would be less than it, so we'd
falsely trigger the check.

Here's a version with the appropriate casts:

diff -r b43985308e3e sys/include/ape/stdint.h
--- a/sys/include/ape/stdint.h	Fri May 01 13:29:08 2020 -0700
+++ b/sys/include/ape/stdint.h	Fri May 01 13:31:38 2020 -0700
@@ -21,23 +21,65 @@
 typedef unsigned long long uint64_t;
 typedef unsigned long long uintmax_t;
 
+typedef int8_t	int_fast8_t;
+typedef int16_t	int_fast16_t;
+typedef int32_t	int_fast32_t;
+typedef int64_t	int_fast64_t;
+;
+typedef int8_t	int_least8_t;
+typedef int16_t	int_least16_t;
+typedef int32_t	int_least32_t;
+typedef int64_t	int_least64_t;
+
+typedef uint8_t		uint_fast8_t;
+typedef uint16_t	uint_fast16_t;
+typedef uint32_t	uint_fast32_t;
+typedef uint64_t	uint_fast64_t;
+
+typedef uint8_t		uint_least8_t;
+typedef uint16_t	uint_least16_t;
+typedef uint32_t	uint_least32_t;
+typedef uint64_t	uint_least64_t;
+
 typedef _intptr_t intptr_t;
 typedef _uintptr_t uintptr_t;
 
-#define INT8_MIN	0x80
-#define INT16_MIN	0x8000
-#define INT32_MIN	0x80000000
-#define INT64_MIN	0x8000000000000000LL
+#define INT8_MIN	((int8_t)0x80)
+#define INT16_MIN	((int16_t)0x8000)
+#define INT32_MIN	((int32_t)0x80000000)
+#define INT64_MIN	((int64_t)0x8000000000000000LL)
+#define INTMAX_MIN	INT64_MIN
 
 #define UINT8_MIN	0
 #define UINT16_MIN	0 
 #define UINT32_MIN	0 
 #define UINT64_MIN	0
+#define UINTMAX_MIN	UINT64_MIN
+
+#define INT_FAST8_MIN	INT8_MIN
+#define INT_FAST16_MIN	INT16_MIN
+#define INT_FAST32_MIN	INT32_MIN
+#define INT_FAST64_MIN	INT64_MIN
+
+#define UINT_FAST8_MIN	UINT8_MIN
+#define UINT_FAST16_MIN	UINT16_MIN
+#define UINT_FAST32_MIN	UINT32_MIN
+#define UINT_FAST64_MIN	UINT64_MIN
+
+#define INT_LEAST8_MIN	INT8_MIN
+#define INT_LEAST16_MIN	INT16_MIN
+#define INT_LEAST32_MIN	INT32_MIN
+#define INT_LEAST64_MIN	INT64_MIN
+
+#define UINT_LEAST8_MIN		UINT8_MIN
+#define UINT_LEAST16_MIN	UINT16_MIN
+#define UINT_LEAST32_MIN	UINT32_MIN
+#define UINT_LEAST64_MIN	UINT64_MIN
 
 #define INT8_MAX	0x7f
 #define INT16_MAX	0x7fff
 #define INT32_MAX	0x7fffffff
-#define INT64_MAX	0x7fffffffffffffffULL
+#define INT64_MAX	0x7fffffffffffffffLL
 #define INTMAX_MAX	INT64_MAX
 
 #define UINT8_MAX	0xff
@@ -46,6 +88,26 @@
 #define UINT64_MAX	0xffffffffffffffffULL
 #define UINTMAX_MAX	UINT64_MAX
 
+#define INT_FAST8_MAX	INT8_MAX
+#define INT_FAST16_MAX	INT16_MAX
+#define INT_FAST32_MAX	INT32_MAX
+#define INT_FAST64_MAX	INT64_MAX
+
+#define UINT_FAST8_MAX	UINT8_MAX
+#define UINT_FAST16_MAX	UINT16_MAX
+#define UINT_FAST32_MAX	UINT32_MAX
+#define UINT_FAST64_MAX	UINT64_MAX
+
+#define INT_LEAST8_MAX	INT8_MAX
+#define INT_LEAST16_MAX	INT16_MAX
+#define INT_LEAST32_MAX	INT32_MAX
+#define INT_LEAST64_MAX	INT64_MAX
+
+#define UINT_LEAST8_MAX		UINT8_MAX
+#define UINT_LEAST16_MAX	UINT16_MAX
+#define UINT_LEAST32_MAX	UINT32_MAX
+#define UINT_LEAST64_MAX	UINT64_MAX
+
 /* 
  * Right now, all of our size_t types are 32 bit, even on
  * 64 bit architectures.
diff -r b43985308e3e sys/include/ape/stdlib.h
--- a/sys/include/ape/stdlib.h	Fri May 01 13:29:08 2020 -0700
+++ b/sys/include/ape/stdlib.h	Fri May 01 13:31:38 2020 -0700
@@ -24,6 +24,7 @@
 extern long int strtol(const char *, char **, int);
 extern unsigned long int strtoul(const char *, char **, int);
 extern long long int strtoll(const char *, char **, int);
+extern long long int strtoimax(const char *, char **, int);
 extern unsigned long long int strtoull(const char *, char **, int);
 extern int rand(void);
 extern void srand(unsigned int seed);
diff -r b43985308e3e sys/src/ape/lib/ap/gen/strtoll.c
--- a/sys/src/ape/lib/ap/gen/strtoll.c	Fri May 01 13:29:08 2020 -0700
+++ b/sys/src/ape/lib/ap/gen/strtoll.c	Fri May 01 13:31:38 2020 -0700
@@ -101,3 +101,9 @@
 		return -n;
 	return n;
 }
+
+long long
+strtoimax(char *nptr, char **endptr, int base)
+{
+	return strtoll(nptr, endptr, base);
+}



^ permalink raw reply	[flat|nested] 2+ messages in thread

end of thread, other threads:[~2020-05-01 20:32 UTC | newest]

Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2020-05-01 18:33 apes and disgusting integers ori
2020-05-01 20:32 ` [9front] " ori

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).