这段程序应该至少可以说明一点——循环体内的计时器速度翻倍了。当计时时间足够长的时候，应该可以认为这个倍数等于循环次数。
楼主可以把你的问题和子程序的调用连续起来理解，子程序的调用条件不等于子程序的初始位逻辑。调用条件只是决定子程序是否会被扫描。不扫描则不执行，不执行则不回零。
但是有一个问题，就是For-Next，Jump-Lbl这些指令和子程序的处理上感觉还是应该有些区别的吧。子程序只要不满足调用条件，代码是不扫描的，可以节省扫描的时间，这个是实打实的。而For-Next，Jump-Lbl这些指令中间肯定有些代码，这些代码在不满足循环条件或满足了跳转条件时，“是根本不被扫描，还是扫描了而被视为一堆NOP0”这是有区别的，至少扫描时间不同了。不知道哪位考虑过这个问题或在哪个文档中看见过相关的内容。