diff options
author | Xavier Leroy <xavier.leroy@inria.fr> | 2016-10-24 14:21:51 +0200 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@inria.fr> | 2016-10-24 14:34:59 +0200 |
commit | 03ab00aec5d10f4a2d048fab7f16489cf33fcc1d (patch) | |
tree | 16d5313fb0d61585f6d82c6232228d716e9f7553 /test/regression/Results | |
parent | 2fc1f0ce18c45d1148493d58e0c848fc70c44a4d (diff) | |
download | compcert-kvx-03ab00aec5d10f4a2d048fab7f16489cf33fcc1d.tar.gz compcert-kvx-03ab00aec5d10f4a2d048fab7f16489cf33fcc1d.zip |
Update the tests and test infrastructure in test/regression
Tests updated to work with x86 64 bits.
Infrastructure added: script "Runtest", with ability to have different reference outputs depending on platform or bit size.
Diffstat (limited to 'test/regression/Results')
-rw-r--r-- | test/regression/Results/initializers-32 (renamed from test/regression/Results/initializers) | 0 | ||||
-rw-r--r-- | test/regression/Results/initializers-64 | 30 | ||||
-rw-r--r-- | test/regression/Results/packedstruct1-32 (renamed from test/regression/Results/packedstruct1) | 0 | ||||
-rw-r--r-- | test/regression/Results/packedstruct1-64 | 25 | ||||
-rw-r--r-- | test/regression/Results/sizeof1-32 (renamed from test/regression/Results/sizeof1) | 0 | ||||
-rw-r--r-- | test/regression/Results/sizeof1-64 | 3 |
6 files changed, 58 insertions, 0 deletions
diff --git a/test/regression/Results/initializers b/test/regression/Results/initializers-32 index a3c92e86..a3c92e86 100644 --- a/test/regression/Results/initializers +++ b/test/regression/Results/initializers-32 diff --git a/test/regression/Results/initializers-64 b/test/regression/Results/initializers-64 new file mode 100644 index 00000000..63cc0eb7 --- /dev/null +++ b/test/regression/Results/initializers-64 @@ -0,0 +1,30 @@ +x0 = 0 +x1 = 'x' +x2 = 12345 +x3 = 3.14159 +x4 = { 'a', 'b', 'c', 'd' } +x5 = { 1, 2, 3, 0, 0, 0, 0, 0, 0, 0, } +x6 = { 4, 5 } +x7 = { 6, 'u' } +x8 = { 'v', 7 } +x9 = { { 'a', 'b', 0, 0, 0, 0, 0, 0, 0, }, 2.718 } +x10 = { { 'v', 7 }, 2.718 } +x11 = 1.3183101416 +x12 = 1.3183101550 +x13 = { 0, 1 } +x14 ok +x15 ok +x16 ok +x17[7] = { 'H', 'e', 'l', 'l', 'o', '!', 0, } +x18 = "Hello!" +x19 = { "Hello", "world!" } +x20 = { 'H', 'e', 'l', } +x21 = { 'H', 'e', 'l', 'l', 'o', '!', 0, 0, 0, 0, } +x22 ok +x23 = { hd = 16, tl = ok } +x24[6] = { '/', '*', 'B', '*', '/', 0, } +x25[8] = { "/tmp" } +x26[6] = { 'w', 'o', 'r', 'l', 'd', 0, } +x27[4] = { 'a', 'b', 'c', 0, } +x28[2] = { 'a', 'b', } +x29[10] = { 'a', 'b', 'c', 0, 0, 0, 0, 0, 0, 0, } diff --git a/test/regression/Results/packedstruct1 b/test/regression/Results/packedstruct1-32 index e4bca769..e4bca769 100644 --- a/test/regression/Results/packedstruct1 +++ b/test/regression/Results/packedstruct1-32 diff --git a/test/regression/Results/packedstruct1-64 b/test/regression/Results/packedstruct1-64 new file mode 100644 index 00000000..c2a8bcd2 --- /dev/null +++ b/test/regression/Results/packedstruct1-64 @@ -0,0 +1,25 @@ +sizeof(struct s1) = 14 +offsetof(x) = 0, offsetof(y) = 2, offsetof(z) = 6 +s1 = {x = 123, y = -456, z = 3.14159} + +sizeof(struct s2) = 16 +&s2 mod 16 = 0 +offsetof(x) = 0, offsetof(y) = 2, offsetof(z) = 6 +s2 = {x = 57, y = -456, z = 3.14159} + +sizeof(struct s3) = 35 +offsetof(s) = 33 +s3 = {x = 123, y = 45678, z = 2147483649, v = -456, w = -1234567, p is ok, t = {111,222,333}, s = {'o','k'}} + +sizeof(struct s4) = 16 +offsetof(x) = 0, offsetof(y) = 4, offsetof(z) = 8 +s4 = {x = 123, y = -456, z = 3.14159} + +sizeof(struct s5) = 14 +offsetof(x) = 0, offsetof(y) = 2, offsetof(z) = 6 +s5 = {x = 123, y = -456, z = 3.14159} + +sizeof(struct s6) = 14 +offsetof(x) = 0, offsetof(y) = 2, offsetof(z) = 6 +s62 = {x = 123, y = -456, z = 3.14159} + diff --git a/test/regression/Results/sizeof1 b/test/regression/Results/sizeof1-32 index a952be52..a952be52 100644 --- a/test/regression/Results/sizeof1 +++ b/test/regression/Results/sizeof1-32 diff --git a/test/regression/Results/sizeof1-64 b/test/regression/Results/sizeof1-64 new file mode 100644 index 00000000..674f6dad --- /dev/null +++ b/test/regression/Results/sizeof1-64 @@ -0,0 +1,3 @@ +sizeof(struct s) = 32, sizeof(tbl) = 32 +sizeof(struct bits1) = 1, sizeof(b1) = 1 +sizeof(struct bits2) = 8, sizeof(b2) = 8 |