aboutsummaryrefslogtreecommitdiffstats
path: root/test/regression/Results
diff options
context:
space:
mode:
authorXavier Leroy <xavier.leroy@inria.fr>2016-10-24 14:21:51 +0200
committerXavier Leroy <xavier.leroy@inria.fr>2016-10-24 14:34:59 +0200
commit03ab00aec5d10f4a2d048fab7f16489cf33fcc1d (patch)
tree16d5313fb0d61585f6d82c6232228d716e9f7553 /test/regression/Results
parent2fc1f0ce18c45d1148493d58e0c848fc70c44a4d (diff)
downloadcompcert-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-6430
-rw-r--r--test/regression/Results/packedstruct1-32 (renamed from test/regression/Results/packedstruct1)0
-rw-r--r--test/regression/Results/packedstruct1-6425
-rw-r--r--test/regression/Results/sizeof1-32 (renamed from test/regression/Results/sizeof1)0
-rw-r--r--test/regression/Results/sizeof1-643
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