Home
last modified time | relevance | path

Searched refs:hasAttributeInAssume (Results 1 – 3 of 3) sorted by relevance

/llvm-project-15.0.7/llvm/include/llvm/Analysis/
H A DAssumeBundleQueries.h42 bool hasAttributeInAssume(AssumeInst &Assume, Value *IsOn, StringRef AttrName,
44 inline bool hasAttributeInAssume(AssumeInst &Assume, Value *IsOn,
47 return hasAttributeInAssume(Assume, IsOn,
/llvm-project-15.0.7/llvm/unittests/Analysis/
H A DAssumeBundleQueriesTest.cpp56 if (ShouldHaveAttr != hasAttributeInAssume(*Assume, WasOn, Attr)) in hasMatchesExactlyAttributes()
65 if (!hasAttributeInAssume(*Assume, WasOn, Kind, &ArgVal)) in hasTheRightValue()
72 TEST(AssumeQueryAPI, hasAttributeInAssume) { in TEST() argument
/llvm-project-15.0.7/llvm/lib/Analysis/
H A DAssumeBundleQueries.cpp43 bool llvm::hasAttributeInAssume(AssumeInst &Assume, Value *IsOn, in hasAttributeInAssume() function in llvm