Home
last modified time | relevance | path

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

/freebsd-14.2/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()
/freebsd-14.2/contrib/llvm-project/llvm/lib/Analysis/
H A DLint.cpp218 Argument *Formal = &*PI++; in visitCallBase() local
219 Check(Formal->getType() == Actual->getType(), in visitCallBase()
227 if (Formal->hasNoAliasAttr() && Actual->getType()->isPointerTy()) { in visitCallBase()
236 if (Formal->onlyReadsMemory() && I.onlyReadsMemory(ArgNo)) in visitCallBase()
252 if (Formal->hasStructRetAttr() && Actual->getType()->isPointerTy()) { in visitCallBase()
253 Type *Ty = Formal->getParamStructRetType(); in visitCallBase()
/freebsd-14.2/contrib/atf/
H A DREADME.md19 Formal releases for source files are available for download from GitHub:
/freebsd-14.2/contrib/llvm-project/llvm/lib/Transforms/IPO/
H A DFunctionSpecialization.cpp719 << Arg.Formal->getNameOrAsOperand() in run()
877 B += Visitor.getSpecializationBonus(A.Formal, A.Actual); in findSpecializations()
878 Score += getInliningBonus(A.Formal, A.Actual); in findSpecializations()
1118 unsigned ArgNo = Arg.Formal->getArgNo(); in updateCallSites()
/freebsd-14.2/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.pod87 =head2 Formal State Transitions
H A Dlife_cycle-cipher.pod119 =head2 Formal State Transitions
H A Dlife_cycle-pkey.pod141 =head2 Formal State Transitions
/freebsd-14.2/contrib/llvm-project/llvm/lib/Transforms/Utils/
H A DSCCPSolver.cpp945 assert(F->arg_size() == Args[0].Formal->getParent()->arg_size() && in setLatticeValueForSpecializationArguments()
950 Function::arg_iterator OldArg = Args[0].Formal->getParent()->arg_begin(); in setLatticeValueForSpecializationArguments()
958 if (Iter != Args.end() && Iter->Formal == &*OldArg) { in setLatticeValueForSpecializationArguments()
/freebsd-14.2/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.in694 classcodes = "C4210 (Formal logic)",
717 classcodes = "C4210 (Formal logic)",
1196 classcodes = "C4210 (Formal logic)",
1587 classcodes = "C4210 (Formal logic)",
2098 classcodes = "C4210 (Formal logic)",
2332 classcodes = "C4210 (Formal logic)",
4080 classcodes = "C4210 (Formal logic)",
4416 classcodes = "C4210 (Formal logic)",
4516 classcodes = "C4210 (Formal logic)",
6813 classcodes = "C4210 (Formal logic)",
[all …]