The fgraphite-identity flag is added when "Aggressive Loop Optimizations" is checked, actually.  It also enables some loop parallelization flags, which are improved by the graphite analysis, which should identify dead code in loops and places where parallelization is possible.  I believe we are using the flag correctly here.