https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68855
--- Comment #3 from Richard Biener <rguenth at gcc dot gnu.org> --- (In reply to Andrew Pinski from comment #2) > Maybe: > (simplify > (paren (complex_expr @0 @1)) > (complex_expr (paren @0) (paren @1)) That makes the tree larger though ... But yes, if we have (complex (real (complex@0)) (imag (complex@0)) and the inner complex are wrapped that would help. > (simplify > (paren (real_expr @0)) > (real_expr (paren @0)) > (simplify > (paren (imag_expr @0)) > (real_expr (paren @0)) > > Is enough. Maybe it's a task for backprop instead? It at least "feels" similar ...