Generalize range analysis.

Rationale:
obvious case x+-1 vs x-1 was missing

Test: test-art-host
Bug: 63631713
Change-Id: I0a97548a509239bee34a099b1ce9856bac311dba
2 files changed