[PATCH] D112016: [IR] Introduce load assume operand bundle

[Arthur Eubanks via Phabricator via llvm-commits]

aeubanks created this revision.
Herald added subscribers: dexonsmith, jdoerfert, hiraditya.
aeubanks added reviewers: Prazek, jdoerfert, fhahn, Tyker, rnk.
aeubanks published this revision for review.
aeubanks added a comment.
Herald added a project: LLVM.
Herald added a subscriber: llvm-commits.

happy to change the name if there's a better alternative


This is a new assume operand bundle which allows us to assume that a
load from a pointer at a specific location in the IR will always be some
value.

The name of the bundle is "load". The first operand is the pointer and
the second operand is the value that a load at the assume location would
produce.

This is useful for exposing the vtable value of a C++ object after its
constructor without having to insert a load into the instruction stream.


Repository:
  rG LLVM Github Monorepo

https://reviews.llvm.org/D112016

Files:
  llvm/docs/LangRef.rst
  llvm/lib/IR/Verifier.cpp
  llvm/test/Verifier/assume-bundles.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D112016.380455.patch
Type: text/x-patch
Size: 6752 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20211018/4072f7c9/attachment.bin>