1 //===-- BrainFDriver.cpp - BrainF compiler driver -----------------------===//
3 // The LLVM Compiler Infrastructure
5 // This file was developed by Sterling Stein and is distributed under the
6 // University of Illinois Open Source License. See LICENSE.TXT for details.
8 //===--------------------------------------------------------------------===//
10 // This program converts the BrainF language into LLVM assembly,
11 // which it can then run using the JIT or output as BitCode.
13 // This implementation has a tape of 65536 bytes,
14 // with the head starting in the middle.
15 // Range checking is off by default, so be careful.
16 // It can be enabled with -abc.
19 // ./BrainF -jit prog.bf #Run program now
20 // ./BrainF -jit -abc prog.bf #Run program now safely
21 // ./BrainF prog.bf #Write as BitCode
23 // lli prog.bf.bc #Run generated BitCode
24 // llvm-ld -native -o=prog prog.bf.bc #Compile BitCode into native executable
26 //===--------------------------------------------------------------------===//
29 #include "llvm/Constants.h"
30 #include "llvm/ModuleProvider.h"
31 #include "llvm/Analysis/Verifier.h"
32 #include "llvm/Bitcode/ReaderWriter.h"
33 #include "llvm/ExecutionEngine/GenericValue.h"
34 #include "llvm/ExecutionEngine/JIT.h"
35 #include "llvm/Support/CommandLine.h"
36 #include "llvm/Support/ManagedStatic.h"
42 //Command line options
44 static cl::opt<std::string>
45 InputFilename(cl::Positional, cl::desc("<input brainf>"));
47 static cl::opt<std::string>
48 OutputFilename("o", cl::desc("Output filename"), cl::value_desc("filename"));
51 ArrayBoundsChecking("abc", cl::desc("Enable array bounds checking"));
54 JIT("jit", cl::desc("Run program Just-In-Time"));
57 //Add main function so can be fully compiled
58 void addMainFunction(Module *mod) {
59 //define i32 @main(i32 %argc, i8 **%argv)
60 Function *main_func = cast<Function>(mod->
61 getOrInsertFunction("main", IntegerType::Int32Ty, IntegerType::Int32Ty,
62 PointerType::get(PointerType::get(
63 IntegerType::Int8Ty)), NULL));
65 Function::arg_iterator args = main_func->arg_begin();
66 Value *arg_0 = args++;
67 arg_0->setName("argc");
68 Value *arg_1 = args++;
69 arg_1->setName("argv");
73 BasicBlock *bb = new BasicBlock("main.0", main_func);
77 CallInst *brainf_call = new CallInst(mod->getFunction("brainf"),
79 brainf_call->setTailCall(false);
83 new ReturnInst(ConstantInt::get(APInt(32, 0)), bb);
86 int main(int argc, char **argv) {
87 cl::ParseCommandLineOptions(argc, argv, " BrainF compiler\n");
89 if (InputFilename == "") {
90 cerr<<"Error: You must specify the filename of the program to "
91 "be compiled. Use --help to see the options.\n";
95 //Get the output stream
96 std::ostream *out = &std::cout;
98 if (OutputFilename == "") {
99 std::string base = InputFilename;
100 if (InputFilename == "-") {base = "a";}
102 //Use default filename
103 const char *suffix = ".bc";
104 OutputFilename = base+suffix;
106 if (OutputFilename != "-") {
108 ofstream(OutputFilename.c_str(),
109 std::ios::out | std::ios::trunc | std::ios::binary);
113 //Get the input stream
114 std::istream *in = &std::cin;
115 if (InputFilename != "-") {
116 in = new std::ifstream(InputFilename.c_str());
119 //Gather the compile flags
120 BrainF::CompileFlags cf = BrainF::flag_off;
121 if (ArrayBoundsChecking) {
122 cf = BrainF::CompileFlags(cf | BrainF::flag_arraybounds);
125 //Read the BrainF program
127 Module *mod = bf.parse(in, 65536, cf); //64 KiB
128 if (in != &std::cin) {delete in;}
129 addMainFunction(mod);
131 //Verify generated code
132 if (verifyModule(*mod)) {
133 cerr<<"Error: module failed verification. This shouldn't happen.\n";
139 cout<<"------- Running JIT -------\n";
140 ExistingModuleProvider *mp = new ExistingModuleProvider(mod);
141 ExecutionEngine *ee = ExecutionEngine::create(mp, false);
142 std::vector<GenericValue> args;
143 Function *brainf_func = mod->getFunction("brainf");
144 GenericValue gv = ee->runFunction(brainf_func, args);
146 WriteBitcodeToFile(mod, *out);
150 if (out != &std::cout) {delete out;}