loop3.txt

snl语言是一个简单的具有嵌套过程定义的过程式语言

{ 循环不变式外提优化的测试程序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); {运算提两层}
           m:=k+5;      {运算提一层}
           n:=i;
      
           write(n);
           i:=i+1
      endwh;
      i:=0;
      k:=k+1
   endwh;
   write(m);
 
   write(a[1]);
   write(a[2])
 end.