save

[cdsspec-compiler.git] / src / edu / uci / eecs / specCompiler / codeGenerator / CodeGenerator.java

diff --git a/src/edu/uci/eecs/specCompiler/codeGenerator/CodeGenerator.java b/src/edu/uci/eecs/specCompiler/codeGenerator/CodeGenerator.java
index 7c45488e11d583a80900e6477e9e322503be608d..323ca98224af29d87bd9f378bbe380a48d35684f 100644 (file)
--- a/src/edu/uci/eecs/specCompiler/codeGenerator/CodeGenerator.java
+++ b/src/edu/uci/eecs/specCompiler/codeGenerator/CodeGenerator.java
@@ -256,7 +256,7 @@ public class CodeGenerator {
 
                // Sort code additions
                HashSet<String> headers = CodeVariables.getAllHeaders(_semantics);
-               ArrayList<String> headerCode = new ArrayList<String>(headers.size());
+               ArrayList<String> headerCode = new ArrayList<String>();
                for (String header : headers) {
                        headerCode.add("#include " + header);
                }
@@ -282,31 +282,34 @@ public class CodeGenerator {
        public static void main(String[] argvs) {
                String homeDir = Environment.HOME_DIRECTORY;
                File[] srcFiles = {
-                               // new File(homeDir
-                               // + "/benchmark/linuxrwlocks/linuxrwlocks.c") };
-                               // new File(homeDir
-                               // +
-                               // "/benchmark/cliffc-hashtable/simplified_cliffc_hashtable.h"),
-                               // };
-                               // new File(homeDir + "/benchmark/ms-queue/my_queue.c"),
-                               // new File(homeDir + "/benchmark/ms-queue/main.c"),
-                               // new File(homeDir + "/benchmark/ms-queue/my_queue.h") };
-
-                               // new File(homeDir + "/benchmark/read-copy-update/rcu.cc") };
-
-                               // new File(homeDir +
-                               // "/benchmark/chase-lev-deque-bugfix/deque.c"),
-                               // new File(homeDir +
-                               // "/benchmark/chase-lev-deque-bugfix/main.c"),
-                               // new File(homeDir +
-                               // "/benchmark/chase-lev-deque-bugfix/deque.h") };
+//                              new File(homeDir
+//                              + "/benchmark/linuxrwlocks/linuxrwlocks.c") };
+//                              new File(homeDir
+//                              +
+//                              "/benchmark/cliffc-hashtable/simplified_cliffc_hashtable.h"),
+//                              };
+//                              new File(homeDir + "/benchmark/ms-queue/my_queue.c"),
+//                              new File(homeDir + "/benchmark/ms-queue/main.c"),
+//                              new File(homeDir + "/benchmark/ms-queue/my_queue.h") };
+
+//                              new File(homeDir + "/benchmark/read-copy-update/rcu.cc") };
+
+//                              new File(homeDir +
+//                              "/benchmark/chase-lev-deque-bugfix/deque.c"),
+//                              new File(homeDir +
+//                              "/benchmark/chase-lev-deque-bugfix/main.c"),
+//                              new File(homeDir +
+//                              "/benchmark/chase-lev-deque-bugfix/deque.h") };
 
 //                             new File(homeDir + "/benchmark/mcs-lock/mcs-lock.cc"),
 //                             new File(homeDir + "/benchmark/mcs-lock/mcs-lock.h") };
                
-                               new File(homeDir + "/benchmark/spsc-bugfix/spsc-queue.cc"),
-                               new File(homeDir + "/benchmark/spsc-bugfix/eventcount.h"),
-                               new File(homeDir + "/benchmark/spsc-bugfix/queue.h") };
+//                             new File(homeDir + "/benchmark/spsc-bugfix/spsc-queue.cc"),
+//                             new File(homeDir + "/benchmark/spsc-bugfix/eventcount.h"),
+//                             new File(homeDir + "/benchmark/spsc-bugfix/queue.h") };
+               
+               new File(homeDir + "/benchmark/mpmc-queue/mpmc-queue.h"),
+               new File(homeDir + "/benchmark/mpmc-queue/mpmc-queue.cc") };
                
 
                CodeGenerator gen = new CodeGenerator(srcFiles);