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