AsymLoop提出了一种设计原则：循环计算中的不同功能模块不应被同等对待，上下文编码是单遍静态的，状态细化是迭代动态的。