Use __builtin_choose_expr to choose some constant paths

It's better than the tri-state check because it ensures that only the chosen side is actually checked, and also it ensures that the check is constant.