循环次数测试不准

[Jianzhang Peng]

我写了一个简单程序，用find_simple_exit测循环的次数，事先初始化归纳变量框架了（iv_analysis_loop_init）。

发现，次数居然是niter = 182906781056，太离谱了！

$1 = {out_edge = 0x2a96035ac0, in_edge = 0x2a96035a80, simple_p = 1
'\001', const_iter = 0 '\0', niter = 182906781056,
niter_max = 18446744073709551615, assumptions = 0x0,
noloop_assumptions = 0x0, infinite = 0x2a961955c0, signed_p = 0 '\0',
mode = SImode,
niter_expr = 0x2a961955e0}

谢谢！
--
Jianzhang Peng

[Eric Fisher]

如果可以确切的分析出循环次数，则niter的值是正确的。否则，你可能需要具体的去debug一下。

2009/12/21 Jianzhang Peng <pengji...@gmail.com>:

> --
>
> 您收到此邮件是因为您订阅了 Google 网上论坛的"HelloGcc Workshop"论坛。
> 要向此网上论坛发帖，请发送电子邮件至 hell...@googlegroups.com。
> 要取消订阅此网上论坛，请发送电子邮件至 hellogcc+u...@googlegroups.com。
> 若有更多问题，请通过 http://groups.google.com/group/hellogcc?hl=zh-CN 访问此网上论坛。
>
>
>

[Eric Fisher]

如果可以确切的分析出循环次数，则niter的值是正确的。否则，你可能需要具体的去debug一下。

2009/12/21 Jianzhang Peng <pengji...@gmail.com>: