[PATCH] D35057: [SafepointIRVerifier] Avoid false positives in GC verifier for compare between pointers

Anna Thomas via Phabricator via llvm-commits llvm-commits at lists.llvm.org
Thu Jul 6 07:34:14 PDT 2017


anna created this revision.

Today the safepoint IR verifier catches some unrelocated uses of base pointers
that are actually valid.
With this change, we narrow down the set of false positives. Specifically, the
verifier knows about compares to null and compares between 2 unrelocated
pointers.


https://reviews.llvm.org/D35057

Files:
  lib/IR/SafepointIRVerifier.cpp
  test/SafepointIRVerifier/compares.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D35057.105429.patch
Type: text/x-patch
Size: 13100 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20170706/072cee5e/attachment.bin>


More information about the llvm-commits mailing list