blob: 84113ccdc4c24d84452313700b589c6f0498cae8 [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
Lang Hames5d045a92016-03-25 17:41:26 +0000192/// LogError* - These are little helper functions for error handling.
193std::unique_ptr<ExprAST> LogError(const char *Str) {
Lang Hames09bf4c12015-08-18 18:11:06 +0000194 fprintf(stderr, "Error: %s\n", Str);
195 return nullptr;
196}
Hans Wennborgcc9deb42015-09-29 18:02:48 +0000197
Lang Hames5d045a92016-03-25 17:41:26 +0000198std::unique_ptr<PrototypeAST> LogErrorP(const char *Str) {
199 LogError(Str);
Lang Hames09bf4c12015-08-18 18:11:06 +0000200 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 != ')')
Lang Hames5d045a92016-03-25 17:41:26 +0000220 return LogError("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 != ',')
Lang Hames5d045a92016-03-25 17:41:26 +0000250 return LogError("Expected ')' or ',' in argument list");
Lang Hames59b0da82015-08-19 18:15:58 +0000251 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:
Lang Hames5d045a92016-03-25 17:41:26 +0000268 return LogError("unknown token when expecting an expression");
Lang Hames59b0da82015-08-19 18:15:58 +0000269 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)
Lang Hames5d045a92016-03-25 17:41:26 +0000330 return LogErrorP("Expected function name in prototype");
Erick Tryzelaar21e83ea2009-09-22 21:15:19 +0000331
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 != '(')
Lang Hames5d045a92016-03-25 17:41:26 +0000336 return LogErrorP("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 != ')')
Lang Hames5d045a92016-03-25 17:41:26 +0000342 return LogErrorP("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;
Mehdi Amini03b42e42016-04-14 21:59:01 +0000384static LLVMContext TheContext;
385static IRBuilder<> Builder(TheContext);
Lang Hames2d789c32015-08-26 03:07:41 +0000386static std::map<std::string, Value *> NamedValues;
387
Lang Hames5d045a92016-03-25 17:41:26 +0000388Value *LogErrorV(const char *Str) {
389 LogError(Str);
Lang Hames59b0da82015-08-19 18:15:58 +0000390 return nullptr;
391}
392
Lang Hames2d789c32015-08-26 03:07:41 +0000393Value *NumberExprAST::codegen() {
Mehdi Amini03b42e42016-04-14 21:59:01 +0000394 return ConstantFP::get(TheContext, APFloat(Val));
Erick Tryzelaar21e83ea2009-09-22 21:15:19 +0000395}
396
Lang Hames2d789c32015-08-26 03:07:41 +0000397Value *VariableExprAST::codegen() {
Erick Tryzelaar21e83ea2009-09-22 21:15:19 +0000398 // Look this variable up in the function.
399 Value *V = NamedValues[Name];
Lang Hames596aec92015-08-19 18:32:58 +0000400 if (!V)
Lang Hames5d045a92016-03-25 17:41:26 +0000401 return LogErrorV("Unknown variable name");
Lang Hames596aec92015-08-19 18:32:58 +0000402 return V;
Erick Tryzelaar21e83ea2009-09-22 21:15:19 +0000403}
404
Lang Hames2d789c32015-08-26 03:07:41 +0000405Value *BinaryExprAST::codegen() {
406 Value *L = LHS->codegen();
407 Value *R = RHS->codegen();
Lang Hames59b0da82015-08-19 18:15:58 +0000408 if (!L || !R)
409 return nullptr;
410
Erick Tryzelaar21e83ea2009-09-22 21:15:19 +0000411 switch (Op) {
Lang Hames59b0da82015-08-19 18:15:58 +0000412 case '+':
413 return Builder.CreateFAdd(L, R, "addtmp");
414 case '-':
415 return Builder.CreateFSub(L, R, "subtmp");
416 case '*':
417 return Builder.CreateFMul(L, R, "multmp");
Erick Tryzelaar21e83ea2009-09-22 21:15:19 +0000418 case '<':
419 L = Builder.CreateFCmpULT(L, R, "cmptmp");
420 // Convert bool 0/1 to double 0.0 or 1.0
Mehdi Amini03b42e42016-04-14 21:59:01 +0000421 return Builder.CreateUIToFP(L, Type::getDoubleTy(TheContext), "booltmp");
Lang Hames59b0da82015-08-19 18:15:58 +0000422 default:
Lang Hames5d045a92016-03-25 17:41:26 +0000423 return LogErrorV("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)
Lang Hames5d045a92016-03-25 17:41:26 +0000431 return LogErrorV("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())
Lang Hames5d045a92016-03-25 17:41:26 +0000435 return LogErrorV("Incorrect # arguments passed");
Erick Tryzelaar21e83ea2009-09-22 21:15:19 +0000436
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.
Mehdi Amini03b42e42016-04-14 21:59:01 +0000449 std::vector<Type *> Doubles(Args.size(), Type::getDoubleTy(TheContext));
Lang Hames59b0da82015-08-19 18:15:58 +0000450 FunctionType *FT =
Mehdi Amini03b42e42016-04-14 21:59:01 +0000451 FunctionType::get(Type::getDoubleTy(TheContext), Doubles, false);
Lang Hames59b0da82015-08-19 18:15:58 +0000452
453 Function *F =
Lang Hames2d789c32015-08-26 03:07:41 +0000454 Function::Create(FT, Function::ExternalLinkage, Name, TheModule.get());
Lang Hames59b0da82015-08-19 18:15:58 +0000455
Erick Tryzelaar21e83ea2009-09-22 21:15:19 +0000456 // Set names for all arguments.
457 unsigned Idx = 0;
Lang Hames2d789c32015-08-26 03:07:41 +0000458 for (auto &Arg : F->args())
459 Arg.setName(Args[Idx++]);
Lang Hames59b0da82015-08-19 18:15:58 +0000460
Erick Tryzelaar21e83ea2009-09-22 21:15:19 +0000461 return F;
462}
463
Lang Hames2d789c32015-08-26 03:07:41 +0000464Function *FunctionAST::codegen() {
465 // First, check for an existing function from a previous 'extern' declaration.
466 Function *TheFunction = TheModule->getFunction(Proto->getName());
Lang Hames59b0da82015-08-19 18:15:58 +0000467
Lang Hames2d789c32015-08-26 03:07:41 +0000468 if (!TheFunction)
469 TheFunction = Proto->codegen();
470
Lang Hames09bf4c12015-08-18 18:11:06 +0000471 if (!TheFunction)
472 return nullptr;
Lang Hames59b0da82015-08-19 18:15:58 +0000473
Erick Tryzelaar21e83ea2009-09-22 21:15:19 +0000474 // Create a new basic block to start insertion into.
Mehdi Amini03b42e42016-04-14 21:59:01 +0000475 BasicBlock *BB = BasicBlock::Create(TheContext, "entry", TheFunction);
Erick Tryzelaar21e83ea2009-09-22 21:15:19 +0000476 Builder.SetInsertPoint(BB);
Lang Hames59b0da82015-08-19 18:15:58 +0000477
Lang Hames2d789c32015-08-26 03:07:41 +0000478 // Record the function arguments in the NamedValues map.
479 NamedValues.clear();
480 for (auto &Arg : TheFunction->args())
481 NamedValues[Arg.getName()] = &Arg;
482
483 if (Value *RetVal = Body->codegen()) {
Erick Tryzelaar21e83ea2009-09-22 21:15:19 +0000484 // Finish off the function.
485 Builder.CreateRet(RetVal);
486
487 // Validate the generated code, checking for consistency.
488 verifyFunction(*TheFunction);
489
490 return TheFunction;
491 }
Lang Hames59b0da82015-08-19 18:15:58 +0000492
Erick Tryzelaar21e83ea2009-09-22 21:15:19 +0000493 // Error reading body, remove function.
494 TheFunction->eraseFromParent();
Lang Hames09bf4c12015-08-18 18:11:06 +0000495 return nullptr;
Erick Tryzelaar21e83ea2009-09-22 21:15:19 +0000496}
497
498//===----------------------------------------------------------------------===//
499// Top-Level parsing and JIT Driver
500//===----------------------------------------------------------------------===//
501
502static void HandleDefinition() {
Lang Hames09bf4c12015-08-18 18:11:06 +0000503 if (auto FnAST = ParseDefinition()) {
Lang Hames2d789c32015-08-26 03:07:41 +0000504 if (auto *FnIR = FnAST->codegen()) {
Erick Tryzelaar21e83ea2009-09-22 21:15:19 +0000505 fprintf(stderr, "Read function definition:");
Lang Hames09bf4c12015-08-18 18:11:06 +0000506 FnIR->dump();
Erick Tryzelaar21e83ea2009-09-22 21:15:19 +0000507 }
508 } else {
509 // Skip token for error recovery.
510 getNextToken();
511 }
512}
513
514static void HandleExtern() {
Lang Hames09bf4c12015-08-18 18:11:06 +0000515 if (auto ProtoAST = ParseExtern()) {
Lang Hames2d789c32015-08-26 03:07:41 +0000516 if (auto *FnIR = ProtoAST->codegen()) {
Erick Tryzelaar21e83ea2009-09-22 21:15:19 +0000517 fprintf(stderr, "Read extern: ");
Lang Hames09bf4c12015-08-18 18:11:06 +0000518 FnIR->dump();
Erick Tryzelaar21e83ea2009-09-22 21:15:19 +0000519 }
520 } else {
521 // Skip token for error recovery.
522 getNextToken();
523 }
524}
525
526static void HandleTopLevelExpression() {
527 // Evaluate a top-level expression into an anonymous function.
Lang Hames09bf4c12015-08-18 18:11:06 +0000528 if (auto FnAST = ParseTopLevelExpr()) {
Lang Hames2d789c32015-08-26 03:07:41 +0000529 if (auto *FnIR = FnAST->codegen()) {
Erick Tryzelaar21e83ea2009-09-22 21:15:19 +0000530 fprintf(stderr, "Read top-level expression:");
Lang Hames09bf4c12015-08-18 18:11:06 +0000531 FnIR->dump();
Erick Tryzelaar21e83ea2009-09-22 21:15:19 +0000532 }
533 } else {
534 // Skip token for error recovery.
535 getNextToken();
536 }
537}
538
539/// top ::= definition | external | expression | ';'
540static void MainLoop() {
541 while (1) {
542 fprintf(stderr, "ready> ");
543 switch (CurTok) {
Lang Hames59b0da82015-08-19 18:15:58 +0000544 case tok_eof:
545 return;
546 case ';': // ignore top-level semicolons.
547 getNextToken();
548 break;
549 case tok_def:
550 HandleDefinition();
551 break;
552 case tok_extern:
553 HandleExtern();
554 break;
555 default:
556 HandleTopLevelExpression();
557 break;
Erick Tryzelaar21e83ea2009-09-22 21:15:19 +0000558 }
559 }
560}
561
562//===----------------------------------------------------------------------===//
Erick Tryzelaar21e83ea2009-09-22 21:15:19 +0000563// Main driver code.
564//===----------------------------------------------------------------------===//
565
566int main() {
Erick Tryzelaar21e83ea2009-09-22 21:15:19 +0000567 // Install standard binary operators.
568 // 1 is lowest precedence.
569 BinopPrecedence['<'] = 10;
570 BinopPrecedence['+'] = 20;
571 BinopPrecedence['-'] = 20;
Lang Hames59b0da82015-08-19 18:15:58 +0000572 BinopPrecedence['*'] = 40; // highest.
Erick Tryzelaar21e83ea2009-09-22 21:15:19 +0000573
574 // Prime the first token.
575 fprintf(stderr, "ready> ");
576 getNextToken();
577
578 // Make the module, which holds all the code.
Mehdi Amini03b42e42016-04-14 21:59:01 +0000579 TheModule = llvm::make_unique<Module>("my cool jit", TheContext);
Erick Tryzelaar21e83ea2009-09-22 21:15:19 +0000580
581 // Run the main "interpreter loop" now.
582 MainLoop();
583
584 // Print out all of the generated code.
585 TheModule->dump();
586
587 return 0;
588}