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/Results/interop1 | |
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/Results/interop1')
-rw-r--r-- | test/regression/Results/interop1 | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/test/regression/Results/interop1 b/test/regression/Results/interop1 index 990dfe9d..6e32c1cb 100644 --- a/test/regression/Results/interop1 +++ b/test/regression/Results/interop1 @@ -1,4 +1,8 @@ --- CompCert calling native: +si8u: 177 +si8s: -79 +si16u: 64305 +si16s: -1231 s1: { a = 'a' } s2: { a = 'a', b = 'b' } s3: { a = 'a', b = 'b', c = ' c' } @@ -44,6 +48,10 @@ ru6: { a = 55555, b = 666 } ru7: { a = -10001, b = -789, c = 'z' } ru8: { a = 'x', b = 12345 } --- native calling CompCert: +si8u: 177 +si8s: -79 +si16u: 64305 +si16s: -1231 s1: { a = 'a' } s2: { a = 'a', b = 'b' } s3: { a = 'a', b = 'b', c = ' c' } |