[PATCH] D64954: [IR][Verifier] Allow IntToPtrInst to be !dereferenceable

[Matt Arsenault via Phabricator via llvm-commits]

arsenm added inline comments.


================
Comment at: test/Verifier/dereferenceable-md.ll:88-90
+define i8* @f_0(i64 %val) {
+  %ptr = inttoptr i64 %val to i8*, !dereferenceable !{!"str"}
+  ret i8* %ptr
----------------
Can you also add a test for defeferencable_or_null


Repository:
  rL LLVM

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D64954/new/

https://reviews.llvm.org/D64954