为什么 clang 6.0 编译器通过从 -N 开始索引并计数到零进行优化，但 clang 11.0 从 0 开始并计数到 N？

Question

对于下面的代码，clang 6.0 和 11.0 在其编译的程序集中存在细微差别。

#include <stdint.h>

#define SIZE (1L << 16)
    
void test(uint8_t * restrict a,  uint8_t * restrict b) {
  uint64_t i;

  for (i = 0; i < SIZE; i++) {
    a[i] += b[i];
  } 
}

当我在 clang 6.0 中使用-O1 -O1 进行编译时，我得到以下 output：

test:                                   # @test
        mov     rax, -65536
.LBB0_1:                                # =>This Inner Loop Header: Depth=1
        movzx   ecx, byte ptr [rsi + rax + 65536]
        add     byte ptr [rdi + rax + 65536], cl
        add     rax, 1
        jne     .LBB0_1
        ret

请注意，编译器将循环从“0 到 65536”索引更改为“-65536 到 0”。 我认为这非常聪明，因为它利用了这样一个事实，即如果结果为零，汇编中的add将设置ZF标志，从而保存一条指令。 不幸的是，当我在 clang 11.0 中使用相同的 arguments 运行相同的代码时，我得到以下代码：

test:                                   # @test
        xor     eax, eax
.LBB0_1:                                # =>This Inner Loop Header: Depth=1
        movzx   ecx, byte ptr [rsi + rax]
        add     byte ptr [rdi + rax], cl
        add     rax, 1
        cmp     rax, 65536
        jne     .LBB0_1
        ret

请注意，这一次，它保留了“0 到 65536”索引，并在每个循环的末尾添加了cmp指令。 此外，虽然这是一个特定示例，但这并不是我编写的代码所独有的。 它在-O3和启用矢量化的情况下仍然存在

是什么赋予了？ 原来的优化实际上没有效果吗？ 处理器是否改变以消除这个技巧？