Hello, this was bootstrapped and regtested on powerpc64le-unknown-linux-gnu. 2016-05-20 Marc Glisse gcc/ * match.pd ((X ^ Y) ^ (X ^ Z)): Convert the arguments. gcc/testsuite/ * gcc.dg/tree-ssa/pr71206.c: New testcase. -- Marc Glisse