search for: mayreadanyglob

...hat! } else if (F->onlyReadsMemory()) { FunctionEffect |= Ref; if (!F->isIntrinsic()) // This function might call back into the module and read a global - // consider every global as possibly being read by this function. FR.MayReadAnyGlobal = true; } else { FunctionEffect |= ModRef; // Can't say anything useful unless it's an intrinsic - they don't // read or write global variables of the kind considered here. KnowNothing = !F->isIntrinsic(); } con...

...hat! } else if (F->onlyReadsMemory()) { FunctionEffect |= Ref; if (!F->isIntrinsic()) // This function might call back into the module and read a global - // consider every global as possibly being read by this function. FR.MayReadAnyGlobal = true; } else { FunctionEffect |= ModRef; // Can't say anything useful unless it's an intrinsic - they don't // read or write global variables of the kind considered here. KnowNothing = !F->isIntrinsic(); } con...

...F->onlyReadsMemory()) { > FunctionEffect |= Ref; > if (!F->isIntrinsic()) > // This function might call back into the module and read a global - > // consider every global as possibly being read by this function. > FR.MayReadAnyGlobal = true; > } else { > FunctionEffect |= ModRef; > // Can't say anything useful unless it's an intrinsic - they don't > // read or write global variables of the kind considered here. > KnowNothing = !F->isIntrinsic()...

...Ref; > > if (!F->isIntrinsic()) > > // This function might call back into the module and > > read a global - > > // consider every global as possibly being read by this > > function. > > FR.MayReadAnyGlobal = true; > > } else { > > FunctionEffect |= ModRef; > > // Can't say anything useful unless it's an intrinsic - > > they don't > > // read or write global variables of the kind considered > >...

...FunctionEffect |= Ref; >>> if (!F->isIntrinsic()) >>> // This function might call back into the module and read a global - >>> // consider every global as possibly being read by this function. >>> FR.MayReadAnyGlobal = true; >>> } else { >>> FunctionEffect |= ModRef; >>> // Can't say anything useful unless it's an intrinsic - they don't >>> // read or write global variables of the kind considered here. >>>...

...y()) { >> FunctionEffect |= Ref; >> if (!F->isIntrinsic()) >> // This function might call back into the module and read a global - >> // consider every global as possibly being read by this function. >> FR.MayReadAnyGlobal = true; >> } else { >> FunctionEffect |= ModRef; >> // Can't say anything useful unless it's an intrinsic - they don't >> // read or write global variables of the kind considered here. >> KnowNothing =...

...> > > // This function might call back into the module and > > > read a global - > > > // consider every global as possibly being read by > > > this > > > function. > > > FR.MayReadAnyGlobal = true; > > > } else { > > > FunctionEffect |= ModRef; > > > // Can't say anything useful unless it's an intrinsic - > > > they don't > > > // read or write global variables of the kind > &...

...FunctionEffect |= Ref; >>> if (!F->isIntrinsic()) >>> // This function might call back into the module and read a global - >>> // consider every global as possibly being read by this function. >>> FR.MayReadAnyGlobal = true; >>> } else { >>> FunctionEffect |= ModRef; >>> // Can't say anything useful unless it's an intrinsic - they don't >>> // read or write global variables of the kind considered here. >>>...

...; > // This function might call back into the module and > > > > > > read a global - > > > > > > // consider every global as possibly being read by > > > > > > this > > > > > > function. > > > > > > FR.MayReadAnyGlobal = true; > > > > > > } else { > > > > > > FunctionEffect |= ModRef; > > > > > > // Can't say anything useful unless it's an intrinsic - > > > > > > they don't > > > > > > // read or write glo...

...t; > > > > read a global - >> > >> > > > > > // consider every global as possibly being read by >> > >> > > > > > this >> > >> > > > > > function. >> > >> > > > > > FR.MayReadAnyGlobal = true; >> > >> > > > > > } else { >> > >> > > > > > FunctionEffect |= ModRef; >> > >> > > > > > // Can't say anything useful unless it's an intrinsic - >> > >> > > > > &gt...

----- Original Message ----- > From: "James Molloy via llvm-dev" <llvm-dev at lists.llvm.org> > To: "Vaivaswatha Nagaraj" <vn at compilertree.com> > Cc: "LLVM Dev" <llvm-dev at lists.llvm.org> > Sent: Thursday, December 3, 2015 4:41:46 AM > Subject: Re: [llvm-dev] Function attributes for LibFunc and its impact on GlobalsAA > >

...back into the module and > > > > read a global - > > > > // consider every global as possibly being read by > > > > this > > > > function. > > > > FR.MayReadAnyGlobal = true; > > > > } else { > > > > FunctionEffect |= ModRef; > > > > // Can't say anything useful unless it's an intrinsic - > > > > they don't > > > >...

...; >>>>> if (!F->isIntrinsic()) >>>>> // This function might call back into the module and read a global - >>>>> // consider every global as possibly being read by this function. >>>>> FR.MayReadAnyGlobal = true; >>>>> } else { >>>>> FunctionEffect |= ModRef; >>>>> // Can't say anything useful unless it's an intrinsic - they don't >>>>> // read or write global variables of the kind con...

Sigh... let me try that last part again: Maybe GlobalsAA and/or a GlobalsAA-centric attribution pass could partition writes as: 1. Stores to local allocas 2. Stores through pointer parameters 3. Stores to globals defined in this compilation unit 4. Other Attributing functions with attributes: readonly: only writes of type 1 argmemonly: only writes of type 1/2 almost-readonly: only