Open source compilers, middle-end, intermediate representations, dataflow, SSA form, alias
analysis, global optimization, interprocedural optimization.
Last update: G_I (06.06.2008)
Open source překladače, middle-end, reprezentace programu a dataflow, SSA forma, alias
analýza, globální optimalizace, interprocedurální optimalizace.
Aim of the course - Czech
Last update: G_I (06.06.2008)
Narozdíl od přednášky NSWI109 "Konstrukce překladačů" si přednáška neklade za cíl podat přehled o celém back-endu, ale soustředí se na zajímavé výsledky v oblasti optimalizace, které našly své uplatněni v praktických middle-endech.
Course completion requirements - Czech
Last update: doc. Mgr. Jan Kynčl, Ph.D. (31.05.2019)
Ústní zkouška.
Literature -
Last update: G_I (06.06.2008)
Advanced Compiler Design and Implementation
Steven Muchnick
Morgan Kaufmann, 1997, ISBN 978-1558603202
Building an Optimizing Compiler
Robert Morgan
Digital Press, 1998, ISBN 978-1555581794
Last update: G_I (06.06.2008)
Advanced Compiler Design and Implementation
Steven Muchnick
Morgan Kaufmann, 1997, ISBN 978-1558603202
Building an Optimizing Compiler
Robert Morgan
Digital Press, 1998, ISBN 978-1555581794
Requirements to the exam - Czech
Last update: doc. Mgr. Jan Hubička, Ph.D. (28.02.2018)
Zkouška proběhne ústní formou, v rozsahu 2-3 otázek pokrytých látkou probranou na přednáškách.
Syllabus -
Last update: G_I (06.06.2008)
Introduction to existing open source compilers (GCC, LLVM, Open64, etc.)
Representing program in the intermediate language
Control Flow Graph
SSA form
Basic optimizations using SSA form (constant propagation, global value numbering, etc.)