[all-commits] [llvm/llvm-project] 2aae30: [InstCombine] Fold `icmp pred (inttoptr X), (intto...

[Yingwei Zheng via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 2aae304cbcc0ec4d57e9cd002887f26daa7dfd5d
      https://github.com/llvm/llvm-project/commit/2aae304cbcc0ec4d57e9cd002887f26daa7dfd5d
  Author: Yingwei Zheng <dtcxzyw2333 at gmail.com>
  Date:   2024-01-12 (Fri, 12 Jan 2024)

  Changed paths:
    M llvm/lib/Transforms/InstCombine/InstCombineCompares.cpp
    M llvm/test/Transforms/InstCombine/cast_ptr.ll

  Log Message:
  -----------
  [InstCombine] Fold `icmp pred (inttoptr X), (inttoptr Y) -> icmp pred X, Y` (#77832)

NOTE: Alive2 proofs are unavailable because `inttoptr` is unsupported.