[LLVMdev] Anderson's analysis, getresult instruction on x86_64

[Matthijs Kooijman]

Hi Prakash,

I think this is highly related to PR2527 [1] and PR2451 [2]. I assume you are
using LLVM 2.3, since current svn automatically replaces getresult with
extractvalue instructions (but doesn't help for Andersen's).

In either case, it seems that Andersen's currently has no ready made way to
indicate a part of a first-class aggregate (or vector), which is the essence
of the problem here.  For aggregates in memory, the pointer to the part of the
aggregate can simply be used, but no such thing for first class values.

I'm not really into how Andersen's works, so I won't be able to help you along
with this any further, I'm afraid.

Gr.

Matthijs

[1]: http://llvm.org/bugs/show_bug.cgi?id=2557
[2]: http://llvm.org/bugs/show_bug.cgi?id=2451
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 189 bytes
Desc: Digital signature
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20080805/e3f9b618/attachment.sig>