[llvm-commits] [test-suite] r105239 - in /test-suite/trunk/MultiSource/Applications/SPASS: Makefile SPASS.reference_output SPASS.reference_output.small top.c

[Daniel Dunbar]

Author: ddunbar
Date: Mon May 31 13:49:37 2010
New Revision: 105239

URL: http://llvm.org/viewvc/llvm-project?rev=105239&view=rev
Log:
Fix SPASS to not print # of bytes allocated message, which isn't consistent
across platforms.

Modified:
    test-suite/trunk/MultiSource/Applications/SPASS/Makefile
    test-suite/trunk/MultiSource/Applications/SPASS/SPASS.reference_output
    test-suite/trunk/MultiSource/Applications/SPASS/SPASS.reference_output.small
    test-suite/trunk/MultiSource/Applications/SPASS/top.c

Modified: test-suite/trunk/MultiSource/Applications/SPASS/Makefile
URL: http://llvm.org/viewvc/llvm-project/test-suite/trunk/MultiSource/Applications/SPASS/Makefile?rev=105239&r1=105238&r2=105239&view=diff
==============================================================================
--- test-suite/trunk/MultiSource/Applications/SPASS/Makefile (original)
+++ test-suite/trunk/MultiSource/Applications/SPASS/Makefile Mon May 31 13:49:37 2010
@@ -12,10 +12,4 @@
 
 HASH_PROGRAM_OUTPUT = 1
 
-ifeq ($(ARCH),x86)
-ifdef USE_REFERENCE_OUTPUT
-EXEC_XFAILS = SPASS
-endif
-endif
-
 include ../../Makefile.multisrc

Modified: test-suite/trunk/MultiSource/Applications/SPASS/SPASS.reference_output
URL: http://llvm.org/viewvc/llvm-project/test-suite/trunk/MultiSource/Applications/SPASS/SPASS.reference_output?rev=105239&r1=105238&r2=105239&view=diff
==============================================================================
--- test-suite/trunk/MultiSource/Applications/SPASS/SPASS.reference_output (original)
+++ test-suite/trunk/MultiSource/Applications/SPASS/SPASS.reference_output Mon May 31 13:49:37 2010
@@ -1 +1 @@
-17485914422bce49640cfa07b9862e11
+f88d23e0d2514b1af375ee6e93d20351

Modified: test-suite/trunk/MultiSource/Applications/SPASS/SPASS.reference_output.small
URL: http://llvm.org/viewvc/llvm-project/test-suite/trunk/MultiSource/Applications/SPASS/SPASS.reference_output.small?rev=105239&r1=105238&r2=105239&view=diff
==============================================================================
--- test-suite/trunk/MultiSource/Applications/SPASS/SPASS.reference_output.small (original)
+++ test-suite/trunk/MultiSource/Applications/SPASS/SPASS.reference_output.small Mon May 31 13:49:37 2010
@@ -1 +1 @@
-7b26d82848883071c0052d4c95d40023
+b0b56c51bc8f86a45423934c5ad42b9f

Modified: test-suite/trunk/MultiSource/Applications/SPASS/top.c
URL: http://llvm.org/viewvc/llvm-project/test-suite/trunk/MultiSource/Applications/SPASS/top.c?rev=105239&r1=105238&r2=105239&view=diff
==============================================================================
--- test-suite/trunk/MultiSource/Applications/SPASS/top.c (original)
+++ test-suite/trunk/MultiSource/Applications/SPASS/top.c Mon May 31 13:49:37 2010
@@ -124,7 +124,6 @@
 	   (*top_PROOFSEARCH == (PROOFSEARCH)NULL ? 0 : prfs_DerivedClauses(*top_PROOFSEARCH)),
 	   (*top_PROOFSEARCH == (PROOFSEARCH)NULL ? 0 : prfs_BacktrackedClauses(*top_PROOFSEARCH)),
 	   (*top_PROOFSEARCH == (PROOFSEARCH)NULL ? 0 : prfs_KeptClauses(*top_PROOFSEARCH)));
-    printf("\nSPASS allocated %lu KBytes.", memory_DemandedBytes()/1024);
     fputs("\nSPASS spent\t", stdout);
     clock_PrintTime(clock_OVERALL);
     fputs(" on the problem.\n\t\t", stdout);
@@ -1495,7 +1494,6 @@
 	printf("\nSPASS derived %d clauses,", prfs_DerivedClauses(Search));
 	printf(" backtracked %d clauses", prfs_BacktrackedClauses(Search));
 	printf(" and kept %d clauses.", prfs_KeptClauses(Search));
-	printf("\nSPASS allocated %lu KBytes.", memory_DemandedBytes()/1024);
 	fputs("\nSPASS spent\t", stdout);
 	clock_PrintTime(clock_OVERALL);
 	fputs(" on the problem.\n\t\t", stdout);