106 struct FactOrCheck {  struct
107   enum class EntryTy {
116   union {
124   ConditionTy DoesHold;
126   unsigned NumIn;
127   unsigned NumOut;
128   EntryTy Ty;
130   FactOrCheck(EntryTy Ty, DomTreeNode *DTN, Instruction *Inst)  in FactOrCheck()  function
134   FactOrCheck(DomTreeNode *DTN, Use *U)  in FactOrCheck()  function
139   FactOrCheck(DomTreeNode *DTN, CmpInst::Predicate Pred, Value *Op0, Value *Op1,  in FactOrCheck()  function
144   static FactOrCheck getConditionFact(DomTreeNode *DTN, CmpInst::Predicate Pred,  in getConditionFact()
150   static FactOrCheck getInstFact(DomTreeNode *DTN, Instruction *Inst) {  in getInstFact()
154   static FactOrCheck getCheck(DomTreeNode *DTN, Use *U) {  in getCheck()
158   static FactOrCheck getCheck(DomTreeNode *DTN, CallInst *CI) {  in getCheck()
162   bool isCheck() const {  in isCheck()
166   Instruction *getContextInst() const {  in getContextInst()
172   Instruction *getInstructionToSimplify() const {  in getInstructionToSimplify()
180   bool isConditionFact() const { return Ty == EntryTy::ConditionFact; }  in isConditionFact()