Currently this option allows x-c -> x + (-c) for unsigned.
If this option is enabled, we cannot do liner function test replacement ...

So, enable it AFTER OSR has run...

[r17804]