I recently taught instsimplify to compute the constant difference of two pointers which are constant-derived from a common base. This uses the same logic to handle comparisons. These show up all over the place due to C++ pointers-as-iterators comparing against the end iterator.<div>
<br></div><div>I'll add a test case before committing, but it's nothing surprising. Just wanted to double check the actual code before moving forward.</div>