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
165 views

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
231 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
  • 879
20 votes
1 answer
693 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,911