blob: 7125cba0f406bf25a6afeb2a4cdb2b8790423568 [file] [log] [blame]
Lang Hamesed218a02015-02-06 23:04:53 +00001#include "llvm/Analysis/Passes.h"
2#include "llvm/ExecutionEngine/Orc/CompileUtils.h"
3#include "llvm/ExecutionEngine/Orc/IRCompileLayer.h"
4#include "llvm/ExecutionEngine/Orc/LazyEmittingLayer.h"
5#include "llvm/ExecutionEngine/Orc/ObjectLinkingLayer.h"
6#include "llvm/IR/DataLayout.h"
7#include "llvm/IR/DerivedTypes.h"
8#include "llvm/IR/IRBuilder.h"
9#include "llvm/IR/LLVMContext.h"
10#include "llvm/IR/Module.h"
11#include "llvm/IR/Verifier.h"
12#include "llvm/PassManager.h"
13#include "llvm/Support/TargetSelect.h"
14#include "llvm/Transforms/Scalar.h"
15#include <cctype>
Lang Hamesbe9df342015-02-08 19:14:56 +000016#include <iomanip>
17#include <iostream>
Lang Hamesed218a02015-02-06 23:04:53 +000018#include <map>
Lang Hamesbe9df342015-02-08 19:14:56 +000019#include <sstream>
Lang Hamesed218a02015-02-06 23:04:53 +000020#include <string>
21#include <vector>
22using namespace llvm;
23
24//===----------------------------------------------------------------------===//
25// Lexer
26//===----------------------------------------------------------------------===//
27
28// The lexer returns tokens [0-255] if it is an unknown character, otherwise one
29// of these for known things.
30enum Token {
31 tok_eof = -1,
32
33 // commands
34 tok_def = -2, tok_extern = -3,
35
36 // primary
37 tok_identifier = -4, tok_number = -5,
38
39 // control
40 tok_if = -6, tok_then = -7, tok_else = -8,
41 tok_for = -9, tok_in = -10,
42
43 // operators
44 tok_binary = -11, tok_unary = -12,
45
46 // var definition
47 tok_var = -13
48};
49
50static std::string IdentifierStr; // Filled in if tok_identifier
51static double NumVal; // Filled in if tok_number
52
53/// gettok - Return the next token from standard input.
54static int gettok() {
55 static int LastChar = ' ';
56
57 // Skip any whitespace.
58 while (isspace(LastChar))
59 LastChar = getchar();
60
61 if (isalpha(LastChar)) { // identifier: [a-zA-Z][a-zA-Z0-9]*
62 IdentifierStr = LastChar;
63 while (isalnum((LastChar = getchar())))
64 IdentifierStr += LastChar;
65
66 if (IdentifierStr == "def") return tok_def;
67 if (IdentifierStr == "extern") return tok_extern;
68 if (IdentifierStr == "if") return tok_if;
69 if (IdentifierStr == "then") return tok_then;
70 if (IdentifierStr == "else") return tok_else;
71 if (IdentifierStr == "for") return tok_for;
72 if (IdentifierStr == "in") return tok_in;
73 if (IdentifierStr == "binary") return tok_binary;
74 if (IdentifierStr == "unary") return tok_unary;
75 if (IdentifierStr == "var") return tok_var;
76 return tok_identifier;
77 }
78
79 if (isdigit(LastChar) || LastChar == '.') { // Number: [0-9.]+
80 std::string NumStr;
81 do {
82 NumStr += LastChar;
83 LastChar = getchar();
84 } while (isdigit(LastChar) || LastChar == '.');
85
86 NumVal = strtod(NumStr.c_str(), 0);
87 return tok_number;
88 }
89
90 if (LastChar == '#') {
91 // Comment until end of line.
92 do LastChar = getchar();
93 while (LastChar != EOF && LastChar != '\n' && LastChar != '\r');
94
95 if (LastChar != EOF)
96 return gettok();
97 }
98
99 // Check for end of file. Don't eat the EOF.
100 if (LastChar == EOF)
101 return tok_eof;
102
103 // Otherwise, just return the character as its ascii value.
104 int ThisChar = LastChar;
105 LastChar = getchar();
106 return ThisChar;
107}
108
109//===----------------------------------------------------------------------===//
110// Abstract Syntax Tree (aka Parse Tree)
111//===----------------------------------------------------------------------===//
112
113class IRGenContext;
114
115/// ExprAST - Base class for all expression nodes.
116struct ExprAST {
117 virtual ~ExprAST() {}
David Blaikie055811e2015-02-08 20:15:01 +0000118 virtual Value *IRGen(IRGenContext &C) const = 0;
Lang Hamesed218a02015-02-06 23:04:53 +0000119};
120
121/// NumberExprAST - Expression class for numeric literals like "1.0".
122struct NumberExprAST : public ExprAST {
123 NumberExprAST(double Val) : Val(Val) {}
David Blaikie055811e2015-02-08 20:15:01 +0000124 Value *IRGen(IRGenContext &C) const override;
Lang Hamesed218a02015-02-06 23:04:53 +0000125
126 double Val;
127};
128
129/// VariableExprAST - Expression class for referencing a variable, like "a".
130struct VariableExprAST : public ExprAST {
131 VariableExprAST(std::string Name) : Name(std::move(Name)) {}
David Blaikie055811e2015-02-08 20:15:01 +0000132 Value *IRGen(IRGenContext &C) const override;
Lang Hamesed218a02015-02-06 23:04:53 +0000133
134 std::string Name;
135};
136
137/// UnaryExprAST - Expression class for a unary operator.
138struct UnaryExprAST : public ExprAST {
139 UnaryExprAST(char Opcode, std::unique_ptr<ExprAST> Operand)
140 : Opcode(std::move(Opcode)), Operand(std::move(Operand)) {}
141
David Blaikie055811e2015-02-08 20:15:01 +0000142 Value *IRGen(IRGenContext &C) const override;
Lang Hamesed218a02015-02-06 23:04:53 +0000143
144 char Opcode;
145 std::unique_ptr<ExprAST> Operand;
146};
147
148/// BinaryExprAST - Expression class for a binary operator.
149struct BinaryExprAST : public ExprAST {
150 BinaryExprAST(char Op, std::unique_ptr<ExprAST> LHS,
151 std::unique_ptr<ExprAST> RHS)
152 : Op(Op), LHS(std::move(LHS)), RHS(std::move(RHS)) {}
153
David Blaikie055811e2015-02-08 20:15:01 +0000154 Value *IRGen(IRGenContext &C) const override;
Lang Hamesed218a02015-02-06 23:04:53 +0000155
156 char Op;
157 std::unique_ptr<ExprAST> LHS, RHS;
158};
159
160/// CallExprAST - Expression class for function calls.
161struct CallExprAST : public ExprAST {
162 CallExprAST(std::string CalleeName,
163 std::vector<std::unique_ptr<ExprAST>> Args)
164 : CalleeName(std::move(CalleeName)), Args(std::move(Args)) {}
165
David Blaikie055811e2015-02-08 20:15:01 +0000166 Value *IRGen(IRGenContext &C) const override;
Lang Hamesed218a02015-02-06 23:04:53 +0000167
168 std::string CalleeName;
169 std::vector<std::unique_ptr<ExprAST>> Args;
170};
171
172/// IfExprAST - Expression class for if/then/else.
173struct IfExprAST : public ExprAST {
174 IfExprAST(std::unique_ptr<ExprAST> Cond, std::unique_ptr<ExprAST> Then,
175 std::unique_ptr<ExprAST> Else)
176 : Cond(std::move(Cond)), Then(std::move(Then)), Else(std::move(Else)) {}
David Blaikie055811e2015-02-08 20:15:01 +0000177 Value *IRGen(IRGenContext &C) const override;
Lang Hamesed218a02015-02-06 23:04:53 +0000178
179 std::unique_ptr<ExprAST> Cond, Then, Else;
180};
181
182/// ForExprAST - Expression class for for/in.
183struct ForExprAST : public ExprAST {
184 ForExprAST(std::string VarName, std::unique_ptr<ExprAST> Start,
185 std::unique_ptr<ExprAST> End, std::unique_ptr<ExprAST> Step,
186 std::unique_ptr<ExprAST> Body)
187 : VarName(std::move(VarName)), Start(std::move(Start)), End(std::move(End)),
188 Step(std::move(Step)), Body(std::move(Body)) {}
189
David Blaikie055811e2015-02-08 20:15:01 +0000190 Value *IRGen(IRGenContext &C) const override;
Lang Hamesed218a02015-02-06 23:04:53 +0000191
192 std::string VarName;
193 std::unique_ptr<ExprAST> Start, End, Step, Body;
194};
195
196/// VarExprAST - Expression class for var/in
197struct VarExprAST : public ExprAST {
198 typedef std::pair<std::string, std::unique_ptr<ExprAST>> Binding;
199 typedef std::vector<Binding> BindingList;
200
201 VarExprAST(BindingList VarBindings, std::unique_ptr<ExprAST> Body)
202 : VarBindings(std::move(VarBindings)), Body(std::move(Body)) {}
David Blaikie055811e2015-02-08 20:15:01 +0000203
204 Value *IRGen(IRGenContext &C) const override;
Lang Hamesed218a02015-02-06 23:04:53 +0000205
206 BindingList VarBindings;
207 std::unique_ptr<ExprAST> Body;
208};
209
210/// PrototypeAST - This class represents the "prototype" for a function,
211/// which captures its argument names as well as if it is an operator.
212struct PrototypeAST {
213 PrototypeAST(std::string Name, std::vector<std::string> Args,
214 bool IsOperator = false, unsigned Precedence = 0)
215 : Name(std::move(Name)), Args(std::move(Args)), IsOperator(IsOperator),
216 Precedence(Precedence) {}
217
David Blaikie055811e2015-02-08 20:15:01 +0000218 Function *IRGen(IRGenContext &C) const;
Lang Hamesed218a02015-02-06 23:04:53 +0000219 void CreateArgumentAllocas(Function *F, IRGenContext &C);
220
221 bool isUnaryOp() const { return IsOperator && Args.size() == 1; }
222 bool isBinaryOp() const { return IsOperator && Args.size() == 2; }
223
224 char getOperatorName() const {
225 assert(isUnaryOp() || isBinaryOp());
226 return Name[Name.size()-1];
227 }
228
229 std::string Name;
230 std::vector<std::string> Args;
231 bool IsOperator;
232 unsigned Precedence; // Precedence if a binary op.
233};
234
235/// FunctionAST - This class represents a function definition itself.
236struct FunctionAST {
237 FunctionAST(std::unique_ptr<PrototypeAST> Proto,
238 std::unique_ptr<ExprAST> Body)
239 : Proto(std::move(Proto)), Body(std::move(Body)) {}
240
David Blaikie055811e2015-02-08 20:15:01 +0000241 Function *IRGen(IRGenContext &C) const;
Lang Hamesed218a02015-02-06 23:04:53 +0000242
243 std::unique_ptr<PrototypeAST> Proto;
244 std::unique_ptr<ExprAST> Body;
245};
246
247//===----------------------------------------------------------------------===//
248// Parser
249//===----------------------------------------------------------------------===//
250
251/// CurTok/getNextToken - Provide a simple token buffer. CurTok is the current
252/// token the parser is looking at. getNextToken reads another token from the
253/// lexer and updates CurTok with its results.
254static int CurTok;
255static int getNextToken() {
256 return CurTok = gettok();
257}
258
259/// BinopPrecedence - This holds the precedence for each binary operator that is
260/// defined.
261static std::map<char, int> BinopPrecedence;
262
263/// GetTokPrecedence - Get the precedence of the pending binary operator token.
264static int GetTokPrecedence() {
265 if (!isascii(CurTok))
266 return -1;
267
268 // Make sure it's a declared binop.
269 int TokPrec = BinopPrecedence[CurTok];
270 if (TokPrec <= 0) return -1;
271 return TokPrec;
272}
273
274template <typename T>
Lang Hamesbe9df342015-02-08 19:14:56 +0000275std::unique_ptr<T> ErrorU(const std::string &Str) {
276 std::cerr << "Error: " << Str << "\n";
Lang Hamesed218a02015-02-06 23:04:53 +0000277 return nullptr;
278}
279
280template <typename T>
Lang Hamesbe9df342015-02-08 19:14:56 +0000281T* ErrorP(const std::string &Str) {
282 std::cerr << "Error: " << Str << "\n";
Lang Hamesed218a02015-02-06 23:04:53 +0000283 return nullptr;
284}
285
286static std::unique_ptr<ExprAST> ParseExpression();
287
288/// identifierexpr
289/// ::= identifier
290/// ::= identifier '(' expression* ')'
291static std::unique_ptr<ExprAST> ParseIdentifierExpr() {
292 std::string IdName = IdentifierStr;
293
294 getNextToken(); // eat identifier.
295
296 if (CurTok != '(') // Simple variable ref.
297 return llvm::make_unique<VariableExprAST>(IdName);
298
299 // Call.
300 getNextToken(); // eat (
301 std::vector<std::unique_ptr<ExprAST>> Args;
302 if (CurTok != ')') {
303 while (1) {
304 auto Arg = ParseExpression();
305 if (!Arg) return nullptr;
306 Args.push_back(std::move(Arg));
307
308 if (CurTok == ')') break;
309
310 if (CurTok != ',')
311 return ErrorU<CallExprAST>("Expected ')' or ',' in argument list");
312 getNextToken();
313 }
314 }
315
316 // Eat the ')'.
317 getNextToken();
318
319 return llvm::make_unique<CallExprAST>(IdName, std::move(Args));
320}
321
322/// numberexpr ::= number
323static std::unique_ptr<NumberExprAST> ParseNumberExpr() {
324 auto Result = llvm::make_unique<NumberExprAST>(NumVal);
325 getNextToken(); // consume the number
326 return Result;
327}
328
329/// parenexpr ::= '(' expression ')'
330static std::unique_ptr<ExprAST> ParseParenExpr() {
331 getNextToken(); // eat (.
332 auto V = ParseExpression();
333 if (!V)
334 return nullptr;
335
336 if (CurTok != ')')
337 return ErrorU<ExprAST>("expected ')'");
338 getNextToken(); // eat ).
339 return V;
340}
341
342/// ifexpr ::= 'if' expression 'then' expression 'else' expression
343static std::unique_ptr<ExprAST> ParseIfExpr() {
344 getNextToken(); // eat the if.
345
346 // condition.
347 auto Cond = ParseExpression();
348 if (!Cond)
349 return nullptr;
350
351 if (CurTok != tok_then)
352 return ErrorU<ExprAST>("expected then");
353 getNextToken(); // eat the then
354
355 auto Then = ParseExpression();
356 if (!Then)
357 return nullptr;
358
359 if (CurTok != tok_else)
360 return ErrorU<ExprAST>("expected else");
361
362 getNextToken();
363
364 auto Else = ParseExpression();
365 if (!Else)
366 return nullptr;
367
368 return llvm::make_unique<IfExprAST>(std::move(Cond), std::move(Then),
369 std::move(Else));
370}
371
372/// forexpr ::= 'for' identifier '=' expr ',' expr (',' expr)? 'in' expression
373static std::unique_ptr<ForExprAST> ParseForExpr() {
374 getNextToken(); // eat the for.
375
376 if (CurTok != tok_identifier)
377 return ErrorU<ForExprAST>("expected identifier after for");
378
379 std::string IdName = IdentifierStr;
380 getNextToken(); // eat identifier.
381
382 if (CurTok != '=')
383 return ErrorU<ForExprAST>("expected '=' after for");
384 getNextToken(); // eat '='.
385
386
387 auto Start = ParseExpression();
388 if (!Start)
389 return nullptr;
390 if (CurTok != ',')
391 return ErrorU<ForExprAST>("expected ',' after for start value");
392 getNextToken();
393
394 auto End = ParseExpression();
395 if (!End)
396 return nullptr;
397
398 // The step value is optional.
399 std::unique_ptr<ExprAST> Step;
400 if (CurTok == ',') {
401 getNextToken();
402 Step = ParseExpression();
403 if (!Step)
404 return nullptr;
405 }
406
407 if (CurTok != tok_in)
408 return ErrorU<ForExprAST>("expected 'in' after for");
409 getNextToken(); // eat 'in'.
410
411 auto Body = ParseExpression();
412 if (Body)
413 return nullptr;
414
415 return llvm::make_unique<ForExprAST>(IdName, std::move(Start), std::move(End),
416 std::move(Step), std::move(Body));
417}
418
419/// varexpr ::= 'var' identifier ('=' expression)?
420// (',' identifier ('=' expression)?)* 'in' expression
421static std::unique_ptr<VarExprAST> ParseVarExpr() {
422 getNextToken(); // eat the var.
423
424 VarExprAST::BindingList VarBindings;
425
426 // At least one variable name is required.
427 if (CurTok != tok_identifier)
428 return ErrorU<VarExprAST>("expected identifier after var");
429
430 while (1) {
431 std::string Name = IdentifierStr;
432 getNextToken(); // eat identifier.
433
434 // Read the optional initializer.
435 std::unique_ptr<ExprAST> Init;
436 if (CurTok == '=') {
437 getNextToken(); // eat the '='.
438
439 Init = ParseExpression();
440 if (!Init)
441 return nullptr;
442 }
443
444 VarBindings.push_back(VarExprAST::Binding(Name, std::move(Init)));
445
446 // End of var list, exit loop.
447 if (CurTok != ',') break;
448 getNextToken(); // eat the ','.
449
450 if (CurTok != tok_identifier)
451 return ErrorU<VarExprAST>("expected identifier list after var");
452 }
453
454 // At this point, we have to have 'in'.
455 if (CurTok != tok_in)
456 return ErrorU<VarExprAST>("expected 'in' keyword after 'var'");
457 getNextToken(); // eat 'in'.
458
459 auto Body = ParseExpression();
460 if (!Body)
461 return nullptr;
462
463 return llvm::make_unique<VarExprAST>(std::move(VarBindings), std::move(Body));
464}
465
466/// primary
467/// ::= identifierexpr
468/// ::= numberexpr
469/// ::= parenexpr
470/// ::= ifexpr
471/// ::= forexpr
472/// ::= varexpr
473static std::unique_ptr<ExprAST> ParsePrimary() {
474 switch (CurTok) {
475 default: return ErrorU<ExprAST>("unknown token when expecting an expression");
476 case tok_identifier: return ParseIdentifierExpr();
477 case tok_number: return ParseNumberExpr();
478 case '(': return ParseParenExpr();
479 case tok_if: return ParseIfExpr();
480 case tok_for: return ParseForExpr();
481 case tok_var: return ParseVarExpr();
482 }
483}
484
485/// unary
486/// ::= primary
487/// ::= '!' unary
488static std::unique_ptr<ExprAST> ParseUnary() {
489 // If the current token is not an operator, it must be a primary expr.
490 if (!isascii(CurTok) || CurTok == '(' || CurTok == ',')
491 return ParsePrimary();
492
493 // If this is a unary operator, read it.
494 int Opc = CurTok;
495 getNextToken();
496 if (auto Operand = ParseUnary())
497 return llvm::make_unique<UnaryExprAST>(Opc, std::move(Operand));
498 return nullptr;
499}
500
501/// binoprhs
502/// ::= ('+' unary)*
503static std::unique_ptr<ExprAST> ParseBinOpRHS(int ExprPrec,
504 std::unique_ptr<ExprAST> LHS) {
505 // If this is a binop, find its precedence.
506 while (1) {
507 int TokPrec = GetTokPrecedence();
508
509 // If this is a binop that binds at least as tightly as the current binop,
510 // consume it, otherwise we are done.
511 if (TokPrec < ExprPrec)
512 return LHS;
513
514 // Okay, we know this is a binop.
515 int BinOp = CurTok;
516 getNextToken(); // eat binop
517
518 // Parse the unary expression after the binary operator.
519 auto RHS = ParseUnary();
520 if (!RHS)
521 return nullptr;
522
523 // If BinOp binds less tightly with RHS than the operator after RHS, let
524 // the pending operator take RHS as its LHS.
525 int NextPrec = GetTokPrecedence();
526 if (TokPrec < NextPrec) {
527 RHS = ParseBinOpRHS(TokPrec+1, std::move(RHS));
528 if (!RHS)
529 return nullptr;
530 }
531
532 // Merge LHS/RHS.
533 LHS = llvm::make_unique<BinaryExprAST>(BinOp, std::move(LHS), std::move(RHS));
534 }
535}
536
537/// expression
538/// ::= unary binoprhs
539///
540static std::unique_ptr<ExprAST> ParseExpression() {
541 auto LHS = ParseUnary();
542 if (!LHS)
543 return nullptr;
544
545 return ParseBinOpRHS(0, std::move(LHS));
546}
547
548/// prototype
549/// ::= id '(' id* ')'
550/// ::= binary LETTER number? (id, id)
551/// ::= unary LETTER (id)
552static std::unique_ptr<PrototypeAST> ParsePrototype() {
553 std::string FnName;
554
555 unsigned Kind = 0; // 0 = identifier, 1 = unary, 2 = binary.
556 unsigned BinaryPrecedence = 30;
557
558 switch (CurTok) {
559 default:
560 return ErrorU<PrototypeAST>("Expected function name in prototype");
561 case tok_identifier:
562 FnName = IdentifierStr;
563 Kind = 0;
564 getNextToken();
565 break;
566 case tok_unary:
567 getNextToken();
568 if (!isascii(CurTok))
569 return ErrorU<PrototypeAST>("Expected unary operator");
570 FnName = "unary";
571 FnName += (char)CurTok;
572 Kind = 1;
573 getNextToken();
574 break;
575 case tok_binary:
576 getNextToken();
577 if (!isascii(CurTok))
578 return ErrorU<PrototypeAST>("Expected binary operator");
579 FnName = "binary";
580 FnName += (char)CurTok;
581 Kind = 2;
582 getNextToken();
583
584 // Read the precedence if present.
585 if (CurTok == tok_number) {
586 if (NumVal < 1 || NumVal > 100)
587 return ErrorU<PrototypeAST>("Invalid precedecnce: must be 1..100");
588 BinaryPrecedence = (unsigned)NumVal;
589 getNextToken();
590 }
591 break;
592 }
593
594 if (CurTok != '(')
595 return ErrorU<PrototypeAST>("Expected '(' in prototype");
596
597 std::vector<std::string> ArgNames;
598 while (getNextToken() == tok_identifier)
599 ArgNames.push_back(IdentifierStr);
600 if (CurTok != ')')
601 return ErrorU<PrototypeAST>("Expected ')' in prototype");
602
603 // success.
604 getNextToken(); // eat ')'.
605
606 // Verify right number of names for operator.
607 if (Kind && ArgNames.size() != Kind)
608 return ErrorU<PrototypeAST>("Invalid number of operands for operator");
609
610 return llvm::make_unique<PrototypeAST>(FnName, std::move(ArgNames), Kind != 0,
611 BinaryPrecedence);
612}
613
614/// definition ::= 'def' prototype expression
615static std::unique_ptr<FunctionAST> ParseDefinition() {
616 getNextToken(); // eat def.
617 auto Proto = ParsePrototype();
618 if (!Proto)
619 return nullptr;
620
621 if (auto Body = ParseExpression())
622 return llvm::make_unique<FunctionAST>(std::move(Proto), std::move(Body));
623 return nullptr;
624}
625
626/// toplevelexpr ::= expression
627static std::unique_ptr<FunctionAST> ParseTopLevelExpr() {
628 if (auto E = ParseExpression()) {
629 // Make an anonymous proto.
630 auto Proto =
631 llvm::make_unique<PrototypeAST>("__anon_expr", std::vector<std::string>());
632 return llvm::make_unique<FunctionAST>(std::move(Proto), std::move(E));
633 }
634 return nullptr;
635}
636
637/// external ::= 'extern' prototype
638static std::unique_ptr<PrototypeAST> ParseExtern() {
639 getNextToken(); // eat extern.
640 return ParsePrototype();
641}
642
643//===----------------------------------------------------------------------===//
644// Code Generation
645//===----------------------------------------------------------------------===//
646
647// FIXME: Obviously we can do better than this
Lang Hamesbe9df342015-02-08 19:14:56 +0000648std::string GenerateUniqueName(const std::string &Root) {
Lang Hamesed218a02015-02-06 23:04:53 +0000649 static int i = 0;
Lang Hamesbe9df342015-02-08 19:14:56 +0000650 std::ostringstream NameStream;
651 NameStream << Root << ++i;
652 return NameStream.str();
Lang Hamesed218a02015-02-06 23:04:53 +0000653}
654
655std::string MakeLegalFunctionName(std::string Name)
656{
657 std::string NewName;
658 assert(!Name.empty() && "Base name must not be empty");
659
660 // Start with what we have
661 NewName = Name;
662
663 // Look for a numberic first character
664 if (NewName.find_first_of("0123456789") == 0) {
665 NewName.insert(0, 1, 'n');
666 }
667
668 // Replace illegal characters with their ASCII equivalent
669 std::string legal_elements = "_abcdefghijklmnopqrstuvwxyzABCDEFGHIJKLMNOPQRSTUVWXYZ0123456789";
670 size_t pos;
671 while ((pos = NewName.find_first_not_of(legal_elements)) != std::string::npos) {
Lang Hamesbe9df342015-02-08 19:14:56 +0000672 std::ostringstream NumStream;
673 NumStream << (int)NewName.at(pos);
674 NewName = NewName.replace(pos, 1, NumStream.str());
Lang Hamesed218a02015-02-06 23:04:53 +0000675 }
676
677 return NewName;
678}
679
680class SessionContext {
681public:
682 SessionContext(LLVMContext &C) : Context(C) {}
683 LLVMContext& getLLVMContext() const { return Context; }
684 void addPrototypeAST(std::unique_ptr<PrototypeAST> P);
685 PrototypeAST* getPrototypeAST(const std::string &Name);
686private:
687 typedef std::map<std::string, std::unique_ptr<PrototypeAST>> PrototypeMap;
688 LLVMContext &Context;
689 PrototypeMap Prototypes;
690};
691
692void SessionContext::addPrototypeAST(std::unique_ptr<PrototypeAST> P) {
693 Prototypes[P->Name] = std::move(P);
694}
695
696PrototypeAST* SessionContext::getPrototypeAST(const std::string &Name) {
697 PrototypeMap::iterator I = Prototypes.find(Name);
698 if (I != Prototypes.end())
699 return I->second.get();
700 return nullptr;
Lang Hamesbe9df342015-02-08 19:14:56 +0000701}
Lang Hamesed218a02015-02-06 23:04:53 +0000702
703class IRGenContext {
704public:
705
706 IRGenContext(SessionContext &S)
707 : Session(S),
708 M(new Module(GenerateUniqueName("jit_module_"),
709 Session.getLLVMContext())),
710 Builder(Session.getLLVMContext()) {}
711
712 SessionContext& getSession() { return Session; }
713 Module& getM() const { return *M; }
714 std::unique_ptr<Module> takeM() { return std::move(M); }
715 IRBuilder<>& getBuilder() { return Builder; }
716 LLVMContext& getLLVMContext() { return Session.getLLVMContext(); }
717 Function* getPrototype(const std::string &Name);
718
719 std::map<std::string, AllocaInst*> NamedValues;
720private:
721 SessionContext &Session;
722 std::unique_ptr<Module> M;
723 IRBuilder<> Builder;
724};
725
726Function* IRGenContext::getPrototype(const std::string &Name) {
727 if (Function *ExistingProto = M->getFunction(Name))
728 return ExistingProto;
729 if (PrototypeAST *ProtoAST = Session.getPrototypeAST(Name))
730 return ProtoAST->IRGen(*this);
731 return nullptr;
732}
733
734/// CreateEntryBlockAlloca - Create an alloca instruction in the entry block of
735/// the function. This is used for mutable variables etc.
736static AllocaInst *CreateEntryBlockAlloca(Function *TheFunction,
737 const std::string &VarName) {
738 IRBuilder<> TmpB(&TheFunction->getEntryBlock(),
739 TheFunction->getEntryBlock().begin());
740 return TmpB.CreateAlloca(Type::getDoubleTy(getGlobalContext()), 0,
741 VarName.c_str());
742}
743
David Blaikie055811e2015-02-08 20:15:01 +0000744Value *NumberExprAST::IRGen(IRGenContext &C) const {
Lang Hamesed218a02015-02-06 23:04:53 +0000745 return ConstantFP::get(C.getLLVMContext(), APFloat(Val));
746}
747
David Blaikie055811e2015-02-08 20:15:01 +0000748Value *VariableExprAST::IRGen(IRGenContext &C) const {
Lang Hamesed218a02015-02-06 23:04:53 +0000749 // Look this variable up in the function.
750 Value *V = C.NamedValues[Name];
751
Lang Hamesbe9df342015-02-08 19:14:56 +0000752 if (V == 0)
753 return ErrorP<Value>("Unknown variable name '" + Name + "'");
Lang Hamesed218a02015-02-06 23:04:53 +0000754
755 // Load the value.
756 return C.getBuilder().CreateLoad(V, Name.c_str());
757}
758
David Blaikie055811e2015-02-08 20:15:01 +0000759Value *UnaryExprAST::IRGen(IRGenContext &C) const {
Lang Hamesed218a02015-02-06 23:04:53 +0000760 if (Value *OperandV = Operand->IRGen(C)) {
761 std::string FnName = MakeLegalFunctionName(std::string("unary")+Opcode);
762 if (Function *F = C.getPrototype(FnName))
763 return C.getBuilder().CreateCall(F, OperandV, "unop");
764 return ErrorP<Value>("Unknown unary operator");
765 }
766
767 // Could not codegen operand - return null.
768 return nullptr;
769}
770
David Blaikie055811e2015-02-08 20:15:01 +0000771Value *BinaryExprAST::IRGen(IRGenContext &C) const {
Lang Hamesed218a02015-02-06 23:04:53 +0000772 // Special case '=' because we don't want to emit the LHS as an expression.
773 if (Op == '=') {
774 // Assignment requires the LHS to be an identifier.
775 auto LHSVar = static_cast<VariableExprAST&>(*LHS);
776 // Codegen the RHS.
777 Value *Val = RHS->IRGen(C);
778 if (!Val) return nullptr;
779
780 // Look up the name.
781 if (auto Variable = C.NamedValues[LHSVar.Name]) {
782 C.getBuilder().CreateStore(Val, Variable);
783 return Val;
784 }
785 return ErrorP<Value>("Unknown variable name");
786 }
787
788 Value *L = LHS->IRGen(C);
789 Value *R = RHS->IRGen(C);
790 if (!L || !R) return nullptr;
791
792 switch (Op) {
793 case '+': return C.getBuilder().CreateFAdd(L, R, "addtmp");
794 case '-': return C.getBuilder().CreateFSub(L, R, "subtmp");
795 case '*': return C.getBuilder().CreateFMul(L, R, "multmp");
796 case '/': return C.getBuilder().CreateFDiv(L, R, "divtmp");
797 case '<':
798 L = C.getBuilder().CreateFCmpULT(L, R, "cmptmp");
799 // Convert bool 0/1 to double 0.0 or 1.0
800 return C.getBuilder().CreateUIToFP(L, Type::getDoubleTy(getGlobalContext()),
801 "booltmp");
802 default: break;
803 }
804
805 // If it wasn't a builtin binary operator, it must be a user defined one. Emit
806 // a call to it.
807 std::string FnName = MakeLegalFunctionName(std::string("binary")+Op);
808 if (Function *F = C.getPrototype(FnName)) {
809 Value *Ops[] = { L, R };
810 return C.getBuilder().CreateCall(F, Ops, "binop");
811 }
812
813 return ErrorP<Value>("Unknown binary operator");
814}
815
David Blaikie055811e2015-02-08 20:15:01 +0000816Value *CallExprAST::IRGen(IRGenContext &C) const {
Lang Hamesed218a02015-02-06 23:04:53 +0000817 // Look up the name in the global module table.
818 if (auto CalleeF = C.getPrototype(CalleeName)) {
819 // If argument mismatch error.
820 if (CalleeF->arg_size() != Args.size())
821 return ErrorP<Value>("Incorrect # arguments passed");
822
823 std::vector<Value*> ArgsV;
824 for (unsigned i = 0, e = Args.size(); i != e; ++i) {
825 ArgsV.push_back(Args[i]->IRGen(C));
826 if (!ArgsV.back()) return nullptr;
827 }
828
829 return C.getBuilder().CreateCall(CalleeF, ArgsV, "calltmp");
830 }
831
832 return ErrorP<Value>("Unknown function referenced");
833}
834
David Blaikie055811e2015-02-08 20:15:01 +0000835Value *IfExprAST::IRGen(IRGenContext &C) const {
Lang Hamesed218a02015-02-06 23:04:53 +0000836 Value *CondV = Cond->IRGen(C);
837 if (!CondV) return nullptr;
838
839 // Convert condition to a bool by comparing equal to 0.0.
840 ConstantFP *FPZero =
841 ConstantFP::get(C.getLLVMContext(), APFloat(0.0));
842 CondV = C.getBuilder().CreateFCmpONE(CondV, FPZero, "ifcond");
843
844 Function *TheFunction = C.getBuilder().GetInsertBlock()->getParent();
845
846 // Create blocks for the then and else cases. Insert the 'then' block at the
847 // end of the function.
848 BasicBlock *ThenBB = BasicBlock::Create(C.getLLVMContext(), "then", TheFunction);
849 BasicBlock *ElseBB = BasicBlock::Create(C.getLLVMContext(), "else");
850 BasicBlock *MergeBB = BasicBlock::Create(C.getLLVMContext(), "ifcont");
851
852 C.getBuilder().CreateCondBr(CondV, ThenBB, ElseBB);
853
854 // Emit then value.
855 C.getBuilder().SetInsertPoint(ThenBB);
856
857 Value *ThenV = Then->IRGen(C);
858 if (!ThenV) return nullptr;
859
860 C.getBuilder().CreateBr(MergeBB);
861 // Codegen of 'Then' can change the current block, update ThenBB for the PHI.
862 ThenBB = C.getBuilder().GetInsertBlock();
863
864 // Emit else block.
865 TheFunction->getBasicBlockList().push_back(ElseBB);
866 C.getBuilder().SetInsertPoint(ElseBB);
867
868 Value *ElseV = Else->IRGen(C);
869 if (!ElseV) return nullptr;
870
871 C.getBuilder().CreateBr(MergeBB);
872 // Codegen of 'Else' can change the current block, update ElseBB for the PHI.
873 ElseBB = C.getBuilder().GetInsertBlock();
874
875 // Emit merge block.
876 TheFunction->getBasicBlockList().push_back(MergeBB);
877 C.getBuilder().SetInsertPoint(MergeBB);
878 PHINode *PN = C.getBuilder().CreatePHI(Type::getDoubleTy(getGlobalContext()), 2,
879 "iftmp");
880
881 PN->addIncoming(ThenV, ThenBB);
882 PN->addIncoming(ElseV, ElseBB);
883 return PN;
884}
885
David Blaikie055811e2015-02-08 20:15:01 +0000886Value *ForExprAST::IRGen(IRGenContext &C) const {
Lang Hamesed218a02015-02-06 23:04:53 +0000887 // Output this as:
888 // var = alloca double
889 // ...
890 // start = startexpr
891 // store start -> var
892 // goto loop
893 // loop:
894 // ...
895 // bodyexpr
896 // ...
897 // loopend:
898 // step = stepexpr
899 // endcond = endexpr
900 //
901 // curvar = load var
902 // nextvar = curvar + step
903 // store nextvar -> var
904 // br endcond, loop, endloop
905 // outloop:
906
907 Function *TheFunction = C.getBuilder().GetInsertBlock()->getParent();
908
909 // Create an alloca for the variable in the entry block.
910 AllocaInst *Alloca = CreateEntryBlockAlloca(TheFunction, VarName);
911
912 // Emit the start code first, without 'variable' in scope.
913 Value *StartVal = Start->IRGen(C);
914 if (!StartVal) return nullptr;
915
916 // Store the value into the alloca.
917 C.getBuilder().CreateStore(StartVal, Alloca);
918
919 // Make the new basic block for the loop header, inserting after current
920 // block.
921 BasicBlock *LoopBB = BasicBlock::Create(getGlobalContext(), "loop", TheFunction);
922
923 // Insert an explicit fall through from the current block to the LoopBB.
924 C.getBuilder().CreateBr(LoopBB);
925
926 // Start insertion in LoopBB.
927 C.getBuilder().SetInsertPoint(LoopBB);
928
929 // Within the loop, the variable is defined equal to the PHI node. If it
930 // shadows an existing variable, we have to restore it, so save it now.
931 AllocaInst *OldVal = C.NamedValues[VarName];
932 C.NamedValues[VarName] = Alloca;
933
934 // Emit the body of the loop. This, like any other expr, can change the
935 // current BB. Note that we ignore the value computed by the body, but don't
936 // allow an error.
937 if (!Body->IRGen(C))
938 return nullptr;
939
940 // Emit the step value.
941 Value *StepVal;
942 if (Step) {
943 StepVal = Step->IRGen(C);
944 if (!StepVal) return nullptr;
945 } else {
946 // If not specified, use 1.0.
947 StepVal = ConstantFP::get(getGlobalContext(), APFloat(1.0));
948 }
949
950 // Compute the end condition.
951 Value *EndCond = End->IRGen(C);
952 if (EndCond == 0) return EndCond;
953
954 // Reload, increment, and restore the alloca. This handles the case where
955 // the body of the loop mutates the variable.
956 Value *CurVar = C.getBuilder().CreateLoad(Alloca, VarName.c_str());
957 Value *NextVar = C.getBuilder().CreateFAdd(CurVar, StepVal, "nextvar");
958 C.getBuilder().CreateStore(NextVar, Alloca);
959
960 // Convert condition to a bool by comparing equal to 0.0.
961 EndCond = C.getBuilder().CreateFCmpONE(EndCond,
962 ConstantFP::get(getGlobalContext(), APFloat(0.0)),
963 "loopcond");
964
965 // Create the "after loop" block and insert it.
966 BasicBlock *AfterBB = BasicBlock::Create(getGlobalContext(), "afterloop", TheFunction);
967
968 // Insert the conditional branch into the end of LoopEndBB.
969 C.getBuilder().CreateCondBr(EndCond, LoopBB, AfterBB);
970
971 // Any new code will be inserted in AfterBB.
972 C.getBuilder().SetInsertPoint(AfterBB);
973
974 // Restore the unshadowed variable.
975 if (OldVal)
976 C.NamedValues[VarName] = OldVal;
977 else
978 C.NamedValues.erase(VarName);
979
980
981 // for expr always returns 0.0.
982 return Constant::getNullValue(Type::getDoubleTy(getGlobalContext()));
983}
984
David Blaikie055811e2015-02-08 20:15:01 +0000985Value *VarExprAST::IRGen(IRGenContext &C) const {
Lang Hamesed218a02015-02-06 23:04:53 +0000986 std::vector<AllocaInst *> OldBindings;
987
988 Function *TheFunction = C.getBuilder().GetInsertBlock()->getParent();
989
990 // Register all variables and emit their initializer.
991 for (unsigned i = 0, e = VarBindings.size(); i != e; ++i) {
992 auto &VarName = VarBindings[i].first;
993 auto &Init = VarBindings[i].second;
994
995 // Emit the initializer before adding the variable to scope, this prevents
996 // the initializer from referencing the variable itself, and permits stuff
997 // like this:
998 // var a = 1 in
999 // var a = a in ... # refers to outer 'a'.
1000 Value *InitVal;
1001 if (Init) {
1002 InitVal = Init->IRGen(C);
1003 if (!InitVal) return nullptr;
1004 } else // If not specified, use 0.0.
1005 InitVal = ConstantFP::get(getGlobalContext(), APFloat(0.0));
1006
1007 AllocaInst *Alloca = CreateEntryBlockAlloca(TheFunction, VarName);
1008 C.getBuilder().CreateStore(InitVal, Alloca);
1009
1010 // Remember the old variable binding so that we can restore the binding when
1011 // we unrecurse.
1012 OldBindings.push_back(C.NamedValues[VarName]);
1013
1014 // Remember this binding.
1015 C.NamedValues[VarName] = Alloca;
1016 }
1017
1018 // Codegen the body, now that all vars are in scope.
1019 Value *BodyVal = Body->IRGen(C);
1020 if (!BodyVal) return nullptr;
1021
1022 // Pop all our variables from scope.
1023 for (unsigned i = 0, e = VarBindings.size(); i != e; ++i)
1024 C.NamedValues[VarBindings[i].first] = OldBindings[i];
1025
1026 // Return the body computation.
1027 return BodyVal;
1028}
1029
David Blaikie055811e2015-02-08 20:15:01 +00001030Function *PrototypeAST::IRGen(IRGenContext &C) const {
Lang Hamesed218a02015-02-06 23:04:53 +00001031 std::string FnName = MakeLegalFunctionName(Name);
1032
1033 // Make the function type: double(double,double) etc.
1034 std::vector<Type*> Doubles(Args.size(),
1035 Type::getDoubleTy(getGlobalContext()));
1036 FunctionType *FT = FunctionType::get(Type::getDoubleTy(getGlobalContext()),
1037 Doubles, false);
1038 Function *F = Function::Create(FT, Function::ExternalLinkage, FnName,
1039 &C.getM());
1040
1041 // If F conflicted, there was already something named 'FnName'. If it has a
1042 // body, don't allow redefinition or reextern.
1043 if (F->getName() != FnName) {
1044 // Delete the one we just made and get the existing one.
1045 F->eraseFromParent();
1046 F = C.getM().getFunction(Name);
1047
1048 // If F already has a body, reject this.
1049 if (!F->empty()) {
1050 ErrorP<Function>("redefinition of function");
1051 return nullptr;
1052 }
1053
1054 // If F took a different number of args, reject.
1055 if (F->arg_size() != Args.size()) {
1056 ErrorP<Function>("redefinition of function with different # args");
1057 return nullptr;
1058 }
1059 }
1060
1061 // Set names for all arguments.
1062 unsigned Idx = 0;
1063 for (Function::arg_iterator AI = F->arg_begin(); Idx != Args.size();
1064 ++AI, ++Idx)
1065 AI->setName(Args[Idx]);
1066
1067 return F;
1068}
1069
1070/// CreateArgumentAllocas - Create an alloca for each argument and register the
1071/// argument in the symbol table so that references to it will succeed.
1072void PrototypeAST::CreateArgumentAllocas(Function *F, IRGenContext &C) {
1073 Function::arg_iterator AI = F->arg_begin();
1074 for (unsigned Idx = 0, e = Args.size(); Idx != e; ++Idx, ++AI) {
1075 // Create an alloca for this variable.
1076 AllocaInst *Alloca = CreateEntryBlockAlloca(F, Args[Idx]);
1077
1078 // Store the initial value into the alloca.
1079 C.getBuilder().CreateStore(AI, Alloca);
1080
1081 // Add arguments to variable symbol table.
1082 C.NamedValues[Args[Idx]] = Alloca;
1083 }
1084}
1085
David Blaikie055811e2015-02-08 20:15:01 +00001086Function *FunctionAST::IRGen(IRGenContext &C) const {
Lang Hamesed218a02015-02-06 23:04:53 +00001087 C.NamedValues.clear();
1088
1089 Function *TheFunction = Proto->IRGen(C);
1090 if (!TheFunction)
1091 return nullptr;
1092
1093 // If this is an operator, install it.
1094 if (Proto->isBinaryOp())
1095 BinopPrecedence[Proto->getOperatorName()] = Proto->Precedence;
1096
1097 // Create a new basic block to start insertion into.
1098 BasicBlock *BB = BasicBlock::Create(getGlobalContext(), "entry", TheFunction);
1099 C.getBuilder().SetInsertPoint(BB);
1100
1101 // Add all arguments to the symbol table and create their allocas.
1102 Proto->CreateArgumentAllocas(TheFunction, C);
1103
1104 if (Value *RetVal = Body->IRGen(C)) {
1105 // Finish off the function.
1106 C.getBuilder().CreateRet(RetVal);
1107
1108 // Validate the generated code, checking for consistency.
1109 verifyFunction(*TheFunction);
1110
1111 return TheFunction;
1112 }
1113
1114 // Error reading body, remove function.
1115 TheFunction->eraseFromParent();
1116
1117 if (Proto->isBinaryOp())
1118 BinopPrecedence.erase(Proto->getOperatorName());
1119 return nullptr;
1120}
1121
1122//===----------------------------------------------------------------------===//
1123// Top-Level parsing and JIT Driver
1124//===----------------------------------------------------------------------===//
1125
1126class KaleidoscopeJIT {
1127public:
1128 typedef ObjectLinkingLayer<> ObjLayerT;
1129 typedef IRCompileLayer<ObjLayerT> CompileLayerT;
1130 typedef LazyEmittingLayer<CompileLayerT> LazyEmitLayerT;
1131
1132 typedef LazyEmitLayerT::ModuleSetHandleT ModuleHandleT;
1133
1134 KaleidoscopeJIT()
1135 : TM(EngineBuilder().selectTarget()),
1136 Mang(TM->getDataLayout()),
1137 CompileLayer(ObjectLayer, SimpleCompiler(*TM)),
1138 LazyEmitLayer(CompileLayer) {}
1139
1140 ModuleHandleT addModule(std::unique_ptr<Module> M) {
1141 if (!M->getDataLayout())
1142 M->setDataLayout(TM->getDataLayout());
1143
1144 // The LazyEmitLayer takes lists of modules, rather than single modules, so
1145 // we'll just build a single-element list.
1146 std::vector<std::unique_ptr<Module>> S;
1147 S.push_back(std::move(M));
1148
1149 // We need a memory manager to allocate memory and resolve symbols for this
1150 // new module. Create one that resolves symbols by looking back into the JIT.
1151 auto MM = createLookasideRTDyldMM<SectionMemoryManager>(
1152 [&](const std::string &S) {
Lang Hames114b4f32015-02-09 01:20:51 +00001153 return findMangledSymbol(S).getAddress();
1154 },
Lang Hamesed218a02015-02-06 23:04:53 +00001155 [](const std::string &S) { return 0; } );
1156
1157 return LazyEmitLayer.addModuleSet(std::move(S), std::move(MM));
1158 }
1159
1160 void removeModule(ModuleHandleT H) { LazyEmitLayer.removeModuleSet(H); }
1161
Lang Hames114b4f32015-02-09 01:20:51 +00001162 JITSymbol findMangledSymbol(const std::string &Name) {
1163 return LazyEmitLayer.findSymbol(Name, false);
Lang Hamesed218a02015-02-06 23:04:53 +00001164 }
1165
Lang Hames114b4f32015-02-09 01:20:51 +00001166 JITSymbol findSymbol(const std::string Name) {
Lang Hamesed218a02015-02-06 23:04:53 +00001167 std::string MangledName;
1168 {
1169 raw_string_ostream MangledNameStream(MangledName);
1170 Mang.getNameWithPrefix(MangledNameStream, Name);
1171 }
Lang Hames114b4f32015-02-09 01:20:51 +00001172 return findMangledSymbol(MangledName);
Lang Hamesed218a02015-02-06 23:04:53 +00001173 }
1174
1175private:
1176
1177 std::unique_ptr<TargetMachine> TM;
1178 Mangler Mang;
1179
1180 ObjLayerT ObjectLayer;
1181 CompileLayerT CompileLayer;
1182 LazyEmitLayerT LazyEmitLayer;
1183};
1184
David Blaikie9c4c23b2015-02-08 21:03:30 +00001185static std::unique_ptr<llvm::Module> IRGen(SessionContext &S,
1186 const FunctionAST &F) {
1187 IRGenContext C(S);
1188 auto LF = F.IRGen(C);
1189 if (!LF)
1190 return nullptr;
1191#ifndef MINIMAL_STDERR_OUTPUT
1192 fprintf(stderr, "Read function definition:");
1193 LF->dump();
1194#endif
1195 return C.takeM();
1196}
1197
Lang Hamesed218a02015-02-06 23:04:53 +00001198static void HandleDefinition(SessionContext &S, KaleidoscopeJIT &J) {
1199 if (auto F = ParseDefinition()) {
David Blaikie9c4c23b2015-02-08 21:03:30 +00001200 if (auto M = IRGen(S, *F)) {
Lang Hamesed218a02015-02-06 23:04:53 +00001201 S.addPrototypeAST(llvm::make_unique<PrototypeAST>(*F->Proto));
David Blaikie9c4c23b2015-02-08 21:03:30 +00001202 J.addModule(std::move(M));
Lang Hamesed218a02015-02-06 23:04:53 +00001203 }
1204 } else {
1205 // Skip token for error recovery.
1206 getNextToken();
1207 }
1208}
1209
1210static void HandleExtern(SessionContext &S) {
1211 if (auto P = ParseExtern())
1212 S.addPrototypeAST(std::move(P));
1213 else {
1214 // Skip token for error recovery.
1215 getNextToken();
1216 }
1217}
1218
1219static void HandleTopLevelExpression(SessionContext &S, KaleidoscopeJIT &J) {
1220 // Evaluate a top-level expression into an anonymous function.
1221 if (auto F = ParseTopLevelExpr()) {
1222 IRGenContext C(S);
1223 if (auto ExprFunc = F->IRGen(C)) {
1224#ifndef MINIMAL_STDERR_OUTPUT
Lang Hamesbe9df342015-02-08 19:14:56 +00001225 std::cerr << "Expression function:\n";
Lang Hamesed218a02015-02-06 23:04:53 +00001226 ExprFunc->dump();
1227#endif
1228 // Add the CodeGen'd module to the JIT. Keep a handle to it: We can remove
1229 // this module as soon as we've executed Function ExprFunc.
1230 auto H = J.addModule(C.takeM());
1231
1232 // Get the address of the JIT'd function in memory.
Lang Hames114b4f32015-02-09 01:20:51 +00001233 auto ExprSymbol = J.findSymbol("__anon_expr");
Lang Hamesed218a02015-02-06 23:04:53 +00001234
1235 // Cast it to the right type (takes no arguments, returns a double) so we
1236 // can call it as a native function.
Lang Hames114b4f32015-02-09 01:20:51 +00001237 double (*FP)() = (double (*)())(intptr_t)ExprSymbol.getAddress();
Lang Hamesed218a02015-02-06 23:04:53 +00001238#ifdef MINIMAL_STDERR_OUTPUT
1239 FP();
1240#else
Lang Hamesbe9df342015-02-08 19:14:56 +00001241 std::cerr << "Evaluated to " << FP() << "\n";
Lang Hamesed218a02015-02-06 23:04:53 +00001242#endif
1243
1244 // Remove the function.
1245 J.removeModule(H);
1246 }
1247 } else {
1248 // Skip token for error recovery.
1249 getNextToken();
1250 }
1251}
1252
1253/// top ::= definition | external | expression | ';'
1254static void MainLoop() {
1255 KaleidoscopeJIT J;
1256 SessionContext S(getGlobalContext());
1257
1258 while (1) {
1259#ifndef MINIMAL_STDERR_OUTPUT
Lang Hamesbe9df342015-02-08 19:14:56 +00001260 std::cerr << "ready> ";
Lang Hamesed218a02015-02-06 23:04:53 +00001261#endif
1262 switch (CurTok) {
1263 case tok_eof: return;
1264 case ';': getNextToken(); break; // ignore top-level semicolons.
1265 case tok_def: HandleDefinition(S, J); break;
1266 case tok_extern: HandleExtern(S); break;
1267 default: HandleTopLevelExpression(S, J); break;
1268 }
1269 }
1270}
1271
1272//===----------------------------------------------------------------------===//
1273// "Library" functions that can be "extern'd" from user code.
1274//===----------------------------------------------------------------------===//
1275
1276/// putchard - putchar that takes a double and returns 0.
1277extern "C"
1278double putchard(double X) {
1279 putchar((char)X);
1280 return 0;
1281}
1282
1283/// printd - printf that takes a double prints it as "%f\n", returning 0.
1284extern "C"
1285double printd(double X) {
1286 printf("%f", X);
1287 return 0;
1288}
1289
1290extern "C"
1291double printlf() {
1292 printf("\n");
1293 return 0;
1294}
1295
1296//===----------------------------------------------------------------------===//
1297// Main driver code.
1298//===----------------------------------------------------------------------===//
1299
1300int main() {
1301 InitializeNativeTarget();
1302 InitializeNativeTargetAsmPrinter();
1303 InitializeNativeTargetAsmParser();
Lang Hamesed218a02015-02-06 23:04:53 +00001304
1305 // Install standard binary operators.
1306 // 1 is lowest precedence.
1307 BinopPrecedence['='] = 2;
1308 BinopPrecedence['<'] = 10;
1309 BinopPrecedence['+'] = 20;
1310 BinopPrecedence['-'] = 20;
1311 BinopPrecedence['/'] = 40;
1312 BinopPrecedence['*'] = 40; // highest.
1313
1314 // Prime the first token.
1315#ifndef MINIMAL_STDERR_OUTPUT
Lang Hamesbe9df342015-02-08 19:14:56 +00001316 std::cerr << "ready> ";
Lang Hamesed218a02015-02-06 23:04:53 +00001317#endif
1318 getNextToken();
1319
Lang Hamesbe9df342015-02-08 19:14:56 +00001320 std::cerr << std::fixed;
1321
Lang Hamesed218a02015-02-06 23:04:53 +00001322 // Run the main "interpreter loop" now.
1323 MainLoop();
1324
1325 return 0;
1326}
1327