{ 循環(huán)不變式外提優(yōu)化的測試程序1,測試地址加外提}
program  pp
var integer i,n,m,j,k,r;
    array [1..10] of integer a;

begin
   i:=0;
   j:=0;  
   k:=0;
   while k<3  do
      while i<5 do 
           a[k]:=k;           
      	   m:=10*(5+j); {運(yùn)算提兩層}
           m:=k+5;      {運(yùn)算提一層}
           n:=i;
      
           write(n);
           i:=i+1
      endwh;
      i:=0;
      k:=k+1
   endwh;
   write(m);
 
   write(a[1]);
   write(a[2])
 end.