Searched refs:AtomicBool (Results 1 – 5 of 5) sorted by relevance
43 AtomicBool, enumerator99 Val->getKind() == Kind::AtomicBool || in classof()122 explicit AtomicBoolValue() : BoolValue(Kind::AtomicBool) {} in AtomicBoolValue()125 return Val->getKind() == Kind::AtomicBool; in classof()
45 case Value::Kind::AtomicBool: in debugString()105 case Value::Kind::AtomicBool: { in debugString()
263 case Value::Kind::AtomicBool: { in substituteBoolValue()
241 case Value::Kind::AtomicBool: { in buildBooleanFormula()
78 case Value::Kind::AtomicBool: in unpackValue()