== Progress ==

PR40921 -missed optimization: x + (-y * z * z) => x - y * z * z - Patch committed

PR63586 - x+x+x+x -> 4*x in gimple - Patch committed - There were couple of fallouts

PR71179 - ICE fold_convert_loc, at fold-const.c:2360 - Patch committed

PR71170 - ICE in rewrite_expr_tree, at tree-ssa-reassoc.c:3898 - Tried various options to fix this and settled on an implementation - Patch sent for upstream review

== Plan == Follow upon remaining upstream patches IPA VRP