[llvm] [WIP] Consider datalayout sentinel pointer value for isKnownNonZero check (PR #91769)

[Matt Arsenault via llvm-commits]

================
@@ -0,0 +1,23 @@
+; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
+; RUN: opt -S -passes=instsimplify < %s | FileCheck %s
+
+target datalayout = "A5-z0:1-z2:neg1-z3:neg1-z5:neg1"
+
+; A 0 valued byval pointer may be valid
+define i1 @byval_may_be_zero(ptr addrspace(5) byval(i32) %ptr) {
----------------
arsenm wrote:

Also test a plain, non-byval pointer 

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