12b8e4170SEugene Zelenko //===-- BrainFDriver.cpp - BrainF compiler driver -------------------------===//
2909ef097SChris Lattner //
32946cd70SChandler Carruth // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
42946cd70SChandler Carruth // See https://llvm.org/LICENSE.txt for license information.
52946cd70SChandler Carruth // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6909ef097SChris Lattner //
72b8e4170SEugene Zelenko //===----------------------------------------------------------------------===//
8909ef097SChris Lattner //
9909ef097SChris Lattner // This program converts the BrainF language into LLVM assembly,
10909ef097SChris Lattner // which it can then run using the JIT or output as BitCode.
11909ef097SChris Lattner //
12909ef097SChris Lattner // This implementation has a tape of 65536 bytes,
13909ef097SChris Lattner // with the head starting in the middle.
14909ef097SChris Lattner // Range checking is off by default, so be careful.
15909ef097SChris Lattner // It can be enabled with -abc.
16909ef097SChris Lattner //
17909ef097SChris Lattner // Use:
18909ef097SChris Lattner // ./BrainF -jit      prog.bf          #Run program now
19909ef097SChris Lattner // ./BrainF -jit -abc prog.bf          #Run program now safely
20909ef097SChris Lattner // ./BrainF           prog.bf          #Write as BitCode
21909ef097SChris Lattner //
22909ef097SChris Lattner // lli prog.bf.bc                      #Run generated BitCode
23909ef097SChris Lattner //
242b8e4170SEugene Zelenko //===----------------------------------------------------------------------===//
25909ef097SChris Lattner 
26909ef097SChris Lattner #include "BrainF.h"
272b8e4170SEugene Zelenko #include "llvm/ADT/APInt.h"
2859238645STeresa Johnson #include "llvm/Bitcode/BitcodeWriter.h"
2979cc1e3aSEric Christopher #include "llvm/ExecutionEngine/ExecutionEngine.h"
30909ef097SChris Lattner #include "llvm/ExecutionEngine/GenericValue.h"
31b76f6c27SBoris Ulasevich #include "llvm/ExecutionEngine/MCJIT.h"
322b8e4170SEugene Zelenko #include "llvm/IR/BasicBlock.h"
33005f27a0SChandler Carruth #include "llvm/IR/Constants.h"
342b8e4170SEugene Zelenko #include "llvm/IR/DerivedTypes.h"
352b8e4170SEugene Zelenko #include "llvm/IR/Function.h"
362b8e4170SEugene Zelenko #include "llvm/IR/Instructions.h"
372b8e4170SEugene Zelenko #include "llvm/IR/LLVMContext.h"
382b8e4170SEugene Zelenko #include "llvm/IR/Module.h"
392b8e4170SEugene Zelenko #include "llvm/IR/Value.h"
4020d4e6beSChandler Carruth #include "llvm/IR/Verifier.h"
412b8e4170SEugene Zelenko #include "llvm/Support/Casting.h"
42909ef097SChris Lattner #include "llvm/Support/CommandLine.h"
4374996578SBenjamin Kramer #include "llvm/Support/FileSystem.h"
44909ef097SChris Lattner #include "llvm/Support/ManagedStatic.h"
452bb40357SEvan Cheng #include "llvm/Support/TargetSelect.h"
466973395cSChris Lattner #include "llvm/Support/raw_ostream.h"
472b8e4170SEugene Zelenko #include <algorithm>
482b8e4170SEugene Zelenko #include <cstdlib>
496973395cSChris Lattner #include <fstream>
50605e30e9SChandler Carruth #include <iostream>
512b8e4170SEugene Zelenko #include <memory>
522b8e4170SEugene Zelenko #include <string>
532b8e4170SEugene Zelenko #include <system_error>
542b8e4170SEugene Zelenko #include <vector>
552b8e4170SEugene Zelenko 
56909ef097SChris Lattner using namespace llvm;
57909ef097SChris Lattner 
58909ef097SChris Lattner //Command line options
59909ef097SChris Lattner 
60909ef097SChris Lattner static cl::opt<std::string>
61909ef097SChris Lattner InputFilename(cl::Positional, cl::desc("<input brainf>"));
62909ef097SChris Lattner 
63909ef097SChris Lattner static cl::opt<std::string>
64909ef097SChris Lattner OutputFilename("o", cl::desc("Output filename"), cl::value_desc("filename"));
65909ef097SChris Lattner 
66909ef097SChris Lattner static cl::opt<bool>
67909ef097SChris Lattner ArrayBoundsChecking("abc", cl::desc("Enable array bounds checking"));
68909ef097SChris Lattner 
69909ef097SChris Lattner static cl::opt<bool>
70909ef097SChris Lattner JIT("jit", cl::desc("Run program Just-In-Time"));
71909ef097SChris Lattner 
72909ef097SChris Lattner //Add main function so can be fully compiled
addMainFunction(Module * mod)73909ef097SChris Lattner void addMainFunction(Module *mod) {
74909ef097SChris Lattner   //define i32 @main(i32 %argc, i8 **%argv)
7513680223SJames Y Knight   FunctionType *main_func_fty = FunctionType::get(
7613680223SJames Y Knight       Type::getInt32Ty(mod->getContext()),
7713680223SJames Y Knight       {Type::getInt32Ty(mod->getContext()),
78473e3420SJames Y Knight        Type::getInt8Ty(mod->getContext())->getPointerTo()->getPointerTo()},
79473e3420SJames Y Knight       false);
8013680223SJames Y Knight   Function *main_func =
81473e3420SJames Y Knight       Function::Create(main_func_fty, Function::ExternalLinkage, "main", mod);
8213680223SJames Y Knight 
83909ef097SChris Lattner   {
84909ef097SChris Lattner     Function::arg_iterator args = main_func->arg_begin();
855717ecbaSDuncan P. N. Exon Smith     Value *arg_0 = &*args++;
86909ef097SChris Lattner     arg_0->setName("argc");
875717ecbaSDuncan P. N. Exon Smith     Value *arg_1 = &*args++;
88909ef097SChris Lattner     arg_1->setName("argv");
89909ef097SChris Lattner   }
90909ef097SChris Lattner 
91909ef097SChris Lattner   //main.0:
9255f1c09eSOwen Anderson   BasicBlock *bb = BasicBlock::Create(mod->getContext(), "main.0", main_func);
93909ef097SChris Lattner 
94909ef097SChris Lattner   //call void @brainf()
95909ef097SChris Lattner   {
96e9ecc68dSGabor Greif     CallInst *brainf_call = CallInst::Create(mod->getFunction("brainf"),
97909ef097SChris Lattner                                              "", bb);
98909ef097SChris Lattner     brainf_call->setTailCall(false);
99909ef097SChris Lattner   }
100909ef097SChris Lattner 
101909ef097SChris Lattner   //ret i32 0
10255f1c09eSOwen Anderson   ReturnInst::Create(mod->getContext(),
10355f1c09eSOwen Anderson                      ConstantInt::get(mod->getContext(), APInt(32, 0)), bb);
104909ef097SChris Lattner }
105909ef097SChris Lattner 
main(int argc,char ** argv)106909ef097SChris Lattner int main(int argc, char **argv) {
107909ef097SChris Lattner   cl::ParseCommandLineOptions(argc, argv, " BrainF compiler\n");
108909ef097SChris Lattner 
10903b42e41SMehdi Amini   LLVMContext Context;
1106773d388SOwen Anderson 
111909ef097SChris Lattner   if (InputFilename == "") {
1126973395cSChris Lattner     errs() << "Error: You must specify the filename of the program to "
113909ef097SChris Lattner     "be compiled.  Use --help to see the options.\n";
114909ef097SChris Lattner     abort();
115909ef097SChris Lattner   }
116909ef097SChris Lattner 
117909ef097SChris Lattner   //Get the output stream
1186973395cSChris Lattner   raw_ostream *out = &outs();
119909ef097SChris Lattner   if (!JIT) {
120909ef097SChris Lattner     if (OutputFilename == "") {
121909ef097SChris Lattner       std::string base = InputFilename;
122909ef097SChris Lattner       if (InputFilename == "-") { base = "a"; }
123909ef097SChris Lattner 
1246973395cSChris Lattner       // Use default filename.
1256973395cSChris Lattner       OutputFilename = base+".bc";
126909ef097SChris Lattner     }
127909ef097SChris Lattner     if (OutputFilename != "-") {
1283fd1e993SRafael Espindola       std::error_code EC;
129*d9b948b6SFangrui Song       out = new raw_fd_ostream(OutputFilename, EC, sys::fs::OF_None);
130909ef097SChris Lattner     }
131909ef097SChris Lattner   }
132909ef097SChris Lattner 
133909ef097SChris Lattner   //Get the input stream
134909ef097SChris Lattner   std::istream *in = &std::cin;
1356973395cSChris Lattner   if (InputFilename != "-")
136909ef097SChris Lattner     in = new std::ifstream(InputFilename.c_str());
137909ef097SChris Lattner 
138909ef097SChris Lattner   //Gather the compile flags
139909ef097SChris Lattner   BrainF::CompileFlags cf = BrainF::flag_off;
1406973395cSChris Lattner   if (ArrayBoundsChecking)
141909ef097SChris Lattner     cf = BrainF::CompileFlags(cf | BrainF::flag_arraybounds);
142909ef097SChris Lattner 
143909ef097SChris Lattner   //Read the BrainF program
144909ef097SChris Lattner   BrainF bf;
1452a8a2795SRafael Espindola   std::unique_ptr<Module> Mod(bf.parse(in, 65536, cf, Context)); // 64 KiB
1466973395cSChris Lattner   if (in != &std::cin)
1476973395cSChris Lattner     delete in;
1482a8a2795SRafael Espindola   addMainFunction(Mod.get());
149909ef097SChris Lattner 
150909ef097SChris Lattner   //Verify generated code
1512a8a2795SRafael Espindola   if (verifyModule(*Mod)) {
1526973395cSChris Lattner     errs() << "Error: module failed verification.  This shouldn't happen.\n";
153909ef097SChris Lattner     abort();
154909ef097SChris Lattner   }
155909ef097SChris Lattner 
156909ef097SChris Lattner   //Write it out
157909ef097SChris Lattner   if (JIT) {
158d24df245SChris Lattner     InitializeNativeTarget();
159b76f6c27SBoris Ulasevich     InitializeNativeTargetAsmPrinter();
160d24df245SChris Lattner 
1616973395cSChris Lattner     outs() << "------- Running JIT -------\n";
1622a8a2795SRafael Espindola     Module &M = *Mod;
1632a8a2795SRafael Espindola     ExecutionEngine *ee = EngineBuilder(std::move(Mod)).create();
164b76f6c27SBoris Ulasevich     if (!ee) {
165b76f6c27SBoris Ulasevich       errs() << "Error: execution engine creation failed.\n";
166b76f6c27SBoris Ulasevich       abort();
167b76f6c27SBoris Ulasevich     }
168909ef097SChris Lattner     std::vector<GenericValue> args;
1692a8a2795SRafael Espindola     Function *brainf_func = M.getFunction("brainf");
170909ef097SChris Lattner     GenericValue gv = ee->runFunction(brainf_func, args);
171a2a02131SBoris Ulasevich     // Genereated code calls putchar, and output is not guaranteed without fflush.
172a2a02131SBoris Ulasevich     // The better place for fflush(stdout) call would be the generated code, but it
173a2a02131SBoris Ulasevich     // is unmanageable because stdout linkage name depends on stdlib implementation.
174a2a02131SBoris Ulasevich     fflush(stdout);
175909ef097SChris Lattner   } else {
17624be43d2SRafael Espindola     WriteBitcodeToFile(*Mod, *out);
177909ef097SChris Lattner   }
178909ef097SChris Lattner 
179909ef097SChris Lattner   //Clean up
1806973395cSChris Lattner   if (out != &outs())
1816973395cSChris Lattner     delete out;
182909ef097SChris Lattner 
183909ef097SChris Lattner   llvm_shutdown();
184909ef097SChris Lattner 
185909ef097SChris Lattner   return 0;
186909ef097SChris Lattner }
187