78dd785f6e16aea2b90db7d84dde8eb39f2ec247
[fleet.git] / src / edu / berkeley / fleet / Main.java
1 package edu.berkeley.fleet;
2 import edu.berkeley.sbp.util.ANSI;
3 import edu.berkeley.fleet.api.*;
4 import edu.berkeley.fleet.slipway.*;
5 import edu.berkeley.fleet.doc.*;
6 import edu.berkeley.fleet.interpreter.*;
7 import java.io.*;
8 import java.util.*;
9
10 public class Main {
11
12     static String command;
13     static HashMap<String,String> options = new HashMap<String,String>();
14     static ArrayList<String> args = new ArrayList<String>();
15
16     public static void main(String[] s) throws Exception {
17         if (s.length == 0) {
18             usage();
19             System.exit(-1);
20         }
21         boolean optionsDone = false;
22         for(int i=0; i<s.length; i++) {
23             if (!optionsDone && s[i].indexOf('=') != -1) {
24                 options.put(s[i].substring(0, s[i].indexOf('=')),
25                             s[i].substring(s[i].indexOf('=')+1));
26                
27             } else if (!optionsDone) {
28                 optionsDone = true;
29                 command = s[i];
30             } else {
31                 args.add(s[i]);
32             }
33         }
34
35         String target = options.get("target");
36         Fleet fleet;
37         if ("fpga".equals(target)) {
38             String bitfile = options.get("bitfile");
39             fleet = bitfile == null ? new Slipway() : new Slipway(bitfile);
40         } else if ("sim".equals(target) || "fleetsim".equals(target)) {
41             fleet = (Fleet)Class.forName("com.sunlabs.fleetsim.fleet.FleetDescription").newInstance();
42         } else {
43             fleet = new Interpreter();
44         }
45
46         if (!"yes".equals(options.get("verbose")))
47             Log.log = null;
48
49         if (command.equals("run")) {
50             InputStream is;
51             if (args.size()==0) {
52                 ByteArrayOutputStream baos = new ByteArrayOutputStream();
53                 Reader r = new InputStreamReader(System.in);
54                 edu.berkeley.fleet.assembler.Main.assemble(fleet, r, baos);
55                 is = new ByteArrayInputStream(baos.toByteArray());
56             } else {
57                 String filename = args.get(0);
58                 if (filename.endsWith(".fa") || filename.endsWith(".fleet")) {
59                     ByteArrayOutputStream baos = new ByteArrayOutputStream();
60                     Reader r = new InputStreamReader(new FileInputStream(args.get(0)));
61                     edu.berkeley.fleet.assembler.Main.assemble(fleet, r, baos);
62                     is = new ByteArrayInputStream(baos.toByteArray());
63                 } else {
64                     is = new FileInputStream(args.get(0));
65                 }
66             }
67             run(fleet, is);
68
69         } else if (command.equals("expand")) {
70             fleet.expand(new ShipDescription(args.get(0), new BufferedReader(new InputStreamReader(new FileInputStream(args.get(0))))));
71
72         } else if (command.equals("doc")) {
73             Doc.print();
74
75         } else if (command.equals("test")) {
76             test(fleet, new File(args.get(0)));
77         } else if (command.equals("asm")) {
78             String filename = args.get(0);
79             FileOutputStream out = new FileOutputStream("fleet.fo");
80             Reader r = new InputStreamReader(new FileInputStream(args.get(0)));
81             edu.berkeley.fleet.assembler.Main.assemble(fleet, r, out);
82             out.flush();
83
84         } else {
85             usage();
86             System.exit(-1);
87         }
88     }
89
90     static void runTest(Fleet fleet, Reader reader, String title) throws Exception {
91             ByteArrayOutputStream baos = new ByteArrayOutputStream();
92         edu.berkeley.fleet.assembler.Main.assemble(fleet, reader, baos);
93         if (edu.berkeley.fleet.assembler.Parser.skip) {
94             System.out.println("\r[" + ANSI.yellow("SKIP") +
95                                "] "  + ANSI.yellow(title));
96             return;
97         }
98         FleetProcess fp = fleet.run(baos.toByteArray());
99         try {
100             ArrayList<Long> expect = edu.berkeley.fleet.assembler.Parser.expect;
101             String output = "";
102             // FIXME: check for extraneous stuff at the end
103             String verdict = "[    ]";
104             boolean failed = false;
105             while(true) {
106                 if (output.length() > 60 && !failed)
107                     output = "..."+output.substring(output.length()-57, output.length());
108                 if (expect.size() == 0) verdict = "["+ANSI.green("PASS")+"]";
109                 System.out.print("\r" + verdict + " " + ANSI.yellow(title) + ": " + output);
110                 if (failed) break;
111                 if (expect.size() == 0) break;
112                 long l = fp.readWord();
113                 long l2 = expect.remove(0);
114                 if (l!=l2) {
115                     verdict = "["+ANSI.red("FAIL")+"]";
116                     output += ANSI.red("0x"+Long.toString(l, 16)) +
117                         ANSI.yellow(" (expected ")+ANSI.green("0x"+Long.toString(l2, 16))+ANSI.yellow(")");
118                     failed = true;
119                     continue;
120                 } else {
121                     output += ("0x"+Long.toString(l2, 16) + " ");
122                 }
123             }
124             System.out.println();
125         } finally {
126             fp.terminate();
127         }
128     }
129
130     static void test(Fleet fleet, File f) throws Exception {
131         if (f.isDirectory()) {
132             for(String s : f.list())
133                 test(fleet, new File(f.getPath() + File.separatorChar + s));
134             return;
135         } else if (f.getPath().endsWith(".fleet")) {
136             runTest(fleet, new InputStreamReader(new FileInputStream(f)), f.getPath());
137         } else if (f.getPath().endsWith(".ship")) {
138             ShipDescription sd = new ShipDescription(f.getName(), new BufferedReader(new InputStreamReader(new FileInputStream(f))));
139             runTest(fleet, new StringReader(sd.getSection("test")), sd.getName());
140         }
141     }
142
143     public static void run(Fleet fleet, InputStream is) throws IOException {
144         ByteArrayOutputStream baos = new ByteArrayOutputStream();
145         byte[] buf = new byte[1024];
146         while(true) {
147             int numread = is.read(buf, 0, buf.length);
148             if (numread==-1) break;
149             baos.write(buf, 0, numread);
150         }
151         FleetProcess client = fleet.run(baos.toByteArray());
152         while(true) {
153             long result = client.readWord();
154             System.err.print(result);
155             System.err.print(" 0x");
156             System.err.print(Long.toString(result, 16));
157             System.err.println();
158         }
159     }
160
161     static void usage() {
162         System.err.println(".........................................................................");
163         System.err.println("Fleet Framework                              UC Berkeley, Sun Labs / 2007");
164         System.err.println("");
165         System.err.println("usage:  java -jar fleet.jar [options] [command] [filename] [args]");
166         System.err.println("");
167         System.err.println("[options] is in the form key=val; supported keys are:");
168         System.err.println("   target={sim,fpga,interp}");
169         System.err.println("   bitfile=(hardware image for fpga)");
170         System.err.println("   verbose={yes,no}");
171         System.err.println("");
172         System.err.println("[command] is one of:");
173         System.err.println("   asm");
174         System.err.println("   disasm");
175         System.err.println("   typeset");
176         System.err.println("   extract [section]");
177         System.err.println("   run");
178         System.err.println("");
179         System.err.println("[filename] is one of:");
180         System.err.println("   *.fa          Fleet assembler");
181         System.err.println("   *.f0          F0 code (not yet supported)");
182         System.err.println("   *.fo          Fleet binary object");
183         System.err.println("   *.ship        Ship description");
184         System.err.println("");
185         System.err.println("All [args] not consumed by [command] are passed to target");
186         System.err.println("");
187     }
188
189 }