内存分配优化

众所周知,编译器可以混合分配顺序以优化执行, 所以-

a=b;
c=d;

可以实际执行

c=d;
a=b;

但是,使用以下代码:

a=b;
x=a;
func(x);

到…的时候 func(x) 被称为, x 必须包含 b 首先,否则结果可能无法预测。

现在,下面的代码如何:

int *addr1 = some_addr;
int *addr2 = (int *)0xf00;

/* The following applies:
 *      some_other_addr >= some_addr
 */
for (addr1; addr1 < some_other_addr; addr1++) 
{
    *addr1 += 1;
}

*addr2 *= 8;

什么时候 addr2 指向的范围内的地址 for loop,我们需要知道是否承诺 *addr2 将在8中的倍数之前递增,如果不是,则放置一些优化步骤 *addr2 *= 8; 在 对于 循环,结果 *地址2 将不同于在没有优化的情况下执行。

在这种情况下,答案会有所不同吗 some_addr 和 some_other_addr 是否在范围中定义,以及是否作为参数传递?因为在第一种情况下,编译器很容易知道 *地址2 在 对于 循环,而在第二种情况下,它不是那么明显。

而且,如果我们从组装的角度来看,让我们以一个示例为例 reset_handler 的代码段 bss 节初始化:

    ldr  r1, =__BSS_SIZE__
    cmp  r1, #0
    beq  FINISHED_LABEL
    ldr  r0, =__BSS_START__
    ldr  r2, =0
LOOP_LABEL:
    str  r2, [r0]
    add  r0, r4
    subs r1, r4
    bne  LOOP_LABEL

如果此代码之后的下一条指令(位于 FINISHED_LABEL )加载值( ldr )从bss范围内的地址,是否承诺内容届时有效(0)?