diff options
author | Xavier Leroy <xavier.leroy@inria.fr> | 2015-01-28 10:02:03 +0100 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@inria.fr> | 2015-01-28 10:02:03 +0100 |
commit | 6f3ac9e1cef476ef0c5eaf7875af24543f66128a (patch) | |
tree | 35e29782b59ec91b0510d40edb9306cbc74fde8f /test/regression/Results/interop1 | |
parent | e096fa7aa6161e1f5a74001185eb3873a684c48d (diff) | |
download | compcert-6f3ac9e1cef476ef0c5eaf7875af24543f66128a.tar.gz compcert-6f3ac9e1cef476ef0c5eaf7875af24543f66128a.zip |
More interoperability tests.
Diffstat (limited to 'test/regression/Results/interop1')
-rw-r--r-- | test/regression/Results/interop1 | 12 |
1 files changed, 8 insertions, 4 deletions
diff --git a/test/regression/Results/interop1 b/test/regression/Results/interop1 index 34ec8e6b..bac9aaab 100644 --- a/test/regression/Results/interop1 +++ b/test/regression/Results/interop1 @@ -20,7 +20,9 @@ u5 = { a = 123, b = 'z' } u6 = { a = -12345678, b = 555 } u7 = { a = 111111111, b = 2222, c = 'a' } u8 = { a = 'u', b = 8 } -u9 = { a = 3.14159, b = -2.718 } +u9 = { a = { 9, 8, 7, 6 } } +after ms4, x = { 's', 'a', 'm', 'e' } +after mu9, x = { a = { 11, 22, 33, 44 } } rs1 = { a = 'a' } rs2 = { a = 'a', b = 'b' } rs3 = { a = 'a', b = 'b', c = 'c' } @@ -28,7 +30,7 @@ rs4 = { a = 'a', b = 'b', c = 'c', d = 'd' } rs8 = { "Lorem ipsum" } ru2 = { a = 12, b = -34 } ru6 = { a = 12345678, b = -9999 } -ru9 = { a = 0.123400, b = -5678.900000 } +ru9 = { a = { 111, 222, 333, 444 } } --- native calling CompCert: s1 = { a = 'a' } s2 = { a = 'x', b = 'y' } @@ -51,7 +53,9 @@ u5 = { a = 123, b = 'z' } u6 = { a = -12345678, b = 555 } u7 = { a = 111111111, b = 2222, c = 'a' } u8 = { a = 'u', b = 8 } -u9 = { a = 3.14159, b = -2.718 } +u9 = { a = { 9, 8, 7, 6 } } +after ms4, x = { 's', 'a', 'm', 'e' } +after mu9, x = { a = { 11, 22, 33, 44 } } rs1 = { a = 'a' } rs2 = { a = 'a', b = 'b' } rs3 = { a = 'a', b = 'b', c = 'c' } @@ -59,4 +63,4 @@ rs4 = { a = 'a', b = 'b', c = 'c', d = 'd' } rs8 = { "Lorem ipsum" } ru2 = { a = 12, b = -34 } ru6 = { a = 12345678, b = -9999 } -ru9 = { a = 0.123400, b = -5678.900000 } +ru9 = { a = { 111, 222, 333, 444 } } |