ftc性能和优化

我已经看到一些奇怪的行为与我写的程序，我不能真正解释，我想知道是否有人可以向我解释这里发生了什么。我有一种感觉，这是由g++与-O3一起使用的一些高级优化技术引起的，但我不确定。

我正在运行类似于这样的东西(不是一个完整的例子):

char* str = "(long AB string)"; // string _only_ consisting of As and Bs 
size_t len = strlen(str);
for(unsigned long offset = 0; offset < len; offset++) {
    if(offset % 100 == 0) fputc('n', f);
    fputc(str[offset], f);
}

这相当慢。然而，当我像这样额外检查字符时，它突然变得非常快:

char* str = "(long AB string)"; // string _only_ consisting of As and Bs 
size_t len = strlen(str);
for(unsigned long offset = 0; offset < len; offset++) {
    if(offset % 100 == 0) fputc('n', f);
    if(str[offset] != 'A' && str[offset] != 'B') exit(1);
    fputc(str[offset], f);
}

尽管字符串只由a和b组成，所以写入的字符数不会改变，程序总是正常退出。

谁能给我解释一下这里发生了什么事?字符检查是否允许优化器对str[offset]做出一些假设，否则它就无法做出假设，从而允许它优化出fputc调用的某些部分?

exit(1)