95   StateExact = 0x8,  enumerator
113       std::make_pair(StateExact, "Exact")};  in operator <<()
296   assert(!(Flag & StateExact) && Flag != 0);  in markInstruction()
555         BBI.Needs |= StateExact;  in scanInstructions()
556         if (!(BBI.InNeeds & StateExact)) {  in scanInstructions()
557           BBI.InNeeds |= StateExact;  in scanInstructions()
560         GlobalFlags |= StateExact;  in scanInstructions()
649   assert(!(II.Needs & StateExact));  in propagateInstruction()
1156   StateTransition[MI] = StateExact;  in toExact()
1228   if (!IsEntry && BI.Needs == StateWQM && BI.OutNeeds != StateExact) {  in processBlock()
1239   char State = (IsEntry || !(BI.InNeeds & StateWQM)) ? StateExact : StateWQM;  in processBlock()
1265     char Needs = StateExact | StateWQM; // Strict mode is disabled by default.  in processBlock()
1295         Needs = StateExact | StateWQM | StateStrict;  in processBlock()
1298       if (MI.isTerminator() && OutNeeds == StateExact)  in processBlock()
1299         Needs = StateExact;  in processBlock()
1306       else if (BI.OutNeeds == StateExact)  in processBlock()
1307         Needs = StateExact;  in processBlock()
1309         Needs = StateWQM | StateExact;  in processBlock()
1327       case StateExact:  in processBlock()
1366         if (State == StateWQM && (Needs & StateExact) && !(Needs & StateWQM)) {  in processBlock()
1373           State = StateExact;  in processBlock()
1374         } else if (State == StateExact && (Needs & StateWQM) &&  in processBlock()
1375                    !(Needs & StateExact)) {  in processBlock()
1394     if (Needs != (StateExact | StateWQM | StateStrict)) {  in processBlock()
1395       if (Needs != (StateExact | StateWQM))  in processBlock()