blob: 38914688ec1da4721c828ea98a688e5fc4cc97a7 [file] [log] [blame]
Chris Lattnerbef8e0b2007-09-12 18:24:00 +00001//===-- BrainF.cpp - BrainF compiler example ----------------------------===//
2//
3// The LLVM Compiler Infrastructure
4//
Chris Lattnerfc001bb2007-12-29 20:37:57 +00005// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
Chris Lattnerbef8e0b2007-09-12 18:24:00 +00007//
8//===--------------------------------------------------------------------===//
9//
10// This class compiles the BrainF language into LLVM assembly.
11//
12// The BrainF language has 8 commands:
13// Command Equivalent C Action
14// ------- ------------ ------
15// , *h=getchar(); Read a character from stdin, 255 on EOF
16// . putchar(*h); Write a character to stdout
17// - --*h; Decrement tape
18// + ++*h; Increment tape
19// < --h; Move head left
20// > ++h; Move head right
21// [ while(*h) { Start loop
22// ] } End loop
23//
24//===--------------------------------------------------------------------===//
25
26#include "BrainF.h"
27#include "llvm/Constants.h"
Duncan Sandse2c43042008-04-07 13:45:04 +000028#include "llvm/Intrinsics.h"
Chris Lattnerbef8e0b2007-09-12 18:24:00 +000029#include "llvm/ADT/STLExtras.h"
Chris Lattneref5dc362008-08-23 22:00:15 +000030#include <iostream>
Chris Lattnerbef8e0b2007-09-12 18:24:00 +000031using namespace llvm;
32
33//Set the constants for naming
34const char *BrainF::tapereg = "tape";
35const char *BrainF::headreg = "head";
36const char *BrainF::label = "brainf";
37const char *BrainF::testreg = "test";
38
Owen Anderson8b477ed2009-07-01 16:58:40 +000039Module *BrainF::parse(std::istream *in1, int mem, CompileFlags cf,
Owen Anderson4434ed42009-07-01 23:13:44 +000040 LLVMContext& Context) {
Chris Lattnerbef8e0b2007-09-12 18:24:00 +000041 in = in1;
42 memtotal = mem;
43 comflag = cf;
44
Owen Anderson8b477ed2009-07-01 16:58:40 +000045 header(Context);
Chris Lattnerbef8e0b2007-09-12 18:24:00 +000046 readloop(0, 0, 0);
47 delete builder;
48 return module;
49}
50
Owen Anderson4434ed42009-07-01 23:13:44 +000051void BrainF::header(LLVMContext& C) {
Owen Anderson8b477ed2009-07-01 16:58:40 +000052 module = new Module("BrainF", C);
Chris Lattnerbef8e0b2007-09-12 18:24:00 +000053
54 //Function prototypes
55
56 //declare void @llvm.memset.i32(i8 *, i8, i32, i32)
Chris Lattner824b9582008-11-21 16:42:48 +000057 const Type *Tys[] = { Type::Int32Ty };
58 Function *memset_func = Intrinsic::getDeclaration(module, Intrinsic::memset,
59 Tys, 1);
Chris Lattnerbef8e0b2007-09-12 18:24:00 +000060
61 //declare i32 @getchar()
62 getchar_func = cast<Function>(module->
63 getOrInsertFunction("getchar", IntegerType::Int32Ty, NULL));
64
65 //declare i32 @putchar(i32)
66 putchar_func = cast<Function>(module->
67 getOrInsertFunction("putchar", IntegerType::Int32Ty,
68 IntegerType::Int32Ty, NULL));
69
70
71 //Function header
72
73 //define void @brainf()
74 brainf_func = cast<Function>(module->
75 getOrInsertFunction("brainf", Type::VoidTy, NULL));
76
Eric Christopher7a61d702008-08-08 19:39:37 +000077 builder = new IRBuilder<>(BasicBlock::Create(label, brainf_func));
Chris Lattnerbef8e0b2007-09-12 18:24:00 +000078
79 //%arr = malloc i8, i32 %d
80 ConstantInt *val_mem = ConstantInt::get(APInt(32, memtotal));
81 ptr_arr = builder->CreateMalloc(IntegerType::Int8Ty, val_mem, "arr");
82
83 //call void @llvm.memset.i32(i8 *%arr, i8 0, i32 %d, i32 1)
84 {
85 Value *memset_params[] = {
86 ptr_arr,
87 ConstantInt::get(APInt(8, 0)),
88 val_mem,
89 ConstantInt::get(APInt(32, 1))
90 };
91
92 CallInst *memset_call = builder->
93 CreateCall(memset_func, memset_params, array_endof(memset_params));
94 memset_call->setTailCall(false);
95 }
96
97 //%arrmax = getelementptr i8 *%arr, i32 %d
98 if (comflag & flag_arraybounds) {
99 ptr_arrmax = builder->
100 CreateGEP(ptr_arr, ConstantInt::get(APInt(32, memtotal)), "arrmax");
101 }
102
103 //%head.%d = getelementptr i8 *%arr, i32 %d
104 curhead = builder->CreateGEP(ptr_arr,
105 ConstantInt::get(APInt(32, memtotal/2)),
106 headreg);
107
108
109
110 //Function footer
111
112 //brainf.end:
Gabor Greif051a9502008-04-06 20:25:17 +0000113 endbb = BasicBlock::Create(label, brainf_func);
Chris Lattnerbef8e0b2007-09-12 18:24:00 +0000114
115 //free i8 *%arr
116 new FreeInst(ptr_arr, endbb);
117
118 //ret void
Gabor Greif051a9502008-04-06 20:25:17 +0000119 ReturnInst::Create(endbb);
Chris Lattnerbef8e0b2007-09-12 18:24:00 +0000120
121
122
123 //Error block for array out of bounds
124 if (comflag & flag_arraybounds)
125 {
126 //@aberrormsg = internal constant [%d x i8] c"\00"
127 Constant *msg_0 = ConstantArray::
128 get("Error: The head has left the tape.", true);
129
130 GlobalVariable *aberrormsg = new GlobalVariable(
Owen Andersone9b11b42009-07-08 19:03:57 +0000131 *module,
Chris Lattnerbef8e0b2007-09-12 18:24:00 +0000132 msg_0->getType(),
133 true,
134 GlobalValue::InternalLinkage,
135 msg_0,
Owen Andersone9b11b42009-07-08 19:03:57 +0000136 "aberrormsg");
Chris Lattnerbef8e0b2007-09-12 18:24:00 +0000137
138 //declare i32 @puts(i8 *)
139 Function *puts_func = cast<Function>(module->
140 getOrInsertFunction("puts", IntegerType::Int32Ty,
Christopher Lamb43ad6b32007-12-17 01:12:55 +0000141 PointerType::getUnqual(IntegerType::Int8Ty), NULL));
Chris Lattnerbef8e0b2007-09-12 18:24:00 +0000142
143 //brainf.aberror:
Gabor Greif051a9502008-04-06 20:25:17 +0000144 aberrorbb = BasicBlock::Create(label, brainf_func);
Chris Lattnerbef8e0b2007-09-12 18:24:00 +0000145
146 //call i32 @puts(i8 *getelementptr([%d x i8] *@aberrormsg, i32 0, i32 0))
147 {
Owen Anderson0a5372e2009-07-13 04:09:18 +0000148 Constant *zero_32 = C.getNullValue(IntegerType::Int32Ty);
Chris Lattnerbef8e0b2007-09-12 18:24:00 +0000149
150 Constant *gep_params[] = {
151 zero_32,
152 zero_32
153 };
154
155 Constant *msgptr = ConstantExpr::
156 getGetElementPtr(aberrormsg, gep_params,
157 array_lengthof(gep_params));
158
159 Value *puts_params[] = {
160 msgptr
161 };
162
163 CallInst *puts_call =
Gabor Greif051a9502008-04-06 20:25:17 +0000164 CallInst::Create(puts_func,
165 puts_params, array_endof(puts_params),
166 "", aberrorbb);
Chris Lattnerbef8e0b2007-09-12 18:24:00 +0000167 puts_call->setTailCall(false);
168 }
169
170 //br label %brainf.end
Gabor Greif051a9502008-04-06 20:25:17 +0000171 BranchInst::Create(endbb, aberrorbb);
Chris Lattnerbef8e0b2007-09-12 18:24:00 +0000172 }
173}
174
175void BrainF::readloop(PHINode *phi, BasicBlock *oldbb, BasicBlock *testbb) {
176 Symbol cursym = SYM_NONE;
177 int curvalue = 0;
178 Symbol nextsym = SYM_NONE;
179 int nextvalue = 0;
180 char c;
181 int loop;
182 int direction;
183
184 while(cursym != SYM_EOF && cursym != SYM_ENDLOOP) {
185 // Write out commands
186 switch(cursym) {
187 case SYM_NONE:
188 // Do nothing
189 break;
190
191 case SYM_READ:
192 {
193 //%tape.%d = call i32 @getchar()
194 CallInst *getchar_call = builder->CreateCall(getchar_func, tapereg);
195 getchar_call->setTailCall(false);
196 Value *tape_0 = getchar_call;
197
198 //%tape.%d = trunc i32 %tape.%d to i8
Duncan Sands89f6d882008-04-13 06:22:09 +0000199 Value *tape_1 = builder->
Chris Lattnerbef8e0b2007-09-12 18:24:00 +0000200 CreateTrunc(tape_0, IntegerType::Int8Ty, tapereg);
201
202 //store i8 %tape.%d, i8 *%head.%d
203 builder->CreateStore(tape_1, curhead);
204 }
205 break;
206
207 case SYM_WRITE:
208 {
209 //%tape.%d = load i8 *%head.%d
210 LoadInst *tape_0 = builder->CreateLoad(curhead, tapereg);
211
212 //%tape.%d = sext i8 %tape.%d to i32
Duncan Sands89f6d882008-04-13 06:22:09 +0000213 Value *tape_1 = builder->
Chris Lattnerbef8e0b2007-09-12 18:24:00 +0000214 CreateSExt(tape_0, IntegerType::Int32Ty, tapereg);
215
216 //call i32 @putchar(i32 %tape.%d)
217 Value *putchar_params[] = {
218 tape_1
219 };
220 CallInst *putchar_call = builder->
221 CreateCall(putchar_func,
222 putchar_params, array_endof(putchar_params));
223 putchar_call->setTailCall(false);
224 }
225 break;
226
227 case SYM_MOVE:
228 {
229 //%head.%d = getelementptr i8 *%head.%d, i32 %d
230 curhead = builder->
231 CreateGEP(curhead, ConstantInt::get(APInt(32, curvalue)),
232 headreg);
233
234 //Error block for array out of bounds
235 if (comflag & flag_arraybounds)
236 {
237 //%test.%d = icmp uge i8 *%head.%d, %arrmax
Duncan Sands89f6d882008-04-13 06:22:09 +0000238 Value *test_0 = builder->
Chris Lattnerbef8e0b2007-09-12 18:24:00 +0000239 CreateICmpUGE(curhead, ptr_arrmax, testreg);
240
241 //%test.%d = icmp ult i8 *%head.%d, %arr
Duncan Sands89f6d882008-04-13 06:22:09 +0000242 Value *test_1 = builder->
Chris Lattnerbef8e0b2007-09-12 18:24:00 +0000243 CreateICmpULT(curhead, ptr_arr, testreg);
244
245 //%test.%d = or i1 %test.%d, %test.%d
Duncan Sands89f6d882008-04-13 06:22:09 +0000246 Value *test_2 = builder->
Chris Lattnerbef8e0b2007-09-12 18:24:00 +0000247 CreateOr(test_0, test_1, testreg);
248
249 //br i1 %test.%d, label %main.%d, label %main.%d
Gabor Greif051a9502008-04-06 20:25:17 +0000250 BasicBlock *nextbb = BasicBlock::Create(label, brainf_func);
Chris Lattnerbef8e0b2007-09-12 18:24:00 +0000251 builder->CreateCondBr(test_2, aberrorbb, nextbb);
252
253 //main.%d:
254 builder->SetInsertPoint(nextbb);
255 }
256 }
257 break;
258
259 case SYM_CHANGE:
260 {
261 //%tape.%d = load i8 *%head.%d
262 LoadInst *tape_0 = builder->CreateLoad(curhead, tapereg);
263
264 //%tape.%d = add i8 %tape.%d, %d
Duncan Sands89f6d882008-04-13 06:22:09 +0000265 Value *tape_1 = builder->
Chris Lattnerbef8e0b2007-09-12 18:24:00 +0000266 CreateAdd(tape_0, ConstantInt::get(APInt(8, curvalue)), tapereg);
267
268 //store i8 %tape.%d, i8 *%head.%d\n"
269 builder->CreateStore(tape_1, curhead);
270 }
271 break;
272
273 case SYM_LOOP:
274 {
275 //br label %main.%d
Gabor Greif051a9502008-04-06 20:25:17 +0000276 BasicBlock *testbb = BasicBlock::Create(label, brainf_func);
Chris Lattnerbef8e0b2007-09-12 18:24:00 +0000277 builder->CreateBr(testbb);
278
279 //main.%d:
280 BasicBlock *bb_0 = builder->GetInsertBlock();
Gabor Greif051a9502008-04-06 20:25:17 +0000281 BasicBlock *bb_1 = BasicBlock::Create(label, brainf_func);
Chris Lattnerbef8e0b2007-09-12 18:24:00 +0000282 builder->SetInsertPoint(bb_1);
283
Gabor Greifb1dbcd82008-05-15 10:04:30 +0000284 // Make part of PHI instruction now, wait until end of loop to finish
285 PHINode *phi_0 =
286 PHINode::Create(PointerType::getUnqual(IntegerType::Int8Ty),
287 headreg, testbb);
Chris Lattnerbef8e0b2007-09-12 18:24:00 +0000288 phi_0->reserveOperandSpace(2);
289 phi_0->addIncoming(curhead, bb_0);
290 curhead = phi_0;
291
292 readloop(phi_0, bb_1, testbb);
293 }
294 break;
295
296 default:
Chris Lattneref5dc362008-08-23 22:00:15 +0000297 std::cerr << "Error: Unknown symbol.\n";
Chris Lattnerbef8e0b2007-09-12 18:24:00 +0000298 abort();
299 break;
300 }
301
302 cursym = nextsym;
303 curvalue = nextvalue;
304 nextsym = SYM_NONE;
305
306 // Reading stdin loop
307 loop = (cursym == SYM_NONE)
308 || (cursym == SYM_MOVE)
309 || (cursym == SYM_CHANGE);
310 while(loop) {
311 *in>>c;
312 if (in->eof()) {
313 if (cursym == SYM_NONE) {
314 cursym = SYM_EOF;
315 } else {
316 nextsym = SYM_EOF;
317 }
318 loop = 0;
319 } else {
320 direction = 1;
321 switch(c) {
322 case '-':
323 direction = -1;
324 // Fall through
325
326 case '+':
327 if (cursym == SYM_CHANGE) {
328 curvalue += direction;
329 // loop = 1
330 } else {
331 if (cursym == SYM_NONE) {
332 cursym = SYM_CHANGE;
333 curvalue = direction;
334 // loop = 1
335 } else {
336 nextsym = SYM_CHANGE;
337 nextvalue = direction;
338 loop = 0;
339 }
340 }
341 break;
342
343 case '<':
344 direction = -1;
345 // Fall through
346
347 case '>':
348 if (cursym == SYM_MOVE) {
349 curvalue += direction;
350 // loop = 1
351 } else {
352 if (cursym == SYM_NONE) {
353 cursym = SYM_MOVE;
354 curvalue = direction;
355 // loop = 1
356 } else {
357 nextsym = SYM_MOVE;
358 nextvalue = direction;
359 loop = 0;
360 }
361 }
362 break;
363
364 case ',':
365 if (cursym == SYM_NONE) {
366 cursym = SYM_READ;
367 } else {
368 nextsym = SYM_READ;
369 }
370 loop = 0;
371 break;
372
373 case '.':
374 if (cursym == SYM_NONE) {
375 cursym = SYM_WRITE;
376 } else {
377 nextsym = SYM_WRITE;
378 }
379 loop = 0;
380 break;
381
382 case '[':
383 if (cursym == SYM_NONE) {
384 cursym = SYM_LOOP;
385 } else {
386 nextsym = SYM_LOOP;
387 }
388 loop = 0;
389 break;
390
391 case ']':
392 if (cursym == SYM_NONE) {
393 cursym = SYM_ENDLOOP;
394 } else {
395 nextsym = SYM_ENDLOOP;
396 }
397 loop = 0;
398 break;
399
400 // Ignore other characters
401 default:
402 break;
403 }
404 }
405 }
406 }
407
408 if (cursym == SYM_ENDLOOP) {
409 if (!phi) {
Chris Lattneref5dc362008-08-23 22:00:15 +0000410 std::cerr << "Error: Extra ']'\n";
Chris Lattnerbef8e0b2007-09-12 18:24:00 +0000411 abort();
412 }
413
414 // Write loop test
415 {
416 //br label %main.%d
417 builder->CreateBr(testbb);
418
419 //main.%d:
420
421 //%head.%d = phi i8 *[%head.%d, %main.%d], [%head.%d, %main.%d]
422 //Finish phi made at beginning of loop
423 phi->addIncoming(curhead, builder->GetInsertBlock());
424 Value *head_0 = phi;
425
426 //%tape.%d = load i8 *%head.%d
427 LoadInst *tape_0 = new LoadInst(head_0, tapereg, testbb);
428
429 //%test.%d = icmp eq i8 %tape.%d, 0
Owen Anderson333c4002009-07-09 23:48:35 +0000430 ICmpInst *test_0 = new ICmpInst(*testbb, ICmpInst::ICMP_EQ, tape_0,
431 ConstantInt::get(APInt(8, 0)), testreg);
Chris Lattnerbef8e0b2007-09-12 18:24:00 +0000432
433 //br i1 %test.%d, label %main.%d, label %main.%d
Gabor Greif051a9502008-04-06 20:25:17 +0000434 BasicBlock *bb_0 = BasicBlock::Create(label, brainf_func);
435 BranchInst::Create(bb_0, oldbb, test_0, testbb);
Chris Lattnerbef8e0b2007-09-12 18:24:00 +0000436
437 //main.%d:
438 builder->SetInsertPoint(bb_0);
439
440 //%head.%d = phi i8 *[%head.%d, %main.%d]
441 PHINode *phi_1 = builder->
Christopher Lamb43ad6b32007-12-17 01:12:55 +0000442 CreatePHI(PointerType::getUnqual(IntegerType::Int8Ty), headreg);
Chris Lattnerbef8e0b2007-09-12 18:24:00 +0000443 phi_1->reserveOperandSpace(1);
444 phi_1->addIncoming(head_0, testbb);
445 curhead = phi_1;
446 }
447
448 return;
449 }
450
451 //End of the program, so go to return block
452 builder->CreateBr(endbb);
453
454 if (phi) {
Chris Lattneref5dc362008-08-23 22:00:15 +0000455 std::cerr << "Error: Missing ']'\n";
Chris Lattnerbef8e0b2007-09-12 18:24:00 +0000456 abort();
457 }
458}