Hello, generalizing a bit one transformation, to avoid a regression with another patch I am working on. Handling conversions always gets messy :-( It would have been easier to stick to scalars and wide_int, but since the existing transformation handles vectors, I didn't want to regress. Bootstrap+testsuite on powerpc64le-unknown-linux-gnu. 2017-05-22 Marc Glisse gcc/ * match.pd ((A +- CST1) +- CST2): Allow some conversions. * tree.c (drop_tree_overflow): Handle COMPLEX_CST and VECTOR_CST. gcc/testsuite/ * gcc.dg/tree-ssa/addadd.c: New file. -- Marc Glisse