Questions tagged [data-flow-analysis]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
4 votes
1 answer
223 views

Can analysis of periodic loop behaviour be generalised to unstructured control flow?

The basic form of a loop is as follows: loopvars := init body: loopvars := f(loopvars) done := term(loopvars) br done, end, body end: Suppose we've recognised ...
Moonchild's user avatar
  • 789
14 votes
0 answers
423 views

What is the relationship between STG and RVSDG?

GHC is an optimizing Haskell compiler. Since Haskell is lazy and mutation is rare, control flow and data flow are often very closely aligned. Therefore, it is often most useful to think about ...
Alexis King's user avatar
  • 8,026