From: ThatWouldBeTelling@thevillage.com   
      
   MitchAlsup wrote:   
   > Does any one have {data on} or a pointer to {literature on} ST   
   > to LD forwarding occurrences that isolate any of the following   
   > patterns::   
   >   
   >      ST  Rs,[Rbase+smallDisp]   
   >      ...   
   >      LD  Rl,[Rbase+smallDisp]   
   >   
   > where Rbase is the 5-bit register specifier (not value), and:   
   >       ST-Rbase is the same as LD-Rbase AND (of course)   
   >       ST-smallDisp == LD-smallDISP,   
   >   
   > Where ST-Rbase is different than LD-Rbase but forwarding   
   > happens none-the-less,   
   >   
   > Where ST-Rbase is the same as LD-Rbase, but Rbase has been   
   > modified between ST and LD but forwarding happens none-the-   
   > less,   
   >   
   >      ST  Rs,[Rbase+Rindex<      ...   
   >      LD  Rl,[Rbase+Rindex<   
   > Where ST-Rbase is the same as LD-Rbase but   
   >       St-Rindex is different than LD-Rindex but   
   > forwarding happens none-the-less,   
   >   
   > Where ST-Rbase is the same as LD-Rbase but Rbase has been   
   > modified between ST and LD but forwarding happens none-the-   
   > less,   
   >   
   > Where ST-Rindex is the same as LD-Rindex but Rindex has been   
   > modified between ST and LD but forwarding happens none-the-   
   > less,   
   >   
   > ???   
   >   
   > Thanks   
   > Mitch   
      
   There are tons of papers on various aspects of store to load forwarding.   
      
   You appear to be interested in detecting not when the ST and LD address   
   are the same but whether registers have changed but give the same address.   
   Are you thinking of ST-LD elimination, where a push forwards to a pop   
   and the ST and LD to the stack memory can be eliminated?   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)