[llvm] [InstCombine] Drop zero size dereferenceable assumptions (PR #202411)

[Yingwei Zheng via llvm-commits]

================
@@ -6117,8 +6117,11 @@ void Verifier::visitIntrinsicCall(Intrinsic::ID ID, CallBase &Call) {
               "dereferenceable assumptions should have 2 arguments", Call);
         Check(GetTypeAt(0)->isPointerTy(), "first argument should be a pointer",
               Call);
-        Check(GetTypeAt(1)->isIntegerTy(),
-              "second argument should be an integer", Call);
+        Check(GetTypeAt(1)->isIntegerTy() &&
+                  GetTypeAt(1)->getIntegerBitWidth() <= 64,
----------------
dtcxzyw wrote:

We may adjust the Clang CodeGen part for `__builtin_assume_dereferenceable`.


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