On Sun, Nov 16, 2014 at 6:04 AM, Jason Merrill <ja...@redhat.com> wrote: > I've had a TODO in genericize_cp_loop for a long time suggesting that we > should genericize to LOOP_EXPR rather than gotos, and now that I need to > interpret the function body for constexpr evaluation, making this change > will also simplify that handling. > > This change also does away with canonicalizing the condition to the bottom > of the loop, to avoid the extra goto. It seems to me that this is > unnecessary nowadays, since the optimizers are very capable of making any > necessary transformations, but I'm interested in feedback from other people. > > Tested x86_64-pc-linux-gnu. > > Opinions?
Lowering less is always nice though I didn't even know GENERIC has LOOP_EXPR... Fortran seems to use it though. Did you inspect generated code for a few testcases? Thanks, Richard.
