search for: knownothing

...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(); } continue; } This relaxation allows functions that (transitively) call library functions (such as printf/malloc) to still maintain and propagate GlobalsAA info. In general, this adds more precision to the description of these functions. Concerns re...

...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(); } continue; } This relaxation allows functions that (transitively) call library functions (such as printf/malloc) to still maintain and propagate GlobalsAA info. In general, this adds more precision to the description of these functions. Concerns r...

...gt; 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(); > } > continue; > } > > This relaxation allows functions that (transitively) call library > functions (such as printf/malloc) to still maintain and propagate GlobalsAA > info. In general, this adds more precision to the descripti...

...} 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(); > > } > > continue; > > } > > This relaxation allows functions that (transitively) call library > > functions (such as printf/malloc) to still maintain and propagate > > GlobalsAA info. In general, this adds more prec...

...rue; >>> } 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(); >>> } >>> continue; >>> } >>> >>> This relaxation allows functions that (transitively) call library >>> functions (such as printf/malloc) to still maintain and propagate GlobalsAA >>> inf...

...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(); >> } >> continue; >> } >> >> This relaxation allows functions that (transitively) call library >> functions (such as printf/malloc) to still maintain and propagate GlobalsAA >> info. In general, this adds mor...

...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(); > > > } > > > continue; > > > } > > > This relaxation allows functions that (transitively) call library > > > functions (such as printf/malloc) to still maintain and propagate > > > GlobalsAA info. I...

...rue; >>> } 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(); >>> } >>> continue; >>> } >>> >>> This relaxation allows functions that (transitively) call library >>> functions (such as printf/malloc) to still maintain and propagate GlobalsAA >>> inf...

...t; // 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(); > > > > > > } > > > > > > continue; > > > > > > } > > > > > > This relaxation allows functions that (transitively) call > > > > > library > > > > > > functions (such...

----- 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 > >

...> > > > > > they don't >> > >> > > > > > // read or write global variables of the kind >> > >> > > > > > considered >> > >> > > > > > here. >> > >> > > > > > KnowNothing = !F->isIntrinsic(); >> > >> > > > > > } >> > >> > > > > > continue; >> > >> > > > > > } >> > >> > > > > > This relaxation allows functions that (transitively) call >> &g...

...ing useful unless it's an intrinsic - > > > > they don't > > > > // read or write global variables of the kind > > > > considered > > > > here. > > > > KnowNothing = !F->isIntrinsic(); > > > > } > > > > continue; > > > > } > > > > This relaxation allows functions that (transitively) call library > > > > functions (such as printf/malloc) to still...

...e { >>>>> 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(); >>>>> } >>>>> continue; >>>>> } >>>>> >>>>> This relaxation allows functions that (transitively) call library >>>>> functions (such as printf/malloc) to still m...

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