On Thu, 9 Oct 2014, Steve Ellcey wrote: > Do you know which pass does the simple > '(float)function((double)float_val)' demotion? Maybe that would be a > good place to extend things.
convert.c does such transformations. Maybe the transformations in there could move to the match-and-simplify infrastructure - convert.c is not a particularly good place for optimization, and having similar transformations scattered around (fold-const, convert.c, front ends, SSA optimizers) isn't helpful; hopefully match-and-simplify will allow some unification of this sort of optimization. -- Joseph S. Myers jos...@codesourcery.com