Study with the several resources on Docsity
Earn points by helping other students or get them with a premium plan
Prepare for your exams
Study with the several resources on Docsity
Earn points to download
Earn points by helping other students or get them with a premium plan
These are the Lecture Slides of Advanced Compiler which includes Partial Transfer Functions, Input Information, Output Information, Data-Based Context Sensitivity, Bottom-Up Example, Infinite Domains, Interprocedural Analysis etc. Key important points are: Transfer Functions, Partial Transfer Functions, Input Information, Output Information, Data-Based Context Sensitivity, Bottom-Up Example, Infinite Domains, Interprocedural Analysis
Typology: Slides
1 / 20
This page cannot be seen from the preview
Don't miss anything!
g() {
if(isLocked()) {
unlock;
} else {
lock;
} } f() { g(); if (...) { main(); } }
main() {
g();
f();
lock;
unlock;
}
g() {
if(isLocked()) {
unlock;
} else {
lock;
} } f() { g(); if (...) { main(); } }
main() {
g();
f();
lock;
unlock;
}
A() {
}
D ’
B() {
}
D ’’
C() {
}
D ’’’
A() {
call D
}
B() {
call D
}
C() {
call D
}
D() { ... }
A() {
call D
}
B() {
call D
}
C() {
call D
}
D() { ... }
caller summary callee summary
A() {
call D
}
B() {
call D
}
C() {
call D
}
D() { ... }
A() {
call D
}
B() {
call D
}
C() {
call D
}
D() { ... }
D’() { ... }
A() {
call D
}
B() {
call D
}
C() {
call D
}
D() { ... }
Caller precision Callee precision Code bloat
Inlining
context-insensitive interproc
Context sensitive interproc
Specialization
Summary on how to optimize function calls
