Searched refs:KnownAssumptionString (Results 1 – 2 of 2) sorted by relevance
34 struct KnownAssumptionString { struct35 KnownAssumptionString(StringRef AssumptionStr) in KnownAssumptionString() function46 bool hasAssumption(Function &F, const KnownAssumptionString &AssumptionStr); argument
18 const KnownAssumptionString &AssumptionStr) { in hasAssumption()