[PATCH, PR44503] Fixes "control flow in the middle of basic block" with -fprefetch-loop-arrays

[Fang, Changpeng]

>this does not make much sense to me; why should there be no natural loops?  Edges in CFG (conservatively)
>correctly describe the control flow, so the loops may be detected as usual.  The correct fix is to
>ensure that is_ctrl_altering_stmt does not return true for_builtin_prefetch,

You are right. We should address the problem exposed by _builtin_prefetch in this patch.
Attached is the patch that thinks _builtin_prefetch does not change the control flow.

Is this OK to commit?

Thanks,

Changpeng


-------------- next part --------------
A non-text attachment was scrubbed...
Name: 0001-pr44503-builtin_prefetch-does-not-change-control-flo.patch
Type: text/x-patch
Size: 956 bytes
Desc: 0001-pr44503-builtin_prefetch-does-not-change-control-flo.patch
URL: <http://gcc.gnu.org/pipermail/gcc-patches/attachments/20100616/0c71aca5/attachment.bin>