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

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,