Almost all tree optimizer passes work on SSA GIMPLE, while some work on normal low level GIMPLE. It is very likely that at one point, GCC will lower low level GIMPLE even further, in order to simplify the GIMPLE to RTLexpand pass.