Rui Zhang

CD edges from entry to a function's first node/instruction

2

https://github.com/mchalupa/dg/blob/bf49092212fbbb0b02f25f8f0f330854dc8d9bbd/lib/llvm/LLVMDependenceGraph.cpp#L771 Can anyone explain the rationale on constructing this CD edge? Or more specifically, why not adding CD edges from a function's `entry` to each of the function's other nodes?...

A question on marking nodes of a control-dependent BBlock

2

https://github.com/mchalupa/dg/blob/1d657baa781b9f6105128fd27da968b66ac6910b/include/dg/analysis/NodesWalk.h#L294 Hello, I have a question on the above line. Why does only the first node of a dependent bblock CD is enqueued for marking and slicing rather than all...