search for: cfgblockref

...both LLVM IR and MachineIR (in SSA form), and 2. Doing so using type erasure, i.e. the bulk of the algorithm you're writing doesn't have to be a template (at the cost of using some virtual methods). The second point is achieved by a) having algorithms refer to blocks and values using CfgBlockRef and CfgValueRef types which wrap a `void *` whose interpretation depends on the concrete CFG (for example, CfgValueRef wraps a `Value *` for LLVM IR but a `Register` for MachineIR), and b) querying the CFG via virtual methods in a CfgInterface interface class. Please take a look at the followi...

.... Doing so using type erasure, i.e. the bulk of the algorithm you're >> writing doesn't have to be a template (at the cost of using some virtual >> methods). >> >> The second point is achieved by >> >> a) having algorithms refer to blocks and values using CfgBlockRef and >> CfgValueRef types which wrap a `void *` whose interpretation depends on >> the concrete CFG (for example, CfgValueRef wraps a `Value *` for LLVM IR >> but a `Register` for MachineIR), and >> >> b) querying the CFG via virtual methods in a CfgInterface interface...