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

[Matt Arsenault via llvm-commits]

================
@@ -0,0 +1,1421 @@
+; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --function-signature --check-attributes --check-globals
+; RUN: opt -aa-pipeline=basic-aa -passes=attributor -attributor-manifest-internal  -attributor-annotate-decl-cs  -S < %s | FileCheck %s --check-prefixes=CHECK,TUNIT
----------------
arsenm wrote:

Same here, all these attributor tests seem to just be copies of existing tests with the datalayout applied. This needs to be more targeted (and ideally would have 2 identical copies of functions in the same test file, with different property address spaces) 

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