能否让ARM Cortex-M4在IT块外使用条件指令？如何降低功耗测试噪声？

1. 能否在Thumb-2的IT块外使用条件指令？ #

不能。这是Thumb-2 ISA的硬性架构限制：所有带条件后缀（如eq）的非分支指令，必须被包含在IT/ITT/ITTT/ITTTT块中才能被处理器执行。Cortex-M4是纯Thumb-2架构处理器，不支持传统ARM指令集模式，因此无法绕过这个限制——汇编器的报错正是在强制执行这一规则，即使强行生成不符合规范的二进制代码，处理器也无法正确执行。

2. 降低IT指令带来的功耗测试噪声的可行方案 #

针对你的功耗测试需求，可通过以下方法减少IT指令的干扰：

方法一：单独校准IT指令的功耗并扣除 #

• 先单独运行仅包含IT指令的测试代码，测量IT指令的平均功耗：

  ".rept 50\n\t"  // 对应200条addeq所需的IT指令数量
  "ITTTT EQ\n\t"
  ".endr\n\t"
  

• 用混合代码（IT+addeq）的总功耗，减去IT指令的总功耗，再除以200，即可得到单条addeq的实际功耗。

方法二：在基准测试中加入匹配的IT指令 #

• 当你需要对比addeq和普通add的功耗时，给普通add的测试代码也加入相同数量的IT指令（使用AL条件，即无条件执行）：

  ".rept 50\n\t"
  "ITTTT AL\n\t"
  ".rept 4\n\t"
  "add r1, r1, r1\n\t"
  ".endr\n\t"
  ".endr\n\t"
  

• 这样两组测试中IT指令的功耗占比一致，对比差值时即可抵消IT指令的影响。

方法三：大幅增加测试指令数量 #

• 将.rept的循环次数从200提升至更大的数值（如2000），这样IT指令的占比会从20%（50/250）降至2%（500/2500），其对总功耗的相对影响会被大幅稀释，统计结果的信噪比会显著提升。

方法四：利用条件分支模拟条件执行（备选方案） #

• 若能接受指令语义的微小变化，可尝试用条件分支+无条件指令模拟：

  ".rept 200\n\t"
  "beq 1f\n\t"
  "b 2f\n\t"
  "1:\n\t"
  "add r1, r1, r1\n\t"
  "2:\n\t"
  ".endr\n\t"
  

• 注意：这种方法会引入分支指令的额外功耗，且执行流程与原生addeq差异较大，仅适合极端场景。

内容的提问来源于stack exchange，提问作者Alessandro Bertulli