首页
网站开发
桌面应用
管理软件
微信开发
App开发
嵌入式软件
工具软件
数据采集与分析
其他
首页
>
> 详细
代写data程序、代做Java、Python编程语言
项目预算:
开发周期:
发布时间:
要求地区:
Coursework 5
This coursework is worth 25% and is due on 12 January at 16:00. You are asked
to implement a compiler targeting the LLVM-IR. Be careful that this CW needs
some material about the LLVM-IR that has not been shown in the lectures and
your own experiments and research might be required. You can find information about the LLVM-IR at
• https://bit.ly/3rheZYr
• https://llvm.org/docs/LangRef.html
You can do the implementation of your compiler in any programming language
you like, but you need to submit the source code with which you generated
the LLVM-IR files, otherwise a mark of 0% will be awarded. You are asked to
submit the code of your compiler, but also the generated .ll files. No PDF
is needed for this coursework. You should use the lexer and parser from the
previous courseworks, but you need to make some modifications to them for
the ‘typed’ version of the Fun-language. I will award up to 5% if a lexer and a
parser are correctly implemented.
You will be marked according to the input files
• sqr.fun
• fact.fun
• mand.fun
• mand2.fun
• hanoi.fun
which are uploaded to KEATS and Github.
Exclamation-Triangle Disclaimer
It should be understood that the work you submit represents your own effort.
You have not copied from anyone else. An exception is the Scala code I showed
during the lectures or uploaded to KEATS, which you can both use. You can
also use your own code from the CW 1 – CW 4. But do not be tempted to ask
Github Copilot for help or do any other shenanigans like this!
Task
The goal is to lex and parse 5 Fun-programs, including the Mandelbrot program
shown in Figure 1, and generate corresponding code for the LLVM-IR. Unfortunately the calculations for the Mandelbrot Set require floating point arithmetic
and therefore we cannot be as simple-minded about types as we have been so
1
far (remember the LLVM-IR is a fully-typed language and needs to know the
exact types of each expression). The idea is to deal appropriately with three
types, namely Int, Double and Void (they are represented in the LLVM-IR as
i32, double and void). You need to extend the lexer and parser accordingly
in order to deal with type annotations. The Fun-language includes global constants, such as
val Ymin: Double = -1.3;
val Maxiters: Int = 1000;
where you can assume that they are ‘normal’ identifiers, just starting with a
capital letter—all other identifiers should have lower-case letters. Function definitions can take arguments of type Int or Double, and need to specify a return
type, which can be Void, for example
def foo(n: Int , x: Double) : Double = ...
def id(n: Int) : Int = ...
def bar () : Void = ...
The idea is to record all typing information that is given in the Fun-program,
but then delay any further typing inference to after the CPS-translation. That
means the parser should generate ASTs given by the Scala dataypes:
abstract class Exp
abstract class BExp
abstract class Decl
case class Def(name: String , args: List [( String , String )],
ty: String , body: Exp) extends Decl
case class Main(e: Exp) extends Decl
case class Const(name: String , v: Int) extends Decl
case class FConst(name: String , x: Double) extends Decl
case class Call(name: String , args: List[Exp ]) extends Exp
case class If(a: BExp , e1: Exp , e2: Exp) extends Exp
case class Var(s: String) extends Exp
case class Num(i: Int) extends Exp // integer numbers
case class FNum(i: Double) extends Exp // floating numbers
case class ChConst(c: Int) extends Exp // char constants
case class Aop(o: String , a1: Exp , a2: Exp) extends Exp
case class Sequence(e1: Exp , e2: Exp) extends Exp
case class Bop(o: String , a1: Exp , a2: Exp) extends BExp
This datatype distinguishes whether the global constant is an integer constant
or floating constant. Also a function definition needs to record the return type
of the function, namely the argument ty in Def, and the arguments consist of
an pairs of identifier names and types (Int or Double). The hard part of the CW
is to design the K-intermediate language and infer all necessary types in order
to generate LLVM-IR code. You can check your LLVM-IR code by running it
2
with the interpreter lli.
Also note that the second version of the Mandelbrot program and also the
Tower of Hanoi program use character constants, like 'a', '1', '\n' and so on.
When they are tokenised, such characters should be interpreted as the corresponding ASCII code (an integer), such that we can use them in calculations
like 'a' + 10 where the result should be 107. As usual, the character '\n' is
the ASCII code 10.
LLVM-IR
There are some subtleties in the LLVM-IR you need to be aware of:
• Global constants: While global constants such as
val Max : Int = 10;
can be easily defined in the LLVM-IR as follows
@Max = global i32 10
they cannot easily be referenced. If you want to use this constant then you
need to generate code such as
%tmp_22 = load i32 , i32* @Max
first, which treats @Max as an Integer-pointer (type i32*) that needs to be
loaded into a local variable, here %tmp_22.
• Void-Functions: While integer and double functions can easily be called
and their results can be allocated to a temporary variable:
%tmp_23 = call i32 @sqr (i32 %n)
void-functions cannot be allocated to a variable. They need to be called
just as
call void @print_int (i32 %tmp_23)
• Floating-Point Operations: While integer operations are specified in the
LLVM-IR as
3
def compile_op (op: String) = op match {
case "+" => "add i32 "
case "*" => "mul i32 "
case "-" => "sub i32 "
case "==" => "icmp eq i32 "
case "!=" => "icmp ne i32 "
case "<=" => "icmp sle i32 " // signed less or equal
case "<" => "icmp slt i32 " // signed less than
}
the corresponding operations on doubles are
def compile_dop (op: String) = op match {
case "+" => "fadd double "
case "*" => "fmul double "
case "-" => "fsub double "
case "==" => "fcmp oeq double "
case "!=" => "fcmp one double "
case "<=" => "fcmp ole double "
case "<" => "fcmp olt double "
}
• Typing: In order to leave the CPS-translations as is, it makes sense to
defer the full type-inference to the K-intermediate-language. For this it is
good to define the KVar constructor as
case class KVar(s: String , ty: Ty = "UNDEF") extends KVal
where first a default type, for example UNDEF, is given. Then you need to
define two typing functions
Both functions require a typing-environment that updates the information about what type each variable, operation and so on receives. Once
the types are inferred, the LLVM-IR code can be generated. Since we are
dealing only with simple first-order functions, nothing on the scale as
the ‘Hindley-Milner’ typing-algorithm is needed. I suggest to just look
at what data is avaliable and generate all missing information by “simple
means”…rather than looking at the literature which solves the problem
with much heavier machinery.
• Build-In Functions: The ‘prelude’ comes with several build-in functions:
new_line(), skip, print_int(n), print_space(), print_star() and print_char(n).
You can find the ‘prelude’ for example in the file sqr.ll.
4
// Mandelbrot program (without character constants)
val Ymin: Double = -1.3;
val Ymax: Double = 1.3;
val Ystep: Double = 0.05; //0.025;
val Xmin: Double = -2.1;
val Xmax: Double = 1.1;
val Xstep: Double = 0.02; //0.01;
val Maxiters: Int = 1000;
def m_iter(m: Int , x: Double , y: Double ,
zr: Double , zi: Double) : Void = {
if Maxiters <= m
then print_star ()
else {
if 4.0 <= zi*zi+zr*zr then print_space ()
else m_iter(m + 1, x, y, x+zr*zr -zi*zi , 2.0* zr*zi+y)
}
};
def x_iter(x: Double , y: Double) : Void = {
if x <= Xmax
then { m_iter (0, x, y, 0.0, 0.0) ; x_iter(x + Xstep , y) }
else skip ()
};
def y_iter(y: Double) : Void = {
if y <= Ymax
then { x_iter(Xmin , y) ; new_line () ; y_iter(y + Ystep) }
else skip ()
};
y_iter(Ymin)
Figure 1: The Mandelbrot program in the ‘typed’ Fun-language.
5
Figure 2: Ascii output of the Mandelbrot program.
6
软件开发、广告设计客服
QQ:99515681
邮箱:99515681@qq.com
工作时间:8:00-23:00
微信:codinghelp
热点项目
更多
urba6006代写、java/c++编程语...
2024-12-26
代做program、代写python编程语...
2024-12-26
代写dts207tc、sql编程语言代做
2024-12-25
cs209a代做、java程序设计代写
2024-12-25
cs305程序代做、代写python程序...
2024-12-25
代写csc1001、代做python设计程...
2024-12-24
代写practice test preparatio...
2024-12-24
代写bre2031 – environmental...
2024-12-24
代写ece5550: applied kalman ...
2024-12-24
代做conmgnt 7049 – measurem...
2024-12-24
代写ece3700j introduction to...
2024-12-24
代做adad9311 designing the e...
2024-12-24
代做comp5618 - applied cyber...
2024-12-24
热点标签
mktg2509
csci 2600
38170
lng302
csse3010
phas3226
77938
arch1162
engn4536/engn6536
acx5903
comp151101
phl245
cse12
comp9312
stat3016/6016
phas0038
comp2140
6qqmb312
xjco3011
rest0005
ematm0051
5qqmn219
lubs5062m
eee8155
cege0100
eap033
artd1109
mat246
etc3430
ecmm462
mis102
inft6800
ddes9903
comp6521
comp9517
comp3331/9331
comp4337
comp6008
comp9414
bu.231.790.81
man00150m
csb352h
math1041
eengm4100
isys1002
08
6057cem
mktg3504
mthm036
mtrx1701
mth3241
eeee3086
cmp-7038b
cmp-7000a
ints4010
econ2151
infs5710
fins5516
fin3309
fins5510
gsoe9340
math2007
math2036
soee5010
mark3088
infs3605
elec9714
comp2271
ma214
comp2211
infs3604
600426
sit254
acct3091
bbt405
msin0116
com107/com113
mark5826
sit120
comp9021
eco2101
eeen40700
cs253
ece3114
ecmm447
chns3000
math377
itd102
comp9444
comp(2041|9044)
econ0060
econ7230
mgt001371
ecs-323
cs6250
mgdi60012
mdia2012
comm221001
comm5000
ma1008
engl642
econ241
com333
math367
mis201
nbs-7041x
meek16104
econ2003
comm1190
mbas902
comp-1027
dpst1091
comp7315
eppd1033
m06
ee3025
msci231
bb113/bbs1063
fc709
comp3425
comp9417
econ42915
cb9101
math1102e
chme0017
fc307
mkt60104
5522usst
litr1-uc6201.200
ee1102
cosc2803
math39512
omp9727
int2067/int5051
bsb151
mgt253
fc021
babs2202
mis2002s
phya21
18-213
cege0012
mdia1002
math38032
mech5125
07
cisc102
mgx3110
cs240
11175
fin3020s
eco3420
ictten622
comp9727
cpt111
de114102d
mgm320h5s
bafi1019
math21112
efim20036
mn-3503
fins5568
110.807
bcpm000028
info6030
bma0092
bcpm0054
math20212
ce335
cs365
cenv6141
ftec5580
math2010
ec3450
comm1170
ecmt1010
csci-ua.0480-003
econ12-200
ib3960
ectb60h3f
cs247—assignment
tk3163
ics3u
ib3j80
comp20008
comp9334
eppd1063
acct2343
cct109
isys1055/3412
math350-real
math2014
eec180
stat141b
econ2101
msinm014/msing014/msing014b
fit2004
comp643
bu1002
cm2030
联系我们
- QQ: 9951568
© 2021
www.rj363.com
软件定制开发网!