search for: mayreadanyglob

Displaying 14 results from an estimated 14 matches for "mayreadanyglob".

Did you mean: mayreadanyglobal
2015 Dec 11
2
RFC: New function attribute HasInaccessibleState
...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...
2015 Dec 04
2
RFC: New function attribute HasInaccessibleState
...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...
2015 Dec 04
4
RFC: New function attribute HasInaccessibleState
...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()...
2015 Dec 11
2
RFC: New function attribute HasInaccessibleState
...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 > >...
2015 Dec 04
2
RFC: New function attribute HasInaccessibleState
...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. >>>...
2015 Dec 04
2
RFC: New function attribute HasInaccessibleState
...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 =...
2015 Dec 11
3
RFC: New function attribute HasInaccessibleState
...> > > // 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 > &...
2015 Dec 04
2
RFC: New function attribute HasInaccessibleState
...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. >>>...
2015 Dec 14
3
RFC: New function attribute HasInaccessibleState
...; > // 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...
2015 Dec 14
2
RFC: New function attribute HasInaccessibleState
...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...
2015 Dec 03
3
Function attributes for LibFunc and its impact on GlobalsAA
----- 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 > >
2015 Dec 14
2
RFC: New function attribute HasInaccessibleState
...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 > > > >...
2015 Dec 04
4
RFC: New function attribute HasInaccessibleState
...; >>>>> 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...
2015 Dec 09
5
RFC: New function attribute HasInaccessibleState
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