Home
last modified time | relevance | path

Searched refs:Formal (Results 1 – 13 of 13) sorted by relevance

/src/contrib/llvm-project/llvm/include/llvm/Transforms/Utils/
H A DSCCPSolver.h42 Argument *Formal; // The Formal argument being analysed. member
45 ArgInfo(Argument *F, Constant *A) : Formal(F), Actual(A) {} in ArgInfo()
48 return Formal == Other.Formal && Actual == Other.Actual;
54 return hash_combine(hash_value(A.Formal), hash_value(A.Actual)); in hash_value()
/src/contrib/llvm-project/llvm/lib/Analysis/
H A DLint.cpp223 Argument *Formal = &*PI++; in visitCallBase() local
224 Check(Formal->getType() == Actual->getType(), in visitCallBase()
232 if (Formal->hasNoAliasAttr() && Actual->getType()->isPointerTy()) { in visitCallBase()
241 if (Formal->onlyReadsMemory() && I.onlyReadsMemory(ArgNo)) in visitCallBase()
257 if (Formal->hasStructRetAttr() && Actual->getType()->isPointerTy()) { in visitCallBase()
258 Type *Ty = Formal->getParamStructRetType(); in visitCallBase()
/src/contrib/atf/
H A DREADME.md19 Formal releases for source files are available for download from GitHub:
/src/contrib/llvm-project/llvm/lib/Transforms/IPO/
H A DFunctionSpecialization.cpp721 << Arg.Formal->getNameOrAsOperand() in run()
879 B += Visitor.getSpecializationBonus(A.Formal, A.Actual); in findSpecializations()
880 Score += getInliningBonus(A.Formal, A.Actual); in findSpecializations()
1120 unsigned ArgNo = Arg.Formal->getArgNo(); in updateCallSites()
/src/crypto/openssl/doc/man7/
H A Dlife_cycle-kdf.pod69 =head2 Formal State Transitions
H A Dlife_cycle-rand.pod81 =head2 Formal State Transitions
H A Dlife_cycle-mac.pod88 =head2 Formal State Transitions
H A Dlife_cycle-digest.pod113 =head2 Formal State Transitions
H A Dlife_cycle-cipher.pod119 =head2 Formal State Transitions
H A Dlife_cycle-pkey.pod141 =head2 Formal State Transitions
/src/contrib/llvm-project/llvm/lib/Transforms/Utils/
H A DSCCPSolver.cpp989 assert(F->arg_size() == Args[0].Formal->getParent()->arg_size() && in setLatticeValueForSpecializationArguments()
994 Function::arg_iterator OldArg = Args[0].Formal->getParent()->arg_begin(); in setLatticeValueForSpecializationArguments()
1002 if (Iter != Args.end() && Iter->Formal == &*OldArg) { in setLatticeValueForSpecializationArguments()
/src/contrib/one-true-awk/testdir/
H A Dfunstack.ok121 Frank D. Harary A Formal System for Information
188 F. D. Harary Corrigenda: ``A Formal System for
637 Processing, and Its Formal Semantics . . 460--467 (or 461--467??)
1845 Robert P. Goldberg Formal Requirements for Virtualizable
2218 Formal Derivation of Programs . . . . . 453--457
2449 Robert M. Keller Formal Verification of Parallel Programs 371--384
H A Dfunstack.in663 title = "A Formal System for Information Retrieval from Files",
694 classcodes = "C4210 (Formal logic)",
717 classcodes = "C4210 (Formal logic)",
756 classcodes = "C4210 (Formal logic); C6150C (Compilers, interpreters and other processors)",
1196 classcodes = "C4210 (Formal logic)",
1203 title = "Corrigenda: {``A Formal System for Information Retrieval from Files''}",
1587 classcodes = "C4210 (Formal logic)",
2098 classcodes = "C4210 (Formal logic)",
2332 classcodes = "C4210 (Formal logic)",
2725 classcodes = "C4210 (Formal logic); C7820 (Humanities computing)",
[all …]