summaryrefslogtreecommitdiff
path: root/test/regression
diff options
context:
space:
mode:
authorGravatar xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>2014-01-02 15:59:11 +0000
committerGravatar xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>2014-01-02 15:59:11 +0000
commit29e0c9b2c99a437fc9dfab66e1abdd546a5308d6 (patch)
tree2c3e924125d9b91e5e9b57b87c80f5b5ce9c6710 /test/regression
parentc71e155dbbf34fa17d14e8eee50a019c8ccfd6f5 (diff)
Updated ARM backend wrt new static analyses and optimizations.
NeedOp, Deadcode: must have distinct needs per argument of an operator. This change remains to be propagated to IA32 and PPC. git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2399 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
Diffstat (limited to 'test/regression')
-rw-r--r--test/regression/Results/varargs26
-rw-r--r--test/regression/varargs2.c35
2 files changed, 12 insertions, 29 deletions
diff --git a/test/regression/Results/varargs2 b/test/regression/Results/varargs2
index 35728be..f954927 100644
--- a/test/regression/Results/varargs2
+++ b/test/regression/Results/varargs2
@@ -2,10 +2,10 @@ An int: 42
A long long: 123456789012345
A string: Hello world
A double: 3.141592654
-A char: x and A string: Hello, world! and An int: 42 and A long: 123456789012345 and A double: 3.141592654 and A float: 2.718281746
+A mixture: x & Hello, world! & 42 & 123456789012345 & 3.141592654 & 2.718281746
Twice: -1 1.23
Twice: -1 1.23
With va_copy: -1 1.23
With va_copy: -1 1.23
-With extra args: A char: x and A string: Hello, world! and An int: 42 and A long: 123456789012345 and A double: 3.141592654 and A float: 2.718281746
-va_list compatibility: A char: x and A string: Hello, world! and An int: 42 and A long: 123456789012345 and A double: 3.141592654 and A float: 2.718281746
+With extra args: x & Hello, world! & 42 & 123456789012345 & 3.141592654 & 2.718281746
+va_list compatibility: x & Hello, world! & 42 & 123456789012345 & 3.141592654 & 2.718281746
diff --git a/test/regression/varargs2.c b/test/regression/varargs2.c
index e2eefce..6c091d8 100644
--- a/test/regression/varargs2.c
+++ b/test/regression/varargs2.c
@@ -111,12 +111,7 @@ int main()
miniprintf("A long long: %l\n", 123456789012345LL);
miniprintf("A string: %s\n", "Hello world");
miniprintf("A double: %e\n", 3.141592654);
- miniprintf("A char: %c and "
- "A string: %s and "
- "An int: %d and "
- "A long: %l and "
- "A double: %e and "
- "A float: %f\n",
+ miniprintf("A mixture: %c & %s & %d & %l & %e & %f\n",
'x',
"Hello, world!",
42,
@@ -127,26 +122,14 @@ int main()
miniprintf3("With va_copy: %d %e\n", -1, 1.23);
miniprintf_extra(0, 1, 2, 3, 4, 5, 6, 7,
0.0, 0.1, 0.2, 0.3, 0.4, 0.5, 0.6, 0.7,
- "With extra args: "
- "A char: %c and "
- "A string: %s and "
- "An int: %d and "
- "A long: %l and "
- "A double: %e and "
- "A float: %f\n",
- 'x',
- "Hello, world!",
- 42,
- 123456789012345LL,
- 3.141592654,
- 2.71828182);
- printf_compat("va_list compatibility: "
- "A char: %c and "
- "A string: %s and "
- "An int: %d and "
- "A long: %lld and "
- "A double: %.10g and "
- "A float: %.10g\n",
+ "With extra args: %c & %s & %d & %l & %e & %f\n",
+ 'x',
+ "Hello, world!",
+ 42,
+ 123456789012345LL,
+ 3.141592654,
+ 2.71828182);
+ printf_compat("va_list compatibility: %c & %s & %d & %lld & %.10g & %.10g\n",
'x',
"Hello, world!",
42,