home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #18 / NN_1992_18.iso / spool / comp / compiler / 1392 < prev    next >
Encoding:
Internet Message Format  |  1992-08-17  |  4.0 KB
  1. Path: sparky!uunet!zaphod.mps.ohio-state.edu!uwm.edu!rutgers!faatcrl!iecc!compilers-sender
  2. From: wjw@eb.ele.tue.nl (Willem Jan Withagen)
  3. Newsgroups: comp.compilers
  4. Subject: constant folding at parse time
  5. Keywords: parse, attribute
  6. Message-ID: <92-08-091@comp.compilers>
  7. Date: 17 Aug 92 08:24:58 GMT
  8. References: <92-08-040@comp.compilers>
  9. Sender: compilers-sender@iecc.cambridge.ma.us
  10. Reply-To: wjw@eb.ele.tue.nl (Willem Jan Withagen)
  11. Organization: Compilers Central
  12. Lines: 88
  13. Approved: compilers@iecc.cambridge.ma.us
  14.  
  15. drw@kronecker.mit.edu (Dale R. Worley) writes:
  16. > 
  17. >This is handled by duplicating all the nonterminals into a ".c"
  18. > (constant expression) and ".nc" (non-constant expression) version:
  19. > 
  20. > Really, what you're doing is constructing a synthesized (passed-upwards)
  21. > attribute (constant vs. non-constant), but most LALR parser generators
  22. > don't support that.  When you're parsing C, you want a lot of these
  23. > attributes, and you want the attributes to control some aspects of the
  24. > parsing.  The result is that some productions are cloned 6 or 8 times.
  25. > Ugh.
  26.  
  27. Well just a little nit pick here. I do not consider this part of a
  28. parser. Determining wether an expression is constant or not is part of
  29. constant folding, which is usually not done while parsing. But the
  30. taken approach could be made to work.
  31.  
  32. > [This certainly works, but I'd think it'd be a lot easier to handle
  33. > synthesized attributes in the value cells, where they're easy to
  34. > construct and pass up the tree. -John]
  35.  
  36. The following is how I determine whether an expression is constant or 
  37. not using one of the tools in the Cocktail toolset.
  38.  
  39. Please note that the grammar is totally separated from this,
  40. and that rules xxxxx = {........}. give the calculations for a specific
  41. node in the tree build from the input file. 
  42. The order of the attribute evaluation is however determined by the 
  43. requirements of the rules: Obviously one can only calculate the Object in
  44. Qualid after the calculation of the environment Env, ....
  45.  
  46. DECLARE
  47.     /* What is the expression type.
  48.      */
  49.         Expr
  50.                 = -> [ Typ: tType OUT ]
  51.                      .
  52.         /* Is the expression (so far) constant
  53.         /* and what is the value.
  54.          */
  55.         Expr
  56.                 = -> [ IsConst: Boolean OUT ]
  57.                      [ Val :tValue ]
  58.                 .
  59. RULE
  60. UniExpr         = {     Typ     := UniResultType( Expr:Typ, Operator );
  61.                         IsConst := UniIsConstant( Expr:Typ, Operator );
  62.                         Val     := UniVal( Expr:Typ, Operator );
  63. }.
  64. BinExpr         = {     Typ     := BinResultType( LExpr:Typ, Operator,
  65.                             RExpr:Typ);
  66.                         IsConst := BinIsConstant( LExpr:IsConst, Operator,
  67.                             RExpr:IsConst);
  68.                         Val     := BinVal( LExpr:Val, Operator, RExpr:Val);
  69. }.
  70. IntConst        = {     Typ     := nTypeINTEGER;
  71.                         Val     := CVal;
  72.                         IsConst := True;
  73. }.
  74. RealConst       = {     Typ     := nTypeREAL;
  75.                         Val     := CVal;
  76.                         IsConst := True;
  77. }.
  78. /* Process the reference to an identifier 
  79.  */
  80. Qualid          = {     Object  := IdentifyNameEnv(Ident, Env);
  81.                         Typ     := GetObjectType(Object);
  82.                         IsConst := IsSimpleConstant(Object);
  83.                         Val     := { if (IsConst) {
  84.                                         Val = GetObjectValue(Object);
  85.                                      } else {
  86.                     Val = NoValue;
  87.                      }
  88.                         };
  89.  
  90. Willem Jan Withagen.
  91. -- 
  92. Digital Information Systems Group, Room EH 10.35 
  93. Eindhoven University of Technology   
  94. P.O. 513                             Tel: +31-40-473401,Fax: +31-40-448375
  95. 5600 MB Eindhoven                    The Netherlands
  96. Internet:  wjw@eb.ele.tue.nl    
  97. X400:      C=nl;ADMD=400net;PRMD=surf;O=tue;OU=ele;OU=eb;S=WJW;
  98. [The GMD Cocktail toolset has been most recently discussed in message
  99. 92-03-025.  It's available for FTP.  -John]
  100. -- 
  101. Send compilers articles to compilers@iecc.cambridge.ma.us or
  102. {ima | spdcc | world}!iecc!compilers.  Meta-mail to compilers-request.
  103.