loops - 如何识别指令级别的循环？

Question

可以将目标地址低于分支指令本身地址的直接分支指令视为循环的开始吗？这个条件是否充分，或者是否存在其他情况（编译器优化等）在指令级别上显示类似的行为。

你会推荐什么其他方法？显而易见的是存储遇到的目标地址列表，如果同一指令多次获取目标地址，则意味着它是循环的开始。这样做的缺点是它占用了存储所有地址和检查时间的内存。