home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / lifeos2.zip / LIFE-1.02 / TESTS / LF / PEEP.LF < prev    next >
Text File  |  1996-06-04  |  1KB  |  59 lines
  1. % A generic peephole optimizer.
  2.  
  3. % This rewrites patterns in an input list to patterns in an output list.
  4. % Closure is done.
  5.  
  6. % Example input:
  7. % > peep([a,b,c,a,a,t],Out)?
  8. % One peephole pass done with 3 changes.
  9. % One peephole pass done with 0 changes.
  10. % 
  11. % *** Yes
  12. % Out = [c,a,t].
  13. % --1>
  14.  
  15. import("accumulators")?
  16.  
  17. % Accumulator declarations:
  18. acc_info(in,     X,Out,In,acc_pred=>(Out=[X|In]))?
  19. acc_info(out,    X,Out,In,acc_pred=>(Out=[X|In]))?
  20. acc_info(changes,X,In,Out,acc_pred=>(Out=In+X))?
  21.  
  22. pred_info([peep_loop,peep_one], [in,out,changes])?
  23. % pred_info(peep_one,  [in,out,changes])?
  24.  
  25. % Closure calculation of peepholer:
  26. peep(In, Out) :--
  27.     peep_loop
  28.         with (in(In,[]), out(Mid,[]), changes(0,C)),
  29.     write("One peephole pass done with ",C," changes."), nl,
  30.     cond(C=:=0, Out=Mid, peep(Mid,Out))?
  31.  
  32. peep_loop :--
  33.     % Deep magic (a brownie point if you figure out what this does !):
  34.     % This continues peepholing with the result of peep_one:
  35.     peep_one with (glob(in) = in => inv(out)),
  36.     !,
  37.     1+changes,
  38.     peep_loop?
  39. peep_loop :-- [] is in, !, [] is out?
  40. peep_loop :-- I+in, I+out, peep_loop?
  41.  
  42. % Sample set of peephole rules:
  43. peep_one :--     % Rewrite a,b => c.
  44.     a+in,
  45.     b+in,
  46.     !,
  47.     c+out?
  48. peep_one :--    % Rewrite X,X => X. (This unifies adjacent elements, if possible).
  49.     X+in,
  50.     X+in,
  51.     !,
  52.     X+out?
  53. peep_one :--    % Rewrite X,Y => X. (This does not unify adjacent elements).
  54.     X+in,
  55.     Y+in,
  56.     {X===Y},
  57.     !,
  58.     X+out?
  59.