diff options
| author | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2020-02-19 13:00:49 +0100 |
|---|---|---|
| committer | Xavier Leroy <xavierleroy@users.noreply.github.com> | 2020-02-21 13:29:39 +0100 |
| commit | 8f8a4135be4786a04b781bdf669e642d8383d91a (patch) | |
| tree | 33be757eb89a4a07e55fe9bb0201b972182967b6 /test/regression/interop1.c | |
| parent | 28f235806aa0918499b2ef162110f513ebe4db30 (diff) | |
| download | compcert-8f8a4135be4786a04b781bdf669e642d8383d91a.tar.gz compcert-8f8a4135be4786a04b781bdf669e642d8383d91a.zip | |
Add interoperability test for functions returning small integer types
Diffstat (limited to 'test/regression/interop1.c')
| -rw-r--r-- | test/regression/interop1.c | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/test/regression/interop1.c b/test/regression/interop1.c index a39f449c..6836b89e 100644 --- a/test/regression/interop1.c +++ b/test/regression/interop1.c @@ -195,6 +195,17 @@ RETURN(ru6,U6,init_U6) RETURN(ru7,U7,init_U7) RETURN(ru8,U8,init_U8) +/* Returning small integers */ + +#define SMALLINT(name,ty) \ +extern ty THEM(name)(int); \ +ty US(name)(int x) { return x * x; } + +SMALLINT(si8u, unsigned char) +SMALLINT(si8s, signed char) +SMALLINT(si16u, unsigned short) +SMALLINT(si16s, signed short) + /* Test function, calling the functions compiled by the other compiler */ #define CALLPRINT(name,ty,init) \ @@ -207,6 +218,10 @@ RETURN(ru8,U8,init_U8) extern void THEM(test) (void); void US(test) (void) { + printf("si8u: %d\n", THEM(si8u)(12345)); + printf("si8s: %d\n", THEM(si8s)(12345)); + printf("si16u: %d\n", THEM(si16u)(1234567)); + printf("si16s: %d\n", THEM(si16s)(1234567)); CALLPRINT(s1,S1,init_S1) CALLPRINT(s2,S2,init_S2) CALLPRINT(s3,S3,init_S3) |