Helpers for encoding and legalizing CFG edge insert/delete updates.
Types
Name |
Description |
Represents an insertion or deletion of a CFG edge between two nodes. |
Enums
Name |
Description |
Kind of CFG edge update: insert or delete an edge. |
Functions
Name |
Description |
Simplify a sequence of CFG edge updates by removing redundancy and cancels. |
Created with MrDocs