| /llvm-project-15.0.7/llvm/lib/CodeGen/ |
| H A D | JMCInstrumenter.cpp | 136 DefaultCheckFunc->addParamAttr(0, Attribute::NoUndef); in createDefaultCheckFunction()
197 CheckFunc->addParamAttr(0, Attribute::NoUndef); in runOnModule()
224 CI->addParamAttr(0, Attribute::NoUndef); in runOnModule()
|
| H A D | Analysis.cpp | 585 Attribute::NonNull, Attribute::NoUndef}) { in attributesPermitTailCall()
|
| /llvm-project-15.0.7/llvm/utils/TableGen/ |
| H A D | CodeGenIntrinsics.h | 156 NoUndef, enumerator
|
| H A D | IntrinsicEmitter.cpp | 721 case CodeGenIntrinsic::NoUndef: in EmitAttributes()
|
| H A D | CodeGenTarget.cpp | 895 ArgumentAttributes.emplace_back(ArgNo, NoUndef, 0); in setProperty()
|
| /llvm-project-15.0.7/llvm/lib/Transforms/Utils/ |
| H A D | BuildLibCalls.cpp | 154 !F.hasRetAttribute(Attribute::NoUndef)) { in setRetNoUndef()
155 F.addRetAttr(Attribute::NoUndef); in setRetNoUndef()
165 if (!F.hasParamAttribute(ArgNo, Attribute::NoUndef)) { in setArgsNoUndef()
166 F.addParamAttr(ArgNo, Attribute::NoUndef); in setArgsNoUndef()
175 if (F.hasParamAttribute(ArgNo, Attribute::NoUndef)) in setArgNoUndef()
177 F.addParamAttr(ArgNo, Attribute::NoUndef); in setArgNoUndef()
|
| H A D | AssumeBundleBuilder.cpp | 58 case Attribute::NoUndef: in isUsefullToPreserve()
|
| H A D | CodeExtractor.cpp | 980 case Attribute::NoUndef: in constructFunction()
|
| H A D | SimplifyLibCalls.cpp | 245 if (!CI->paramHasAttr(ArgNo, Attribute::NoUndef)) in annotateNonNullNoUndefBasedOnAccess()
246 CI->addParamAttr(ArgNo, Attribute::NoUndef); in annotateNonNullNoUndefBasedOnAccess()
|
| /llvm-project-15.0.7/llvm/include/llvm/IR/ |
| H A D | Attributes.td | 81 def NoUndef : EnumAttr<"noundef", [ParamAttr, RetAttr]>;
|
| H A D | Intrinsics.td | 82 // NoUndef - The specified argument is neither undef nor poison.
83 class NoUndef<AttrIndex idx> : IntrinsicProperty {
573 [], [llvm_i1_ty], [IntrInaccessibleMemOnly, NoUndef<ArgIndex<0>>]>;
|
| H A D | InstrTypes.h | 1699 return paramHasAttr(ArgNo, Attribute::NoUndef) ||
|
| /llvm-project-15.0.7/llvm/lib/Transforms/Instrumentation/ |
| H A D | MemorySanitizer.cpp | 1717 (MS.EagerChecks && FArg.hasAttribute(Attribute::NoUndef))) { in getShadow()
3687 bool NoUndef = CB.paramHasAttr(i, Attribute::NoUndef); in visitCallBase() local
3688 bool EagerCheck = MayCheckCall && !ByVal && NoUndef; in visitCallBase()
3772 if (MayCheckCall && CB.hasRetAttr(Attribute::NoUndef)) { in visitCallBase()
3831 F.hasRetAttribute(Attribute::NoUndef); in visitReturnInst()
|
| /llvm-project-15.0.7/llvm/lib/IR/ |
| H A D | Attributes.cpp | 1854 Incompatible.addAttribute(Attribute::NoUndef); in typeIncompatible()
1862 AM.addAttribute(Attribute::NoUndef); in getUBImplyingAttributes()
|
| H A D | Function.cpp | 100 getParent()->hasParamAttribute(getArgNo(), Attribute::NoUndef))) in hasNonNullAttr()
|
| /llvm-project-15.0.7/llvm/lib/Analysis/ |
| H A D | ValueTracking.cpp | 5153 return !CB->hasRetAttr(Attribute::NoUndef); in canCreateUndefOrPoison()
5280 if (A->hasAttribute(Attribute::NoUndef)) in isGuaranteedNotToBeUndefOrPoison()
5323 if (CB->hasRetAttr(Attribute::NoUndef)) in isGuaranteedNotToBeUndefOrPoison()
5393 if (getKnowledgeValidInContext(V, {Attribute::NoUndef}, CtxI, DT, AC)) in isGuaranteedNotToBeUndefOrPoison()
5573 if (CB->paramHasAttr(i, Attribute::NoUndef) || in getGuaranteedWellDefinedOps()
5580 if (I->getFunction()->hasRetAttribute(Attribute::NoUndef)) in getGuaranteedWellDefinedOps()
|
| /llvm-project-15.0.7/llvm/lib/Transforms/IPO/ |
| H A D | Attributor.cpp | 2043 CB->removeParamAttr(Idx, Attribute::NoUndef); in cleanupIR()
2046 Fn->removeParamAttr(Idx, Attribute::NoUndef); in cleanupIR()
|
| H A D | AttributorAttributes.cpp | 9188 if (getIRPosition().hasAttr({Attribute::NoUndef})) { in initialize()
|
| /llvm-project-15.0.7/clang/lib/CodeGen/ |
| H A D | CGCall.cpp | 2313 RetAttrs.addAttribute(llvm::Attribute::NoUndef); in ConstructAttributeList()
2446 Attrs.addAttribute(llvm::Attribute::NoUndef); in ConstructAttributeList()
|
| /llvm-project-15.0.7/llvm/include/llvm/Transforms/IPO/ |
| H A D | Attributor.h | 4646 : public IRAttribute<Attribute::NoUndef,
|
| /llvm-project-15.0.7/llvm/lib/Bitcode/Writer/ |
| H A D | BitcodeWriter.cpp | 775 case Attribute::NoUndef: in getAttrKindEncoding()
|
| /llvm-project-15.0.7/llvm/lib/Bitcode/Reader/ |
| H A D | BitcodeReader.cpp | 1997 return Attribute::NoUndef; in getAttrFromCode()
|
| /llvm-project-15.0.7/llvm/lib/CodeGen/SelectionDAG/ |
| H A D | TargetLowering.cpp | 65 Attribute::NonNull, Attribute::NoUndef}) in isInTailCallPosition()
|