[llvm] [InstCombine] Compare `icmp inttoptr, inttoptr` values directly (PR #107012)

[Marina Taylor via llvm-commits]

================
@@ -71,8 +63,7 @@ define i1 @inttoptr_size_mismatch(i200 %x, i9 %y) {
 define <2 x i1> @inttoptr_vector_constant_size_mismatch(<2 x i200> %x) {
 ; CHECK-LABEL: @inttoptr_vector_constant_size_mismatch(
 ; CHECK-NEXT:    [[TMP1:%.*]] = trunc <2 x i200> [[X:%.*]] to <2 x i64>
-; CHECK-NEXT:    [[XPTR:%.*]] = inttoptr <2 x i64> [[TMP1]] to <2 x ptr>
-; CHECK-NEXT:    [[CMP:%.*]] = icmp eq <2 x ptr> [[XPTR]], <ptr inttoptr (i9 42 to ptr), ptr inttoptr (i9 123 to ptr)>
+; CHECK-NEXT:    [[CMP:%.*]] = icmp eq <2 x i64> [[TMP1]], <i64 42, i64 123>
----------------
citymarina wrote:

> But even with this, the test case still goes through the intermediate state of `<i64 ptrtoint (ptr inttoptr ...` so it doesn't reach fixpoint in one iteration.

@nikic ping; how do you recommend to proceed? Thanks.

https://github.com/llvm/llvm-project/pull/107012