95   StateExact = 0x8,  enumerator
113       std::make_pair(StateExact, "Exact")};  in operator <<()
296   assert(!(Flag & StateExact) && Flag != 0);  in markInstruction()
551           BBI.Needs |= StateExact;  in scanInstructions()
552           if (!(BBI.InNeeds & StateExact)) {  in scanInstructions()
553             BBI.InNeeds |= StateExact;  in scanInstructions()
556           GlobalFlags |= StateExact;  in scanInstructions()
582         BBI.Needs |= StateExact;  in scanInstructions()
583         if (!(BBI.InNeeds & StateExact)) {  in scanInstructions()
584           BBI.InNeeds |= StateExact;  in scanInstructions()
587         GlobalFlags |= StateExact;  in scanInstructions()
676   assert(!(II.Needs & StateExact));  in propagateInstruction()
1179   StateTransition[MI] = StateExact;  in toExact()
1251   if (!IsEntry && BI.Needs == StateWQM && BI.OutNeeds != StateExact) {  in processBlock()
1262   char State = (IsEntry || !(BI.InNeeds & StateWQM)) ? StateExact : StateWQM;  in processBlock()
1288     char Needs = StateExact | StateWQM; // Strict mode is disabled by default.  in processBlock()
1318         Needs = StateExact | StateWQM | StateStrict;  in processBlock()
1321       if (MI.isTerminator() && OutNeeds == StateExact)  in processBlock()
1322         Needs = StateExact;  in processBlock()
1329       else if (BI.OutNeeds == StateExact)  in processBlock()
1330         Needs = StateExact;  in processBlock()
1332         Needs = StateWQM | StateExact;  in processBlock()
1350       case StateExact:  in processBlock()
1389         if (State == StateWQM && (Needs & StateExact) && !(Needs & StateWQM)) {  in processBlock()
1396           State = StateExact;  in processBlock()
1397         } else if (State == StateExact && (Needs & StateWQM) &&  in processBlock()
1398                    !(Needs & StateExact)) {  in processBlock()
1417     if (Needs != (StateExact | StateWQM | StateStrict)) {  in processBlock()
1418       if (Needs != (StateExact | StateWQM))  in processBlock()