[llvm-dev] IRBuilder constraints

Norbert Dajka via llvm-dev llvm-dev at lists.llvm.org
Wed Feb 6 03:03:29 PST 2019

You are right Tim, it's converted later on, outside LLVM in a symbolic tree
analysis phase.
Thank you.


On Tue, Feb 5, 2019 at 2:52 PM Tim Northover <t.p.northover at gmail.com>

> On Tue, 5 Feb 2019 at 09:42, Norbert Dajka via llvm-dev
> <llvm-dev at lists.llvm.org> wrote:
> > I cannot get LLVM to leave an llvm::Value as ConstantInt in every case,
> if I pass it to IRBuilder for processing(for example through a
> globalvariable storing instruction).
> How sure are you that it's the IRBuilder doing this? It looks
> completely unsound to me in the general case (there's nothing tying
> the new globals to their original address), and I've never seen
> anything similar.
> But it looks very plausibly like what you'd get if you triggered a
> completely different part of some decompiler tool to decide that your
> accesses are generic enough to be modelled as globals in LLVM.
> Cheers.
> Tim.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20190206/5e60c63c/attachment.html>

More information about the llvm-dev mailing list