[LLVMdev] setOnlyReadsMemory / setDoesNotAccessMemory

[Eli Friedman]

On Fri, Jul 24, 2009 at 12:56 PM, Nyx<mcheva at cs.mcgill.ca> wrote:
>
> But, which optimization pass will take advantage of those flags?

GVN, DSE, misc passes which erase dead instructions, LICM,
instcombine, possibly some others.

> As for nounwind, that means "can't throw an exception"?

Yes.  It's orthogonal in theory, but readonly exception-throwing
methods are rare, so I think there are a few lurking bugs.

-Eli