Code Optimization in Production Compilers - NSWI134

• Title: Optimalizace kódu produkčních překladačů
• Guaranteed by: Department of Applied Mathematics (32-KAM)
• Faculty: Faculty of Mathematics and Physics
• Actual: from 2017
• Semester: summer
• E-Credits: 3
• Hours per week, examination: summer s.:2/0, Ex [HT]
• Capacity: unlimited
• Min. number of students: unlimited
• Virtual mobility / capacity: no
• State of the course: taught
• Language: Czech, English
• Teaching methods: full-time
• Teaching methods: full-time
• Guarantor: doc. Mgr. Jan Hubička, Ph.D.
• Class: Informatika Mgr. - volitelný
• Classification: Informatics > Software Engineering

Annotation

English

Last update: G_I (06.06.2008)

Open source compilers, middle-end, intermediate representations, dataflow, SSA form, alias analysis, global optimization, interprocedural optimization.

Czech

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

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

Last update: doc. Mgr. Jan Kynčl, Ph.D. (31.05.2019)

Ústní zkouška.

Literature

English

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

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

English

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.)

• Alias Analysis and optimizing memory accesses

• Loop detection and optimization

• Optimizing for memory hiearchy

• Interprocedural optimization (linktime optimization, inlining, constant propagation, etc.)

• Profile directed optimization, dynamic optimization

Czech

Last update: G_I (06.06.2008)

• Existující svobodné překladače (GCC, LLVM, Open64, atd.)

• Reprezentace programu v mezikódu

• Graf řízení toku

• SSA forma

• Základní optimalizace nad SSA formou (propagace konstant, global value numbering, atd.)

• Alias analýza a optimalizace manipulace s pamětí

• Detekce smyček a jejich optimalizace

• Optimalizace pro paměťovou hierarchii

• Interprocedurální optimalizace (organizace překladu, inlining, propagace konstant, atd.)

• Optimalizace řízená profilem, dynamická optimalizace