RFA: check_dbra_loop

[Mark Mitchell]

>>>>> "Richard" == Richard Kenner <kenner@vlsi1.ultra.nyu.edu> writes:

    Richard> Is this required even if "volatile" is not specified?

I don't know, but you're probably correct -- it's probably not
required if `volatile' isn't specified.

    Richard> I think we *can* reverse the loop if the address of the
    Richard> store is a giv since then we know that each write is
    Richard> disjoint.

Yes, that's what I concluded too.

But I didn't have time to implement it.

--
Mark Mitchell                   mark@codesourcery.com
CodeSourcery, LLC               http://www.codesourcery.com