Expand description
Submodule of code generation containing structures related to code analysis Most notably this includes the verification stages of compilation
Structs§
- Barrier
- A synchronization barrier (i.e. the data part of a barrier node in the simulation graph)
- Fips
Symbol - A symbol, i.e. an LLVM Value attached to a name like a variable, function, constant, etc.
- Simulation
Graph - A simulation graph consists of a timeline for every type of particle Timelines can be connected by common synchronization barriers due to mutual interactions
- Statement
Block - Step
Range - Symbol
Table - Symbol table used by the code generator. T is the type of data attached to the symbols.
- Timeline
- A timeline is a chain of simulation nodes for a single particle type
Enums§
- Barrier
Kind - Types of synchronization barriers
- Fips
Symbol Kind - Different kinds of symbols
- Simulation
Node - A single simulation node that is considered atomic for synchronization purposes
Type Aliases§
- BarrierID
- Different barriers can be shared by having the same barrier ID