tree de6160c43adde1049aa3437f4523d2aec654f75e
parent af95bc25b2727bcbda69b48afeff5ff020c9095d
author Mads Ager <ager@google.com> 1532687916 +0200
committer Mads Ager <ager@google.com> 1532687916 +0200

Update if simplification based on ranges.

When one of the ranges represents a single value there are simplification
posibilities at the edges of the other interval.

[s, e] < s -> always false
[s, e] >= s -> always true
[s, e] > e -> always false
[s, e] <= e -> always true

R=christofferqa@google.com

Bug: 111736519
Change-Id: Ic15d40dfda410f065cf6205d7a91b4a9624bd0b2