Subject: forall

From: Shi Lixia <[email-masked]>
Date: Tue, 6 May 1997 09:06:34 +0900 (TAIDT)

You are responsible for forall statement in trans0. It is clear that
you know forall's semantics. Is there data dependence in forall? Or its 
dependence has been eliminated?
     When you are transforming forall, do you detect data dependence?
     Please give me a clear answer.

shi li xia