Assuming compilers are smart enough to insert an unnecessary branch to break the dependency.

That's what the hints are for. Expect/likely/unlikely are the programmer informing the compiler what it should expect and how it should optimize