Clang also has a more explicit __builtin_assume(expression) builtin, although anecdotally GCC makes better use of these hints. Folly has a function to make it portable:

https://github.com/facebook/folly/blob/bb5ed8070d533c016e1e9...