Questions tagged [data-flow-analysis]
The data-flow-analysis tag has no summary.
3 questions
5
votes
1
answer
209
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:
...
- 2,418
4
votes
1
answer
269
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 ...
- 1,096
20
votes
1
answer
1k
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 ...
- 12.7k