blob: 05697ea70a490e9e6a72635d24a65e22727fda66 [file] [log] [blame]
Lang Hames09bf4c12015-08-18 18:11:06 +00001#include "llvm/ADT/STLExtras.h"
Chandler Carruth005f27a2013-01-02 11:56:33 +00002#include "llvm/IR/IRBuilder.h"
3#include "llvm/IR/LLVMContext.h"
4#include "llvm/IR/Module.h"
Lang Hames2d789c32015-08-26 03:07:41 +00005#include "llvm/IR/Verifier.h"
Will Dietz981af002013-10-12 00:55:57 +00006#include <cctype>
Erick Tryzelaar21e83ea2009-09-22 21:15:19 +00007#include <cstdio>
Erick Tryzelaar21e83ea2009-09-22 21:15:19 +00008#include <map>
Chandler Carruth605e30e2012-12-04 10:16:57 +00009#include <string>
Erick Tryzelaar21e83ea2009-09-22 21:15:19 +000010#include <vector>
Hans Wennborgcc9deb42015-09-29 18:02:48 +000011
Erick Tryzelaar21e83ea2009-09-22 21:15:19 +000012using namespace llvm;
13
14//===----------------------------------------------------------------------===//
15// Lexer
16//===----------------------------------------------------------------------===//
17
18// The lexer returns tokens [0-255] if it is an unknown character, otherwise one
19// of these for known things.
20enum Token {
21 tok_eof = -1,
22
23 // commands
Lang Hames59b0da82015-08-19 18:15:58 +000024 tok_def = -2,
25 tok_extern = -3,
Erick Tryzelaar21e83ea2009-09-22 21:15:19 +000026
27 // primary
Lang Hames59b0da82015-08-19 18:15:58 +000028 tok_identifier = -4,
29 tok_number = -5
Erick Tryzelaar21e83ea2009-09-22 21:15:19 +000030};
31
Lang Hames59b0da82015-08-19 18:15:58 +000032static std::string IdentifierStr; // Filled in if tok_identifier
33static double NumVal; // Filled in if tok_number
Erick Tryzelaar21e83ea2009-09-22 21:15:19 +000034
35/// gettok - Return the next token from standard input.
36static int gettok() {
37 static int LastChar = ' ';
38
39 // Skip any whitespace.
40 while (isspace(LastChar))
41 LastChar = getchar();
42
43 if (isalpha(LastChar)) { // identifier: [a-zA-Z][a-zA-Z0-9]*
44 IdentifierStr = LastChar;
45 while (isalnum((LastChar = getchar())))
46 IdentifierStr += LastChar;
47
Lang Hames59b0da82015-08-19 18:15:58 +000048 if (IdentifierStr == "def")
49 return tok_def;
50 if (IdentifierStr == "extern")
51 return tok_extern;
Erick Tryzelaar21e83ea2009-09-22 21:15:19 +000052 return tok_identifier;
53 }
54
Lang Hames59b0da82015-08-19 18:15:58 +000055 if (isdigit(LastChar) || LastChar == '.') { // Number: [0-9.]+
Erick Tryzelaar21e83ea2009-09-22 21:15:19 +000056 std::string NumStr;
57 do {
58 NumStr += LastChar;
59 LastChar = getchar();
60 } while (isdigit(LastChar) || LastChar == '.');
61
Hans Wennborgcc9deb42015-09-29 18:02:48 +000062 NumVal = strtod(NumStr.c_str(), nullptr);
Erick Tryzelaar21e83ea2009-09-22 21:15:19 +000063 return tok_number;
64 }
65
66 if (LastChar == '#') {
67 // Comment until end of line.
Lang Hames59b0da82015-08-19 18:15:58 +000068 do
69 LastChar = getchar();
Erick Tryzelaar21e83ea2009-09-22 21:15:19 +000070 while (LastChar != EOF && LastChar != '\n' && LastChar != '\r');
Lang Hames59b0da82015-08-19 18:15:58 +000071
Erick Tryzelaar21e83ea2009-09-22 21:15:19 +000072 if (LastChar != EOF)
73 return gettok();
74 }
Lang Hames59b0da82015-08-19 18:15:58 +000075
Erick Tryzelaar21e83ea2009-09-22 21:15:19 +000076 // Check for end of file. Don't eat the EOF.
77 if (LastChar == EOF)
78 return tok_eof;
79
80 // Otherwise, just return the character as its ascii value.
81 int ThisChar = LastChar;
82 LastChar = getchar();
83 return ThisChar;
84}
85
86//===----------------------------------------------------------------------===//
87// Abstract Syntax Tree (aka Parse Tree)
88//===----------------------------------------------------------------------===//
Juergen Ributzka05c5a932013-11-19 03:08:35 +000089namespace {
Erick Tryzelaar21e83ea2009-09-22 21:15:19 +000090/// ExprAST - Base class for all expression nodes.
91class ExprAST {
92public:
Juergen Ributzka05c5a932013-11-19 03:08:35 +000093 virtual ~ExprAST() {}
Lang Hames2d789c32015-08-26 03:07:41 +000094 virtual Value *codegen() = 0;
Erick Tryzelaar21e83ea2009-09-22 21:15:19 +000095};
96
97/// NumberExprAST - Expression class for numeric literals like "1.0".
98class NumberExprAST : public ExprAST {
99 double Val;
Lang Hames59b0da82015-08-19 18:15:58 +0000100
Erick Tryzelaar21e83ea2009-09-22 21:15:19 +0000101public:
Lang Hames09bf4c12015-08-18 18:11:06 +0000102 NumberExprAST(double Val) : Val(Val) {}
Lang Hames2d789c32015-08-26 03:07:41 +0000103 Value *codegen() override;
Erick Tryzelaar21e83ea2009-09-22 21:15:19 +0000104};
105
106/// VariableExprAST - Expression class for referencing a variable, like "a".
107class VariableExprAST : public ExprAST {
108 std::string Name;
Lang Hames59b0da82015-08-19 18:15:58 +0000109
Erick Tryzelaar21e83ea2009-09-22 21:15:19 +0000110public:
Lang Hames09bf4c12015-08-18 18:11:06 +0000111 VariableExprAST(const std::string &Name) : Name(Name) {}
Lang Hames2d789c32015-08-26 03:07:41 +0000112 Value *codegen() override;
Erick Tryzelaar21e83ea2009-09-22 21:15:19 +0000113};
114
115/// BinaryExprAST - Expression class for a binary operator.
116class BinaryExprAST : public ExprAST {
117 char Op;
Lang Hames09bf4c12015-08-18 18:11:06 +0000118 std::unique_ptr<ExprAST> LHS, RHS;
Lang Hames59b0da82015-08-19 18:15:58 +0000119
Erick Tryzelaar21e83ea2009-09-22 21:15:19 +0000120public:
Lang Hames09bf4c12015-08-18 18:11:06 +0000121 BinaryExprAST(char Op, std::unique_ptr<ExprAST> LHS,
122 std::unique_ptr<ExprAST> RHS)
Lang Hames59b0da82015-08-19 18:15:58 +0000123 : Op(Op), LHS(std::move(LHS)), RHS(std::move(RHS)) {}
Lang Hames2d789c32015-08-26 03:07:41 +0000124 Value *codegen() override;
Erick Tryzelaar21e83ea2009-09-22 21:15:19 +0000125};
126
127/// CallExprAST - Expression class for function calls.
128class CallExprAST : public ExprAST {
129 std::string Callee;
Lang Hames09bf4c12015-08-18 18:11:06 +0000130 std::vector<std::unique_ptr<ExprAST>> Args;
Lang Hames59b0da82015-08-19 18:15:58 +0000131
Erick Tryzelaar21e83ea2009-09-22 21:15:19 +0000132public:
Lang Hames09bf4c12015-08-18 18:11:06 +0000133 CallExprAST(const std::string &Callee,
134 std::vector<std::unique_ptr<ExprAST>> Args)
Lang Hames59b0da82015-08-19 18:15:58 +0000135 : Callee(Callee), Args(std::move(Args)) {}
Lang Hames2d789c32015-08-26 03:07:41 +0000136 Value *codegen() override;
Erick Tryzelaar21e83ea2009-09-22 21:15:19 +0000137};
138
139/// PrototypeAST - This class represents the "prototype" for a function,
140/// which captures its name, and its argument names (thus implicitly the number
141/// of arguments the function takes).
142class PrototypeAST {
143 std::string Name;
144 std::vector<std::string> Args;
Lang Hames59b0da82015-08-19 18:15:58 +0000145
Erick Tryzelaar21e83ea2009-09-22 21:15:19 +0000146public:
Lang Hames09bf4c12015-08-18 18:11:06 +0000147 PrototypeAST(const std::string &Name, std::vector<std::string> Args)
Lang Hames59b0da82015-08-19 18:15:58 +0000148 : Name(Name), Args(std::move(Args)) {}
Lang Hames2d789c32015-08-26 03:07:41 +0000149 Function *codegen();
150 const std::string &getName() const { return Name; }
Erick Tryzelaar21e83ea2009-09-22 21:15:19 +0000151};
152
153/// FunctionAST - This class represents a function definition itself.
154class FunctionAST {
Lang Hames09bf4c12015-08-18 18:11:06 +0000155 std::unique_ptr<PrototypeAST> Proto;
156 std::unique_ptr<ExprAST> Body;
Lang Hames59b0da82015-08-19 18:15:58 +0000157
Erick Tryzelaar21e83ea2009-09-22 21:15:19 +0000158public:
Lang Hames09bf4c12015-08-18 18:11:06 +0000159 FunctionAST(std::unique_ptr<PrototypeAST> Proto,
160 std::unique_ptr<ExprAST> Body)
Lang Hames59b0da82015-08-19 18:15:58 +0000161 : Proto(std::move(Proto)), Body(std::move(Body)) {}
Lang Hames2d789c32015-08-26 03:07:41 +0000162 Function *codegen();
Erick Tryzelaar21e83ea2009-09-22 21:15:19 +0000163};
Juergen Ributzka05c5a932013-11-19 03:08:35 +0000164} // end anonymous namespace
Erick Tryzelaar21e83ea2009-09-22 21:15:19 +0000165
166//===----------------------------------------------------------------------===//
167// Parser
168//===----------------------------------------------------------------------===//
169
170/// CurTok/getNextToken - Provide a simple token buffer. CurTok is the current
171/// token the parser is looking at. getNextToken reads another token from the
172/// lexer and updates CurTok with its results.
173static int CurTok;
Lang Hames59b0da82015-08-19 18:15:58 +0000174static int getNextToken() { return CurTok = gettok(); }
Erick Tryzelaar21e83ea2009-09-22 21:15:19 +0000175
176/// BinopPrecedence - This holds the precedence for each binary operator that is
177/// defined.
178static std::map<char, int> BinopPrecedence;
179
180/// GetTokPrecedence - Get the precedence of the pending binary operator token.
181static int GetTokPrecedence() {
182 if (!isascii(CurTok))
183 return -1;
Lang Hames59b0da82015-08-19 18:15:58 +0000184
Erick Tryzelaar21e83ea2009-09-22 21:15:19 +0000185 // Make sure it's a declared binop.
186 int TokPrec = BinopPrecedence[CurTok];
Lang Hames59b0da82015-08-19 18:15:58 +0000187 if (TokPrec <= 0)
188 return -1;
Erick Tryzelaar21e83ea2009-09-22 21:15:19 +0000189 return TokPrec;
190}
191
192/// Error* - These are little helper functions for error handling.
Lang Hames09bf4c12015-08-18 18:11:06 +0000193std::unique_ptr<ExprAST> Error(const char *Str) {
194 fprintf(stderr, "Error: %s\n", Str);
195 return nullptr;
196}
Hans Wennborgcc9deb42015-09-29 18:02:48 +0000197
Lang Hames09bf4c12015-08-18 18:11:06 +0000198std::unique_ptr<PrototypeAST> ErrorP(const char *Str) {
199 Error(Str);
200 return nullptr;
201}
Erick Tryzelaar21e83ea2009-09-22 21:15:19 +0000202
Lang Hames09bf4c12015-08-18 18:11:06 +0000203static std::unique_ptr<ExprAST> ParseExpression();
Erick Tryzelaar21e83ea2009-09-22 21:15:19 +0000204
Erick Tryzelaar21e83ea2009-09-22 21:15:19 +0000205/// numberexpr ::= number
Lang Hames09bf4c12015-08-18 18:11:06 +0000206static std::unique_ptr<ExprAST> ParseNumberExpr() {
207 auto Result = llvm::make_unique<NumberExprAST>(NumVal);
Erick Tryzelaar21e83ea2009-09-22 21:15:19 +0000208 getNextToken(); // consume the number
Lang Hames09bf4c12015-08-18 18:11:06 +0000209 return std::move(Result);
Erick Tryzelaar21e83ea2009-09-22 21:15:19 +0000210}
211
212/// parenexpr ::= '(' expression ')'
Lang Hames09bf4c12015-08-18 18:11:06 +0000213static std::unique_ptr<ExprAST> ParseParenExpr() {
Lang Hames59b0da82015-08-19 18:15:58 +0000214 getNextToken(); // eat (.
Lang Hames09bf4c12015-08-18 18:11:06 +0000215 auto V = ParseExpression();
216 if (!V)
217 return nullptr;
Lang Hames59b0da82015-08-19 18:15:58 +0000218
Erick Tryzelaar21e83ea2009-09-22 21:15:19 +0000219 if (CurTok != ')')
220 return Error("expected ')'");
Lang Hames59b0da82015-08-19 18:15:58 +0000221 getNextToken(); // eat ).
Erick Tryzelaar21e83ea2009-09-22 21:15:19 +0000222 return V;
223}
224
Lang Hames59b0da82015-08-19 18:15:58 +0000225/// identifierexpr
226/// ::= identifier
227/// ::= identifier '(' expression* ')'
228static std::unique_ptr<ExprAST> ParseIdentifierExpr() {
229 std::string IdName = IdentifierStr;
230
231 getNextToken(); // eat identifier.
232
233 if (CurTok != '(') // Simple variable ref.
234 return llvm::make_unique<VariableExprAST>(IdName);
235
236 // Call.
237 getNextToken(); // eat (
238 std::vector<std::unique_ptr<ExprAST>> Args;
239 if (CurTok != ')') {
240 while (1) {
241 if (auto Arg = ParseExpression())
242 Args.push_back(std::move(Arg));
243 else
244 return nullptr;
245
246 if (CurTok == ')')
247 break;
248
249 if (CurTok != ',')
250 return Error("Expected ')' or ',' in argument list");
251 getNextToken();
252 }
253 }
254
255 // Eat the ')'.
256 getNextToken();
257
258 return llvm::make_unique<CallExprAST>(IdName, std::move(Args));
259}
260
Erick Tryzelaar21e83ea2009-09-22 21:15:19 +0000261/// primary
262/// ::= identifierexpr
263/// ::= numberexpr
264/// ::= parenexpr
Lang Hames09bf4c12015-08-18 18:11:06 +0000265static std::unique_ptr<ExprAST> ParsePrimary() {
Erick Tryzelaar21e83ea2009-09-22 21:15:19 +0000266 switch (CurTok) {
Lang Hames59b0da82015-08-19 18:15:58 +0000267 default:
268 return Error("unknown token when expecting an expression");
269 case tok_identifier:
270 return ParseIdentifierExpr();
271 case tok_number:
272 return ParseNumberExpr();
273 case '(':
274 return ParseParenExpr();
Erick Tryzelaar21e83ea2009-09-22 21:15:19 +0000275 }
276}
277
278/// binoprhs
279/// ::= ('+' primary)*
Lang Hames09bf4c12015-08-18 18:11:06 +0000280static std::unique_ptr<ExprAST> ParseBinOpRHS(int ExprPrec,
281 std::unique_ptr<ExprAST> LHS) {
Erick Tryzelaar21e83ea2009-09-22 21:15:19 +0000282 // If this is a binop, find its precedence.
283 while (1) {
284 int TokPrec = GetTokPrecedence();
Lang Hames59b0da82015-08-19 18:15:58 +0000285
Erick Tryzelaar21e83ea2009-09-22 21:15:19 +0000286 // If this is a binop that binds at least as tightly as the current binop,
287 // consume it, otherwise we are done.
288 if (TokPrec < ExprPrec)
289 return LHS;
Lang Hames59b0da82015-08-19 18:15:58 +0000290
Erick Tryzelaar21e83ea2009-09-22 21:15:19 +0000291 // Okay, we know this is a binop.
292 int BinOp = CurTok;
Lang Hames59b0da82015-08-19 18:15:58 +0000293 getNextToken(); // eat binop
294
Erick Tryzelaar21e83ea2009-09-22 21:15:19 +0000295 // Parse the primary expression after the binary operator.
Lang Hames09bf4c12015-08-18 18:11:06 +0000296 auto RHS = ParsePrimary();
Lang Hames59b0da82015-08-19 18:15:58 +0000297 if (!RHS)
298 return nullptr;
299
Erick Tryzelaar21e83ea2009-09-22 21:15:19 +0000300 // If BinOp binds less tightly with RHS than the operator after RHS, let
301 // the pending operator take RHS as its LHS.
302 int NextPrec = GetTokPrecedence();
303 if (TokPrec < NextPrec) {
Lang Hames59b0da82015-08-19 18:15:58 +0000304 RHS = ParseBinOpRHS(TokPrec + 1, std::move(RHS));
305 if (!RHS)
306 return nullptr;
Erick Tryzelaar21e83ea2009-09-22 21:15:19 +0000307 }
Lang Hames59b0da82015-08-19 18:15:58 +0000308
Erick Tryzelaar21e83ea2009-09-22 21:15:19 +0000309 // Merge LHS/RHS.
Lang Hames59b0da82015-08-19 18:15:58 +0000310 LHS =
311 llvm::make_unique<BinaryExprAST>(BinOp, std::move(LHS), std::move(RHS));
Erick Tryzelaar21e83ea2009-09-22 21:15:19 +0000312 }
313}
314
315/// expression
316/// ::= primary binoprhs
317///
Lang Hames09bf4c12015-08-18 18:11:06 +0000318static std::unique_ptr<ExprAST> ParseExpression() {
319 auto LHS = ParsePrimary();
Lang Hames59b0da82015-08-19 18:15:58 +0000320 if (!LHS)
321 return nullptr;
322
Lang Hames09bf4c12015-08-18 18:11:06 +0000323 return ParseBinOpRHS(0, std::move(LHS));
Erick Tryzelaar21e83ea2009-09-22 21:15:19 +0000324}
325
326/// prototype
327/// ::= id '(' id* ')'
Lang Hames09bf4c12015-08-18 18:11:06 +0000328static std::unique_ptr<PrototypeAST> ParsePrototype() {
Erick Tryzelaar21e83ea2009-09-22 21:15:19 +0000329 if (CurTok != tok_identifier)
330 return ErrorP("Expected function name in prototype");
331
332 std::string FnName = IdentifierStr;
333 getNextToken();
Lang Hames59b0da82015-08-19 18:15:58 +0000334
Erick Tryzelaar21e83ea2009-09-22 21:15:19 +0000335 if (CurTok != '(')
336 return ErrorP("Expected '(' in prototype");
Lang Hames59b0da82015-08-19 18:15:58 +0000337
Erick Tryzelaar21e83ea2009-09-22 21:15:19 +0000338 std::vector<std::string> ArgNames;
339 while (getNextToken() == tok_identifier)
340 ArgNames.push_back(IdentifierStr);
341 if (CurTok != ')')
342 return ErrorP("Expected ')' in prototype");
Lang Hames59b0da82015-08-19 18:15:58 +0000343
Erick Tryzelaar21e83ea2009-09-22 21:15:19 +0000344 // success.
Lang Hames59b0da82015-08-19 18:15:58 +0000345 getNextToken(); // eat ')'.
346
347 return llvm::make_unique<PrototypeAST>(FnName, std::move(ArgNames));
Erick Tryzelaar21e83ea2009-09-22 21:15:19 +0000348}
349
350/// definition ::= 'def' prototype expression
Lang Hames09bf4c12015-08-18 18:11:06 +0000351static std::unique_ptr<FunctionAST> ParseDefinition() {
Lang Hames59b0da82015-08-19 18:15:58 +0000352 getNextToken(); // eat def.
Lang Hames09bf4c12015-08-18 18:11:06 +0000353 auto Proto = ParsePrototype();
Lang Hames59b0da82015-08-19 18:15:58 +0000354 if (!Proto)
355 return nullptr;
Erick Tryzelaar21e83ea2009-09-22 21:15:19 +0000356
Lang Hames09bf4c12015-08-18 18:11:06 +0000357 if (auto E = ParseExpression())
358 return llvm::make_unique<FunctionAST>(std::move(Proto), std::move(E));
359 return nullptr;
Erick Tryzelaar21e83ea2009-09-22 21:15:19 +0000360}
361
362/// toplevelexpr ::= expression
Lang Hames09bf4c12015-08-18 18:11:06 +0000363static std::unique_ptr<FunctionAST> ParseTopLevelExpr() {
364 if (auto E = ParseExpression()) {
Erick Tryzelaar21e83ea2009-09-22 21:15:19 +0000365 // Make an anonymous proto.
Lang Hames2d789c32015-08-26 03:07:41 +0000366 auto Proto = llvm::make_unique<PrototypeAST>("__anon_expr",
367 std::vector<std::string>());
Lang Hames09bf4c12015-08-18 18:11:06 +0000368 return llvm::make_unique<FunctionAST>(std::move(Proto), std::move(E));
Erick Tryzelaar21e83ea2009-09-22 21:15:19 +0000369 }
Lang Hames09bf4c12015-08-18 18:11:06 +0000370 return nullptr;
Erick Tryzelaar21e83ea2009-09-22 21:15:19 +0000371}
372
373/// external ::= 'extern' prototype
Lang Hames09bf4c12015-08-18 18:11:06 +0000374static std::unique_ptr<PrototypeAST> ParseExtern() {
Lang Hames59b0da82015-08-19 18:15:58 +0000375 getNextToken(); // eat extern.
Erick Tryzelaar21e83ea2009-09-22 21:15:19 +0000376 return ParsePrototype();
377}
378
379//===----------------------------------------------------------------------===//
380// Code Generation
381//===----------------------------------------------------------------------===//
382
Lang Hames2d789c32015-08-26 03:07:41 +0000383static std::unique_ptr<Module> TheModule;
384static IRBuilder<> Builder(getGlobalContext());
385static std::map<std::string, Value *> NamedValues;
386
Lang Hames59b0da82015-08-19 18:15:58 +0000387Value *ErrorV(const char *Str) {
388 Error(Str);
389 return nullptr;
390}
391
Lang Hames2d789c32015-08-26 03:07:41 +0000392Value *NumberExprAST::codegen() {
Erick Tryzelaar21e83ea2009-09-22 21:15:19 +0000393 return ConstantFP::get(getGlobalContext(), APFloat(Val));
394}
395
Lang Hames2d789c32015-08-26 03:07:41 +0000396Value *VariableExprAST::codegen() {
Erick Tryzelaar21e83ea2009-09-22 21:15:19 +0000397 // Look this variable up in the function.
398 Value *V = NamedValues[Name];
Lang Hames596aec92015-08-19 18:32:58 +0000399 if (!V)
400 return ErrorV("Unknown variable name");
401 return V;
Erick Tryzelaar21e83ea2009-09-22 21:15:19 +0000402}
403
Lang Hames2d789c32015-08-26 03:07:41 +0000404Value *BinaryExprAST::codegen() {
405 Value *L = LHS->codegen();
406 Value *R = RHS->codegen();
Lang Hames59b0da82015-08-19 18:15:58 +0000407 if (!L || !R)
408 return nullptr;
409
Erick Tryzelaar21e83ea2009-09-22 21:15:19 +0000410 switch (Op) {
Lang Hames59b0da82015-08-19 18:15:58 +0000411 case '+':
412 return Builder.CreateFAdd(L, R, "addtmp");
413 case '-':
414 return Builder.CreateFSub(L, R, "subtmp");
415 case '*':
416 return Builder.CreateFMul(L, R, "multmp");
Erick Tryzelaar21e83ea2009-09-22 21:15:19 +0000417 case '<':
418 L = Builder.CreateFCmpULT(L, R, "cmptmp");
419 // Convert bool 0/1 to double 0.0 or 1.0
420 return Builder.CreateUIToFP(L, Type::getDoubleTy(getGlobalContext()),
421 "booltmp");
Lang Hames59b0da82015-08-19 18:15:58 +0000422 default:
423 return ErrorV("invalid binary operator");
Erick Tryzelaar21e83ea2009-09-22 21:15:19 +0000424 }
425}
426
Lang Hames2d789c32015-08-26 03:07:41 +0000427Value *CallExprAST::codegen() {
Erick Tryzelaar21e83ea2009-09-22 21:15:19 +0000428 // Look up the name in the global module table.
429 Function *CalleeF = TheModule->getFunction(Callee);
Lang Hames09bf4c12015-08-18 18:11:06 +0000430 if (!CalleeF)
Erick Tryzelaar21e83ea2009-09-22 21:15:19 +0000431 return ErrorV("Unknown function referenced");
Lang Hames59b0da82015-08-19 18:15:58 +0000432
Erick Tryzelaar21e83ea2009-09-22 21:15:19 +0000433 // If argument mismatch error.
434 if (CalleeF->arg_size() != Args.size())
435 return ErrorV("Incorrect # arguments passed");
436
Lang Hames59b0da82015-08-19 18:15:58 +0000437 std::vector<Value *> ArgsV;
Erick Tryzelaar21e83ea2009-09-22 21:15:19 +0000438 for (unsigned i = 0, e = Args.size(); i != e; ++i) {
Lang Hames2d789c32015-08-26 03:07:41 +0000439 ArgsV.push_back(Args[i]->codegen());
Lang Hames59b0da82015-08-19 18:15:58 +0000440 if (!ArgsV.back())
441 return nullptr;
Erick Tryzelaar21e83ea2009-09-22 21:15:19 +0000442 }
Lang Hames59b0da82015-08-19 18:15:58 +0000443
Francois Pichetc5d10502011-07-15 10:59:52 +0000444 return Builder.CreateCall(CalleeF, ArgsV, "calltmp");
Erick Tryzelaar21e83ea2009-09-22 21:15:19 +0000445}
446
Lang Hames2d789c32015-08-26 03:07:41 +0000447Function *PrototypeAST::codegen() {
Erick Tryzelaar21e83ea2009-09-22 21:15:19 +0000448 // Make the function type: double(double,double) etc.
Lang Hames59b0da82015-08-19 18:15:58 +0000449 std::vector<Type *> Doubles(Args.size(),
450 Type::getDoubleTy(getGlobalContext()));
451 FunctionType *FT =
452 FunctionType::get(Type::getDoubleTy(getGlobalContext()), Doubles, false);
453
454 Function *F =
Lang Hames2d789c32015-08-26 03:07:41 +0000455 Function::Create(FT, Function::ExternalLinkage, Name, TheModule.get());
Lang Hames59b0da82015-08-19 18:15:58 +0000456
Erick Tryzelaar21e83ea2009-09-22 21:15:19 +0000457 // Set names for all arguments.
458 unsigned Idx = 0;
Lang Hames2d789c32015-08-26 03:07:41 +0000459 for (auto &Arg : F->args())
460 Arg.setName(Args[Idx++]);
Lang Hames59b0da82015-08-19 18:15:58 +0000461
Erick Tryzelaar21e83ea2009-09-22 21:15:19 +0000462 return F;
463}
464
Lang Hames2d789c32015-08-26 03:07:41 +0000465Function *FunctionAST::codegen() {
466 // First, check for an existing function from a previous 'extern' declaration.
467 Function *TheFunction = TheModule->getFunction(Proto->getName());
Lang Hames59b0da82015-08-19 18:15:58 +0000468
Lang Hames2d789c32015-08-26 03:07:41 +0000469 if (!TheFunction)
470 TheFunction = Proto->codegen();
471
Lang Hames09bf4c12015-08-18 18:11:06 +0000472 if (!TheFunction)
473 return nullptr;
Lang Hames59b0da82015-08-19 18:15:58 +0000474
Erick Tryzelaar21e83ea2009-09-22 21:15:19 +0000475 // Create a new basic block to start insertion into.
476 BasicBlock *BB = BasicBlock::Create(getGlobalContext(), "entry", TheFunction);
477 Builder.SetInsertPoint(BB);
Lang Hames59b0da82015-08-19 18:15:58 +0000478
Lang Hames2d789c32015-08-26 03:07:41 +0000479 // Record the function arguments in the NamedValues map.
480 NamedValues.clear();
481 for (auto &Arg : TheFunction->args())
482 NamedValues[Arg.getName()] = &Arg;
483
484 if (Value *RetVal = Body->codegen()) {
Erick Tryzelaar21e83ea2009-09-22 21:15:19 +0000485 // Finish off the function.
486 Builder.CreateRet(RetVal);
487
488 // Validate the generated code, checking for consistency.
489 verifyFunction(*TheFunction);
490
491 return TheFunction;
492 }
Lang Hames59b0da82015-08-19 18:15:58 +0000493
Erick Tryzelaar21e83ea2009-09-22 21:15:19 +0000494 // Error reading body, remove function.
495 TheFunction->eraseFromParent();
Lang Hames09bf4c12015-08-18 18:11:06 +0000496 return nullptr;
Erick Tryzelaar21e83ea2009-09-22 21:15:19 +0000497}
498
499//===----------------------------------------------------------------------===//
500// Top-Level parsing and JIT Driver
501//===----------------------------------------------------------------------===//
502
503static void HandleDefinition() {
Lang Hames09bf4c12015-08-18 18:11:06 +0000504 if (auto FnAST = ParseDefinition()) {
Lang Hames2d789c32015-08-26 03:07:41 +0000505 if (auto *FnIR = FnAST->codegen()) {
Erick Tryzelaar21e83ea2009-09-22 21:15:19 +0000506 fprintf(stderr, "Read function definition:");
Lang Hames09bf4c12015-08-18 18:11:06 +0000507 FnIR->dump();
Erick Tryzelaar21e83ea2009-09-22 21:15:19 +0000508 }
509 } else {
510 // Skip token for error recovery.
511 getNextToken();
512 }
513}
514
515static void HandleExtern() {
Lang Hames09bf4c12015-08-18 18:11:06 +0000516 if (auto ProtoAST = ParseExtern()) {
Lang Hames2d789c32015-08-26 03:07:41 +0000517 if (auto *FnIR = ProtoAST->codegen()) {
Erick Tryzelaar21e83ea2009-09-22 21:15:19 +0000518 fprintf(stderr, "Read extern: ");
Lang Hames09bf4c12015-08-18 18:11:06 +0000519 FnIR->dump();
Erick Tryzelaar21e83ea2009-09-22 21:15:19 +0000520 }
521 } else {
522 // Skip token for error recovery.
523 getNextToken();
524 }
525}
526
527static void HandleTopLevelExpression() {
528 // Evaluate a top-level expression into an anonymous function.
Lang Hames09bf4c12015-08-18 18:11:06 +0000529 if (auto FnAST = ParseTopLevelExpr()) {
Lang Hames2d789c32015-08-26 03:07:41 +0000530 if (auto *FnIR = FnAST->codegen()) {
Erick Tryzelaar21e83ea2009-09-22 21:15:19 +0000531 fprintf(stderr, "Read top-level expression:");
Lang Hames09bf4c12015-08-18 18:11:06 +0000532 FnIR->dump();
Erick Tryzelaar21e83ea2009-09-22 21:15:19 +0000533 }
534 } else {
535 // Skip token for error recovery.
536 getNextToken();
537 }
538}
539
540/// top ::= definition | external | expression | ';'
541static void MainLoop() {
542 while (1) {
543 fprintf(stderr, "ready> ");
544 switch (CurTok) {
Lang Hames59b0da82015-08-19 18:15:58 +0000545 case tok_eof:
546 return;
547 case ';': // ignore top-level semicolons.
548 getNextToken();
549 break;
550 case tok_def:
551 HandleDefinition();
552 break;
553 case tok_extern:
554 HandleExtern();
555 break;
556 default:
557 HandleTopLevelExpression();
558 break;
Erick Tryzelaar21e83ea2009-09-22 21:15:19 +0000559 }
560 }
561}
562
563//===----------------------------------------------------------------------===//
Erick Tryzelaar21e83ea2009-09-22 21:15:19 +0000564// Main driver code.
565//===----------------------------------------------------------------------===//
566
567int main() {
Erick Tryzelaar21e83ea2009-09-22 21:15:19 +0000568 // Install standard binary operators.
569 // 1 is lowest precedence.
570 BinopPrecedence['<'] = 10;
571 BinopPrecedence['+'] = 20;
572 BinopPrecedence['-'] = 20;
Lang Hames59b0da82015-08-19 18:15:58 +0000573 BinopPrecedence['*'] = 40; // highest.
Erick Tryzelaar21e83ea2009-09-22 21:15:19 +0000574
575 // Prime the first token.
576 fprintf(stderr, "ready> ");
577 getNextToken();
578
579 // Make the module, which holds all the code.
Lang Hames2d789c32015-08-26 03:07:41 +0000580 TheModule = llvm::make_unique<Module>("my cool jit", getGlobalContext());
Erick Tryzelaar21e83ea2009-09-22 21:15:19 +0000581
582 // Run the main "interpreter loop" now.
583 MainLoop();
584
585 // Print out all of the generated code.
586 TheModule->dump();
587
588 return 0;
589}