home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #30 / NN_1992_30.iso / spool / comp / compiler / 2047 < prev    next >
Encoding:
Text File  |  1992-12-17  |  1.4 KB  |  47 lines
  1. Newsgroups: comp.compilers
  2. Path: sparky!uunet!world!iecc!compilers-sender
  3. From: dkchen@sp91.csrd.uiuc.edu (Ding-Kai Chen)
  4. Subject: Re: question on control dependence
  5. Reply-To: dkchen@sp91.csrd.uiuc.edu (Ding-Kai Chen)
  6. Organization: UIUC Center for Supercomputing Research and Development
  7. Date: Wed, 16 Dec 1992 20:04:36 GMT
  8. Approved: compilers@iecc.cambridge.ma.us
  9. Message-ID: <92-12-079@comp.compilers>
  10. References: <92-12-056@comp.compilers> <92-12-070@comp.compilers>
  11. Keywords: design
  12. Sender: compilers-sender@iecc.cambridge.ma.us
  13. Lines: 32
  14.  
  15. preston@dawn.cs.rice.edu (Preston Briggs) writes:
  16. >The general case of more than 2 succesoors is handled like this...
  17.  
  18. >    CD(X) = union(P(S)) - intersection(P(S)), for S in successors(X)
  19.  
  20. >(This is a much simpler version of another answer I posted earlier)
  21.  
  22. This can be simplified (also with less computation) further:
  23.  
  24.     CD(X) = union(P(S)) - P(X)
  25.  
  26. I think it is not difficut to prove that
  27.  
  28.     {intersection(P(S)), for S in successors(X)}=P(X)
  29.  
  30. Similarly,
  31.  
  32.     CD(X,L) = P(X_L) - P(X)
  33.  
  34. where CD(X,L) is the set of nodes control depend on X with label L and X_L
  35. is the successor of X with label L.
  36. Ding-Kai Chen
  37.  
  38. --
  39. Ding-Kai Chen        University of Illinois
  40. (217)244-0046        Center for Supercomputing R&D,
  41. dkchen@csrd.uiuc.edu    465 CSRL 1308 W. Main St. Urbana, IL 61801
  42.  
  43.  
  44. -- 
  45. Send compilers articles to compilers@iecc.cambridge.ma.us or
  46. {ima | spdcc | world}!iecc!compilers.  Meta-mail to compilers-request.
  47.