On Tue, May 19, 2009 at 12:30 PM, Nicolas Geoffray <nicolas.geoffray at lip6.fr> wrote:>> The pi functions can be implemented with copy instructions. > > Store instructions?I would assume something more like "select i1 true, <ty> %val, <ty> undef". -Eli
Eli Friedman wrote:> On Tue, May 19, 2009 at 12:30 PM, Nicolas Geoffray > <nicolas.geoffray at lip6.fr> wrote: >>> The pi functions can be implemented with copy instructions. >> Store instructions? > > I would assume something more like "select i1 true, <ty> %val, <ty> undef".%x = phi <ty> [%val, %predbb]. Nick
On May 19, 2009, at 8:15 PM, Nick Lewycky wrote:> Eli Friedman wrote: >> On Tue, May 19, 2009 at 12:30 PM, Nicolas Geoffray >> <nicolas.geoffray at lip6.fr> wrote: >>>> The pi functions can be implemented with copy instructions. >>> Store instructions? >> >> I would assume something more like "select i1 true, <ty> %val, <ty> >> undef". > > %x = phi <ty> [%val, %predbb].FWIW, I strongly recommend going this direction. It'll buy you a lot of free functionality, like replaceAllUsesWith(). --Owen -------------- next part -------------- A non-text attachment was scrubbed... Name: smime.p7s Type: application/pkcs7-signature Size: 2620 bytes Desc: not available URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20090519/be073130/attachment.bin>
This is Scott's paper for what I think is being proposed. (I'm a little unsure because of some notation differences, though.) http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.1.9976 -- Eric On Tue, 2009-05-19 at 13:40 -0700, Eli Friedman wrote:> On Tue, May 19, 2009 at 12:30 PM, Nicolas Geoffray > <nicolas.geoffray at lip6.fr> wrote: > >> The pi functions can be implemented with copy instructions. > > > > Store instructions? > > I would assume something more like "select i1 true, <ty> %val, <ty> undef". > > -Eli > _______________________________________________ > LLVM Developers mailing list > LLVMdev at cs.uiuc.edu http://llvm.cs.uiuc.edu > http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev