Intermediate Representations
This section covers the intermediate representations used in Lotus.
- ICFG — Interprocedural Control Flow Graph
- Overview
- Key Features
- Components
- Usage
- Integration
- PDG — Program Dependence Graph
- Overview
- Core Passes
- Unified Query API
- High-Level Usage
- pdg-query Analysis Mode
- SSI — Static Single Information
- Overview
- Key Features
- SSI Formalism
- Components
- SSI Instructions
- Algorithm
- Usage
- Integration
- vSSA — Variable Static Single Assignment
- Overview
- Key Features
- vSSA Instructions
- Algorithm
- Components
- Usage
- Integration with SRAA
- Example
- References
- SVFG — Sparse Value-Flow Graph
- Overview
- Key Features
- Node Types
- Edge Types
- Architecture
- Usage
- Integration
- Components
- References
- GVFG
- GSA — Gated SSA
- Overview
- Key Features
- Core Types
- Passes
- Usage
- Command-Line Options
- Behavior Notes
- MemorySSA — Memory Static Single Assignment
- Overview
- Key Features
- Shadow Memory Instructions
- Components
- Usage
- Integration