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

用clang 3.9编译这段代码时： @H_450_5@ @H_450_5@

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();
}

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

@H_450_5@当我将is_small更改为：

@H_450_5@

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

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

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

@H_450_5@

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

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

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

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