Skip to main content

Questions tagged [data-flow-analysis]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
5 votes
1 answer

How is Go's DSE implemented?

Apparently, Go can implement a dead store analysis in the compiler without a CFG. I stumbled upon this example: ...
feldentm's user avatar
  • 1,929
4 votes
1 answer

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
  • 879
20 votes
1 answer

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,911