2007-09-12 20:24:00 +02:00
|
|
|
//===-- BrainFDriver.cpp - BrainF compiler driver -----------------------===//
|
|
|
|
//
|
|
|
|
// The LLVM Compiler Infrastructure
|
|
|
|
//
|
2007-12-29 21:37:57 +01:00
|
|
|
// This file is distributed under the University of Illinois Open Source
|
|
|
|
// License. See LICENSE.TXT for details.
|
2007-09-12 20:24:00 +02:00
|
|
|
//
|
|
|
|
//===--------------------------------------------------------------------===//
|
|
|
|
//
|
|
|
|
// This program converts the BrainF language into LLVM assembly,
|
|
|
|
// which it can then run using the JIT or output as BitCode.
|
|
|
|
//
|
|
|
|
// This implementation has a tape of 65536 bytes,
|
|
|
|
// with the head starting in the middle.
|
|
|
|
// Range checking is off by default, so be careful.
|
|
|
|
// It can be enabled with -abc.
|
|
|
|
//
|
|
|
|
// Use:
|
|
|
|
// ./BrainF -jit prog.bf #Run program now
|
|
|
|
// ./BrainF -jit -abc prog.bf #Run program now safely
|
|
|
|
// ./BrainF prog.bf #Write as BitCode
|
|
|
|
//
|
|
|
|
// lli prog.bf.bc #Run generated BitCode
|
|
|
|
//
|
|
|
|
//===--------------------------------------------------------------------===//
|
|
|
|
|
|
|
|
#include "BrainF.h"
|
|
|
|
#include "llvm/Bitcode/ReaderWriter.h"
|
2014-09-03 00:28:02 +02:00
|
|
|
#include "llvm/ExecutionEngine/ExecutionEngine.h"
|
2007-09-12 20:24:00 +02:00
|
|
|
#include "llvm/ExecutionEngine/GenericValue.h"
|
2013-01-02 12:56:33 +01:00
|
|
|
#include "llvm/IR/Constants.h"
|
2014-01-13 10:58:03 +01:00
|
|
|
#include "llvm/IR/Verifier.h"
|
2007-09-12 20:24:00 +02:00
|
|
|
#include "llvm/Support/CommandLine.h"
|
2014-04-30 01:37:02 +02:00
|
|
|
#include "llvm/Support/FileSystem.h"
|
2007-09-12 20:24:00 +02:00
|
|
|
#include "llvm/Support/ManagedStatic.h"
|
2011-08-24 20:08:43 +02:00
|
|
|
#include "llvm/Support/TargetSelect.h"
|
2009-08-23 09:49:08 +02:00
|
|
|
#include "llvm/Support/raw_ostream.h"
|
|
|
|
#include <fstream>
|
2012-12-04 11:16:57 +01:00
|
|
|
#include <iostream>
|
2007-09-12 20:24:00 +02:00
|
|
|
using namespace llvm;
|
|
|
|
|
|
|
|
//Command line options
|
|
|
|
|
|
|
|
static cl::opt<std::string>
|
|
|
|
InputFilename(cl::Positional, cl::desc("<input brainf>"));
|
|
|
|
|
|
|
|
static cl::opt<std::string>
|
|
|
|
OutputFilename("o", cl::desc("Output filename"), cl::value_desc("filename"));
|
|
|
|
|
|
|
|
static cl::opt<bool>
|
|
|
|
ArrayBoundsChecking("abc", cl::desc("Enable array bounds checking"));
|
|
|
|
|
|
|
|
static cl::opt<bool>
|
|
|
|
JIT("jit", cl::desc("Run program Just-In-Time"));
|
|
|
|
|
|
|
|
|
|
|
|
//Add main function so can be fully compiled
|
|
|
|
void addMainFunction(Module *mod) {
|
|
|
|
//define i32 @main(i32 %argc, i8 **%argv)
|
|
|
|
Function *main_func = cast<Function>(mod->
|
2009-08-13 23:58:54 +02:00
|
|
|
getOrInsertFunction("main", IntegerType::getInt32Ty(mod->getContext()),
|
|
|
|
IntegerType::getInt32Ty(mod->getContext()),
|
2007-12-17 02:12:55 +01:00
|
|
|
PointerType::getUnqual(PointerType::getUnqual(
|
2009-08-13 23:58:54 +02:00
|
|
|
IntegerType::getInt8Ty(mod->getContext()))), NULL));
|
2007-09-12 20:24:00 +02:00
|
|
|
{
|
|
|
|
Function::arg_iterator args = main_func->arg_begin();
|
2015-11-07 01:55:46 +01:00
|
|
|
Value *arg_0 = &*args++;
|
2007-09-12 20:24:00 +02:00
|
|
|
arg_0->setName("argc");
|
2015-11-07 01:55:46 +01:00
|
|
|
Value *arg_1 = &*args++;
|
2007-09-12 20:24:00 +02:00
|
|
|
arg_1->setName("argv");
|
|
|
|
}
|
|
|
|
|
|
|
|
//main.0:
|
2009-08-13 23:58:54 +02:00
|
|
|
BasicBlock *bb = BasicBlock::Create(mod->getContext(), "main.0", main_func);
|
2007-09-12 20:24:00 +02:00
|
|
|
|
|
|
|
//call void @brainf()
|
|
|
|
{
|
2008-04-06 22:25:17 +02:00
|
|
|
CallInst *brainf_call = CallInst::Create(mod->getFunction("brainf"),
|
|
|
|
"", bb);
|
2007-09-12 20:24:00 +02:00
|
|
|
brainf_call->setTailCall(false);
|
|
|
|
}
|
|
|
|
|
|
|
|
//ret i32 0
|
2009-08-13 23:58:54 +02:00
|
|
|
ReturnInst::Create(mod->getContext(),
|
|
|
|
ConstantInt::get(mod->getContext(), APInt(32, 0)), bb);
|
2007-09-12 20:24:00 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
int main(int argc, char **argv) {
|
|
|
|
cl::ParseCommandLineOptions(argc, argv, " BrainF compiler\n");
|
|
|
|
|
2009-07-16 20:04:31 +02:00
|
|
|
LLVMContext &Context = getGlobalContext();
|
2009-07-01 18:58:40 +02:00
|
|
|
|
2007-09-12 20:24:00 +02:00
|
|
|
if (InputFilename == "") {
|
2009-08-23 09:49:08 +02:00
|
|
|
errs() << "Error: You must specify the filename of the program to "
|
2008-08-24 00:00:15 +02:00
|
|
|
"be compiled. Use --help to see the options.\n";
|
2007-09-12 20:24:00 +02:00
|
|
|
abort();
|
|
|
|
}
|
|
|
|
|
|
|
|
//Get the output stream
|
2009-08-23 09:49:08 +02:00
|
|
|
raw_ostream *out = &outs();
|
2007-09-12 20:24:00 +02:00
|
|
|
if (!JIT) {
|
|
|
|
if (OutputFilename == "") {
|
|
|
|
std::string base = InputFilename;
|
2009-08-23 09:49:08 +02:00
|
|
|
if (InputFilename == "-") { base = "a"; }
|
2007-09-12 20:24:00 +02:00
|
|
|
|
2009-08-23 09:49:08 +02:00
|
|
|
// Use default filename.
|
|
|
|
OutputFilename = base+".bc";
|
2007-09-12 20:24:00 +02:00
|
|
|
}
|
|
|
|
if (OutputFilename != "-") {
|
2014-08-25 20:16:47 +02:00
|
|
|
std::error_code EC;
|
|
|
|
out = new raw_fd_ostream(OutputFilename, EC, sys::fs::F_None);
|
2007-09-12 20:24:00 +02:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
//Get the input stream
|
|
|
|
std::istream *in = &std::cin;
|
2009-08-23 09:49:08 +02:00
|
|
|
if (InputFilename != "-")
|
2007-09-12 20:24:00 +02:00
|
|
|
in = new std::ifstream(InputFilename.c_str());
|
|
|
|
|
|
|
|
//Gather the compile flags
|
|
|
|
BrainF::CompileFlags cf = BrainF::flag_off;
|
2009-08-23 09:49:08 +02:00
|
|
|
if (ArrayBoundsChecking)
|
2007-09-12 20:24:00 +02:00
|
|
|
cf = BrainF::CompileFlags(cf | BrainF::flag_arraybounds);
|
|
|
|
|
|
|
|
//Read the BrainF program
|
|
|
|
BrainF bf;
|
2014-08-19 06:04:25 +02:00
|
|
|
std::unique_ptr<Module> Mod(bf.parse(in, 65536, cf, Context)); // 64 KiB
|
2009-08-23 09:49:08 +02:00
|
|
|
if (in != &std::cin)
|
|
|
|
delete in;
|
2014-08-19 06:04:25 +02:00
|
|
|
addMainFunction(Mod.get());
|
2007-09-12 20:24:00 +02:00
|
|
|
|
|
|
|
//Verify generated code
|
2014-08-19 06:04:25 +02:00
|
|
|
if (verifyModule(*Mod)) {
|
2009-08-23 09:49:08 +02:00
|
|
|
errs() << "Error: module failed verification. This shouldn't happen.\n";
|
2007-09-12 20:24:00 +02:00
|
|
|
abort();
|
|
|
|
}
|
|
|
|
|
|
|
|
//Write it out
|
|
|
|
if (JIT) {
|
2009-06-17 18:48:44 +02:00
|
|
|
InitializeNativeTarget();
|
|
|
|
|
2009-08-23 09:49:08 +02:00
|
|
|
outs() << "------- Running JIT -------\n";
|
2014-08-19 06:04:25 +02:00
|
|
|
Module &M = *Mod;
|
|
|
|
ExecutionEngine *ee = EngineBuilder(std::move(Mod)).create();
|
2007-09-12 20:24:00 +02:00
|
|
|
std::vector<GenericValue> args;
|
2014-08-19 06:04:25 +02:00
|
|
|
Function *brainf_func = M.getFunction("brainf");
|
2007-09-12 20:24:00 +02:00
|
|
|
GenericValue gv = ee->runFunction(brainf_func, args);
|
|
|
|
} else {
|
2014-08-19 06:04:25 +02:00
|
|
|
WriteBitcodeToFile(Mod.get(), *out);
|
2007-09-12 20:24:00 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
//Clean up
|
2009-08-23 09:49:08 +02:00
|
|
|
if (out != &outs())
|
|
|
|
delete out;
|
2007-09-12 20:24:00 +02:00
|
|
|
|
|
|
|
llvm_shutdown();
|
|
|
|
|
|
|
|
return 0;
|
|
|
|
}
|