diff options
author | Brian Gaeke <gaeke@uiuc.edu> | 2004-10-05 18:05:25 +0000 |
---|---|---|
committer | Brian Gaeke <gaeke@uiuc.edu> | 2004-10-05 18:05:25 +0000 |
commit | ddc1aaad5c7917c13989de185c977c537abb6e02 (patch) | |
tree | b9f10e602c6119dd1399b5694fb9885477989118 /examples | |
parent | d4984cca0ec95b3602955b8e41260d0d8b882129 (diff) | |
download | external_llvm-ddc1aaad5c7917c13989de185c977c537abb6e02.zip external_llvm-ddc1aaad5c7917c13989de185c977c537abb6e02.tar.gz external_llvm-ddc1aaad5c7917c13989de185c977c537abb6e02.tar.bz2 |
Add BFtoLLVM example front end
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@16714 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'examples')
-rw-r--r-- | examples/BFtoLLVM/BFtoLLVM.cpp | 208 | ||||
-rw-r--r-- | examples/BFtoLLVM/Makefile | 12 | ||||
-rw-r--r-- | examples/BFtoLLVM/tests/Makefile | 45 | ||||
-rw-r--r-- | examples/BFtoLLVM/tests/hello.b | 5 | ||||
-rw-r--r-- | examples/BFtoLLVM/tests/hello.expected-out | 1 |
5 files changed, 271 insertions, 0 deletions
diff --git a/examples/BFtoLLVM/BFtoLLVM.cpp b/examples/BFtoLLVM/BFtoLLVM.cpp new file mode 100644 index 0000000..b870676 --- /dev/null +++ b/examples/BFtoLLVM/BFtoLLVM.cpp @@ -0,0 +1,208 @@ +//===-- BFtoLLVM.cpp - BF language Front End for LLVM ---------------------===// +// +// The LLVM Compiler Infrastructure +// +// This file was developed by the LLVM research group and is distributed under +// the University of Illinois Open Source License. See LICENSE.TXT for details. +// +//===----------------------------------------------------------------------===// +// +// This is a simple front end for the BF language. It is compatible with the +// language as described in "The BrainF*** Language Specification (01 January +// 2002)", which is available from http://esoteric.sange.fi/ENSI . It does not +// implement the optional keyword # ("Output partial tape state"). +// +//===----------------------------------------------------------------------===// + +#include <iostream> +#include <vector> +#include <fstream> +#include <cerrno> +#include <cstring> +#include <string> +#include <cstdio> +#include <cassert> + +void emitDeclarations(std::ofstream &dest) { + dest << "; This assembly code brought to you by BFtoLLVM\n" + << "\nimplementation\n" + << "\n; Declarations\n" + << "\ndeclare int %getchar()\n" + << "declare int %putchar(int)\n" + << "declare void %llvm.memset(sbyte*, ubyte, uint, uint)\n" + << "\n"; +} + +void emitMainFunctionProlog(std::ofstream &dest) { + dest << "\n; Main function\n" + << "int %main(int %argc, sbyte** %argv) {\n" + << "\nentry:\n" + << "%arr = alloca sbyte, uint 30000\n" + << "call void (sbyte*, ubyte, uint, uint)* %llvm.memset(sbyte* %arr, ubyte 0, uint 30000, uint 1)\n" + << "%ptrbox = alloca sbyte*\n" + << "store sbyte* %arr, sbyte **%ptrbox\n" + << "\n"; +} + +void emitMainFunctionEpilog(std::ofstream &dest) { + dest << "ret int 0\n" + << "}\n"; +} + +std::string gensym (const std::string varName, bool percent = true) { + char buf[80]; + static unsigned int SymbolCounter = 0; + sprintf (buf, "%s%s%u", percent ? "%" : "", varName.c_str(), SymbolCounter++); + return std::string (buf); +} + +void emitArith (std::string op, char delta, std::ofstream &dest) { + std::string ptr = gensym (op + "ptr"), + val = gensym (op + "val"), + result = gensym (op + "result"); + dest << ptr << " = load sbyte** %ptrbox\n" + << val << " = load sbyte* " << ptr << "\n" + << result << " = add sbyte " << val << ", " << (int)delta << "\n" + << "store sbyte " << result << ", sbyte* " << ptr << "\n"; +} + +// + becomes ++*p; and - becomes --*p; +void emitPlus (std::ofstream &dest, int ct) { emitArith ("plus", +ct, dest); } +void emitMinus (std::ofstream &dest, int ct) { emitArith ("minus", -ct, dest); } + +void emitLoadAndCast (std::string ptr, std::string val, std::string cast, + std::string type, std::ofstream &dest) { + dest << ptr << " = load sbyte** %ptrbox\n" + << val << " = load sbyte* " << ptr << "\n" + << cast << " = cast sbyte " << val << " to " << type << "\n"; +} + +// , becomes *p = getchar(); +void emitComma(std::ofstream &dest, int ct) { + assert (ct == 1); + std::string ptr = gensym("commaptr"), read = gensym("commaread"), + cast = gensym("commacast"); + dest << ptr << " = load sbyte** %ptrbox\n" + << read << " = call int %getchar()\n" + << cast << " = cast int " << read << " to sbyte\n" + << "store sbyte " << cast << ", sbyte* " << ptr << "\n"; +} + +// . becomes putchar(*p); +void emitDot(std::ofstream &dest, int ct) { + assert (ct == 1); + std::string ptr = gensym("dotptr"), val = gensym("dotval"), + cast = gensym("dotcast"); + emitLoadAndCast (ptr, val, cast, "int", dest); + dest << "call int %putchar(int " << cast << ")\n"; +} + +void emitPointerArith(std::string opname, int delta, std::ofstream &dest) { + std::string ptr = gensym(opname + "ptr"), result = gensym(opname + "result"); + dest << ptr << " = load sbyte** %ptrbox\n" + << result << " = getelementptr sbyte* " << ptr << ", int " << delta + << "\n" + << "store sbyte* " << result << ", sbyte** %ptrbox\n"; +} + +// < becomes --p; and > becomes ++p; +void emitLT(std::ofstream &dest, int ct) { emitPointerArith ("lt", -ct, dest); } +void emitGT(std::ofstream &dest, int ct) { emitPointerArith ("gt", +ct, dest); } + +static std::vector<std::string> whileStack; + +// [ becomes while (*p) { +void emitLeftBracket(std::ofstream &dest, int ct) { + assert (ct == 1); + std::string whileName = gensym ("While", false); + whileStack.push_back (whileName); + dest << "br label %testFor" << whileName << "\n" + << "\ninside" << whileName << ":\n"; +} + +// ] becomes } +void emitRightBracket(std::ofstream &dest, int ct) { + assert (ct == 1); + std::string whileName = whileStack.back (), + ptr = gensym("bracketptr"), + val = gensym("bracketval"), + cast = gensym("bracketcast"); + whileStack.pop_back (); + dest << "br label %testFor" << whileName << "\n" + << "\ntestFor" << whileName << ":\n"; + emitLoadAndCast (ptr, val, cast, "bool", dest); + dest << "br bool " << cast << ", label %inside" << whileName << ", " + << "label %after" << whileName << "\n" + << "\nafter" << whileName << ":\n"; +} + +typedef void (*FuncTy)(std::ofstream &, int); +static FuncTy table[256]; +static bool multi[256]; + +void consume (int ch, int repeatCount, std::ofstream &dest) { + FuncTy func = table[ch]; + if (!func) + return; + else if (multi[ch]) + func (dest, repeatCount); + else + for (int i = 0; i < repeatCount; ++i) + func (dest, 1); +} + +void initializeTable() { + memset (table, 0, 256); + memset (multi, 0, 256); + table[(int)'+'] = emitPlus; multi[(int)'+'] = true; + table[(int)'-'] = emitMinus; multi[(int)'-'] = true; + table[(int)','] = emitComma; multi[(int)','] = false; + table[(int)'.'] = emitDot; multi[(int)'.'] = false; + table[(int)'<'] = emitLT; multi[(int)'<'] = true; + table[(int)'>'] = emitGT; multi[(int)'>'] = true; + table[(int)'['] = emitLeftBracket; multi[(int)'['] = false; + table[(int)']'] = emitRightBracket; multi[(int)']'] = false; +} + +int main (int argc, char **argv) { + if (argc != 3) { + std::cerr << "usage: " << argv[0] << " input-source output-llvm\n"; + return 1; + } + + char *sourceFileName = argv[1]; + char *destFileName = argv[2]; + + std::ifstream src (sourceFileName); + if (!src.good()) { + std::cerr << sourceFileName << ": " << strerror(errno) << "\n"; + return 1; + } + + std::ofstream dest (destFileName); + if (!dest.good()) { + std::cerr << destFileName << ": " << strerror(errno) << "\n"; + return 1; + } + + emitDeclarations(dest); + emitMainFunctionProlog(dest); + + initializeTable(); + char ch, lastCh; + src >> lastCh; + int repeatCount = 1; + for (src >> ch; !src.eof (); src >> ch, ++repeatCount) + if (ch != lastCh) { + consume (lastCh, repeatCount, dest); + lastCh = ch; + repeatCount = 0; + } + consume (lastCh, repeatCount, dest); + + emitMainFunctionEpilog(dest); + + src.close(); + dest.close(); + return 0; +} diff --git a/examples/BFtoLLVM/Makefile b/examples/BFtoLLVM/Makefile new file mode 100644 index 0000000..e3074cc --- /dev/null +++ b/examples/BFtoLLVM/Makefile @@ -0,0 +1,12 @@ +##===- examples/BFtoLLVM/Makefile --------------------------*- Makefile -*-===## +# +# The LLVM Compiler Infrastructure +# +# This file was developed by the LLVM research group and is distributed under +# the University of Illinois Open Source License. See LICENSE.TXT for details. +# +##===----------------------------------------------------------------------===## + +LEVEL = ../.. +TOOLNAME = BFtoLLVM +include $(LEVEL)/Makefile.common diff --git a/examples/BFtoLLVM/tests/Makefile b/examples/BFtoLLVM/tests/Makefile new file mode 100644 index 0000000..ff3d01a --- /dev/null +++ b/examples/BFtoLLVM/tests/Makefile @@ -0,0 +1,45 @@ +##===- examples/BFtoLLVM/tests/Makefile --------------------*- Makefile -*-===## +# +# The LLVM Compiler Infrastructure +# +# This file was developed by the LLVM research group and is distributed under +# the University of Illinois Open Source License. See LICENSE.TXT for details. +# +##===----------------------------------------------------------------------===## + +# Makefile for bf2llvm tests. + +LEVEL = ../../.. +BFTOLLVM = $(LLVMTOOLCURRENT)/BFtoLLVM + +include $(LEVEL)/Makefile.common + +all:: check + +clean:: + rm -rf Output + +.SUFFIXES: .ll .gccas.bc .llvm .cbe.c .cbe + +Output/%.ll: %.b $(BFTOLLVM) Output/.dir + $(BFTOLLVM) $< $@ + +Output/%.gccas.bc: Output/%.ll Output/.dir + $(LGCCAS) $< -o $@ + +Output/%.llvm Output/%.llvm.bc: Output/%.gccas.bc Output/.dir + $(LGCCLD) $< -lc -lcrtend -o Output/$*.llvm + +Output/%.cbe.c: Output/%.llvm.bc Output/.dir + $(LLC) -march=c -f -o=$@ $< + +Output/%.cbe: Output/%.cbe.c Output/.dir + $(CC) -O2 $< -o $@ + +check: Output/hello.cbe hello.expected-out + @echo "Running test" + Output/hello.cbe > Output/hello.out-cbe + @echo "Checking result" + diff Output/hello.out-cbe hello.expected-out + @echo "Test passed" + diff --git a/examples/BFtoLLVM/tests/hello.b b/examples/BFtoLLVM/tests/hello.b new file mode 100644 index 0000000..a3d8faf --- /dev/null +++ b/examples/BFtoLLVM/tests/hello.b @@ -0,0 +1,5 @@ +Hello World program +>+++++++++[<++++++++>-]<.>+++++++[<++++>-]<+.+++++++..+++.[-]>++++++++[<++++>-] +<.#>+++++++++++[<+++++>-]<.>++++++++[<+++>-]<.+++.------.--------.[-]>++++++++[ +<++++>-]<+.[-]++++++++++. + diff --git a/examples/BFtoLLVM/tests/hello.expected-out b/examples/BFtoLLVM/tests/hello.expected-out new file mode 100644 index 0000000..980a0d5 --- /dev/null +++ b/examples/BFtoLLVM/tests/hello.expected-out @@ -0,0 +1 @@ +Hello World! |