c – 为什么没有clang / llvm优化这个？

constexpr bool is_small(long long v) {
  return v < 0x4000000000000000;
}
int foo();
int f(int a) {
  if (is_small(a)) return a;
  else return foo();
}

它产生相当于int f(int a)的汇编{return a;因为它确定is_small(a)将永远为真,因为a是一个int,它(在我的平台上)总是小于0x4000000000000000.

当我将is_small更改为：

constexpr bool is_small(long long v) {
  return v >= -0x4000000000000000;
}

正如预期的那样,完全相同.

但是,当我更改is_small以检查两个条件时：

constexpr bool is_small(long long v) {
  return v < 0x4000000000000000 && v >= -0x4000000000000000;
}

clang没有优化if和返回foo()部分.

(这是关于Godbolt的上述片段,可以玩：https://godbolt.org/g/fnoE9A)

为什么会这样？它清楚地得出结论,个别条件总是正确的,为什么这不延伸到两者的逻辑结合？