Array bound checks removal increasing importance

[Walter Bright via Digitalmars-d]

On 5/31/2014 5:02 PM, "Nordlöw" wrote:
> Could you elaborate a bit on what data flow optimizations mean?

http://en.wikipedia.org/wiki/Data-flow_analysis


> What other kinds of optimizations will become possible?

Escape analysis, for one.

http://en.wikipedia.org/wiki/Escape_analysis


> Is this something that other langs/compilers offer?

All modern compilers use DFA in the optimizer pass (including dmd), but that is 
not set up to provide information back to the front end.