[PATCH] D52697: Bug 39129: Speeding up partition_point/lower_bound/upper_bound/ by using unsigned division by 2 when possible.

[Denis Yaroshevskiy via Phabricator]

dyaroshev added a comment.

In https://reviews.llvm.org/D52697#1250525, @mclow.lists wrote:

> We can tell the compiler that `std::distance` always returns >= 0.
>  The optimizer already knows a lot about various standard library calls.


Oh, that could be interesting. Or this could be an example of the contracts based optimization.

You don't think that it's right to merge this patch? The performance wins are pretty nice. There are plenty of other things for optimizer guys to work on, this is a quite specific case.


https://reviews.llvm.org/D52697