On Sat, May 12, 2012 at 11:05 AM, Xinliang David Li <davi...@google.com> wrote:
> The downside is that the dump file format will look different from the > stderr output which is less than ideal. BTW, why do people want to use stderr for dumping internal IRs, as opposed to stdout or other files? That does not sound right. -- Gaby
