I am working on a a particular optimization in GCC and intend to use GIMPLE for this. I have some doubt about the LOOP_EXPR as given in grammar of GIMPLE. The documentation mentions a separare expresssion called LOOP_EXPR to denote loops( as infinite while loops). But when i see the GIMPLE being generated for simple loops all i see is labels and goto instructions, with no sign of while (or LOOP_EXPR).
Can someone clarify on this.
Thanks and Regards, Virender.