Hello, just a simple pattern for match.pd. I am ignoring the issue of whether isnan is the same as isunordered, I am only combining isunordered together. 2015-04-13 Marc Glisse PR tree-optimization/63387 gcc/ * match.pd ((x unord x) | (y unord y) -> (x unord y), (x unord x) | (x unord y) -> (x unord y)): New simplifications. gcc/testsuite/ * gcc.dg/pr63387.c: New testcase. -- Marc Glisse