What is your model for the way that the RTL and C statements in the new signbittf2 pattern interact?
The C preparation statements are executed before the RTL code generated from the RTL template. In the patch, it seems that the new pattern is assuming that it can rely on some results produced by the RTL template. Maybe this seems to work because data dependence reorders the statements when compiled with optimization. Thanks, David