]> granicus.if.org Git - llvm/commit
[llvm][IRBuilder] Introspection for CreateAlignmentAssumption*() functions
authorRoman Lebedev <lebedev.ri@gmail.com>
Mon, 14 Jan 2019 19:09:15 +0000 (19:09 +0000)
committerRoman Lebedev <lebedev.ri@gmail.com>
Mon, 14 Jan 2019 19:09:15 +0000 (19:09 +0000)
commita36820100b93ea69ef0af27fc6fcc7f0e3ac12fd
treeb957b52d9fae9c377e89a6078377198fefd97d98
parente7868c9338a247444da237d05f8310d061905cdb
[llvm][IRBuilder] Introspection for CreateAlignmentAssumption*() functions

Summary:
Clang calls these functions to produce IR for assume-aligned attributes.
I would like to teach UBSAN to verify these assumptions.
For that, i need to access the final pointer on which the check is performed,
and the actual `icmp` that does the check.

The alternative to this would be to fully re-implement this in clang.

Reviewers: spatel, dneilson, craig.topper, dblaikie, hfinkel

Reviewed By: hfinkel

Subscribers: hfinkel, llvm-commits

Differential Revision: https://reviews.llvm.org/D54588

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@351104 91177308-0d34-0410-b5e6-96231b3b80d8
include/llvm/IR/IRBuilder.h