问个关于while循环的问题

void delay1s()
{
   int i;
   TMOD=0x20;
   TH1=6;
   TL1=6;
   for(i=0;i<4000;i++)
  {
     TR1=1;
     while(！TF1);
     TF1=0;
  }
}
这个是书上的定时工作方式2的一个定时1s程序。我一直想不通while（！TF1）不会是死循环吗?当时间溢出TF1就等于一了，这时while不就是死循环了吗?还会跳到下一步把TF1置0吗?求大神解答下

谢谢