Speculation Modules

The speculation modules read the profiles and generate assertions to collaborate with other modules (memory analysis and speculation modules).

Profilers

• EdgeProf: Edge Profiling (Control)
• LAMP: Memory Profiling (Memory)
• LoopProf: Hot loop

List of Speculation Modules

• Control
• Short-Lived
• Read-Only
• Pointer-Residue
• Points-To
• Value-Pred
• Memory

Shared Components

• Performance Estimator